9e8c16ed7f1218ba0234342d556eb78c807c724d18029cf45ee13aa208d5e2af  CHANGELOG.md
9eac4a07e9468b7ecff3ee8e715de2dd566ba7c9441c626153faf3817d8ac90f  checks/cut-checks.json
7d037b5f36d40285ebbd134ad45b492d6cccf7cd6d9678a9eedec75c74fb4898  checks/derived-checks.json
6ded2ab11abfc4525192d7f2a9d6efbe171c613be73301ac996e2e20b6b89036  checks/fi-independent-checks.json
efd7d17fc8a821e65bcf2c92fee5627c5667fd1e6b43d455f5762534f5bbd124  checks/manifest.sha256
158b6c7b01e45900390fff8b5b628323893cb84db62a8be69bf2e2e2f5004630  checks/natural-subfunctor-checks.json
f709b31ebe756975811a6a241f3e45a49ce5b7f34986aaadccc70e41171f493d  checks/README.md
8640c1ecce006e9de2dc6d85bed625b1cf49c761476c1d1cfdb9ea251cc17b1b  checks/verify-cut.py
e072aa39bca31a86548776fea1960c2567aa873a7d9bbd9c84ecb0844864a11b  checks/verify-derived.py
30b03388767fc4beff31f5f7c0f832d98ccc9b5b7d76728997b56678ef52d806  checks/verify-fi-independent.py
91c9fff612eb6bb5964db2a519d79c4a75b51c21f67f4df937a14ea9c69d5054  checks/verify-natural-subfunctors.py
c4ff278882043d36804f5adb6fdb735a4bb61fdd19dfd7bf60b797d725bcb870  main.tex
235997a0f8fc8d6a3c659be8e5c4064d8319172cb7d9d484abbf0038ee18f130  MATHEMATICAL-REVIEW.md
909877f0652fe64184a3644c9fdc627330a7f5f5454cb23d6510a5d1a54a306e  PRIOR-WORK.md
30b11bf2cb62bdb772fa629da2912857fba9d73a5461d2b4c315b3c35976ebb4  README.md
71b5905b74ea8c44f66bceb1d864b5a464693e13f8d94a2839ebd21c13da7e79  V2-REVIEW.md
