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 [-2.185251431 +/- 4.91e-10]  CERT(E_q(b) <= 3^(-b(1-9/10))) = True  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^3 < 2^1280) = True
exit status: 0
