README.md
__pycache__/opening_analysis.cpython-313.pyc
__pycache__/pairing_proof.cpython-313.pyc
__pycache__/pairing_verify.cpython-313.pyc
__pycache__/pns.cpython-313.pyc
__pycache__/solver.cpython-313.pyc
__pycache__/threats.cpython-313.pyc
certificate.py
certificate_stats.py
cpp/connectk_tablebase
cpp/connectk_tablebase.cpp
docs/methodology.md
docs/pairing_invariant_theorem.md
docs/v0_2_theory.md
docs/v0_3_theory.md
experiment_config.json
experiments.py
manifest.json
opening_analysis.py
pairing_frontier.py
pairing_proof.py
pairing_verify.py
pns.py
results/3x3_k3_openings.csv
results/3x3_k3_openings.json
results/3x3_k3_openings.md
results/3x3_k3_openings_stdout.json
results/4x4_k3_certificate_stats.json
results/4x4_k3_openings.csv
results/4x4_k3_openings.json
results/4x4_k3_openings.md
results/4x4_k3_openings_stdout.json
results/4x4_k3_pns_certificate.json
results/4x4_k3_pns_run.json
results/4x4_k4_frontier.json
results/research_summary.md
results/unit_test_output.txt
results/v0_3/4x4_k4_exact_tablebase.json
results/v0_3/4x4_k4_stdout.json
results/v0_3/4x4_k4_timing.txt
results/v0_3/5x5_k5_all_openings_pairing_certificate.json
results/v0_3/5x5_k5_pairing_verification.json
results/v0_3/6x6_k5_draw_pairing_certificate.json
results/v0_3/6x6_k5_pairing_verification.json
results/v0_3/7x7_k5_static_pairing_frontier.json
results/v0_3/7x7_k5_static_pairing_frontier_stdout.json
results/v0_3/file_list.txt
results/v0_3/pairing_examples.md
results/v0_3/research_summary.md
results/v0_3/v02_regression_tests.txt
results/v0_3/v03_tests.txt
solver.py
tests/__pycache__/test_solver.cpython-313.pyc
tests/__pycache__/test_v02.cpython-313.pyc
tests/test_solver.py
tests/test_v02.py
tests_v03/__pycache__/test_v03.cpython-313.pyc
tests_v03/test_v03.py
threats.py
