b=8 q=8 cells=40 on [63/100,16/25] K=64: worst cell [2559/4000,16/25] E_q(b) <= [0.000166682474742 +/- 1.24e-17] (log3 E + b(1-g0)) in [0.04144675425 +/- 2.06e-12]  CERT(E_q(b) <= 3^(-b(1-1/200))) = False  loss <= [0.010180844 +/- 2.82e-10]  law mass bound 1.002039649  3s
exact maximal integer bound: E_q(b) <= 56719107029451487141766525421173299 / 2^128  (worst cell [2559/4000,16/25])
EXACT_CERT(E^200 * 3^1592 < 2^25600) = False
exit status: nonzero
