d4e69bb57686b93d5c12f752460ab0b4f2d3cc75a497a1beeb89c9c5791c4441  ALMOST_ZERO.md
2aaa8998766d84cfdfdac50016fd01fbbfbf76190be44f5763786c77c5000f2a  B_INDUCTION.md
d2c31e128ba141ce24e79ae7b63f2611921ddb9de7b5f91867bfe570b017d28e  CONTINUATION.md
a0fffdf8224160c811a4b55113d0449fc35cad502e131117e9f73ad49b9c1db8  LARGE_J.md
cb48625af9dc5404629a917507a59ff4b72080e4c13291a27f1c772f495472dd  RECURSIVE_INDUCTION.md
60e5524998a058cd51dd1d07d99f1e50b3ed71c176cfea01197435786db8f16d  REPORT.md
7433c46572126e74456be6eb3d7d015c3dbf4b43ea414d6a42b57e2ed5173468  attempts/block-N1024-M128000000.json
d4953cff136b359c61d4c671e530975eeb0f92efc4a93951760f2d97e4b24852  attempts/block-N1024-M64000000.json
97809b8bb661f2b41501393a59f3aa1b873add5a4a2f4e07a9e1c1159325f28c  b-induction-results.json
bb2f9f2da8e59ba80b1665bba3febf7c794320ea417ab61de498ee2c1ee551e7  b_induction.py
5bed78e89da2129a1c67f17a1632a2afc3021c8981bceec7ca1f66ca054ba830  block-audit/mobius-dual-N1024.json.gz
0c336b88fef1276c395d2ab14385637d95430e85f666fa1b8ace6d01935c6c3d  block-audit/old-full-upper-N1024.json
1f11367b4009474a38023dc2af796cfa86f0c141105bb3172286f55a513d7331  block-probes.json
396690b694a8c17b264f7fce3514db6454585dffc9cf4bf17ef83e3ebabba493  block_search.py
b9fbdcfaf633a2179bfb36fec110d31e3c874038f8342a4daab1a2e13f83a473  certificate-results.png
c805c624fbc1dab0a27d020852c8728620127786fc50f04d92ef2d6a56966293  certificate-results.svg
ed7ca3b987fd8a0a6f708773f2baeee3c47d83a943350dcaba231f2d914bd8f5  certificates/nb-N0004.json
7105aa76258591d34024fd1fe9e7b1357ca141dabc796ab243548337d2eee302  certificates/nb-N0008.json
ba5ff460d23b0ca618f653be7a53f97b58dd4982f25c8705614129276e8cafc0  certificates/nb-N0016.json
2fdb125f1ebce43bbae69890c0c44c59a396f3fb1999463d7c0e470ecfc2fad4  certificates/nb-N0032.json
27efd5b8e0e53e41a9925adc1ab98bf3c88a762ca4fb58dc1acd4e4569d5c2c6  certificates/nb-N0064.json
57ca0a8f5b68e03ca6a5ed416a3b2bcbc1cc85e8f09502ad969ff95651ebc280  certificates/nb-N0128.json
14305b2bf26b2387af47bce48835adbfb463143d455263036d40483057d7be43  certificates/nb-N0256.json
86c6e05b29644cd0ccbf26f6134236bfc4d00abc282b92dd63a5b25ef0cf54fe  certificates/nb-N0512.json
b2c54bef4479c1d8f77be1aad62167df2282711de74592e44ab79516c3873c22  certificates/nb-N1024.json
5c9bd0541a9dca8cb9e006685166f6fedef8bafe567698b8bcaac4132ce267fe  certificates/nb-N2048.json
9a34683025a29c04efb6a272052c57b0904ec18f7a8a8d97efdb6f4a50715a45  contraction-results.json
f3fb651da23971564fccbf15c8f295151388faf9e34d1aa5d7cb531056e0b96e  dual-certificates/dual-N0004.json.gz
b948078bf5ac5e9441f438df9a931078c86d99d5d9cee9496251b3e1d0c58628  dual-certificates/dual-N0008.json.gz
1945f689d27d4c298cf49b7ac5d02d30aed5e0e7aa1115deb2e03680c9acad89  dual-certificates/dual-N0016.json.gz
2653364090d82fde9ce1bab8b123690a615ac623fee3981da29d9b9a1ac2dad9  dual-certificates/dual-N0032.json.gz
9ef9794959bf9aeb51816c3e4e47fe0098f94bc0dfdd1a1cb538353c17cb90e8  dual-certificates/dual-N0064.json.gz
34f4ad63b7bf32349aa049688c3f9706872268562942601130b7debec3b806ce  dual-certificates/dual-N0128.json.gz
26e55b4a10398312db81a2bdecdf1d24d19e656e5a9283f31f8cd8c092eb2491  dual-certificates/dual-N0256.json.gz
e2fe0b321b989d9c02cfe3c9893703fe82e97e9f512497eecb0bcf7b2184fcf5  dual-certificates/dual-N0512.json.gz
041715bcd9849e0c8c71fa48d87885cff68f0cc026b9946adceb0e23a4211ccc  dual-certificates/dual-N1024.json.gz
fa3dd5f26e8e86904ea682e08af849649cb4019ee2ed829cabcc41fe98649c4f  dual_search.py
87f066c751ee1bafa3b55aa697dc8bb8742916e1a45a3de8d34a988cfda3bd6a  dual_verify.py
bc06562e5b70e9720e9ef4b1bb8e4b3e87c3bd909887804730caa64038976444  final-attempt-results.json
1505e4b3150f63f89e19757ba940314d32e50e6a1bbdc080e89d5a748062c633  final_attempt.py
511120c25f25d8f0393a8e95f518690ab8d6c6c374941ce2292445b28fa9ee6e  mobius-obstruction.json
e93fc1b812462c539c3482eb4a0ba3dbd116838f36e4780e6e03edf39f8ab7de  mobius_dual_search.py
7f74d5f7ee9d914138c4bdbabedae85cf3adfe44dfde65baec1251714517771b  mobius_dual_verify.py
debad81bf0e869280a8f84a68598b0e3077b07ca0788e13a9a71ccb03bb24ad0  near-zero-results.json
9915aa240d4c645cea1f735992e3a72c04e88fb7cccad077487fa84bb7a75104  near_zero.py
a8bd9eaeef19d4ed653a02978ebe404516dcc7e97aac11d18b87c0144bdee239  plot_results.py
3db159077958106b9be87af6fed6b853d6f8e94012a36c28d6d36981a6dc1186  recursive-spectral-checks.json
88675e03721892465e14b39b7e070b0cba00d75b6e8f79ef36a0ecb0c3b38ce9  recursive_spectral.py
ff68eadc6364c44d27d8ab7cd8fce5a20d330b27408a7903edc2686fabcc4615  results.json
a886912e36d8ca07d5ec18bfc79874d6ad6202967a50f2a6d25f7e024f11e36d  search.py
d6f88fbcf67b37b3fd555d4d1c429e9c5d8d1bbe64d2a97175e5203d0190964f  source-provenance.json
dde303323e2e4e90977be1b43298f7d13b6dc1dabfb5d2f0f18847ff4f7f1d0c  test_b_induction.py
e7328d439563985178f0dc67200e5cb014fc86171aa82866952a7d67788fbbd9  test_dual.py
1b572f4763d6d65ba77c6e28e42498511460a630eeb41a0a5e1c5f5dff32d452  test_final_attempt.py
c5edf5f6ec8703cb64baa3ff18ef4080c1241bf3866383323382d9be6ffb3f13  test_large_j.py
f8f040834679a53dbb9303adf30f039b048bbf55b7fd8f64844ce80335c49246  test_near_zero.py
2a7f3db579275f1e5b5f97d4a5f81a2433920f02ab917b97a73724073dea938e  test_recursive_spectral.py
2d5cc11183a27cfd0eae43b88e26ca83d6e25387930eb2e0a4a4ccac44c26fb3  test_verify.py
acaee763feafa7ccf70075114e6e361b477262e93ef80044cb07dafbf6cc5bf9  verify.py
