PASS  Lemma 9 cumulant table (j = 3..10) equals my kappa_j: mismatches []
PASS  Lemma 10: Gaussian term (n-1)!! and nonnegative integer coefficients (n <= 10)
PASS  Lemma 6/7: number of distinct H_f for n = 3 is 39: mine 39 (from 79 Delta-classes of 256 functions)
PASS  Lemma 6/7: number of distinct H_f for n = 4 is 1630: mine 1630 (from 3679 Delta-classes of 65536 functions)
PASS  one-coordinate cells per file 98 / 126 / 64: [98, 126, 64]
PASS  all one-coordinate cells have degree 10: degrees [10]
      cell widths: u 6.15e-04 .. 0.0175, a 0.0219 .. 0.0437 (text: 6.2e-4 .. 0.0175, 0.022 .. 0.044)
PASS  vertex certificates: 2845 sets, 16544 vertices, all polynomials of degree 6: 2845 sets, 16544 vertices, degrees [6]
PASS  ms5 pieces: plus 123 A3, 689 TC, 210 TCS; minus 146 SG, 182 TC (1350): {('minus', 'SG'): 146, ('minus', 'TC'): 182, ('plus', 'A3'): 123, ('plus', 'TC'): 689, ('plus', 'TCS'): 210}
PASS  TCS: m_c' = 17/20 throughout, 301 sub-pieces: m_c' [Fraction(17, 20)], 301 sub-pieces, recorded kinds {'A4': 301}
PASS  TCS pieces occur in 93 boxes, all with u1 >= 2.48: 93 boxes, min u1 2.48
PASS  ms5 m_c values {2/5, 9/20, 1/2, 3/5, 3/4, 4/5, 17/20, 9/10}: [Fraction(2, 5), Fraction(9, 20), Fraction(1, 2), Fraction(3, 5), Fraction(3, 4), Fraction(4, 5), Fraction(17, 20), Fraction(9, 10)]
      box widths: u 2.46e-03 .. 0.0100, t 3.24e-03 .. 0.1036, r 5.08e-03 .. 0.0813 (text: 2.46e-3 .. 0.01, 3.2e-3 .. 0.104, 5.1e-3 .. 0.081)
      boxes with u2 > u4 (used only for u <= u4): {(-1, 'lpv'): 32, (1, 'lpv'): 36, (1, 'ms5'): 19}; cells with u2 > u4: 16
PASS  boxes containing (1,1,1)/sqrt3 (any u) are all ms5: 18 boxes, kinds {'ms5'}
PASS  in those boxes the plus pieces containing m = 1 are A3 (equality allowed there): {'A3': 18}
PASS  boxes containing (1,1,1,1)/2 at u = u4 are all ms5: 1 boxes, kinds {'ms5'}
PASS  in those boxes the plus pieces containing m = 1/sqrt2 are TCS: {'TCS': 1}
PASS  Lemma 15: S3 (144/169)^2 > 1.25 > 7/20: 1.25751
RESULT: ALL PASS
