b3248202894c6fa1e5ad7980e9c9ec955f6f5e27424bd99db485af824ea5baee  BUILD_NOTES.md
4489c6d66e9ad2e3bb9207ea9981e409cc92f08c50568bd2e928180ea4c84938  CITATION.bib
fecdc44a46d2ca0d20f7a66cc33b8f3594f0a4884de8473a7bf2951de6a1a2b3  LEAN_FORMALIZATION.md
f7bd00d871f913346ac77062ec5a35b8792451ba542d2c7958249e57e5aef7e0  LICENSE.md
97192e40c819e5c15f1538911d718a38d6b3e739438fb416acf5f574a3cb955d  LICENSES/CC-BY-4.0.txt
ad7dd18077f920e2326157dd543ef44e36abb82c1b57f5f9719a3779132b93a9  LICENSES/MIT.txt
a2bcc29379e22bc90ea98ff4169af923e2c1f12ae043eabda74d6a5b28a57697  PROOF_GUIDE.md
ad103f7741474b1218fcfe03c6582bb9c98fdc66c4543c590b5bc60d80746f1f  README.md
a5c5568097b6be5c1240ee48293024e944ad2ece2a89c039a7f6cde54e807f7a  REFERENCES_REVIEW.md
01d50a1bb015218d8cfbb3a5bc5fc9437788afc734e8f896a797a6fae60f2fe2  VERIFICATION.md
66c77905b752184f33dd794faca03a3f9062f2987e543d4859289e1a8ec8dac5  ZENODO_PREPARATION.md
95d726c361a6b107fae165c6290874d6baf13fb9705ac5f4d4a52575f4a4e236  certificate.json
69e72093facbba391f52895b4d608766d5f5f1c39e34c7c446c381cd127fc1e9  crosscheck.py
a0d203f34ff56d2a891b078955238d9353e79240eed9f8842c9175acac372cd8  dist/three_prime_factors_lean.zip
4f618566fe3a4dbdf46e4d20d02ccfafb12bf8cad5f699d3a80e030dc05db30e  package_release.py
a7099c05b19cdafea3fe17994d337a528469edce7cae24c295d59e5bc5ecd82d  paper/main.pdf
291020863f5fbb4f2d98aa0a1d5ac63349bd8c565d4ab07422aee83d23825451  paper/main.tex
215a48672cd4d795125edd9c9b7913be2fddb88e1db6459b8976650ac4126dbf  verification/appendix_clean_build.log
2685485df8e3e347ba25327df8984d5b7bf156e605a5df015c064b8c28088d19  verification/appendix_crosscheck.log
c056e8edfbb7afd222ac24180bb79b1a693e770a06de03697fda6f3ec08b7b94  verification/appendix_lean_audit.log
5d3191416ae1900045176eaa1b28f6904dab4860aee8252f5723c3354a1be5df  verification/appendix_manuscript_build.log
12d8d4356f576ffb0799b07644991c590d927619bf133fd45cb2502edad374a9  verification/appendix_pdf_checks.log
97ee4372aaff45520464f69180193d82f789c9a13e221355ba3701d615f6eb65  verification/appendix_portability.log
7d18c30f2fc43ccc1c152d1c5ca5e791d6531bfea92f545a9c337ecc11e83e5b  verification/appendix_verify.log
eb865df1ffb318a38498e4c1f6d4bd799dbad4e102629f01f0d4afb9ec6461a6  verification/clean_build.log
2685485df8e3e347ba25327df8984d5b7bf156e605a5df015c064b8c28088d19  verification/crosscheck.log
898fd76aa25acb3278f4d7bd28f1f320cde597e1fe330f0d7de772704e9e44c8  verification/formal_appendix.log
db6aa2851f5ed2c05eb8c6a5ff68c0d7d89842ff73378f605edeb9b33ec3c738  verification/lean_axiom_audit.log
d2c167bd4f7d17ef5d21e00041bc7dacc4c3875e6ee2e036b667cd446c0335c6  verification/lean_build_summary.log
e6b3abf1c44cb5cfd2484d17f399f6b15e34ef450abf255c45d750a528ecd917  verification/lean_manuscript_build.log
3380624ce1afc3c536c6f982aa05dfc572d0425072cfc6fdff69b72b243e36e6  verification/lean_pdf_checks.log
81de4ce61d947d6a72de50a9f28194b91e5c564a4e6984a750dab20d8178f9cb  verification/lean_regeneration.log
1b2c0344b54a407bda3ed81241d9b9d77e435df80a37887e700a664b2f9b8604  verification/lean_root_build.log
a849f526b2c0ff27177ed2168c6fc476cd87e060a77c57df9fd7d575c79aa397  verification/lean_source_scan.log
9fe574e19132c5f9e113e19c760c39addc6bf167ba508a0fc039d97f32c91203  verification/lean_trust_zero.log
ee2cf58424c2f040caa9b16e2637b89af7eaa43bc2518635eb1dcce08e28034a  verification/references_2026-09-15/clean_build.log
2685485df8e3e347ba25327df8984d5b7bf156e605a5df015c064b8c28088d19  verification/references_2026-09-15/crosscheck.log
7fd2eca19cb367668d0fee9d12fde2d44878dadb06be33066cc134be56f7ee5f  verification/references_2026-09-15/manuscript_build.log
05f23c9b17b62f54696e3c63a14c50c01f1f969e86d4f8db9cb09590d4670c3f  verification/references_2026-09-15/pdf_checks.json
a9bbc841452d8b133cc7ea9ecc61d7e64836450877f2c9e2ca60ded14265f0ac  verification/references_2026-09-15/proof_source_identity.json
72dbe07a91bc141dd8603bc8c1ab166a775a05fa96fbf82c7ed5b39903711467  verification/references_2026-09-15/rank_doi_verification.json
7d18c30f2fc43ccc1c152d1c5ca5e791d6531bfea92f545a9c337ecc11e83e5b  verification/references_2026-09-15/verify.log
898fd76aa25acb3278f4d7bd28f1f320cde597e1fe330f0d7de772704e9e44c8  verification/references_2026-09-15/verify_formal_appendix.log
56b7c5fe0dd641c38a393056603f5324bad01442b375d9128c0e68b4bfff565f  verification/references_2026-09-15/visual_review.log
cf230fb91e5e4bd2d4aea6ba8a3a1a0fa709f6a2a0dcf27227e88401c202c79a  verification/release_checks.log
7d18c30f2fc43ccc1c152d1c5ca5e791d6531bfea92f545a9c337ecc11e83e5b  verification/verify.log
d9e13e6c5209d4220e0ee0ff3469400ffe9c2df37cd1fc6f1771a86b1d90157f  verification/zenodo_2026-09-15/clean_build.log
071ed7237f4af5333a0b90458e32374b0eb1e3d0615693638914dda74a19fc08  verification/zenodo_2026-09-15/doi_reservation.json
d9e13e6c5209d4220e0ee0ff3469400ffe9c2df37cd1fc6f1771a86b1d90157f  verification/zenodo_2026-09-15/manuscript_build.log
a43eb2f749e44aac2ccba45dafe906cf9bbcf1f41af64c073e9ca123b73607a9  verification/zenodo_2026-09-15/manuscript_changes.diff
7b766052f8a3e53ba6b7c4fd3be9f52a85396aa8603400ae02af524fd909ba77  verification/zenodo_2026-09-15/pdf_checks.json
5e29126f294b18838f61dd6bee790817e07bf7ec94aec3e7bb407bd132f6fe25  verification/zenodo_2026-09-15/version_1_0_checks.json
f3b0850af425cf1babc2f74398eb6317c00975d1ce6bbdf8dab9a0e1e2004882  verification/zenodo_2026-09-15/visual_review.log
b72ecced21b156fff925882541fedd03c517c2a63986a0e9adf79b3eb4f9f20c  verify.py
c4f582adb57d6192c5fb8b063d46993e3e91bbed706669cee92daba30f710ccd  verify_formal_appendix.py
671b74eb45c55f71562ea20b6b14ea82d750d3fbd8c0eab39eb630a588e5cf99  zenodo_metadata.json
