a0b0456053a48aa172e13b072197f9952352fb779a1ddbb4bfd81dbcc32da764  Makefile
884efb67508ca9fedd73e3b83fc8b419be0f52e142d0d3e5632ad225fc85896b  README.md
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
d251961bebb3ca92b569a200edfbe8db3df13ab3ef6834486eb599cb5e18f37c  manifest.json
ed88dcb8653607ded5c6f1bb801a2cb28f7001fcbd2015019d3ed11fcd205a5d  progress.json
c712aa915b01b7b06c32535e25ca1a7f62f79dffb504b25e1d86907b01a6cc23  proof.pdf
cb4af162f36c0c9d7182f3836b8b04e864bbf34dfc2dd36b9fa805168d346f20  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
