280a5f47c971d1a436962069f3b0c050a75048bf40a67da500a2af2de891e15b *adversarial_certificate.json
2c5e734ab69b161b46164b98907a19c5c6274abd242b971cd4e4afc739ab69e4 *adversarial_counterexample_search.py
728b959088d99a6a615b9dd63adf5e90b15e66dbeaa049050898dbdcd8610f41 *ADVERSARIAL_REVIEW.md
f50dca7625b2fdb8115a502c64c6531f86114f507eed992bd4e135f9bb6ba38f *build_manifest.py
4eb0f2c42db0760ecade402a4d3d52cd75e660a8e6bcf691a4360de87a92bc81 *cyclic-rigidity-report-iv-v1.1.pdf
60775c20375b20f14db633f0cb10a1cb5f3d2fdd911c0a8ce70a1cd3ab496514 *cyclic-rigidity-report-iv-v1.1.tex
c62e2e4fb5e5ca079471dfa128e590c3cf06db631e4e7e08173e10ca8e78113c *formal_series_counterexample.out
dbb1976b279dc0e4d1df4898af4caf46a02b3af70c5bf32d45b9a133b9fe7f32 *formal_series_counterexample.py
11a02fb467545f48b65e8c24cd8c5bed2c45341bdbd7816060a0de2534f96460 *full_cyclic_rigidity_certificate.json
456ad206ce8cde8026ceee4b3a4f58718fed324f55b85eb14e14d3bd9808783c *FULL_CYCLIC_RIGIDITY_THEOREM.md
acd5b2f71e5a3d31fd623d7bf87b7f28386d3d9f8b5064290aca4fbda258f1d6 *independent_certificate.json
bca8c40ceb5ef383a16ae3690be10b02e1c4f8965739cc108d949e06136bc3cb *independent_checker.py
8b21d2b1a5a44aab9c51c98ddace006899100cb6beb61c440985d673f8ff1403 *independent_low_degree_search.out
d502c22594185583f1bb08abe17220a5340c6adf7f3ea144cf3676e04d2fe5e3 *independent_low_degree_search.py
005fc396606b4e951617df923c0a32679aa00d2938dc864f58beae55fa8c9537 *index.html
6f411622ea5fc6d8e0cdb445693a1750331ebd166b45fd7c89622f64fec46b1a *manifest.json
6581c8b09cd01a823e7540173a456f368c8baa59838d6bbbaaadc6a212b039b2 *README.md
25f9f1fb1988b230147a1d3092d34e09c069eb7a6c6d6df46b3973b9f2d36efc *requirements.txt
72c34020eb1dbd4ef5f51efe7c515061a57325012e6d33137ce710ba1757e59c *review_ledger.json
3c89999b7b7d2aa7e424cc0a9d71a6ed9af84dfbdce6053586ee76572a127ce8 *run_all.py
64eda00925854422decb5b17249ae08bff94552cdb6614b886e62683af708a24 *single_u_mode_certificate.json
ddeb5623d9f79b4901a4d348c811ed738219d4e30d06edb6fbc1b2b5badc2098 *SINGLE_U_MODE_THEOREM.md
0d2e723e67b151e0a4b7c75bbbbb40b7bf304d16b8a8bb448030e6f3d379097b *verify_full_cyclic_rigidity.py
232ca062889ff06ea8e1341ea5262efc7a2bd00cda91a29bdd4e6332c3e8a3d4 *verify_single_u_mode_theorem.py