lambda = 1/10, Lambda = 1, M = 32, L' = 32, L = 32768, M0 = 65536, X1 = 1125899906842624, K ~ 2.04021e+22; seed 1010
interior: 1911 states (X, Y in {M0, ..., 10^30}, 13 values of Q, min(A,B) in {0,1,10^6}); worst LV -7167.78; bound 1.8 - delta min/2 and <= -4094 hold
face: 19332 states (X in {X1, X1+1, 2X1+7}, 179 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 = -1.1 (exact ...) at (Q, X - X1, Y) = (-1125899906842624, 0, 0); worst intermediate bounds F1 -3.85922, F2 -0.8427
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.83411e+08; corner inequality of Proposition 5.3 on 600 further corner states
random states outside F: 889, worst LV -1.725
time 2.5 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py region 1/10  2.48s user 0.01s system 99% cpu 2.516 total
