E  2000 random K: min(E|Z_K#| - E|Z_K|) = -4.441e-16 (violations 0); max K#(edge)/K(edge) = 1.090928 <= (tau+A)^2/(4 tau A) = 1.090928: True
S  1938 random K (box width d = 0.05): min(E|Z_full| - E|Z_K|) = -2.187e-14 (violations 0); mass(K') > mu_max: 0; spread excess above exc at the LOWER corner in 1595 cases (so exc must be taken at the upper corner)
ALL TESTS PASSED (31.2 s)
