75e1d6ae89941f7fc0b7a952c00304429989f0aeef53def9df920142d2a625c0  breakthrough/fold_anatomy.py
df279a0e5c96fd566a097aef6a58491a98db9ed529fda39d399f50131da95c47  breakthrough/forge_full.py
b74324f072e103d3bb9d45005f6fb0ba5481fddc798bb1832247a8797e7f5fe0  breakthrough/forge_results.json
b7bd4b64115733668ec590b6df1f4a3db823e33fc8c1f73784a07efbe4ddc977  breakthrough/forge_m45_and_foldline.py
14154ef6f0ac30917c7ebf75519e5318c5fa9ff5ab0d60509a8ceaba05dbb676  breakthrough/forge_m45.json
432a416ca236e1216c2713d802336b66b3800becdcd303bf8afce2904061f7d6  breakthrough/anatomy_and_obstruction.py
715d0183718b01d69d103d7dac4bb8bcf33c4b0ef4399248e4b3c57e97d24eca  breakthrough/dim2_dichotomy_and_reduction.py
6a4293b98d5aca49b019a6231bdf4f6e10d76ea028b4ef63af1359e8f0dbd905  breakthrough/dim2_sweep.json
a80369ec239712e6f8678afb0f8a1db27e27400be7673da6ad6619fa7c5b368f  breakthrough/dc1_hunter.py
ac5bcbc7300f3d252e8a5f8a90ca1abfa143395cea56be9ba6f9150ef29af55c  breakthrough/dc1_sweep1.json
a64f9538a5b55edf2a617e9c483d9cede91bedeff706135af6089b4f731bb937  breakthrough/dc1_parity_sweep.py
16711745f51801844a0ff69afb6f5a9630280c291b4d0b3caa747cbddded50c7  breakthrough/dc1_sweep2_parity.json
e6936d57d556758569ade0620438ea5f73e0a27c4c2d4cee8afae33689fecaf2  breakthrough/breakthrough_hashes.json
6f6148cb8002c15e5c63558195cfc5209853bb70b9f5575b9176ed00da80359c  audit/audit1_reverify.py
e3eb45b615736c4b7e791bb3cd6b8c19715c3ac7caed36e8d90af71b9406123f  audit/audit1.json
e154a3d19033f0567e7430a9c78cfd6b694db633f68cba0fe24f55cb33e815a2  audit/audit2_weight_forcing.py
98780c0b46e1ef287ed8190c24ab1230e146ee3d6f51cefbfd63b766b49026c8  audit/audit2b_weight_forcing.py
362bd2a3c0a0be25b2b74e93d9405fddc46f9aeb60fa036eb51a01348bdcf69e  audit/audit3_deformation.py
b41bc19a0e9794fa8da92016b7b25c061327bc0cccb7415f0d992756c46f882a  audit/audit3.json
4de95adef587fee2202cb9c05502205e8d8f73bb14ac3050c946f685d7ee595c  audit/audit3b_deformation.py
dcb0585d63f089251622418f57f06b15720b78b122c1157521316621330c6445  audit/audit3b.json
76b1932077cac09b571ea6719ab5081ed408ac862966727da9938959416909e9  audit/audit3c_close_kernel.py
43e13fd5dad5f7932f735e47f9d78aeef16564b6b0c8f5eb3a7fcdb9ef432ebc  audit/audit3c.json
542acc4798e396f1ff58da195903d8b165c2a87bb4da8d5b8ffff7f5cc558bb5  audit/audit3c_family.py
af4130c15846d92e4a159e97da56b01af85a6f98112710bd19e93ed9ad294e91  audit/audit3d_orbit_tangent.py
1aab9934d9bb65dd308f63f38cc0288e0820899d9b817e3d1a5835b2214ed1df  audit/audit3d.json
013cc6470cf8b3b6a8e170c77956994f8b03bde9a04fc4f63adfcec694ca9cd4  audit/audit3e_integrate.py
1df7083f6de182dc20d8958d0682e381b70c6947c1c49e6e3728ec43d42078e9  audit/audit3e.json
42a38a697b494f71a3709d08492c906612a2070fd02c64d23353cd73b5e2f580  audit/audit_all_hashes.json
57bb85648c4b5729b475989a12bbb073c48dd0e996cec8db4c90185cf4889610  audit-sol/audit1_core.py
2320d77ef2fc2b0de33687e677d69cc2875da7b2deb42d843182f5d7b7250d5b  audit-sol/audit1_verdicts.json
70dee4ab6b92e167072af9a03fab226f9493016e4a816cb5a86955d40c4d3686  audit-sol/audit2_published.py
8d6f944f242b9cf5c26a9b56a6ea7853ad7d6cc219e83cfeac6171df96d3a5ba  audit-sol/audit2_verdicts.json
3768653729a54c8e764fb95a5aae36fae28b1e1e8dda874a8ffd73329f0b991c  audit-sol/audit3_rigidity.py
e8ca08785f9cbb529734d80ee5af8d819b10aaa487bb314b18c955cac4b0faab  audit-sol/audit3_results.json
5573df109b4731a078ae3d4c55775fa53ccf36c5be0bb7a87083d841b852545d  audit-sol/audit4_gauge.py
007b9d8ffc46c71e62c0efa098b6e77c1c63d8da53a9abab1b02d6360658edee  audit-sol/audit4_verdicts.json
08de2a80c4d24e3f484b248cc345018695da4977417be21d32c6ecaa6459a8b2  audit-sol/audit5_full_gauge.py
ae0e3f758e735962c112ed9dc54728ebb55a00813d28da26c0d01acd23dba305  audit-sol/audit5_verdicts.json
93b3b7a97bbe9dd7f8d044de31107d227b20fb22f670edeb740853bcd4f85e6a  audit-sol/audit6_confirm_gauge.py
6347c7affe9e930bd2864c2566d7253308b8d6aca53a917e65d338217e7f9341  audit-sol/audit_hashes.json
85ad5a9bff460336bd4a6da0221ed7e9ff2c66e49a243f565500dfa0a5187a56  ../anatomy-of-the-first-jacobian-counterexample.html