lambda = 37/10, Lambda = 37/10, M = 592/5, L' = 119, L = 448594, M0 = 897188, X1 = 211011769530807904, K ~ 1.91381e+26; seed 1370
interior: 1911 states (X, Y in {M0, ..., 10^30}, 13 values of Q, min(A,B) in {0,1,10^6}); worst LV -26532.9; bound 1.8 - delta min/2 and <= -4094 hold
face: 56700 states (X in {X1, X1+1, 2X1+7}, 525 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.78378378 (exact ...) at (Q, X - X1, Y) = (-211011769530807904, 0, 0); worst intermediate bounds F1 -3.85113, F2 -0.751484
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 -1.44206e+10; corner inequality of Proposition 5.3 on 600 further corner states
random states outside F: 828, worst LV -0.817568
time 6.0 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py region 37/10  6.02s user 0.02s system 99% cpu 6.063 total
