{
  "status": "PASS",
  "method": "new exhaustive exact rational rank systems plus exact rational edge substitutions",
  "coefficient_systems_tested": 130,
  "g_family": "1+a*u+b*y+c*u*y",
  "g_coefficient_domain": [
    -1,
    0,
    1
  ],
  "H_bidegree_caps": [
    4,
    5
  ],
  "m_values": [
    1,
    2,
    3,
    4,
    5
  ],
  "solvable_nonconstant_cases": 0,
  "weighted_edge_exact_rational_checks": 500,
  "seed": 22072026
}