{
  "status": "All exact self-checks passed; not an independent audit.",
  "cases": [
    [
      1,
      1,
      2
    ],
    [
      1,
      3,
      2
    ],
    [
      1,
      5,
      1
    ],
    [
      2,
      1,
      1
    ],
    [
      2,
      3,
      1
    ],
    [
      2,
      1,
      2
    ],
    [
      3,
      1,
      1
    ],
    [
      3,
      3,
      1
    ],
    [
      4,
      1,
      1
    ]
  ],
  "prime_cases": [
    [
      1,
      1,
      2,
      3
    ],
    [
      1,
      1,
      2,
      7
    ],
    [
      1,
      3,
      2,
      5
    ],
    [
      2,
      1,
      1,
      7
    ],
    [
      2,
      1,
      1,
      11
    ],
    [
      2,
      3,
      1,
      7
    ],
    [
      3,
      1,
      1,
      11
    ],
    [
      3,
      3,
      1,
      11
    ],
    [
      4,
      1,
      1,
      17
    ]
  ],
  "counts": {
    "kernel_evaluations": 57,
    "gram_entries": 49,
    "positive_principal_minors": 19,
    "seed_targets": 9,
    "reconstructions": 54,
    "reflection_coefficients": 1308,
    "differentiated_grid_zeros": 332,
    "grouped_integrality": 4516,
    "selected_pole_congruences": 404,
    "other_pole_bounds": 1940,
    "constant_congruences": 19,
    "beta_coefficient_bounds": 202
  },
  "scope": "Finite identity checks supplement the general proof; they are not a proof by extrapolation."
}