files / problems / ramsey-r55 / compute / q1 / certs / c7_selftest.json

242 B · on GitHub

{
  "agree": true,
  "brute_55": [
    false,
    true,
    true,
    true,
    true,
    true,
    true,
    false
  ],
  "n": 7,
  "n_55": 6,
  "sat": [
    false,
    true,
    true,
    true,
    true,
    true,
    true,
    false
  ]
}