9eac4a07e9468b7ecff3ee8e715de2dd566ba7c9441c626153faf3817d8ac90f  checks/cut-checks.json
7d037b5f36d40285ebbd134ad45b492d6cccf7cd6d9678a9eedec75c74fb4898  checks/derived-checks.json
6ded2ab11abfc4525192d7f2a9d6efbe171c613be73301ac996e2e20b6b89036  checks/fi-independent-checks.json
1ad515fa6a58190e9c00f062899906b87468623e6d06a03b3672def31ab221af  checks/manifest.sha256
27f78f5ef10a774adcc646207b817a08a4dd1fab261d93009e132554f7c41828  checks/README.md
8640c1ecce006e9de2dc6d85bed625b1cf49c761476c1d1cfdb9ea251cc17b1b  checks/verify-cut.py
e072aa39bca31a86548776fea1960c2567aa873a7d9bbd9c84ecb0844864a11b  checks/verify-derived.py
30b03388767fc4beff31f5f7c0f832d98ccc9b5b7d76728997b56678ef52d806  checks/verify-fi-independent.py
56a1de98b2841b6fb0cb8ae73dfc9da27aa9fa90e586f8f44c27ef4922d89af7  main.tex
235997a0f8fc8d6a3c659be8e5c4064d8319172cb7d9d484abbf0038ee18f130  MATHEMATICAL-REVIEW.md
e1432fa99216244b3ba7cc123e936b87a98ed733268fbbb62a2b8732d5f9227d  PRIOR-WORK.md
675fad079085c5f2bb8665568698e046b0363263b8020d0eb1f6451406cc09ca  README.md
