loaded: 15 polys, N=8679 cells, s=0.535259605222, lambda=9011123/5000000 = 1.802224600000  (0.5s)
I(g) = [-8.42875692345304468873654699489242741e-8 +/- 2.97e-44]   I(g)/s = [-1.574704468864238492890462133125483280e-7 +/- 2.36e-44]  (27s)
left tail (0,1/100]: True  bound [0.48677142161145350327490094 +/- 2.06e-27]
right tail [8,inf): True  bound [0.5356850028984489720045236922875194101314884 +/- 3.67e-44]  beta=2.722890
  block 0/279 x=0.0100 checks=1 fails=0 min-lower=0.05676219439494596 (0s)
  block 25/279 x=0.5084 checks=37234 fails=0 min-lower=1.1903697885240546e-11 (116s)
  block 50/279 x=1.0067 checks=50482 fails=0 min-lower=1.1903697885240546e-11 (143s)
  block 75/279 x=1.5051 checks=59444 fails=0 min-lower=1.1903697885240546e-11 (160s)
  block 100/279 x=2.0034 checks=69864 fails=0 min-lower=1.1903697885240546e-11 (178s)
  block 125/279 x=2.5018 checks=79374 fails=0 min-lower=1.1903697885240546e-11 (194s)
  block 150/279 x=3.0001 checks=84358 fails=0 min-lower=1.1903697885240546e-11 (206s)
  block 175/279 x=3.4985 checks=85850 fails=0 min-lower=1.1903697885240546e-11 (212s)
  block 200/279 x=3.9968 checks=91854 fails=0 min-lower=1.1903697885240546e-11 (223s)
  block 225/279 x=4.4952 checks=95514 fails=0 min-lower=1.1903697885240546e-11 (232s)
  block 250/279 x=4.9935 checks=98392 fails=0 min-lower=1.1903697885240546e-11 (240s)
  block 275/279 x=6.3013 checks=98707 fails=0 min-lower=1.1903697885240546e-11 (245s)
main range [1/100,8]: True  (98710 interval checks, min lower bound 1.1903697885240546e-11 at x=0.48546875000000256)  246s
VERDICT: VERIFIED C_86 >= 9011123/5000000 = 1.802224600000