files / problems / ramsey-r55 / compute / certs / py_circulant_43.json

140 B · on GitHub

{
  "deg": [
    18,
    24
  ],
  "hit_list": [],
  "hits": 0,
  "legal": 1167322,
  "n": 43,
  "scanned": 1167322,
  "seconds": 148.115
}