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/1122, by Sturm 0/1122  (expected none) OK
N1 gap/2    : accepted by Arb 1122/1122, by Sturm 1122/1122  (expected all) OK
N2          : accepted by Arb 0/1122, by Sturm 0/1122  (expected none) OK
N3 2slack   : accepted by Arb 0/1122, by Sturm 0/1122  (expected none) OK
N3 slack/2  : accepted by Arb 1122/1122, by Sturm 1122/1122  (expected all) OK
     leading majorant degree {12: 1122}; majorant gap min(phi - |z|): min 1.049e-08, median 1.118e-06; dual slack: min 1.031e-06, median 1.946e-06
N5  Ec doubled: dual: still passes in 719/1122 cells (robustness only)
N5  ga (U-L)/2 A^3 m2 doubled: F <= C: still passes in 1068/1122 cells (robustness only)
N5  al term + |al| (U-L)^2/4 (its worst gap): F <= C: still passes in 1090/1122 cells (robustness only)
N4  worst cell 600: Bernstein bound of F 0.8669926623, largest exact value of F on a 9 x 9 grid of the cell 0.8669926623 (equal: True); with C = that value - 1e-9 (< max F): Bernstein accepts False, Taylor accepts False (expected False, False)
N4  worst Taylor cell 600: Taylor bound 0.8669976870; 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 1106/1106 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 (28s)

real	0m28.020s
user	2m59.116s
sys	0m4.755s
