K3 certificate: sum_(K>=3) M^2 c^(2K) <= 3.519344e-06; (5.15 |c|^3)^2 = 3.522461e-06; ok = True
knots: 101 (dyadic z in [-2.3263, 2.3263], plus u = -1, 1); sorted cells: 171700
LP: status 0, active cells 47641, vertex constraints 51599, value 3 E psi(U) ~ 2.02930935e-03
verification: active cells 47641, 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) = 1.600e-11 > 0
3 E psi(U) in [0.0020294429685511934086271790720265876855083588809476036161 +/- 5.90e-59]
RESULT: E gamma^+ <= 2.0294430e-03, hence s^U_E2 <= 5/8 + 2.0294430e-03 = 0.6270294
time 1s
