b=3 q=4 cells=4 on [63/100,16/25] K=64: worst cell [51/80,16/25] E_q(b) <= [0.0651979167669 +/- 1.04e-14] (log3 E + b(1-g0)) in [0.2147485695 +/- 9.51e-12]  CERT(E_q(b) <= 3^(-b(1-1/10))) = False  loss <= [0.17158286 +/- 3.51e-9]  law mass bound 1.007904591  0s
exact maximal integer bound: E_q(b) <= 22185701435758607049245718865323342892 / 2^128  (worst cell [51/80,16/25])
EXACT_CERT(E^10 * 3^27 < 2^1280) = False
exit status: nonzero
