f97b7b07232a6d57a1eb038ea50158a86223fe8b26f3b7230ce8e228b9f33ca1  .gitignore
1953bd6a51cc39df9322c2b5443444bdf926bc960ef15b1d99126a73a159f9dd  CITATION.cff
939c21cb1aa9ed9c8c145216ea57e68687a7f311da4ec9859099941f4b0d1f4b  LICENSES.md
f1a151eaf9618541b3900adc1cadec7e1aa00d22034c1516bbbbcd1b770cea9f  Makefile
1cd5f36d900678b43f5825475ef43df98f1dd5e25c86df4e5322dd992e6468c7  README.md
e87e7943524e8d37400723cacc819daa1d32e45d33ae7ec3104b74ef29b7bc49  audit_2026_09_21/VERIFICATION_REPORT.md
f8d01e980510e1e6c8628c9c0cb5f5b9c8328c460549cc354a275f44992c89e6  audit_2026_09_21/compare_independent.log
2fab89d4dc388910c056205a4052ed7e47dac14059116fa90b4db9d68344e6e9  audit_2026_09_21/compare_independent.py
f354deb481f6ef22fb5d337f6c5a970f4480ca3b2f5d86ac19b991a8fb645c3a  audit_2026_09_21/independent_check.log
22867c884302e5bc7d05f7f8bd703334aec2d4b922b44bf2be4f2e95104dd7b0  audit_2026_09_21/independent_check.py
f354deb481f6ef22fb5d337f6c5a970f4480ca3b2f5d86ac19b991a8fb645c3a  audit_2026_09_21/independent_check_results.json
e1ac8bb3992e3ac26f6daa2db940f304b2bb7916462589588d30e1665fd70814  audit_2026_09_21/independent_computation.md
d232a163780e8034a6699b2d39be60c63822c81fb3a823caca25df253e639065  audit_2026_09_21/independent_subgroups.json
c646a734428c17a2acf94ec4b7b69b3709d19a9c8715590e73f1ccfc358a7881  audit_2026_09_21/input_SHA256SUMS
2e560b63a4034932cf066ebbce9c90a51e46addfb919a05065354aecb37d2ffe  audit_2026_09_21/input_integrity.log
d251961bebb3ca92b569a200edfbe8db3df13ab3ef6834486eb599cb5e18f37c  audit_2026_09_21/input_manifest.json
ed88dcb8653607ded5c6f1bb801a2cb28f7001fcbd2015019d3ed11fcd205a5d  audit_2026_09_21/input_progress.json
d2461e6e1241be13aa2476fa6867220314243d2c19fa644107b3baa247d621ae  audit_2026_09_21/input_provenance.json
cf4bd8f8bd4b24f272048e5c5d54c5975c34cf6e14cad405fcbb4c168bfcf62d  audit_2026_09_21/latex_build.log
cb4af162f36c0c9d7182f3836b8b04e864bbf34dfc2dd36b9fa805168d346f20  audit_2026_09_21/original_proof.tex
032c7741a57e638d70192841902b430fc9aad37d6597c0b7d6c03cad5c65a3a6  audit_2026_09_21/pdf_quality_check.md
23793c100695a0a1b1327cdd51b48e37672a4320799baffaf8c9eb666bd0b563  audit_2026_09_21/research_log.md
44c5330cdf672b5c27e2e70e72bfc666c9bb14fe3aac613830454098f1291bb1  audit_2026_09_21/source_referee.md
2cbdcac55c2f93c69a0a62a21714b49498f8498d5273b437c73eece72b38429b  audit_2026_09_21/structural_check.json
e6bf054ec54047ac316dfa5e266f40ff2564f9760c391fe5b826e312ee28bdad  audit_2026_09_21/structural_check.py
0dd0030a4d5e728086e204d6e8b3a1f1ec4ad480a61a6c38c58fb310c4325d54  audit_2026_09_21/structural_referee.md
63d5884cb647fa130fcf24c91d6e1ccc3ef94c211105bc078e275ca0883bf2cf  audit_2026_09_21/supplied_make_verify.log
22a823ba994a5be772c1e08215adce7e49795f15f77f588db0b793edbf47ff9c  data/A4_group.json
226223acf59982af50365b4412645f5a18721797156a83fcaddd60168cd451d2  data/A4_results.json
9f235fcb19a1fa250aca8ea9ebaedd4cbd0ec38cc4fb65b890c996695719510d  data/A4_subgroups.json
f641bcdf38876b930c334b7f12efe459143f0c3d2b377cb53647e682eeb633ed  data/A4_table.txt
ceafc02bd1c24d5f17d6abd332c92a0bfdb9c77c8046f7c0ccbaf62b017a8450  data/A5_group.json
a05cac4311f2063d29e2e63292831ce8125b424cada7c6bdb03eee7692c10552  data/A5_results.json
382b49127b26f34b75cea5d13cf313c040a0892ef931e99f6a07e1bd4701c9d3  data/A5_subgroups.json
0fc0c7905e5ff1bff6cb68ac8704bc9053a93e1b566136a398551c74ea504471  data/A5_table.txt
73e9c165e631c2031b2877fdedc7ae5fc3eecff57c70d0c250acca8cfc0ac2ed  data/BI_11_group.json
7a0fb6b376e1cbe1833ae81da9787f155288e5d743ebe04ca11c11e9bfa8e56b  data/BI_11_structure.json
15b51d06669ea4ce3a04d55ec61c2b25a7ceaecf88cdef4d8ee842354716a15a  data/BI_11_subgroups.json
76b70558c3cb4ad073d4cd8e60e1a164c431f815596bd287539897b31e5e9662  data/BI_11_table.txt
30dadd4e8648f5d03bf40e2d048573dd84cdc3249575f28394ca569198451171  data/BI_29_group.json
dac549a5c99f53fc46f22c00497ecfc06aa3d19a52a1beb1bc460c70ea1507e9  data/BI_29_structure.json
15b51d06669ea4ce3a04d55ec61c2b25a7ceaecf88cdef4d8ee842354716a15a  data/BI_29_subgroups.json
76b70558c3cb4ad073d4cd8e60e1a164c431f815596bd287539897b31e5e9662  data/BI_29_table.txt
9ab8667990963c0cf68d24667c81e33d9513b200df272d789702a8cd7cfdd6da  data/C1_group.json
c73fe259f066cc9d3b564784948e07454101d65b208d07d99a0ae2481ee2c623  data/C1_results.json
c381bba088089f3d4f889bbc72c483e5660ae512ab0a9c38b649a12335d12ff2  data/C1_subgroups.json
5d90ef7fc0d040fd56a1e48697cfa99e0dfaf4fd803aefefc3b5053ec1d36aea  data/C1_table.txt
dd6ced98db9ae9bceb12c149d7070121040b4dad75666055ebca1876c86fcd57  data/C6_group.json
1dc6eab93fd0765d02197c559e52f1e93574b9b5f1196ef92017a2f9152c565e  data/C6_results.json
8108508580d326eeeb78fb1ffe512e6d957d62fd4967df1af3c3f825c3251d5c  data/C6_subgroups.json
119ccfe268ddd71f663e63249078b805f3d4a7d384ab6e60ddcc2f1de98b4e53  data/C6_table.txt
09e94042efa7d0fc2f548b8df3cc623d9a46805b68c2ee97dbc2c4aedf156892  data/D8_group.json
58e2cf9d6fed284935c700c2211f02797812ecf7c367a40aa50ffbbc353e02fa  data/D8_results.json
15fd38070e5881d64ad759bac32957647d9b0835a7d8b8dc6c2ed7503212ac8e  data/D8_subgroups.json
a2b522c3f65671269cab030f7bd042b4dc1e503ab4cf2880d28827b546818f34  data/D8_table.txt
5f88713f8625907a1a77d4889aca071fa4883b5601babadf2e886da5d9037840  data/GL2_3_group.json
c69405c594b1df96536ae89bc6b45af6cd19cfdfccea4c00e31a4306cf832b88  data/GL2_3_results.json
9aaeff7c765db2f6d3a8bdc4b903a28e817d55632ea3bb86b31927eef937fd27  data/GL2_3_subgroups.json
d35b3cabb155b73cae2893d9d7fdea6dead3e6ba027d3ffefef6f86f00ebc9a6  data/GL2_3_table.txt
da384297b8381e3266c8428f81120eb5c9cb82dc4fdfd2d295bf45d9f4517f04  data/PSL2_7_group.json
5596629bb4916738340f6a3c018715dd1917b6bb6fef9883dec7cc5fe6bc1215  data/PSL2_7_results.json
f4d3cb274781fcf6c601f32664a2192f094f7d4372b506ffea13f734f4dcb0d9  data/PSL2_7_subgroups.json
a098086e09030f3e3ef4f4a31a7c72c5d68751a7b7cd21095c213a85f720542e  data/PSL2_7_table.txt
c44486276d30dfac6c219f7700a8da553c43fd7026d800030573821d61f5c087  data/Q8_group.json
0c3ab27ef2d3108da5395285425938cd7c4b53b08db6ea2d25e3cd716b601326  data/Q8_results.json
115593fc3e02107c4bc1971578348ae84348fa156ec7d991ca6fa15616e0b311  data/Q8_subgroups.json
2bc2bf250219e1514fee0351d1da99fa070e76627032b0b2e9d1b12a1e2ba8a8  data/Q8_table.txt
537e0355f104f5baf0980567d4bf181a2ba7b330a357f529d2e1f54d134173c0  data/Q8xC2_group.json
1e92eea47ae569146633e10e960c2b2e8f935471e6e12867ddfc69fc17e78d00  data/Q8xC2_results.json
7211c01d786652da6745955c3e2aee1f32a9e441ab63dcd384e9abd5a5b14d42  data/Q8xC2_subgroups.json
5172791f00e3f548e4be14dcba80575ffc87cb7602d895e2910a39b170708d16  data/Q8xC2_table.txt
58616c79bc942825ba16d8a22e04dcbc5fe2c07d082c4f30f8e785e0a198897f  data/S3_group.json
a2eff61baee58b9c5406cdf1b32549659a14dec65091f56e95e7c62b438d9b84  data/S3_results.json
7b1e8c93688b9db5783c6627c87c8f5bbde07167fd93321702040ca1a6371bbf  data/S3_subgroups.json
6dd1f0902da8978896ee9e1124dfe5161a2449032c6d3f9f822ba6d3bacbed70  data/S3_table.txt
66c18b62fc07f11c6b6dfb9c780153666bcb0b6af417d222be3564f14ef9c677  data/S4_group.json
c4824abb2600bda0efe4b965a0e04c4bf5260209f70b18f71e5aed79636917c4  data/S4_results.json
e0d4b7ad5b1a99a72d06539c3eb4391b95d32455be24f72fc88455a9852932f9  data/S4_subgroups.json
00529628cc0faa262555a366d593af5e1fad1ec03c81f09565e678c7ae2c5d78  data/S4_table.txt
a0f7fb1935ef08824297c9c41166bbd5e21e1163db85fe4259b736d88171e8f2  data/S5_group.json
e21e0e5825eb1a8beedb5bbd930cd27e9e2f0ab72312e0dbb00ec900601e5f8b  data/S5_results.json
bf903a7f6f4648b5fa3577c5c8f8809a8130a4679ed3df0951ec5f5c03a9fb0e  data/S5_subgroups.json
39c4a3f1cbb0c392b7e557969c425da51759dad6b7486f978cb5789194d68069  data/S5_table.txt
7b5ba8315c30eff385663676be831e431ff0b5d32d8e11d4d8233506648dfd2b  data/SL2_3_group.json
74bac287be5fe565c0f725b571c0a6341700092574dc8baf2bbe460fde495545  data/SL2_3_results.json
64e510f53b6e9feb0c5d077b0283c7195a080abc7860ded827d48a4cfcc2d084  data/SL2_3_subgroups.json
9f0d1d5ae1a8eda5541622ce27a57111cc8be43a38804e37b5d18f715c756728  data/SL2_3_table.txt
64a4b5db0f6052b9fde74ecc905fd6cc7adebff16b5ac26c7b148d6ba6a0c6f8  data/SL2_5_group.json
19081d9e2b17f788d40d0a6b2d17a316a494d51f52dad5930cd93d075cbad6ae  data/SL2_5_results.json
e3abe7b2f38018d168323bd083d97140ec5140a54ccbf023ad8697bc1a5f5df2  data/SL2_5_subgroups.json
18b258db25083054fcaaca0cbb4159d292444374ae97178610a9c6817cde59d6  data/SL2_5_table.txt
a65f65f87f841bfb4b6d0b371075f68f2c1eab48be1559c76e4ffd2d46ff0889  data/UT4_2_group.json
3792bfe5497558238d7b0b9100cb9d0c446bc0c00187eba5f2584afcd54cc6c5  data/UT4_2_results.json
f41f913042c32c0143c842218f577a392fd7e32a341f36536af6eb7cdbc16972  data/UT4_2_subgroups.json
2b21ecf4154e04b97722eede209ab96bf3c2db4e084f695f6c7a2883f208db02  data/UT4_2_table.txt
03c7ad3bfab01c55d16492b5f9f85ad0332b46d54cc0d77d5cee81d4174fb78c  data/certified/finite_certificate.json
f7240fd96248937c468648ceb150151a867feeb28be4d56c8f9015b98701273c  data/certified/subgroup_order_distribution.json
850f47ef51e52b4c8e25569ade9960976966fcba8cf4ba100ff2a78abc545396  data/certified/subgroups_cpp.txt
4e998cb4912054896e443cfd906cf717d45d839f63602af5dc15ba6eb13bbba4  data/certified/verification_python.json
b1fe00d1d5bf66418d649c4ae15c66455b8c15bd0aaf5a4dafca323c9e34714d  data/group_spec.json
921eef6764b48930a6f967d76218cee4a7ab85b852fdcc2bfaefbe829ec01e60  logs/affine_discovery.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/cpp_compile.log
bbf9b08f594f784c5849af6bbd532627c773e9d21b9e72e6e1cec2341466d618  logs/cpp_compile_initial_warnings.log
74bfccb24f0170b271255873d95ad9316172cb8e45245176a42a6027c708800a  logs/cross_verification.log
712c3759adb9b27a36449ccd735a4550c4f77897230c5b880ea9ec2c35365beb  logs/environment.json
8b5999a5ba5db67449fd9e70e1b9f5ebe090053fcdc9b05cc132ba4cadeb67a1  logs/examples_initial.log
3936c3416bb2e3b28681d605bd69f0ac7d2b1f9743433e4c6c81f47cd3e3eb19  logs/examples_second.log
e768722641cbd6246a98d8fea1686d01de42ba6acc79ae362d26dcd3e3894761  logs/latex_pass1.log
e768722641cbd6246a98d8fea1686d01de42ba6acc79ae362d26dcd3e3894761  logs/latex_pass2.log
b22e7fc38f6d008a1de6c770685515694e814f74def0417dd590fecc2c1dcd49  logs/pdf_quality_check.txt
46a6c1a111bfdd8ed2dbf53548a653a51bb60f04e5423cc6140d405a225ec17f  logs/prepack_delivery_integrity.log
3d9dea55737c874bc3fc856312eb10f6e4da63d585d6f77ce14b6d490b67deb0  logs/prepack_delivery_rerun.log
f9bd9699491208e27375d5869d472111407bdd270751447befa7cc321dd4f7e0  logs/verification_cpp.log
4e998cb4912054896e443cfd906cf717d45d839f63602af5dc15ba6eb13bbba4  logs/verification_python.log
a91c5a41bdc97b641934a9dd2e8e6671b1f66d393f5086c792e9d41f67c97471  preprint_review_2026_09_23/PDF_QA.json
fd2d1c823cf5b28dc781279dda783b1e3de60042ddfcea769643d06c4d196b30  preprint_review_2026_09_23/RESEARCH_LOG.md
ea777cd5d129c11adfc768635e7a799106f50022fbccd918357443272a5ad41e  preprint_review_2026_09_23/REVIEW_SUMMARY.md
380fe1cde17908d14fafc2e3a742a43078e6d19ba4837877c225348f706ccbf1  preprint_review_2026_09_23/round_1/findings.json
37fce76f970e0781d45285983d79769d844724a68e80564c7af81be7227dc789  preprint_review_2026_09_23/round_1/independent_finite_check.py
70671d89eeeff1ff10ef092cc09c83dcc8daaddb55919409523a57319155ee92  preprint_review_2026_09_23/round_1/independent_finite_results.json
9ab29ceff5ed519c22af221e1e1abc239d21ca0d72f3480727e7c9f075829a08  preprint_review_2026_09_23/round_1/latex_revision.log
a68d0a49ebd194a7175b4cec940b09e39a83a95d5f979b74782a507c96e73864  preprint_review_2026_09_23/round_1/package_regression.log
2908a1e1f74a690c4d1eacb3275efee01712e384103ca31ad7df9283a0b47134  preprint_review_2026_09_23/round_1/packaging_probe.json
314919e087e4b2c24de015dcdf1a38ebcfed1b3ab2aed1a92149f5d533d14624  preprint_review_2026_09_23/round_1/parent_findings.json
7a5b37633819ddea2b706f5a3d71b52952306d2c22d1892c8b50bbaf2c565747  preprint_review_2026_09_23/round_1/referee.md
74bfccb24f0170b271255873d95ad9316172cb8e45245176a42a6027c708800a  preprint_review_2026_09_23/round_1/replay_comparison.log
f9bd9699491208e27375d5869d472111407bdd270751447befa7cc321dd4f7e0  preprint_review_2026_09_23/round_1/replay_cpp.log
92455de6a0bc876ff1b85a2801296df6f567f9c5f89d3a08ac480a5fc410e81d  preprint_review_2026_09_23/round_1/replay_python.log
03c7ad3bfab01c55d16492b5f9f85ad0332b46d54cc0d77d5cee81d4174fb78c  preprint_review_2026_09_23/round_1/replay_python/finite_certificate.json
92455de6a0bc876ff1b85a2801296df6f567f9c5f89d3a08ac480a5fc410e81d  preprint_review_2026_09_23/round_1/replay_python/verification_python.json
64891f2aac3b9528e896c6ff15f6b99c3f38717427cefdb9b097da88b8b7f3f2  preprint_review_2026_09_23/round_1/research_log.md
850f47ef51e52b4c8e25569ade9960976966fcba8cf4ba100ff2a78abc545396  preprint_review_2026_09_23/round_1/subgroups_cpp.txt
21bdcdf94b8639a3271572e9a6c19e1eb8c569c930e4fda32c13ccd2695f6727  preprint_review_2026_09_23/round_2/cross_implementation_comparison.json
84853f106e7be8f460b7a7b40980b590ad04af6be4d11fba161f86fe2efc49c8  preprint_review_2026_09_23/round_2/findings.json
9296d5a3a8baa576c446537b9c68ec8e301c8d208aa73372c650f34caa93ba50  preprint_review_2026_09_23/round_2/independent_check.log
4ca2d19ec5d96606d0c5374e18734a5d5bc58b4dedcece01ffeb4703aded3ab3  preprint_review_2026_09_23/round_2/independent_check.py
9296d5a3a8baa576c446537b9c68ec8e301c8d208aa73372c650f34caa93ba50  preprint_review_2026_09_23/round_2/independent_results.json
62442d115357408ada3339de8c291b4b47b03790542a9d9e19340fbc4ad1a7f9  preprint_review_2026_09_23/round_2/independent_subgroups.json
65e8a404336391dbb53047466035bcb78d62d10e1233d1dcc868a160dd21944d  preprint_review_2026_09_23/round_2/package_integrity.json
f1c0eb9e032d5198ad340e73ffaed00ab7332cc123183b06dc8244a58a8bfa8f  preprint_review_2026_09_23/round_2/package_make_audit.log
530cd3270bcd1e239fa74c87ee12445210a74762596e2fe38cd2a922bb66fbf6  preprint_review_2026_09_23/round_2/package_pdf_build.log
a68d0a49ebd194a7175b4cec940b09e39a83a95d5f979b74782a507c96e73864  preprint_review_2026_09_23/round_2/package_regression.log
09fca9efad31d372c052117c99c87846892f16cbcfafb4f1969a796913746ea0  preprint_review_2026_09_23/round_2/referee.md
c2137df097ad3b7be4db10b6cd24c9b52d0d4a43dfec885ddd8cf019c66facf2  preprint_review_2026_09_23/round_2/research_log.md
254df6474aedb0561ff2da28917870a1763acd518bc8733b1bea9e6cf8651a9b  preprint_review_2026_09_23/round_2/reviewed_delivery_hashes.json
cd265de3cac5d4bc740a850134a328ae25061b178e74177512194a731667638b  progress.json
6225ed0ba605c1014c0e5e4954d97011f33eb8fa4c2b6243e4d071d5d82122df  proof.pdf
2c74f1291c165dbefe72ebddda0b0a47784b8202811b162cc4496d59acd04af4  proof.tex
ad52be2efe364d3fb48219c98ca0c9e1a223f55f7b989039b16056ad6506fd70  references/source_audit.md
9b9657ebfa2b66f67bc217caca885c4cf633decb4c2db3fb3eb0db1a01d70a8c  research_log.md
e069950883743c1c8bb248f583a7e1a74cc6c3e37feb865df79e15c9d576ab1e  src/compare_certificates.py
3096ddb7952c4da316dc6d1dac6d1ee8a5e8ebad2dfabf2e478609863469bd2e  src/discover_affine.py
841ccbeb5993b756a759360a6cc0bea52e9f4e7b47dd0f2a2ce421d6279d339a  src/enumerate_subgroups.cpp
06489e879a4aebeddafbdf47d545922e8ee1b887ad778cef5331f2cbaabeaf2c  src/groups.py
809981ed1d0a5cc2336e3bbb9d4e394a7827f94dd0bc1a10e6e41779b370ae19  src/lattice_opt.py
40a1d2a08c2abe7eb144274ceae11eb448831c7adaa5e5207dbd74cd6f9483ef  src/run_examples.py
b315b718ed33e9d7a98c7ce16a8b9555b310aa916524ebf120875dcd81bf0fd7  src/verify_counterexample.cpp
0d31f0018645500df60ac4f6cbfd5c2cdac077afad1ddaa59f60565aa4dd178e  src/verify_counterexample.py
0dc1ee10e03d85215f237c98ee49e0c5fda2c98a7636e938781b9159c90531b7  submission/UPLOAD_GUIDE.md
4c87c5ecf27f93499c17dd9497c32405fc4e9a9ffc95d9b199ff8e3fc238e59a  submission/build_package.py
c65e332f876c63287daf4a1f8a01504909281c660c7119db8d09991b2bfddc94  submission/description.html
45a4a585bf0e3f6019664cc2463d5fcd99b43365c8dbb7e2769419d87c33ce79  submission/description.txt
d1210e3292b521344278c450eee2358f2a0c931ecbfc9d299ca08478002fd3e3  submission/metadata.json
373e40c57ac9be17bf393c1be272a1418ad62cb77ae5fe3ee0d286065bba15f8  submission/test_package.py
