{
  "status": "yes",
  "attempted": 19,
  "admissible": 1,
  "witness": {
    "certificate": {
      "left": [
        [
          1,
          0,
          0
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          0,
          1
        ]
      ],
      "right": [
        [
          0,
          0,
          2
        ],
        [
          2,
          0,
          0
        ],
        [
          0,
          2,
          0
        ]
      ],
      "entities": [
        0,
        1,
        2
      ],
      "reactions": [
        0,
        1,
        2
      ],
      "flow": [
        7,
        7,
        7
      ]
    },
    "verification": {
      "accepted": true,
      "certificate": "motif; PAC existence follows by finite descent",
      "minimality": "not checked",
      "production": [
        "7",
        "7",
        "7"
      ],
      "reasons": []
    },
    "determinant": 7,
    "integer_flow_bound": 24,
    "max_flow_bits": 3,
    "minimality": "PAC certified by exhaustive exclusion of every smaller square witness"
  }
}