{
  "accepted": true,
  "scope": "Rational IVT enclosure and nonsingularity through scalar elimination; local small-supply branch, not a global continuation certificate.",
  "polynomial_coefficients": [
    "11115556",
    "-133333328",
    "1112766815592",
    "-4448754906544",
    "-1083706315876",
    "17784222466665",
    "-13336000166670"
  ],
  "z_interval": [
    "4978970061/5000000000",
    "2489485031/2500000000"
  ],
  "p_left": "-3370120381205186583242868020986783074989513171985867252355071/3906250000000000000000000000000000000000000000000000000000",
  "p_right": "30181750749940921251161012023663559027654562969949143080409/61035156250000000000000000000000000000000000000000000000",
  "derivative_lower": "2650876213994887627751876843384758253476335496114717107835207/390625000000000000000000000000000000000000000000",
  "A_lower": "4047781806429942711972611113365117/312077479385481250000000000000000",
  "small_supply_slope_interval": [
    "4957940122/4978970061",
    "2478970062/2489485031"
  ]
}