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.6s)
S1  3957 rational measures {'target': 3357, 'random': 400, 'hard': 200} (targeted ones landing in another cell, on a shared edge: 0); cells hit 1119/1122; max E|Z| = 0.857708; max pruned mass 4.6e-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 91 [0.70714, 0.825, 0.37504, 0.50005], b2 == a1^2: True
S1    not hit: cell 109 [1.06071, 1.17857, 1.0001, 1.12511], b2 == a1^2: True
S1    min (E phi - E|Z|) = 6.302e-03  OK
S1    min (m3 - L) = 5.733e-03  OK
S1    min (U - m3) = 9.079e-03  OK
S1    min (m4 - L4) = 4.451e-05  OK
S1    min (U4 - m4) = 1.172e-02  OK
S1    min (A^3 m2 - |m5|) = 2.340e-03  OK
S1    min (quadratic relaxation - true) = 1.887e-05  OK
S1    min (al term gap) = 2.670e-25  OK
S1    min (be term gap) = 9.702e-09  OK
S1    min (ga term gap) = 1.306e-08  OK
S1    min (de term gap) = 2.079e-10  OK
S1    min (chord + Ec - true B-sum) = 2.452e-11  OK
S1    min (dual: rhs - int g) = 6.290e-06  OK
S1    min (At + int g + Ec - E phi) = 1.918e-05  OK
S1    min (F - E phi) = 8.298e-05  OK
S1    min (C - F) = 5.534e-05  OK
S4  power: measures that refute a WRONG variant of a relaxation (out of 3957): {'al other relaxation': 3957, 'be other endpoint': 3957, 'ga without the A^3 m2 term': 1830, 'chord without Ec': 3881}
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.867); best K: s^2 = 0.0000, atoms [(1.41421, np.float64(1.0))]
RESULT: NO VIOLATION (24s)

real	0m24.842s
user	0m29.527s
sys	0m0.080s
