M  E Z^k, k <= 10: recursion == integer-partition formula: True; kappa_n = int x^(n-2) dK (n <= 10): True; coefficient of every free moment m3..m8 affine in (m1, m2): True; the only other term is 126 m3^2 in E Z^10: True; Poisson check max error 5.3e-46  (0.5s)
M  number of monomials of E Z^k, k = 0..10: [1, 0, 1, 1, 2, 2, 4, 4, 7, 8, 12]; E Z^10 constant term = 945 (= 9!! = 945)
S1  816 rational measures (417 targeted at the cells, 399 random); cells hit 139/142; max E|Z| = 0.857749; max pruned mass 6.7e-15
S1    not hit: cell 48 [0.3788, 0.5051, 0.0, 0.1435], area of Q n D+ = 0.00e+00
S1    not hit: cell 93 [0.7576, 0.8838, 0.4304, 0.5739], area of Q n D+ = 0.00e+00
S1    not hit: cell 126 [1.1364, 1.2626, 1.1478, 1.2913], area of Q n D+ = 0.00e+00
S1    min (E phi - E|Z|) = 5.457e-03  OK
S1    min (m3 - L) = 2.766e-02  OK
S1    min (U - m3) = 4.039e-02  OK
S1    min (chord side - E phi) = 0.000e+00  OK
S1    min (quadratic - int g) = 6.897e-06  OK
S1    min (F - chord side) = 6.897e-06  OK
S1    min (C - F) = 1.547e-03  OK
S2  moment formulas vs the law (7 measures, k <= 10): max |difference| = 4.41e-30
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.88); best K: s^2 = 0.0000, atoms [(1.41421, np.float64(1.0))]
RESULT: NO VIOLATION (11s)
