terms: 437  by size {1: 4, 2: 18, 3: 88, 4: 327}; monomials after symmetrisation: 15245; Qden = 589824
Qden factorisation check: Qden % 9 = 0
(a) congruence classes met by the support: 177; classes with non-zero coefficient sum: 0
    classes of which only a part of the members inside W carries a coefficient (others are 0): 0
arrows in the window: 98 (expected 98 = 2 * 49 lines)
overflow bound: sum|Z_U| + 26*Qden = 461377068 < 2^62: True
slow evaluation on 3029 sample patterns: max value/Qden = 861113/147456 (<= 6: True)
zeta transform done (5.6s)
Psi0 added (16.2s)
(b) max over all 2^27 patterns of Qden*(Psi0+Q) = 3538944 = 6 * Qden; bound*Qden = 3538944
    patterns above the bound: 0;  patterns with value == max: 39;  next value: max - 94274  (gap 47137/294912)
    min value/Qden = -5017771/294912 = -17.014469
(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 16.5s)
nice -n 10 PYTHON $F/verify3d.py   16.40s user 0.19s system 99% cpu 16.594 total
