Qden = 589824  number of listed supports: 437
supports by size: {1: 4, 2: 18, 3: 88, 4: 327}
48 cube symmetries: explicit construction and generator closure agree
monomials in all: 15245  by size: {1: 27, 2: 323, 3: 2641, 4: 12254}
number of non-zero coefficients: 15245
congruence classes met by the certificate: 177  classes by support size: {1: 1, 2: 7, 3: 31, 4: 138}
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: 171
sum of |Z_U| over all monomials = 446041644  ; 49 lines contribute at most 28901376  ; total bound 474943020 < 2^62: True
wrote rerun_out/build/mono_mycert.txt
