lambda = 10, Lambda = 10, M = 320, L' = 320, L = 3276800, M0 = 6553600, X1 = 11258999068426240000, K ~ 2.01033e+29; seed 2000
interior: 1911 states (X, Y in {M0, ..., 10^30}, 13 values of Q, min(A,B) in {0,1,10^6}); worst LV -71679.5; bound 1.8 - delta min/2 and <= -4094 hold
face: 143856 states (X in {X1, X1+1, 2X1+7}, 1332 values of Y in [0, M0-1] (all Y <= 4M+2), 18 values of Q incl. -L'-L, -L'-L+1, -L', -L'+1, 0, L', L'+L, -(X-Y) and far values, min(A,B) = 0, both mirror faces)
  worst LV on the face = -0.7625 (exact ...) at (Q, X - X1, Y) = (-11258999068426240000, 0, 0); worst intermediate bounds F1 -3.84902, F2 -0.7302
monotonicity: LV(A+t, B+t, X, Y) - LV(A, B, X, Y) = t[(X+1)/D (-eta - kappa Dg+(X) wbar(Q)) + (Y+1)/D (-eta - kappa Dg+(Y) w(Q))] < 0 exactly on 300 random states
corner: 2808 states with A+B in {K, K+1, 3K} (rounded up), X < X1, Y < M0, both mirrors: LV <= -1/2, worst -2.85018e+11; corner inequality of Proposition 5.3 on 600 further corner states
random states outside F: 818, worst LV -0.8
time 13.3 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py region 10  13.28s user 0.03s system 99% cpu 13.341 total
