Lambda = 1: (4), e1..e4, (7) [total 0.000153601], interior constant, X1 - M0 - L' - L > 0
Lambda = 1000000001/1000000000: (4), e1..e4, (7) [total 0.000153608], interior constant, X1 - M0 - L' - L > 0
Lambda = 3/2: (4), e1..e4, (7) [total 0.000153263], interior constant, X1 - M0 - L' - L > 0
Lambda = 2: (4), e1..e4, (7) [total 0.000153095], interior constant, X1 - M0 - L' - L > 0
Lambda = 37/10: (4), e1..e4, (7) [total 0.000152862], interior constant, X1 - M0 - L' - L > 0
Lambda = 10: (4), e1..e4, (7) [total 0.000152689], interior constant, X1 - M0 - L' - L > 0
Lambda = 1000/7: (4), e1..e4, (7) [total 0.000152595], interior constant, X1 - M0 - L' - L > 0
Lambda = 100: (4), e1..e4, (7) [total 0.000152598], interior constant, X1 - M0 - L' - L > 0
Lambda = 1000: (4), e1..e4, (7) [total 0.000152589], interior constant, X1 - M0 - L' - L > 0
Lambda = 3000001/3: (4), e1..e4, (7) [total 0.000152588], interior constant, X1 - M0 - L' - L > 0
Lambda = 1000000000000: (4), e1..e4, (7) [total 0.000152588], interior constant, X1 - M0 - L' - L > 0
Lambda-free bounds: e1 <= 7.62974e-06, e2 <= 5.29404e-23, e3 <= 3.81673e-06, e4 <= 5.72417e-06, (2M0+1)/X1 <= 1.16418e-10, M0/X1 <= 5.82085e-11, total (7) <= 0.000153608
constants: 1.8, -4094, 1.298, F1(a) -0.78, F1(b) -1.7, F1(c) -3.9, F2 constant = -2871/4000, 6.78, -6, 0.64
gamma: identity (Y+1)Dg+(Y) - Y Dg-(Y) = closed form, Dg+ in (0,1), Dg-(z) = Dg+(z-1), (g1), (g2),
  (g3), monotonicity on [0, M-1], gamma(M/2) formula and its lower bound: 22188 (M, Y) pairs, 11 values of M
time 0.7 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py params  0.72s user 0.01s system 99% cpu 0.731 total
