lambda = 100, Lambda = 100, M = 3200, L' = 3200, L = 327680000, M0 = 655360000, X1 = 112589990684262400000000, K ~ 2.00734e+36; seed 11000
interior: 1911 states (X, Y in {M0, ..., 10^30}, 13 values of Q, min(A,B) in {0,1,10^6}); worst LV -716799; bound 1.8 - delta min/2 and <= -4094 hold
face: 1388124 states (X in {X1, X1+1, 2X1+7}, 12853 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.75125 (exact ...) at (Q, X - X1, Y) = (-112589990684262400000000, 0, 0); worst intermediate bounds F1 -3.84795, F2 -0.71895
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.85193e+14; corner inequality of Proposition 5.3 on 600 further corner states
random states outside F: 793, worst LV -0.7525
time 116.5 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py region 100  116.17s user 0.18s system 99% cpu 1:56.54 total
