{
  "accepted": true,
  "scope": "Exact rational interval checks for the conventional invariant-ellipsoid and contraction argument. Applies only inside E, not to every positive state. Lean not rerun.",
  "center": [
    "31909526582599/2500000000000",
    "202347625659673/10000000000000",
    "9651941703983/10000000000000",
    "17305441027463/2000000000000",
    "5601713297463/10000000000000",
    "203370509477/10000000000000",
    "203370509477/10000000000000"
  ],
  "P": [
    [
      "513149243/500000000",
      "-50712891/100000000",
      "1030189659/500000000",
      "3015248881/1000000000",
      "-61124293/40000000",
      "-1451012621/500000000",
      "-1451012621/500000000"
    ],
    [
      "-50712891/100000000",
      "988545587/1000000000",
      "-1000929129/500000000",
      "-2924197933/1000000000",
      "1476664351/1000000000",
      "140446103/50000000",
      "140446103/50000000"
    ],
    [
      "1030189659/500000000",
      "-1000929129/500000000",
      "2927694399/500000000",
      "2201660737/250000000",
      "-4475616469/1000000000",
      "-8445422819/1000000000",
      "-8445422819/1000000000"
    ],
    [
      "3015248881/1000000000",
      "-2924197933/1000000000",
      "2201660737/250000000",
      "13459291457/1000000000",
      "-6834866969/1000000000",
      "-6468711221/500000000",
      "-6468711221/500000000"
    ],
    [
      "-61124293/40000000",
      "1476664351/1000000000",
      "-4475616469/1000000000",
      "-6834866969/1000000000",
      "9205238173/1000000000",
      "1858701519/500000000",
      "1858701519/500000000"
    ],
    [
      "-1451012621/500000000",
      "140446103/50000000",
      "-8445422819/1000000000",
      "-6468711221/500000000",
      "1858701519/500000000",
      "37570809271/500000000",
      "62848784117/1000000000"
    ],
    [
      "-1451012621/500000000",
      "140446103/50000000",
      "-8445422819/1000000000",
      "-6468711221/500000000",
      "1858701519/500000000",
      "62848784117/1000000000",
      "37570809271/500000000"
    ]
  ],
  "sylvester_minors": [
    "513149243/500000000",
    "378681553961146591/500000000000000000",
    "19292959535965084315780089/62500000000000000000000000",
    "11797733310244736628654231361508069/500000000000000000000000000000000000",
    "5408047416762092327623824041237616643747607/40000000000000000000000000000000000000000000",
    "4141971282663757575485463969968540486935533819123728809/500000000000000000000000000000000000000000000000000000",
    "7329420269508286211568073983760782658519289744495191554616497597/40000000000000000000000000000000000000000000000000000000000000"
  ],
  "newton_maps_box_into_itself": true,
  "radius": "1/100000",
  "rate_tolerance": "1/100000000000000",
  "p_min": "14905879344234896036940792814267452110661796667970640861/2021050744239622205232278239944775847140535207208000000000",
  "p_max": "8440079913/50000000",
  "q_min": "24999996340521307430714125296245153/25000000000000000000000000000000000",
  "jacobian_inf_error": "809143511778672316111611904762598871/5000000000000000000000000000000000000000",
  "field_inf_error": "41418218742298002960293611191/10000000000000000000000000000000000000000",
  "q_eff": "104512274001114183802502220770910325705589265331/125000000000000000000000000000000000000000000000",
  "contraction_bound": "526374729832649045520780234071971074973192852055117675000128338636792893437077722912326090623637474650036239678381/40815017940617978699470830732687687243870991354319072097740622390541762219173962200000000000000000000000000000000000",
  "boundary_margin": "127678138460573667153736079029502488301624714356847331/2500000000000000000000000000000000000000000000000000000000000",
  "equilibrium_inf_radius": "26943926983610429545842307378037776949832407995425899591536844109354675366622313073992677057078214639149901/80577286421570659307900100997231432337795597004527908845480988103809938651473768954175347818752725050699927520643238",
  "consumer_floor": "203270509477/10000000000000",
  "ellipsoid_level": "14905879344234896036940792814267452110661796667970640861/20210507442396222052322782399447758471405352072080000000000000000000"
}