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

472 B · on GitHub

{
  "all_ok": true,
  "rows": [
    {
      "n": 44,
      "name": "C2xC22",
      "ninv": 3,
      "ok": true
    },
    {
      "n": 44,
      "name": "D22",
      "ninv": 23,
      "ok": true
    },
    {
      "n": 44,
      "name": "C11rtimesC4",
      "ninv": 1,
      "ok": true
    },
    {
      "n": 45,
      "name": "C3xC15",
      "ninv": 0,
      "ok": true
    },
    {
      "n": 45,
      "name": "C3xC3xC5",
      "ninv": 0,
      "ok": true
    }
  ]
}