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)
N1 2gap     : accepted by Arb 0/181, by Sturm 0/181  (expected none) OK
N1 gap/2    : accepted by Arb 181/181, by Sturm 181/181  (expected all) OK
N2          : accepted by Arb 0/181, by Sturm 0/181  (expected none) OK
N3 2slack   : accepted by Arb 0/181, by Sturm 0/181  (expected none) OK
N3 slack/2  : accepted by Arb 181/181, by Sturm 181/181  (expected all) OK
     leading majorant degree {12: 181}; majorant gap min(phi - |z|): min 3.813e-07, median 1.153e-06; dual slack: min 1.031e-06, median 1.957e-06
N5  Ec doubled: dual: still passes in 0/181 cells (robustness only)
N5  ga (U-L)/2 A^3 m2 doubled: F <= C: still passes in 180/181 cells (robustness only)
N5  al term + |al| (U-L)^2/4 (its worst gap): F <= C: still passes in 177/181 cells (robustness only)
N4  worst cell 148: Bernstein bound of F 0.8696675769, largest exact value of F on a 9 x 9 grid of the cell 0.8696598006 (equal: False); with C = that value - 1e-9 (< max F): Bernstein accepts False, Taylor accepts False (expected False, False)
N4  worst Taylor cell 97: Taylor bound 0.8699343628; with C = that - 1e-9: Bernstein accepts True, Taylor accepts False (expected False for Taylor)
N6  top edge lowered by 1e-6: cover broken in 166/166 cells (each lowered cell re-checked on the strips it spans)
N7  (A - 1/1000)^2 = 1.997377 > 2: False (expected False)
RESULT: ALL NEGATIVE TESTS BEHAVE AS EXPECTED (5s)

real	0m5.539s
user	0m27.377s
sys	0m0.880s
