b=8 q=8 cells=400 on [63/100,16/25] K=64: worst cell [25599/40000,16/25] E_q(b) <= [0.000164270531792 +/- 1.37e-16] (log3 E + b(1-g0)) in [-0.007820893498 +/- 2.10e-13]  CERT(E_q(b) <= 3^(-b(1-19/2000))) = True  loss <= [0.0085223883 +/- 1.28e-11]  law mass bound 1.000203796  31s
exact maximal integer bound: E_q(b) <= 55898365373589387233089259618011989 / 2^128  (worst cell [25599/40000,16/25])
EXACT_CERT(E^2000 * 3^15848 < 2^256000) = True
exit status: 0
