terms: 160  by size {1: 4, 2: 10, 3: 26, 4: 120}; monomials after symmetrisation: 4941; Qden = 1451520
Qden factorisation check: Qden % 9 = 0
(a) congruence classes met by the support: 73; classes with non-zero coefficient sum: 0
    classes of which only a part of the members inside W carries a coefficient (others are 0): 28
arrows in the window: 98 (expected 98 = 2 * 49 lines)
overflow bound: sum|Z_U| + 26*Qden = 203806880 < 2^62: True
slow evaluation on 3029 sample patterns: max value/Qden = 4178081/725760 (<= 6: True)
zeta transform done (3.1s)
Psi0 added (13.9s)
(b) max over all 2^27 patterns of Qden*(Psi0+Q) = 8709120 = 6 * Qden; bound*Qden = 8709120
    patterns above the bound: 0;  patterns with value == max: 39;  next value: max - 17264  (gap 1079/90720)
    min value/Qden = -207671/18144 = -11.445712
(c) fast vs slow evaluation on 2844 samples: mismatches = 0
(E1) hyperplane windows: 39 distinct; equal to the set of equality patterns: True
(E2) unique continuation H(a,c) -> H(a, c - a_i) along every axis: True
RESULT: sum-zero condition OK; inequality OK; => certificate ACCEPTED for bound 6  (total 14.2s)
