M  E Z^k, k <= 12: recursion == integer-partition formula: True; kappa_n = int x^(n-2) dK (n <= 12): True
M  every one-free-moment coefficient B_kj in span{1, m1, m2, m1^2, m1 m2}: True; m1^2 terms {(11, 3): 4620, (12, 4): 9240} (= 4620 c11 in B_3, 9240 c12 in B_4: True)
M  two-free-moment terms [(10, {'m3^2': 126}), (11, {'m3^1m4^1': 462}), (12, {'m3^2': 8316, 'm3^1m5^1': 792, 'm4^2': 462})]; equal to block counting: True; equal to the text's list: True; no monomial with >= 3 free moments: True
M  law vs formulas: Diracs max error 2.0e-44; Gaussian + two atoms max error 4.3e-41; monomials of E Z^k, k = 0..12: [1, 0, 1, 1, 2, 2, 4, 4, 7, 8, 12, 14, 21]  (0.5s)
S1  1134 rational measures {'target': 534, 'random': 400, 'hard': 200} (targeted ones landing in another cell, on a shared edge: 0); cells hit 178/181; max E|Z| = 0.857764; max pruned mass 4.3e-15; measures with an exact violation: 0
S1    not hit: cell 48 [0.35357, 0.47143, 0.0, 0.12501], b2 == a1^2: True
S1    not hit: cell 93 [0.70714, 0.825, 0.37504, 0.50005], b2 == a1^2: True
S1    not hit: cell 119 [1.06071, 1.17857, 1.0001, 1.12511], b2 == a1^2: True
S1    min (E phi - E|Z|) = 6.743e-03  OK
S1    min (m3 - L) = 1.615e-02  OK
S1    min (U - m3) = 5.832e-03  OK
S1    min (m4 - L4) = 6.111e-04  OK
S1    min (U4 - m4) = 1.099e-02  OK
S1    min (A^3 m2 - |m5|) = 1.165e-02  OK
S1    min (quadratic relaxation - true) = 1.245e-04  OK
S1    min (al term gap) = 1.086e-24  OK
S1    min (be term gap) = 2.954e-07  OK
S1    min (ga term gap) = 1.492e-07  OK
S1    min (de term gap) = 6.173e-09  OK
S1    min (chord + Ec - true B-sum) = 7.317e-06  OK
S1    min (dual: rhs - int g) = 1.856e-05  OK
S1    min (At + int g + Ec - E phi) = 1.346e-04  OK
S1    min (F - E phi) = 2.214e-04  OK
S1    min (C - F) = 4.763e-04  OK
S4  power: measures that refute a WRONG variant of a relaxation (out of 1134): {'al other relaxation': 1134, 'be other endpoint': 1134, 'ga without the A^3 m2 term': 531, 'chord without Ec': 1057}
S2  moment formulas vs the law (6 measures with a Gaussian part, k <= 12): max |difference| = 5.35e-27
S3  adversarial search, 120 Nelder-Mead runs (Gaussian part + 1-3 atoms in [-A, A]): max E|Z_K| = 0.85776388 (sqrt(2/e) = 0.85776388; C = 0.87); best K: s^2 = 0.0000, atoms [(1.41429, np.float64(0.0)), (1.41421, np.float64(1.0))]
RESULT: NO VIOLATION (13s)

real	0m13.967s
user	0m27.086s
sys	0m0.092s
