seed 20261020
identities: L Q = (X-Y)/D, L N = lambda - T, L(A+B), rate bound <= lambda + N, (T) bounds and
  formula, symmetry sigma: 30300 (state, lambda) pairs (all states with N <= 14 and 3000 random
  states at mixed scales up to 10^31, for 5 values of lambda)
Remark 2.3: L(Y-X) = (1-lambda)(X-Y)/D (PRC, Fig. 1) and (1+lambda)(X-Y)/D (Friedman, Fig. 3),
  exact on 0 <= X, Y <= 24 for 4 values of lambda
irreducibility (Lemma 3.1(a)) on the truncation {N <= 12}: 210 states with N <= 6 reach 0 and are reached
time 3.8 s; FAILS 0
TOTAL FAILS 0
nice -n 10 python3 -I r2checks.py identities  3.80s user 0.01s system 99% cpu 3.813 total
