n=6 S_n level: 11 x 11 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=6 done in 0.0s
n=8 S_n level: 22 x 22 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=8 done in 0.0s
n=10 S_n level: 42 x 42 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=10 done in 0.0s
n=12 S_n level: 77 x 77 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=12 done in 0.0s
n=14 S_n level: 135 x 135 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=14 done in 0.0s
n=16 S_n level: 231 x 231 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=16 done in 0.0s
n=18 S_n level: 385 x 385 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.0s)
n=18 done in 0.0s
n=20 S_n level: 627 x 627 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.1s)
n=20 done in 0.1s
n=22 S_n level: 1002 x 1002 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.1s)
n=22 done in 0.2s
n=24 S_n level: 1575 x 1575 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.4s)
n=24 done in 0.4s
n=26 S_n level: 2436 x 2436 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (0.9s)
n=26 done in 0.9s
n=28 S_n level: 3718 x 3718 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (2.1s)
n=28 done in 2.2s
n=30 S_n level: 5604 x 5604 type pairs, disagreements with the rule (l+l'<=n+1, parity): 0  (4.9s)
n=30 done in 5.0s
