PASS moments over the window: mass, E Z, E Z^2 = 1, 0, 1 to 1e-12 (tail mass <= 1.05e-38)
PASS J = int x^-1 dK = 1.706192568 (RQ-B 1.706193)
PASS atoms above J: only x = 2 (rate 0.000250000 = 0.00025)
PASS g(0.00025) = 0.031614872 < C_5 = 0.855100455471, so the bound is C_5
     E|Z_K| in [0.857297620011 +/- 1.83e-13] (window sum 0.857297620011, tail <= 1.03e-19)
PASS E|Z_K| = 0.857298 (RQ-B) to 1e-6
PASS (**) fails: E|Z_K| - C_5 = 0.0021971645 > 0 (RQ-B +0.002197)
PASS theta = sqrt2: lam+ = 0.49925000 = 0.49925, g(lam+) = 0.857763402 (RQ-B 0.857763)
PASS ID*(C_5) holds at this K with theta = sqrt2: g(lam+) - E|Z_K| = 0.000465782 > 0 (RQ-B +0.000466)
ALL CHECKS PASSED
