432449318b3d4a1aa0537850a818c74b90400c2c857caa7dfad60227c7e15fd2  ./AI_AND_HUMAN_VERIFICATION.md
30ef6f14e265f6b522d37c5df344b85b137994818443b6db6e3556d1c7958da5  ./CITATION.cff
0f16c3c6989a92711704f27a725108051283efc0b3dd3aff544594f8bf8f6579  ./LICENSE-CODE.txt
b429898efc3ea1c089c5ab6626e383cb2c59adda1a1124659ba96dc0e1387629  ./LICENSE-MANUSCRIPT.txt
45c751099b5435805bab8f7c423b8a42bd951f3b73a7a4ba11619c87d1ada1cd  ./PRIORITY_AUDIT.md
05d437f8ff3b33e0986ae7da2bd321e4a4b719b763f9a3179ab3f7173877489d  ./README.md
e17059179ccad59a76d5c407758a394910d70e46a2e1da025a888284861ad11e  ./RELEASE_NOTES.md
b00564031e247465bf77ef7d1add1b4b71b0a56e8ee843af822182535d08ccd5  ./ZENODO_METADATA.json
1da0a6db52c47d2fd82e178f5354d8f9bc863cfbd80dfb30dc6df77da3f830f0  ./build_pdf.sh
1b1d5fd434dc3d42883163ebc588e803321e97f3993a0f9bce9d9aeb8e6cf3b5  ./data/network.csv
6c38d15b389804ebfbf109830c8dd21665126ff23f17fb5924ea6486930a818f  ./data/original_rates.json
2918f8f39eeadc22f9f5d43c4db7d32f93d6fb9249b760984213e664a7c5b873  ./data/theorem.json
cd811be221afb671e788c49184cf9d7710b3ff7dca78b45ebebffe6a2dd442dd  ./environment.txt
8b333f8d3e08d5b2a66ca2b78474079ef4be6b23cb497fbd991f41fae9558e4d  ./output/pdf/manuscript-v1.0.0.pdf
e8ae13bab7536c6908ddcbf8a714fbcbd8f4a46223e122a6d436ec95bf9a3335  ./pdf-header.tex
e5035c11f76d2f2bed16faa859d51977ece21c9550c90ffbe5e68840ce94299f  ./pdf-metadata.yaml
0e72617bfb3e2725ab97a9e4f326ae8492a5a8507549dab68ee4a11cdd63775d  ./reproduce.sh
96464f405b58137236b9c10c698be08a780ff7d062dd918ac40c0460f1b0831f  ./requirements.lock
2d7af0e604bf0b09789b6ba517964331df62467e64372e9567baa6721f46dd6b  ./source/MANUSCRIPT.md
a23c0f6d701df7c0f1b2ec20426b0ff48d1a42e097998f4825fbab2a9630ebce  ./strip-title.lua
e3196270158fd633ba41743f9f8f7280e90e1031d768457185ed5b0e87ddcd58  ./verifiers/AUDIT_RESULTS.md
5c7c32c51f6ad0c324d805d54b8eeee26a31174f1bc502082b72839aaa0553b2  ./verifiers/STRUCTURAL_PROOF_AUDIT.md
1b1d5fd434dc3d42883163ebc588e803321e97f3993a0f9bce9d9aeb8e6cf3b5  ./verifiers/network.csv
1e11d4af8e0a8b254ffc0c546c3b6dc61c6853e8eb5634f380ccf17bf738fff7  ./verifiers/verify_construction.py
7b97cf73c16f15527bc125fbfb3c7bcb81b798894ec7d19f030fd84b1881b5c9  ./verifiers/verify_independent.py