outputs/quartic_cover.json: region ['611/400', '776887/500000', '9/25', '471/1000'], 641 boxes, 0 failed
min over all boxes of the certified lower bound of kappa3 B0 - 4 c4: 1.7716597e-03 (box 640: u [611/400, 12233137/8000000], t [9/25, 11631/32000])
  Section 7.2 quotes 1.77e-3 (three digits, rounded down): PASS
boxes containing (u0, sqrt2 - 1) in their interior: 1
appendix box 85: u [2483411/1600000, 776887/500000], t [2637/6400, 831/2000], c4 = 13162/5452309 ~ 0.0024140
  4 c4 s - B0^2: certified lower bound 5.7203164e-04; smallest exact corner value 5.7266702e-04; bound <= corners: PASS
    the appendix quotes >= 5.7e-04: PASS
  kappa3 B0 - 4 c4: certified lower bound 6.1578377e-03; smallest exact corner value 6.1635125e-03; bound <= corners: PASS
    the appendix quotes >= 6.1e-03: PASS
  (the text before fix f3 of A.6 quoted kappa3 B0 - 4 c4 >= 6.2e-3, which the certified bound 6.1578e-03 does not imply)
  corner u = 2483411/1600000, t = 2637/6400: 4 c4 s - B0^2 = 6.0761068e-04, kappa3 B0 - 4 c4 = 6.2919843e-03
  corner u = 2483411/1600000, t = 831/2000: 4 c4 s - B0^2 = 5.7266702e-04, kappa3 B0 - 4 c4 = 6.8490680e-03
  corner u = 776887/500000, t = 2637/6400: 4 c4 s - B0^2 = 6.1620304e-04, kappa3 B0 - 4 c4 = 6.1635125e-03
  corner u = 776887/500000, t = 831/2000: 4 c4 s - B0^2 = 5.8149093e-04, kappa3 B0 - 4 c4 = 6.7218784e-03
RESULT: ALL QUOTED FIGURES CERTIFIED
