Qden = 1451520  number of listed supports: 160
supports by size: {1: 4, 2: 10, 3: 26, 4: 120}
48 cube symmetries: explicit construction and generator closure agree
monomials in all: 4941  by size: {1: 27, 2: 135, 3: 614, 4: 4165}
number of non-zero coefficients: 4941
congruence classes met by the certificate: 73  classes by support size: {1: 1, 2: 4, 3: 12, 4: 56}
classes with non-zero coefficient sum: 0
(a) sum-zero condition on every congruence class (signed permutations AND translations): OK
all subsets of W of size <= 4: 20853  in 348 congruence classes; classes not met by the certificate: 275
sum of |Z_U| over all monomials = 166067360  ; 49 lines contribute at most 71124480  ; total bound 237191840 < 2^62: True
wrote rerun_out/build/mono_cert.txt
