PASS snapshot md5 s0005/RQ-D/MAIN_RESULT.tex = 212c6f23
PASS snapshot md5 s0645/RQ-D_MAIN_RESULT_ac0ecf4f.tex = ac0ecf4f
PASS snapshot md5 s0005/RQ-D/MAIN_RESULT.pdf = fed00af2
PASS snapshot md5 s0645/RQ-D_MAIN_RESULT_f0fc9c23.pdf = f0fc9c23
PASS snapshot md5 s0645/RQ-D_CLAIMS.md = e62b2ae6
PASS (1) tex 212c6f23 -> ac0ecf4f: only lines 617 (0.5599 -> 0.5579) and 652 (0.1973 -> 0.1972) change, and nothing else on those lines: changed lines [617, 652]; 1046 lines in both
PASS (2) PDF text fed00af2 -> f0fc9c23 (pdftotext -layout): only the date, 0.5599 -> 0.5579 and 0.1973 -> 0.1972: 3 changed blocks; pages ['19', '19']
     g > C5 exactly on (2 ln 5/4, L2) = ([0.446287102628 +/- 4.20e-13], [0.557858878286 +/- 4.76e-13])
PASS (3) tex line 617: 0.5579 is the upper end L2 rounded to four digits, and the old 0.5599 lies outside: L2 = [0.5578588783 +/- 1.45e-11]; g(0.5599) - C5 = [-0.000183857 +/- 2.59e-10]
PASS (4a) CLAIMS D13 reads x in [1.3388682…, 1.4969001…], with ends 1/sqrt(0.5578588…) and 1/sqrt(2 ln(5/4))
PASS (4b) 0.5578588… and 1.4969001… are leading digits of L2 and 1/sqrt(2 ln 5/4): [0.557858878286 +/- 4.76e-13], [1.49690014993 +/- 6.08e-13]
PASS (4c) the lower end 1/sqrt(L2), found again by bisection in x on (2/x) e^(-1/x^2) = C5, rounds to 1.3388682 at seven decimals: [1.33886819631 +/- 2.15e-13]
REMARK (4d) the lower end is 1.33886819631: its leading digits are 1.3388681, so '1.3388682…' is a rounding written with an ellipsis (cosmetic; the figure is the one of RQ-AUD's own A.34 r3 note, where a34e printed arb str(8), a rounding)
     squares by side: {'1/1024': 80, '1/128': 136, '1/256': 735, '1/512': 388}
PASS (5) tex line 652: the 80 squares of side 1/1024 have a + b in [101/512, 1/5] and a in [29/512, 49/512], enclosed by [0.1972, 0.2] and [0.0566, 0.0958]: a + b in [101/512, 1/5], a in [29/512, 49/512]
PASS (6) README r_eff = min(jr/4096, 1/50) equals jr/4096 on all slope pieces (max jr <= 81 < 4096/50): 426 slope leaves, 579 pieces, jr in [10, 80]
PASS (7) the 21 files RQ-D lists as unchanged have the refereed md5s (hashed, not read)
A34I_ALL_CONFIRMED (cosmetic remarks: 4d)
