a0c1d2f2988e0ea5bf8302ef56eb29604e3e8251bc99fb93d2b5c54e90fc76ee  .gitignore
c871d74ab93353a6e650c9cc95a66734f9ac300eca34ac13eea130e0817d187a  README.md
18fcb7d4109e000fd07c972ce74a6e62dc24660dee603813ff58e5323be3bc19  RESEARCH_LOG.md
3f59a6d78f71edeaaaca261847d5dbc71557a60673bf27b2814bd6f76b87a62b  audit/DEPLOYMENT.md
16cf81e6ea1bac391d9b8b44df5269dacd9cf393d202cbddad9db39c6a10667b  audit/ORIGINAL_SHA256SUMS
23991b389e3ee6f5c4b610d9f8ed2773ed9a4f940e47fbd1c8f2ac9cd9ea30e0  audit/VERIFICATION_REPORT.md
232bb737fe026ca8bff8ccbf42ff01a0710fcb30900bbbfabd07085bf102a844  audit/check_finite_flag.py
1f1bbf3f190f2b381147c2140d02015276344cb3afad52cd5b1e29b69bb43642  audit/computation_audit.md
e2045b328562ed1c9bf9034b183d094cb45d5d8872229ce1f07d3397991f7adf  audit/final_adversarial_review.md
a4b491321f69d1b7b7b6233ba28fbb9facd25a3a45c57a88103624b48ebd310a  audit/finite_flag_audit.md
98b7ab7e98ff886d6a61b16efd996400afeebd38a240cf957f4109c5f6f4babd  audit/finite_flag_checks.json
05573e123cd57dbfdd2a22a1ff4e9ffce684708f21f0fc633afae4438404aba4  audit/independent_exact_audit.py
70a8a8657becd8a01710c5d60c0790a0cfbd04751e15d3f5eeb049ecde9d0ec9  audit/input_integrity.json
73de809f23df2a9d724a2bcfe96e4bebaa3dc141dcd7e728325e322f2d4abf0a  audit/literature_recheck.md
a9c4e3e9a74c27f313ae8d175a957bc5fa6d444866537ddbc541cd0214eb73a2  audit/manuscript_edits.diff
800b8bbf877f890a79cbc6242dec48d07c3711fecb3be64faff7e98a1b1b4711  audit/original_progress.json
2c0aadef9ec06b07c1d82496dfd7b95a85d84213edccc191c004348865ba2d49  audit/padic_count_audit.md
afec712f60690f5ea194e284ccab0ae63ff28e380927c24d52112e26b339c1e6  audit/publication_latex.log
5e0701febd5011579b6c276716eee044bbd893780fe06d3f50f6d49330dd6c9a  audit/publication_qa.json
21aa66a6b36871e3bc1d44311d74487ce7549139192469327b940778f2d27e5a  audit/reproduction/full_reproduction_console.log
c6d95e9d01cc8a0789a5a983936e6fb721fdf0d5f77a749de2cbe945723744d9  audit/reproduction/independent_exact_audit.json
bf9d86cce04e89e3b9b68d9e3098bdca576f5a076f0a057f36adec2a99cb3bbf  audit/reproduction/lie31_intake.json
ac025d392ce1be5d38503b3f9aa20b28a0f71415c9b5b22abe1e0ce8d29213c0  audit/reproduction/lie31_linear.json
51ab2b74ed36cb94b6ca4b1cb77351271bbe33c5b6f7392f450318fffdd86b87  audit/reproduction/original_clang_build_failure.log
fec712838f790add9f9e569ba3ae829a8600a9a2f0eb63390ce7427174c24ee5  audit/reproduction/regeneration_comparison.json
e9c1070c19ea1a1a186e33b3172035efc9ac780b34ae54ef7714686c9ab1f232  audit/reproduction/resume_cpp_verify.log
44ab26211cf44f0df206b3573b7eed87fe547387b219f520775af45f1e46f0c7  audit/reproduction/resume_negative_test.json
09e0c517485b131bf2dfe3d02cfbe076a9e5a052fc57599828952f1ecf3fa989  audit/reproduction/resume_run.json
69e97f29b82890ba58f2dab8b952e9580806d5f2252a3cbf735a2bce099cc2a6  audit/reproduction/resume_sanity_groups.json
3d762dd986b268369623a4eb0a5ec67c59daa20510093bdfc08622d16604afed  audit/reproduction/resume_verify.log
3e879b8152eebcb49a0b53330f00bc41da2bdf5cafdf0920d4d914e47aa2d823  audit/reproduction/sanitized_verification.log
82b67ca6ea976256d81fed7c667767aa028c94e2334ab6bdc3d1bd369bd12144  audit/reproduction/smith_compute_precision_12.json
6834c1f605985f516dd0f64f190eb96d213b279649922ee1bf9c54a48d686ab2  audit/reproduction/smith_verify_precision_6.json
4f745f34d620eb34273da4d1898c1d2f480943d7a4af9ff04bb23427908d85ad  audit/revision_v1_1_review.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
429aae3f30ba891f1954d88744d76360e21f1bc8bab343fd3c6b74f4e2c9b11b  logs/resume_cpp_verify.log
44ab26211cf44f0df206b3573b7eed87fe547387b219f520775af45f1e46f0c7  logs/resume_negative_test.json
c0d0ae98ace37e0707ac1bedec9d05b5794cb11b0b9d0d22d1f339bea0ceccda  logs/resume_run.json
d891727d5f6d904c5559e63d0d48de4b384c7dcc4c7358f6e75a0b1f049e326d  logs/resume_sanity_groups.json
17a5b230ea9b8265007345b5770534ae324a1b0d225e77973fea87a43a93f510  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
b31d4d31efb1abf1f7843f1d3ead2497cfa54b3060421eb2a5c67089bb72915d  progress.json
268278334d9bed6f1fde41319c10391d71777d7a2ad86016e9a1205092f7f3d9  publication_v1_1/CHANGELOG.md
be6b53275f7d3bb3cfdc97a69f2719ba7a9b7ed3518994ce0862bdc46cf45d6a  publication_v1_1/build_packages.py
ce1f506b548bb369cd3bb1e7f5e2c39de6f63a433c47598ab29a8d50c94abc00  publication_v1_1/initial_publication_qa.json
8d8f7354bb73c1e3a2cb6a37d5cc38aed1bea303e672560c8b7d2b1bce9f6d10  publication_v1_1/manuscript_revision.diff
c2f3b04508202aeaa42209446b78b511eb52b0eb1595d34989649c1e722faa45  publication_v1_1/mathematical_input_integrity.json
ef2e377115df33e245cfd7dce9a9baafaa173152fd36686fc8a337c15a8e9592  publication_v1_1/package_smoke.log
00c71ad68ca7fa5de5764ba15ae5dfbccf998edfb3a0f111c35b227bf1121f2f  publication_v1_1/prepublication_checks.json
86539b8db7d8900f7ef9a6e0f436fe24ff74ac6927b29896a03bb554359ff78a  publication_v1_1/review_intake.json
67000f8e30ff2af233af84b188f78d21007f5a0dfb1c47b553ed24f794ad3cdf  publication_v1_1/zenodo/COPY_PASTE.md
89d444d6e829eabbfe636c8183928a78aa12381ace67b0077c8bf2f7212fb402  publication_v1_1/zenodo/DESCRIPTION.html
9260f1e2e7bd0d1b3894c1c077786c3bf0ec36f25396b7e8d34945dd8ebef1f3  publication_v1_1/zenodo/DESCRIPTION.txt
4be4e3a196578dfbd8d52e4fc6648a4113870b30b4737a3e5d514338e578694f  publication_v1_1/zenodo/NEXT_STEPS.md
4f5cb105c3a8b6caee807229a050c1e9d296fe7d72cfd9f6e28743a803ac2161  publication_v1_1/zenodo/citation.bib
d6936515d8d39d95786a562fa84a8021135fe757c90a9b7eff945d92359dc5f1  publication_v1_1/zenodo/metadata.json
9d94db98b4b599a176e95bc74ae8048f69db81d852cf8d557e22f2191c298248  report/kourovka_16_63.pdf
7e65d59804309a10faf86cb2070d928b8f92a25003fd47f79ddcd0694fab82e4  report/kourovka_16_63.tex
7145b83f7a436828b544bd0584a649699d406033dea36b8265dab80aac8b38ca  requirements.txt
5b1feb96480e14b474df4064cdd2319f56dfe13518176e7bee0d8ef9efe766de  scripts/exact_linear.py
ce02289d66b501c99055aedf6ae91e7425da939c0b8d31ad5cd47099aea37c57  scripts/export_presentation.py
85559981b7f5b197c5b07a4118bf3740fb41c5066991f92722ae94f6e4c0f16e  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
