files / problems / ramsey-r55 / compute / q3 / certs

..
p2_c21_k10_build.json430 B
p2_c21_k9_build.json429 B
p3_c14_k6_build.json428 B
p3_c14_k7_build.json428 B
p5_c8_k4_build.json427 B
p7_c1_k1_build.json430 B
p7_c2_k1_build.json428 B
p7_c2_k2_build.json428 B
p7_c3_k1_build.json427 B
p7_c3_k3_build.json428 B
p7_c4_k1_build.json427 B
p7_c4_k2_build.json428 B
p7_c5_k2_build.json427 B
p7_c6_k3_build.json426 B
p7_neighborhoods.json30 KB
p7_proofs.json150 KB
q3_summary.json189 KB

This folder on GitHub