50f142180a668530f28bb14bbf86fcf6528bdb0d0ea30e6207684e7c658deef4  README.md
5f1fa4a0695d35a996afd90fd4989773376cca93cb85629dc7ac32bf87e2d6e8  data/delta_rank_certificate.json
12348232989b077c4d03ff48823de22c3fc057d010487218465517aa369db6fd  data/delta_rank_minor.txt
6e11fde68af05afcc1c892b55ed6e5164e6e354d003520c3f20cd5d566815eff  data/generator_closure_certificate.json
d060acc6eb31c106ab31f64b139c07c9eb1ef978c648cdbbc5d1ee1a9987e22e  data/group_lie_presentation.json
b07bac9121d4accc4161355f3b4fe56776156a8f30c61905e636290f3e2127aa  data/lie31_brackets.json
c2de1f8a58ae60d3814c9ca88ded5787afeeac525c2816cbeee3c14465f2cb3a  data/lie31_tables.npz
679c9615a8b0ea61e22e0a5067b34caaf901b984f0cd900a4e87ceedf3131e12  data/smith_pivot_plan.json
e4ba889f433bb0956b2ae5d6f0e94542d84b4de6ace758fe06f8de3776e5ee6c  data/smith_pivot_plan.txt
261e0ac8816e3a3eefbbd4d4688e65503a456e81a4317751a80ae5114df10cdf  literature_ledger.json
02d4950beba64609b4bc39184ae4481ff801548a2bd0838127601ab4a8b204a6  literature_ledger.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/cpp_compile.log
178654981853cf659280f639b909fc0c3227399822bd169a893c0d633fbad619  logs/cpp_compile_warning_repair.log
57171b896edaa8bca8319a87c369570de83ab2d6ddf6b0f5089a93ebd9b1ecca  logs/cpp_independent_verify.log
4aff4d73813ce01c2ee69dd2cc888ddcc1f471e8378a3cbe34d103cdafd13902  logs/full_reproduction_console.log
c0658d785013ff9f709837dd2f3bac48c142a4d26f74d04487f26c5fad0eb8f0  logs/latex_final_pass_1.log
c0658d785013ff9f709837dd2f3bac48c142a4d26f74d04487f26c5fad0eb8f0  logs/latex_final_pass_2.log
c0658d785013ff9f709837dd2f3bac48c142a4d26f74d04487f26c5fad0eb8f0  logs/latex_final_pass_3.log
1948bbb5c66750972d2ca0585b4bb7390dbd588d1d245ef8fa447ec15d314d80  logs/latex_first_pass.log
883671fb58e8980d8898265d3a170c54b5fa42b435315bc3541afdef8413f6c0  logs/latex_pass_1.log
76b6d4e1bd6099c3ce4a8b32d09a4707a912789858666159724ced7b374ed475  logs/latex_pass_2.log
b0df3ddf9faaad04fe26c5db7cdfaf4512a2755dcda23bb6c12a01cbfa7ab01b  logs/latex_pass_3.log
3aef7f7b51db8d4cae5416af64a5763ffa17b57784e7d05119a101cc0a1b7a80  logs/latex_second_pass.log
8b3afa32bc3342bf779e4130a5ed1db5e39b87d8235b58185e0c332457ad1f8d  logs/lie31_intake.json
647277a7d4576699c924f641ac451ad9f9d2b15696260dab299e21ea4d5f0ccb  logs/lie31_linear.json
f07d8e298bccbcae836066562c940a5b4461fc3e4385e85640580ac4c58737a8  logs/negative_certificate_test.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/pdf_render.log
5b94d04ce1240231d50e7a597a464daaf79766ea7d63400faecd73131fc2d6fe  logs/presentation_export.json
28af5a07781b2b47c4b8fa451ca5d68552c231544af77ae10ec291ad2c32fb21  logs/resume_cpp_verify.log
44ab26211cf44f0df206b3573b7eed87fe547387b219f520775af45f1e46f0c7  logs/resume_negative_test.json
6185d275ee2614da8dfcd6ec4f527c0c74db0e71e1efd0e28477f193c8dcce70  logs/resume_run.json
39e9b45b667b0b254be16fe868ac14dc9d7cc40eef3adc4f13b7e0c9ec1684f2  logs/resume_sanity_groups.json
650ab6b33d9a3d916359e4fcad37ee0084a1150c16f130b9d68d1ac8dd29d10f  logs/resume_verify.log
39e9b45b667b0b254be16fe868ac14dc9d7cc40eef3adc4f13b7e0c9ec1684f2  logs/sanity_groups.json
0ceef377869d787dff2f32494d7c6eaa078221c8e0fc246729d9fab34feceaa6  logs/smith_compute.log
48aa345e8d2aeddbf8020267b046fabd0e81be4ae4731ac86198bcef1aa93e84  logs/smith_compute_precision_12.json
d1ed82fe85d5d495d70596d4c70237c6052ab260a75c25416c800afdf3e8d297  logs/smith_verify_precision6.log
2f2450afd485e096932287882c73521d62c3875fbdd84bc0445db81fea5ed0b4  logs/smith_verify_precision_6.json
78fad457d7870221693f8efbae436575ff14f43bc58a03a8a0fe2fd3405a419c  logs/software_versions.json
b83746dc5b5bcba8e8714abdfb69160d2d4b1c2455fbbc061226ffc6dc7251dc  notes/construction_checkpoint.md
df67601b87e12be93eb1d0511c133ada82efd1d1f24ce1730703aeb271300a3f  notes/final_verification_map.md
800b8bbf877f890a79cbc6242dec48d07c3711fecb3be64faff7e98a1b1b4711  progress.json
6bce4874bec68b1b5cf61623ed38a2de855f7523d71e06395b1e9bf3b461e963  report/kourovka_16_63.log
da744da6f3bb3886dadac2382fe65d97acd8ee4f9afc9fac1b0fb733c2a5273e  report/kourovka_16_63.pdf
c007b1153a492619b69d5f3441799595dc3ea673adc85738b02d8b454d0aeed2  report/kourovka_16_63.tex
7145b83f7a436828b544bd0584a649699d406033dea36b8265dab80aac8b38ca  requirements.txt
5b1feb96480e14b474df4064cdd2319f56dfe13518176e7bee0d8ef9efe766de  scripts/exact_linear.py
ce02289d66b501c99055aedf6ae91e7425da939c0b8d31ad5cd47099aea37c57  scripts/export_presentation.py
72640ca522ea42829fc4ecb960583e36b86eb0e706c7775a00a3beda98a50894  scripts/independent_verify.cpp
2d2e00fd9a3c90694c90e76d4a19d2dd347b8df57d4d5cb9c30007fa98ce6ab6  scripts/lie31.py
8e675b6a5fed5e71ec6d8646866431e24c659f7d1481f0b68b598bf87950d3bb  scripts/resume.py
318126ee7887f8200ec7369427e5a2b35ff5d7288f9a8a944d2001fe80e8a825  scripts/sanity_groups.py
910d5e592f9ffc8aa1c83f5434951112897e15725baefee7af5563ab975c389d  scripts/smith_local.py
9423ed8d17da6c9915352065e7343aa09bceb58efd2df64e0e3929f99ee9589e  statement.md
