E|Z_K|   = 0.793581905832  (tail <= 5.21e-63)
E|Z_|K|| = 0.739355822924  (tail <= 5.21e-63)
PASS moment check: total mass 1, E Z = 0, E Z^2 = 1 to 1e-50 (both laws)
PASS E|Z_K| > E|Z_|K|| (difference 0.0542261): the reflection fails
REMARK E|Z_K|: quoted 0.793591, value for the printed (4-decimal) atoms 0.7935819, difference -9.1e-6; RQ-B prints the atoms rounded (round(x, 4)) but evaluates the unrounded ones
REMARK E|Z_|K||: quoted 0.739348, value for the printed (4-decimal) atoms 0.7393558, difference 7.8e-6; RQ-B prints the atoms rounded (round(x, 4)) but evaluates the unrounded ones
ALL CHECKS PASSED
