81d00db2191a599404697512bf7307465646d1ebbce338243e37b657ef92f5a7  ./AI_AND_HUMAN_VERIFICATION.md
e36a38ddf2b77744261fbaf7083b5a35e76b719c363c31e4a2b3625730e74e46  ./CITATION.cff
0f16c3c6989a92711704f27a725108051283efc0b3dd3aff544594f8bf8f6579  ./LICENSE-CODE.txt
b429898efc3ea1c089c5ab6626e383cb2c59adda1a1124659ba96dc0e1387629  ./LICENSE-MANUSCRIPT.txt
8a484d9d9e58d239ec643097e0d5571e499b9246da1c8c8138eebbc1a7b68d16  ./README.md
038ce9883e2483568f8ec1b3e20cee197acf1aea651c9f9bc1d52112d2a7b3b0  ./RELEASE_CHECKS.md
946022f0736867cb2cc5ddf0d9d66cab2c74dbde3c62be4036cfa15981028c14  ./RELEASE_NOTES.md
0482ea53ffa123124f7c9d564870ac04e0e4e50dfde2869587eaefe16daa4bf0  ./audit_packet/AUDIT_CHECKLIST.md
98ce5fe57ae734095c39d3fa4357f3216f3cf13ce1d57b995cf865611c76f3cf  ./audit_packet/ONE_PAGE_STATEMENT.md
8c3c8db54191ae0c665db1bdd7bf9b79c2ca39c6bd33a2d6ce796f92cf40ce4e  ./audit_packet/README.md
e3dd6ac698882fb00ae17b4025495dde25e0281593f4cd3b21d8c7921df433ad  ./audit_packet/THEOREMS.md
08e049bd7dfa5db267bc84cfb087ddefba12da6a33466c7bef51bd60ae87ed05  ./audit_packet/build_one_page_pdf.py
b7429aed0e5edf572848cbcf856b3da89ff05447967c3dc12d9d386e0270f3d2  ./audit_packet/specialist_audit_one_page.pdf
73051ea37aba0380fc4760d30368642dc39cbdb45cd50ca3f897fd4d6c3df3d9  ./audit_v2/AUDIT.md
f10a7ed2b66e3f18952bdebbaca90a35aecfaf54c17e5b31a2f1436a4ed7536e  ./audit_v2/audit_results.json
7474210cd517bc862a4cef2e653d163ff91673452951e876d8e711c8d5d71b20  ./audit_v2/verify_v2_independent.py
753f5017955f97b3fb84e487b5acd083f22b68478f00d6cd0944ae06325a6d6e  ./build_pdf.sh
44d4393faa63f4290f42375a5ad4d3ee21b8dbd570c983baaed01753174fc207  ./cleanroom/AUDIT_RESULTS.md
3a1114fab132349e576b03487cc9bbb7aeb477dbdf4e08aab75337af82cc5f85  ./cleanroom/PROOF_AUDIT.md
16bc69059ed8942fba5bd45d852bb39220cf7e88a1382ba96ed274522f353e77  ./cleanroom/README.md
7b97cf73c16f15527bc125fbfb3c7bcb81b798894ec7d19f030fd84b1881b5c9  ./cleanroom/verify_v1_cleanroom.py
1b1d5fd434dc3d42883163ebc588e803321e97f3993a0f9bce9d9aeb8e6cf3b5  ./data/network-frozen-v1.csv
61753477d880b1a9e3db92ddbfdba735c11414f1bd8f3f563321e994692cfac7  ./data/rate_vectors.json
42f4c2a74afe17bb43620ae3b70c4c7abfc436a1137c70d3e557a9f56624541a  ./data/rates.csv
70c9fc057c3f5d58a0cc5808dec4077456f2c71353063d58c69ac2e607e44d9b  ./data/release.json
a1b6ca47af79c37038f5e697fe539e16c5e76fedf33f3c112ed55b7e10f20956  ./data/theorem.json
908d9b1215516633c4c893b489f64faca2219ca4d531e999962917d997f73e92  ./family/README.md
f7061a40fefd9ca2285f83ba64ce9af63cb76a45a69aca95beb5fbfb17465486  ./family/remainder_matrix.csv
7fd20a87bc360454979662709cfbe84bc7466d0b040a2ba2a15625a5465f9cb4  ./family/verify_family.py
dbb8aa0b9cae51b2d6429c34f841ebf29a6fa379b9059dea73649db77e0ffc33  ./minimality/MINIMALITY_ANALYSIS.md
d7409abce51d3f8246b4d484f1de5294d1a1d42353dc47ce6667e12bdd8efcf7  ./minimality/README.md
e053fd10e5c426ec461c21e7e40712ee5a147dcf4fa4dd8389eddd52a5da16c7  ./minimality/verify_complexity_arithmetic.py
1b1d5fd434dc3d42883163ebc588e803321e97f3993a0f9bce9d9aeb8e6cf3b5  ./network.csv
fe429cf073b30cacfe1ba75624236cda2545c44076f711d4319dcb22ff79512b  ./output/pdf/manuscript-v2.0.0.pdf
2957ee7486e4a3e16c93c2c0d739ba797d14244e125ff7f58fad76757f3621ec  ./priority_v2/AUDIT.md
fa734df5c23c90d072458bf87fb1cb484d1e95cc30781bffa6b57d2406c5fa6f  ./reproduce.sh
47fd19021144e071cc43b6e265aafada0056abe89724ad95bd6e3a8e37995b94  ./requirements.lock
06a44b512094a154bad01de61bf4a12c8356034afd9ea77c8a440cee3d28b079  ./results/RESULTS.md
e2ac3cf9556eb1bacf53a76dd09963a5a60ca2d47c7fe2c62a0bdfa164dd18db  ./source/MANUSCRIPT_V2.md
03d9b6125500ee4baf8afb06e768909a61f56491be556fecf5499e37ae269044  ./source/README.md
267efef233d26fd3e58faa9f2b7141a2cadefaac1790939ca0a52e2fea2615c7  ./source/build_pdf.sh
2e50dcc54a4feff4d99cf6191dcdf3ec50efb38ce7e419487438a4676bb762d5  ./source/pdf-header.tex
9a61b63090600971d9e92b4739be548980a3be7d7a9555dc1750f54a9be70ae4  ./source/pdf-metadata.yaml
42f4c2a74afe17bb43620ae3b70c4c7abfc436a1137c70d3e557a9f56624541a  ./source/rates.csv
897aa3fed947388c1009e53079f9e2d6749b0b0e3b08c59dc29ee5ea138b8ae2  ./source/strip-title.lua
9dcc45dc46f4fcce711335cffcb847355e56b6c3da899454bfcb48e70d010de2  ./source/verify_v2_claims.py
4dbf650e6af65430dd5474b301159e798ee450d51df127c41d9947c00c0db58f  ./strengthening/CLEAN_RATES_AND_STABILITY.md
a4074680f739967d946d763cde7e132c38be8516628a70dfd6ad143feec57af8  ./strengthening/clean_rates_stability_verifier.py
1e11d4af8e0a8b254ffc0c546c3b6dc61c6853e8eb5634f380ccf17bf738fff7  ./verify_construction.py
5e7e9edd645dd729ccb8cc30b4efb51dd07e00b2783d5e959ebfc162c3cdc3f9  ./verify_release_metadata.py