daaee23b3c27bbb320d0f8db2c8d00a4a077f08e5fe0056864323873ddf71b19  certificates.json
82ea7ab7ebb856d7b417db1dbc0c7eaff852fbbd3276a5ce514943c745a19834  omega_proofs.json
423b426276850abf4b3a35b36d54918870eaa400941dc1e916ef8261cd82326d  verify.py
92e58c59c361e01835a3f39a7f074b852d463251c3ca30b9eeb415a4e0f93a1f  ProofMarkdown.txt
42d8199f05b219463fb8114c562e3b51cc00cae4ee593fc60eb7908df46bed9e  bundle-readme.md
87ed14e26df7886287248e155923d8daaeb7cb159099bf300c22f93921d7cfbc  theorem-index.json
d281257220f1ac3db28c4c03456499ddcb8c29c5f851e95f547d9e115befcc5f  README.txt
2a4a696fd9131646c2053babf9c18206497f0fb3cf6309aa162d7017378aae92  evidence/2026-10-15/python-normal.json
2a4a696fd9131646c2053babf9c18206497f0fb3cf6309aa162d7017378aae92  evidence/2026-10-15/python-optimized.json
5aff8063e542a9c7d82038d3d735d39d36950207135ded47b290b253cbdd1f1d  evidence/2026-10-15/execution.json
eb4dab39fc196a2f1f09b9cac36f94ec0d28fae6595b07a349f28fc02dfbed91  evidence/supplied-2026-10-14/python_normal.json
38b6d47b100fc9a69107a2052875a0de32e4dcf6af8c99b9eca658c21c4b6613  evidence/supplied-2026-10-14/execution_status.json