files / problems / ramsey-r55 / compute / q1 / certs
| .. | |
| aut_mckay.json | 142 KB |
| c7_n14.json | 189 B |
| c7_n42.json | 351 B |
| c7_n43.json | 264 B |
| c7_selftest.json | 242 B |
| group_laws.json | 472 B |
| py_c11c4.json | 139 B |
| py_c3c15.json | 137 B |
| q1_summary.json | 4.9 KB |
| srg43_params.json | 426 B |
| two_flip.json | 364 B |