K  file rid_slice_certs_177_200.json md5 bf211417256e61e9cb87afb129e6b988; C = 177/200 = 0.885; A = 800/531; 4/(3C) = 800/531; A >= 4/(3C): True; cells 142; complete flag True
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)
C  c10>=0: 142/142
C  (i) arb: 142/142
C  (i) sturm: 142/142
C  (iii) arb: 142/142
C  (iii) sturm: 142/142
C  L<=U: 142/142
C  (iv) bernstein: 142/142
C  (iv) taylor: 142/142
C  taylor == file bound: 142/142
C  worst Bernstein bound 0.879118936 (cell 127, 1 pieces); worst Taylor bound 0.879807089; worst vertex value of F 0.879118936; C = 0.885
C  majorant degrees {8: 6, 10: 136}; bidegrees of F {(3, 2): 136, (2, 2): 6}; Bernstein pieces in total 142  (0s)
T  142 cells, all inside [0, A] x [0, A^2]: True; cover D+: True ; cells entirely below m2 = m1^2: 0; overlapping pairs: 0
T  dropping any one cell breaks the cover: 139/142
RESULT: ALL CHECKS PASSED (parts KCT, 1s)
