006b9006d7dfc11a7b92f8cd88b5212d822945ab03da49b5f21615304304918e  ./docs/HUMAN_PROOF.md
bef9ca0488da9546462af4d2f040637602e6a82321fc84f2be498e158cdd6810  ./docs/PRIOR_ART.md
9004b4eef3de3c273a811f4da6216766f4728f244898fb999cde10123413ca81  ./docs/VERIFICATION_REPORT.md
b3059338f17ee0f87486dccc16380477e39befa496621c802301159f24e2dd59  ./evidence/A317940.json
4658ee6927738e3b54f54e64fed146124558797b161bc3ec280f8b64280ef020  ./evidence/A317940_upstream_cd729cdd.lean
78c6478e654b4a9f1e5104aa8c8349321649b95f74499cefc220b237ec1844f8  ./evidence/PROJECT_SHA256SUMS.txt
ba99a0691aea1ebc7dfe655a3791d3266d64eb3dc9836fee69a24619ae4101b1  ./paper/A317940_paper_draft.pdf
49c3c9673f9c806cde86006543a09fdc59d5b56fc1b92f92f1d1dd8299f12dd9  ./paper/A317940_paper_draft.tex
524a68e4ccdff928924d8dcdefff5072d44017df03083c060685ab215089e343  ./paper/A317940_short_note.pdf
73792ea068303c8dc397c4e97ae26ce299f4e89ce72e05d7429b9b94600dc30f  ./paper/A317940_short_note.tex
dbe610e3c24d376b9efa1b2228fed7b0bb1a16a9a4218a7ec10392e7adfd1402  ./proof/A317940.lean
15e09ffb3969ae2d0e6886ad219c6b6a7ef39d4c6e30ccb8cf8d35f814dd0206  ./proof/A317940_upstream_form.lean
4658ee6927738e3b54f54e64fed146124558797b161bc3ec280f8b64280ef020  ./proof/A317940_upstream_spec.lean
e00166189860fb26678cca207d3453bf48c540a0f2c215a5dc9ac61e17510ab8  ./proof/A317940_verified.lean
82efe81673843d79afc12ad0cef7356162e8fb700103421ca71f7112dc49b051  ./proof/DigitalEulerPositivity_generalization.lean
9669ad7330763d140f57102cef6cd083130c743a5c5d8bf298a58f33e1661309  ./proof/lakefile.toml
d55ca0039a5479db5b38919d005b2c427b89b3be4f0184a20f2f4eae931f5bdb  ./proof/lean-toolchain
77031f7184c0bb7cfd9831e85a12ebbc15a779124563aa745cb254a18771eca5  ./submission/DEEPMIND_ISSUE_draft.md
beba4da7f06a39f40db8f75efe77be80fca8c04629ecad65ec26290a492f5fa7  ./submission/DEEPMIND_PR_draft.md
6c40122c1f185edcfb1c7fc0e84c0e2f1063ae546793303ab95afbcfc98f22b4  ./submission/OEIS_SUBMISSION.txt
3d3c16ec3231aa14e5af18f8923edc5fb7d3dcd8e98b75ab643b414eb22a8ca8  ./verification/AXLE_verification.json
74f9b3b3739ff4bbee87a462cd4c4d4db3541662a09bbd373e782455db823eb4  ./verification/axiom_audit.log
4fd588acb697168132530515bcc49885c98e0e617eace4ba1d823c06668940db  ./verification/spec_integrity.json