A0 = 2000, c4 = 0.2, r_q = 0.13605, C_omega = 4.13, r_x = 0.017
r_u = sqrt(gamma mu / (2 A0 (b_min - gamma/A0))) = 0.012684437
S_min = 1.8560015, delta_u = 0.12376880, d_lo = 1.2531910, d_hi = 2.7843917, a = 31.627830, b' = 0.40651376
(1) sup |w(q)-U| <= 0.0607: 126 boxes, failures 0
(2) lambda_min(pi(x)) >= 0.1 on |x-U| <= 0.077700000: 1411 boxes, failures 0; (K a^2/2) r_x^2 Lambda = 7.0816936e-5 >= gamma/A0 = 6.8504386e-5: True
    c_x = (K a^2/2) S_min Lambda = 0.45479702
(3) sup |P grad_x V(w,q,q)| <= 1.95: 993 boxes, failures 0
    sup |grad_u V(w,q,q)| <= 2.0: 751 boxes, failures 0
(4) 117 q-boxes x 2196 x-boxes (58s): M_xx <= 191.12961, M_xu <= 28.843389, C_2 <= 0.96816612
(6) 4844 s-intervals on [d_lo, 2e4] (0.0s): worst deficit/gain = 0.6443 at s = 1.253 (gain 0.015314, deficits omega/x/u = 0.004515, 0.003748, 0.001603)
    tail s >= 2e4: s^2-gain >= 459.07660 > R = 14.834064; asymptotic gain gamma S_min (A0 - d_hi - a/3) = 505.18806
total time 60s
