K3 certificate: sum_(K>=3) M^2 c^(2K) <= 3.519344e-06; (5.15 |c|^3)^2 = 3.522461e-06; ok = True
knots: 201 (dyadic z in [-2.5758, 2.5758], plus u = -1, 1); sorted cells: 1353400
LP: status 0, active cells 367377, vertex constraints 382795, value 3 E psi(U) ~ 1.97361135e-03
verification: active cells 367377, min over active vertices of sum psi - E2_up - Corr_up = 5.714e-07
convexity: min over a of slope increment * h_a * h_(a+1) (ball lower bound) = 2.000e-12 > 0
3 E psi(U) in [0.001973744819197274022604296958810679566025193572609639674 +/- 5.50e-58]
RESULT: E gamma^+ <= 1.9737448e-03, hence s^U_E2 <= 5/8 + 1.9737448e-03 = 0.6269737
time 5s
