W=20: 888030 weight vectors, 29375 distinct sorted positive threshold functions
S_7-canonical forms: 0 duplicates among 29375 functions
relevant variables form a prefix in all but 0 functions
n=0: sum 2^r n!/|Aut| = 2, A000609(0) = 2: OK
n=1: sum 2^r n!/|Aut| = 4, A000609(1) = 4: OK
n=2: sum 2^r n!/|Aut| = 14, A000609(2) = 14: OK
n=3: sum 2^r n!/|Aut| = 104, A000609(3) = 104: OK
n=4: sum 2^r n!/|Aut| = 1882, A000609(4) = 1882: OK
n=5: sum 2^r n!/|Aut| = 94572, A000609(5) = 94572: OK
n=6: sum 2^r n!/|Aut| = 15028134, A000609(6) = 15028134: OK
n=7: sum 2^r n!/|Aut| = 8378070864, A000609(7) = 8378070864: OK
functions with all 7 variables relevant: 28262
pairs (g,s) with r = 7: 3617536; distinct polynomials P_f: 1013217
ENUMERATION CHECKS PASSED

real	0m15.662s
user	0m38.425s
sys	0m0.120s
