81c8ef7453a4be9cae1ba8dd4dc56a9adb3b60bbe6a14fa695a10dae65d55735 *README.md
e37e25aa6d188806da59325f11e7c5e411646d51ac33a5847fd7c4d6f9b3def0 *check_g6.cpp
6efe3ad5f56a5d2e4b90026f10c90578bfb8c0d80a9d2f93f36b7099d3a59a96 *check_g6_v2.cpp
422a1e44cdb3786e52d8b4f3093683b108e26392d0368e0b5eeb0e76ac06a1ab *enum_shore.cpp
8ca5476277a45d964fb554438573b41287aba3322ef46e58ff47d6eb1fc8ce52 *erdos944_cores.lean
b546f71b1829b577054401974ea8b4c1d7ae6ea88d554eedbb15e5e33b020863 *erdos944_rowforcing.lean
2113ba3a9940792eacdabf0b983104fcce60ea2bee2db57696e970e30a0f067b *kill_9shore_survivor.py
66a479f5c3a6ec1e2b479955104f5065a8da53cc1b020b93e518356382d7d59b *pg25_test.cpp
19e2099ccd2456de97829741935882b4dda19f3d6cfd83bd35e62ac2e41af68e *shore10_certs.txt
f38642134274e446e5b514e6bf2f80ae91b567cbae31f2187a07f6573b2c6735 *shore11_certs.txt
3b59f61cb55083ed7a8bce5f952d25c695551d85352cfd58475d5f7d90e94ab1 *shore9_certs.txt
204509175d831b00bf8ae1aa872cda04a0c94dc976ee970a322ea0042087c7cb *test_lemma21_random.py
1e186b34ecb3dfaf87bdbce7dde801674205f07441a3af1fbd262738267d39f6 *unfrozen_census.cpp
8097a6e1e1fcda3ab57cd33af57f8b9783dd08edfe249bea1f14453d1f22fd00 *unique_6reg_4vc_n13.txt
abec81ae6f01023fc90dfbc9f840c645eafd1fd98a5e13fd606abed9ce9a86a0 *verify_9shore_survivor.py
1e7ec4b6f369546a1caec0537c0e61622c4b8dd80c0e0916db1be1818450cb4a *verify_lemma21_n13.py
fba114c4fe27774b48b95dd0d8096fbc0d01326996f0f8ef265695cbee73aca9 *verify_pg25.py
36cfe278c630cf417982968d76d6e45edef3509ad3dd6269a0bb281eb21083bf *verify_shore_indep.py
