K3 certificate: sum_(K>=3) M^2 c^(2K) <= 3.519344e-06; (5.15 |c|^3)^2 = 3.522461e-06; ok = True
knots: 301 (dyadic z in [-2.7131, 2.7131], plus u = -1, 1); sorted cells: 4545100
LP: status 0, active cells 1224620, vertex constraints 1258991, value 3 E psi(U) ~ 1.95635172e-03
verification: active cells 1224620, min over active vertices of sum psi - E2_up - Corr_up = 5.776e-07
convexity: min over a of slope increment * h_a * h_(a+1) (ball lower bound) = 5.926e-13 > 0
3 E psi(U) in [0.001956485168575853607678898894663203276689918909789556455 +/- 2.63e-58]
RESULT: E gamma^+ <= 1.9564852e-03, hence s^U_E2 <= 5/8 + 1.9564852e-03 = 0.6269565
time 19s
