b109cb8757058ef502541187519197021539a31ab6605f32fb2fef61f4275876  J_12_6__7col.cnf
f5779e4537801cd31beb7c1cafea26aad41dc0cd6dd0da91e143f1e6df5206e2  J_4_2__3col.cnf
5c36158c956450ff4170ac3e66d73e2e4c4b4c15a1becaf4112ce22d6b5ed263  J_6_3__4col.cnf
c0956b750198ca757e53268e87f7b30fd86e3caf056077570bb1a631f0c319ed  J_8_4__5col.cnf
7d3103ee6e67f0fb5ab06f0e6d1e902e1381e1cf642c407e6bac729df07b1887  claim-ledger.json
125792e4649eb3724e182624e6546de3d4ca9ee9e7bb36df1c001f1c7aa3e521  crosscheck_nosym.py
31ff72eb3469e4733f10798079d876537dcabce0499f6a4cfbcbbb5861885463  crosscheck_nosym_output.txt
818382e13a08ca2b07fcad9429b1cacbcad724a3522a06ac4d77062c494bde2c  index.html
823da9abb945aa61f8047d38e9fd9c68b24d8143a17671b1116ebf0856262c7e  johnson_bound_835.py
c3d8421516826b8d791a46cdff57f450807b7f9cac31182b91fa4ef49d256508  johnson_bound_output.txt
a217e8280d45f1441352027a104120453b68d74fc9831536af84c94a5f8cfecc  johnson_bound_table.json
ef47469986860de21c3655f8214089d590140452da2cce26fad6b8dfd133eac0  note-erdos-835.md
ccbf87bc24644c49269c59b964127ef3b54f79ce4483b505f0451d3508e75a23  settle_835.py
844bee7c6859c760e9c2ecdda77a12c87f0330e066da5674ec163928d22fd003  settle_835_output.txt
f4d4c08aea14396dae9df6ffcd9c9c565748d9ac4f0b62e7ecf038e2e1b63a06  settle_835_results.json
61dad34c3e119e22ae9b4391a47b09b3071cfe456f967582a56bc7c3ac6bcf5d  settle_k6_result.json
8b0d732175ff936c5fc9692cca28ca6a92e45f906862648b0554b9422084a902  settle_k6b.py
534bc40b1f0d6965bc7a982bcf25258e5700c4e4c368fb398096c0099b057f0e  sieve_835.py
e5cddba92469ef95a6cd2162ca70d8feabf5223e2bb2716e2172abbc7d2c8cd5  sieve_835_output.txt
e2bc23a2617db955b498a6a19025b729b085b10b3493ae4f34c6ac3518f60abb  sieve_835_table.json
057f071b364fd4e4c1bbdacba75d91a47129c2f6ca2e6bd02a6e7f60cd640b0f  witness_k2.json