d50868b57cfeca296f45de2bc4781f90371c03ea779cfc8c9ca0191ce8727692  README.md
2c12f4dc9e576c01481f7790d1c048058ab9f310bbfdd26becc8da46567741ec  certificate.py
0726ab633644bb116a7518a4d7e554394e4445069e5f1490f89d156c81f1143a  certificate_stats.py
98eb744f10d684bd222d8243b6896803d98539b36d9d9665355e4ee97b6e8820  cpp/connectk_tablebase
e310061563f95b59d51ead357a0739b893048eb5ec94ea6640e0e8e794d974b9  cpp/connectk_tablebase.cpp
06136d4a5cc348aaaec3080763d2fb306b915e620981156280e4fd8ff769a699  docs/methodology.md
ece8a5625e650c2ec6d0c6ab615a9c5f655cbf6e0dfd01846ff099efd8a7dc75  docs/pairing_invariant_theorem.md
1a891aa8a96aa56bdfed969231eeba24abff8e4c597ccb442216125351b4f39e  docs/two_stage_switching_theorem.md
296a2ba8893ba870dda6a01f6d6e67bb24cd11ff06a534bc60313ff7f967b07e  docs/v0_2_theory.md
306756cdef206658c72e47b0c35f978fd73590f56d17b5398fcd255c9dfe0f98  docs/v0_3_theory.md
763203bcd5f881c53d2b802663fd4f42a6c08eaa36b93dfeae1047f82c74fcbd  docs/v0_4_theory.md
a5e50f74a48c5ee56dabace49ca6fd617776a9cb1cd1b5eb06ee4ff35d89d5ec  experiment_config.json
0393e6d60017b8a44832b7e57c426f093490f0fc58c2354926cc20ab1a73722f  experiments.py
d09bb8fa20b304275f61573a6d9178e5e784dab3440227892084c2325a842eb1  manifest.json
96cd9d68c8bc56665221ba849dd678078d681d9d0eaa177c5902ca0c607b9592  manifest_v0_3.json
052589b58dcf3070a9a84c1c92b06568f585b3b84d83e5e9b394a3ea196607e3  manifest_v0_4.json
1903b9b8019a03c8d0d01fa0fd0741ef6b9f3660064af0a9c899aee1502ca4d1  opening_analysis.py
4dbec2026f6d03f670fd18ca898fb6ffff7a1a26ea38d523833c028d75be7650  pairing_frontier.py
c9faa5ca9070ad5a9a1b24b5bac9b3c85678134a74720c10a111e97e67031cdc  pairing_proof.py
dfeab33d2ca5642c1f20713d48a7930bf13a3e235c1b0a8592d74e52aa70e7c2  pairing_verify.py
a35ff6b97b032c3703c326e719331c5f672e5a773f32ca70971cd5b1996020f3  pns.py
914b16b095edc82295675aff2b3f447d0b8f58b24a993c8d787ab6e80b6a3214  results/3x3_k3_openings.csv
5b0345a00f594e67bd8530b4254156bca0554cd0a36eb3a6066aaba3461e658a  results/3x3_k3_openings.json
f98580a82013f779f07e193b414c490488525eab76c61c20e82003c257fa0fe9  results/3x3_k3_openings.md
5b0345a00f594e67bd8530b4254156bca0554cd0a36eb3a6066aaba3461e658a  results/3x3_k3_openings_stdout.json
444723ae7457984523e2d17189e9d9d19fbe2cb9c0c0a613e70020eb6b33a491  results/4x4_k3_certificate_stats.json
57493dbb7c9e3c5d54dd761fd023fd70edbb9d9d398a58a9054ef47236236175  results/4x4_k3_openings.csv
48b8c3d953db6a5c91a84f3457b01e9a540f82419c8bb065bebec126a6d8d9c1  results/4x4_k3_openings.json
0a58ee7fe787dc379b8da3796c82e3065235be872d63b7d8a95f24a05afbb8bb  results/4x4_k3_openings.md
48b8c3d953db6a5c91a84f3457b01e9a540f82419c8bb065bebec126a6d8d9c1  results/4x4_k3_openings_stdout.json
1f548f847ade74de1c0a416b2d4bb6f1e578ad4c5a42ee8aa8a2c2a7cfc1728b  results/4x4_k3_pns_certificate.json
8a66a42bb5cb3b4124799fff4d5c0cf6d08f8dc3be775d44fbd7bba534b2b331  results/4x4_k3_pns_run.json
a94e2aa7df927e0badbab2102fcb7a51aa8c59d2259f9584c36efef9e6cb5729  results/4x4_k4_frontier.json
7626909b2270bfaada8904ec47cfaec3f4507b971520e9f6d8ae442228e44281  results/research_summary.md
6cef358195a6b32a61518bd6643308fba7e37e1290b42d4a08c5fce3c1fb478f  results/unit_test_output.txt
2867aae0811a0da4087c159f6149c8f3a9aa9a0db9405f084cbe27db87610ecb  results/v0_3/4x4_k4_exact_tablebase.json
2867aae0811a0da4087c159f6149c8f3a9aa9a0db9405f084cbe27db87610ecb  results/v0_3/4x4_k4_stdout.json
8aedc669d9f5c4096f385885a36161996e2153cc8bb271b8b0c7aa19751aa3f4  results/v0_3/4x4_k4_timing.txt
a4dab33ba6143318903e435957eaf0018ebb90e996d9bfca773d8eb9e241f376  results/v0_3/5x5_k5_all_openings_pairing_certificate.json
93a6263f2b00da4c3754d16066ebcb054d644cf8952074b9853044665ca13352  results/v0_3/5x5_k5_pairing_verification.json
0030ffa1c36bf2c7e6b40e98f475b41def3b60f74a67ecfb0fcc54da3228aa06  results/v0_3/6x6_k5_draw_pairing_certificate.json
2c2a8405bab2d1f8f86ab3d952078cbc0c9039270571583e8d216fb3d59288df  results/v0_3/6x6_k5_pairing_verification.json
f4420e9ea5aab914063f4a869bf520e92a0410e75f5309dc346592e909c73d6c  results/v0_3/7x7_k5_static_pairing_frontier.json
f4420e9ea5aab914063f4a869bf520e92a0410e75f5309dc346592e909c73d6c  results/v0_3/7x7_k5_static_pairing_frontier_stdout.json
0e9a78a7ddc5c3475151f70094a5da2eb6a46ae137e627788027aa9b3358e28d  results/v0_3/file_list.txt
cc130c76cddc89738d8414f64c1965d61c709a20cd05da0d15b37114614393cf  results/v0_3/pairing_examples.md
3cf70c7acc6eccdb51e33291dbd938275444ec508a0f598df85e82c0b4f4c38b  results/v0_3/research_summary.md
9b44bf1aa710ae39a57be9d996d97055c1e0b1ece1bfcf2f721ae03187864183  results/v0_3/v02_regression_tests.txt
35aaf7a695ae32585cc58f8295515d0fe4686b8e95a199a1ea7a06d8c831e9fb  results/v0_3/v03_tests.txt
74684d174afe8e0faffb6fc98f87b2ffe98d1cb85153bc6f65745b47f4d22b25  results/v0_4/7x7_k5_certified_orbits.csv
7068fccc3c3de428fe27e3299c0fd0ef89794b6c32336b7bda88adee0f252380  results/v0_4/7x7_k5_outer40_frontier.png
cddf0f9212fd335dc0d35a4851ad29d9a38ca752b508ab08f4a0318a2f59f767  results/v0_4/7x7_k5_outer40_switching_certificate.json
9a5f32bd3fa6d25b9d59ed0d9697f440a3a999720cca73cd5bb515f1d29cc5d0  results/v0_4/7x7_k5_outer40_verification.json
084a44b982af7e30cceae22ab668b5133bd04f63c3d125cc2c3ca9b4af6e752b  results/v0_4/7x7_k5_static_partition_frontier.json
b7ad874ff1adcf778045c5d8b9405a9167df14fb731bf53ae7acbe95120d82cb  results/v0_4/research_summary.md
4c309fc8c0e3d64a5404be43626c5f2db506bb8a970e4457b3f1313701eb5abd  results/v0_4/seeds/seed_0_24.json
250ec34657928c989a1569f4307394cdbde34ab7306b9c1372932cfb28d4e20c  results/v0_4/seeds/seed_10_17.json
5589d5b4d46b4e788484316983ba540c9e26e47147170df11523e62e0f37dbcc  results/v0_4/seeds/seed_1_24.json
d006cc0f812b3ade4a84659b9aa1bfb3ef2fc2c690492f95211019fa5bf2f350  results/v0_4/seeds/seed_2_17.json
b50ba1ae9e29375776d64917ad1758b06bc4c4f18cad9c87d2a785581473bb91  results/v0_4/seeds/seed_3_17.json
365477d3dd81f0632c927df77e5814549094d379d3e97effa95ec0d3de157f5c  results/v0_4/seeds/seed_8_17.json
f5848ea6c98f8850b00969d04ca17a784a11709e6466794998d2a5420f0235bf  results/v0_4/seeds/seed_9_17.json
ffb692444e69ecfe61676760ab65b7e9db5741854d3b16b01a7ef927d410aad0  results/v0_4/v01_v02_regression_tests.txt
3b94d71aa288c6cc15ba03523f4c07289fb39b67b0fbf9486bb155dc619b820e  results/v0_4/v03_regression_tests.txt
a54b59eaadba089bbb29156b15e6e758c785aff9df197a7a432c69ee95893d3c  results/v0_4/v04_tests.txt
21c37d4d5e523683e10bda1156ef4093acf3a20c1974333c0c5909609cb450a7  solver.py
4743b00dac316a745784823723286870f76eb34aa5b4c94d36c7a3cc450ac0ca  static_obstruction.py
6a8edcd8cdbe25586d9a74745a6d5a8c890eba43fd9973d4f9a3f89666ebfffa  switching_partition.py
932b83d1dd9683ac21dd8c42422b36cf07ca24f1863bb8ce45a0ffe32b2c7529  switching_verify.py
43ff2e180a8b8979ab9fad0c8969762d5f9a10d331ca355bbc16606cba3b48e0  tests/test_solver.py
2d515a13fb929c443f8d62c13aa67f356229c1880a7a6f09ad1285e91dc84d4f  tests/test_v02.py
a628d9479784de5d791b21af7f0eac86ecebf5c50639c6f685c407beb1c8ff7d  tests_v03/test_v03.py
015cee9df1bdc00b79d5bb666460ab749ecb548d2aad472842de527195728517  tests_v04/test_v04.py
ac773be47120b8f8371a2e3f93abdcdfbec563ae277570cbde250629dbb7671e  threats.py
