files / problems / projective-plane-order-twelve / compute / certs / macneish_verify.json

418 B · on GitHub

{
  "t": 2,
  "latin": [
    {
      "k": 0,
      "ok": true,
      "msg": "ok"
    },
    {
      "k": 1,
      "ok": true,
      "msg": "ok"
    }
  ],
  "involution": [
    {
      "k": 0,
      "ok": true,
      "msg": "ok"
    },
    {
      "k": 1,
      "ok": true,
      "msg": "ok"
    }
  ],
  "orthogonal": [
    {
      "k": 0,
      "kp": 1,
      "ok": true,
      "msg": "ok"
    }
  ],
  "ok": true
}