K3 certificate: sum_(K>=3) M^2 c^(2K) <= 3.519344e-06; (5.15 |c|^3)^2 = 3.522461e-06; ok = True
knots: 401 (dyadic z in [-2.8070, 2.8070], plus u = -1, 1); sorted cells: 10746800
LP: status 0, active cells 2884855, vertex constraints 2945686, value 3 E psi(U) ~ 1.95021544e-03
verification: active cells 2884855, min over active vertices of sum psi - E2_up - Corr_up = 5.631e-07
convexity: min over a of slope increment * h_a * h_(a+1) (ball lower bound) = 2.500e-13 > 0
3 E psi(U) in [0.001950348864582142725202984172133977802151254206091611568 +/- 5.56e-58]
RESULT: E gamma^+ <= 1.9503489e-03, hence s^U_E2 <= 5/8 + 1.9503489e-03 = 0.6269503
time 56s
