A1     N=1    l(w0)=1    classes=1 per_class=[1] letters=[1] oddcomp_ok=True w0=-1:True sigma=[0] [zeta]=[1] d=1 tv_rank=0 lam(z)=-2 solvable=True
A2     N=3    l(w0)=3    classes=1 per_class=[3] letters=[3] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[6] d=6 tv_rank=0 lam(z)=-2 solvable=False
A3     N=6    l(w0)=6    classes=1 per_class=[6] letters=[6] oddcomp_ok=True w0=-1:False sigma=[2, 1, 0] [zeta]=[12] d=12 tv_rank=0 lam(z)=-2 solvable=False
A4     N=10   l(w0)=10   classes=1 per_class=[10] letters=[10] oddcomp_ok=True w0=-1:False sigma=[3, 2, 1, 0] [zeta]=[20] d=20 tv_rank=0 lam(z)=-2 solvable=False
A5     N=15   l(w0)=15   classes=1 per_class=[15] letters=[15] oddcomp_ok=True w0=-1:False sigma=[4, 3, 2, 1, 0] [zeta]=[30] d=30 tv_rank=0 lam(z)=-2 solvable=False
A6     N=21   l(w0)=21   classes=1 per_class=[21] letters=[21] oddcomp_ok=True w0=-1:False sigma=[5, 4, 3, 2, 1, 0] [zeta]=[42] d=42 tv_rank=0 lam(z)=-2 solvable=False
A7     N=28   l(w0)=28   classes=1 per_class=[28] letters=[28] oddcomp_ok=True w0=-1:False sigma=[6, 5, 4, 3, 2, 1, 0] [zeta]=[56] d=56 tv_rank=0 lam(z)=-2 solvable=False
A8     N=36   l(w0)=36   classes=1 per_class=[36] letters=[36] oddcomp_ok=True w0=-1:False sigma=[7, 6, 5, 4, 3, 2, 1, 0] [zeta]=[72] d=72 tv_rank=0 lam(z)=-2 solvable=False
A9     N=45   l(w0)=45   classes=1 per_class=[45] letters=[45] oddcomp_ok=True w0=-1:False sigma=[8, 7, 6, 5, 4, 3, 2, 1, 0] [zeta]=[90] d=90 tv_rank=0 lam(z)=-2 solvable=False
B2     N=4    l(w0)=4    classes=2 per_class=[2, 2] letters=[2, 2] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[2, 2] d=4 tv_rank=1 lam(z)=-2 solvable=True
B3     N=9    l(w0)=9    classes=2 per_class=[3, 6] letters=[3, 6] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2] [zeta]=[3, 6] d=9 tv_rank=1 lam(z)=-2 solvable=False
B4     N=16   l(w0)=16   classes=2 per_class=[4, 12] letters=[4, 12] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3] [zeta]=[4, 12] d=16 tv_rank=1 lam(z)=-2 solvable=False
B5     N=25   l(w0)=25   classes=2 per_class=[5, 20] letters=[5, 20] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4] [zeta]=[5, 20] d=25 tv_rank=1 lam(z)=-2 solvable=False
B6     N=36   l(w0)=36   classes=2 per_class=[6, 30] letters=[6, 30] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5] [zeta]=[6, 30] d=36 tv_rank=1 lam(z)=-2 solvable=False
B7     N=49   l(w0)=49   classes=2 per_class=[7, 42] letters=[7, 42] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6] [zeta]=[7, 42] d=49 tv_rank=1 lam(z)=-2 solvable=False
B8     N=64   l(w0)=64   classes=2 per_class=[8, 56] letters=[8, 56] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6, 7] [zeta]=[8, 56] d=64 tv_rank=1 lam(z)=-2 solvable=False
B9     N=81   l(w0)=81   classes=2 per_class=[9, 72] letters=[9, 72] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6, 7, 8] [zeta]=[9, 72] d=81 tv_rank=1 lam(z)=-2 solvable=False
D4     N=12   l(w0)=12   classes=1 per_class=[12] letters=[12] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3] [zeta]=[12] d=12 tv_rank=0 lam(z)=-2 solvable=False
D5     N=20   l(w0)=20   classes=1 per_class=[20] letters=[20] oddcomp_ok=True w0=-1:False sigma=[0, 1, 2, 4, 3] [zeta]=[40] d=40 tv_rank=0 lam(z)=-2 solvable=False
D6     N=30   l(w0)=30   classes=1 per_class=[30] letters=[30] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5] [zeta]=[30] d=30 tv_rank=0 lam(z)=-2 solvable=False
D7     N=42   l(w0)=42   classes=1 per_class=[42] letters=[42] oddcomp_ok=True w0=-1:False sigma=[0, 1, 2, 3, 4, 6, 5] [zeta]=[84] d=84 tv_rank=0 lam(z)=-2 solvable=False
D8     N=56   l(w0)=56   classes=1 per_class=[56] letters=[56] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6, 7] [zeta]=[56] d=56 tv_rank=0 lam(z)=-2 solvable=False
D9     N=72   l(w0)=72   classes=1 per_class=[72] letters=[72] oddcomp_ok=True w0=-1:False sigma=[0, 1, 2, 3, 4, 5, 6, 8, 7] [zeta]=[144] d=144 tv_rank=0 lam(z)=-2 solvable=False
E6     N=36   l(w0)=36   classes=1 per_class=[36] letters=[36] oddcomp_ok=True w0=-1:False sigma=[4, 3, 2, 1, 0, 5] [zeta]=[72] d=72 tv_rank=0 lam(z)=-2 solvable=False
E7     N=63   l(w0)=63   classes=1 per_class=[63] letters=[63] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6] [zeta]=[63] d=63 tv_rank=0 lam(z)=-2 solvable=False
E8     N=120  l(w0)=120  classes=1 per_class=[120] letters=[120] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3, 4, 5, 6, 7] [zeta]=[120] d=120 tv_rank=0 lam(z)=-2 solvable=False
F4     N=24   l(w0)=24   classes=2 per_class=[12, 12] letters=[12, 12] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3] [zeta]=[12, 12] d=24 tv_rank=1 lam(z)=-2 solvable=False
G2     N=6    l(w0)=6    classes=2 per_class=[3, 3] letters=[3, 3] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[3, 3] d=6 tv_rank=1 lam(z)=-2 solvable=False
H3     N=15   l(w0)=15   classes=1 per_class=[15] letters=[15] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2] [zeta]=[15] d=15 tv_rank=0 lam(z)=-2 solvable=False
H4     N=60   l(w0)=60   classes=1 per_class=[60] letters=[60] oddcomp_ok=True w0=-1:True sigma=[0, 1, 2, 3] [zeta]=[60] d=60 tv_rank=0 lam(z)=-2 solvable=False
I2(3)  N=3    l(w0)=3    classes=1 per_class=[3] letters=[3] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[6] d=6 tv_rank=0 lam(z)=-2 solvable=False
I2(4)  N=4    l(w0)=4    classes=2 per_class=[2, 2] letters=[2, 2] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[2, 2] d=4 tv_rank=1 lam(z)=-2 solvable=True
I2(5)  N=5    l(w0)=5    classes=1 per_class=[5] letters=[5] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[10] d=10 tv_rank=0 lam(z)=-2 solvable=False
I2(6)  N=6    l(w0)=6    classes=2 per_class=[3, 3] letters=[3, 3] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[3, 3] d=6 tv_rank=1 lam(z)=-2 solvable=False
I2(7)  N=7    l(w0)=7    classes=1 per_class=[7] letters=[7] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[14] d=14 tv_rank=0 lam(z)=-2 solvable=False
I2(8)  N=8    l(w0)=8    classes=2 per_class=[4, 4] letters=[4, 4] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[4, 4] d=8 tv_rank=1 lam(z)=-2 solvable=False
I2(9)  N=9    l(w0)=9    classes=1 per_class=[9] letters=[9] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[18] d=18 tv_rank=0 lam(z)=-2 solvable=False
I2(10) N=10   l(w0)=10   classes=2 per_class=[5, 5] letters=[5, 5] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[5, 5] d=10 tv_rank=1 lam(z)=-2 solvable=False
I2(11) N=11   l(w0)=11   classes=1 per_class=[11] letters=[11] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[22] d=22 tv_rank=0 lam(z)=-2 solvable=False
I2(12) N=12   l(w0)=12   classes=2 per_class=[6, 6] letters=[6, 6] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[6, 6] d=12 tv_rank=1 lam(z)=-2 solvable=False
I2(13) N=13   l(w0)=13   classes=1 per_class=[13] letters=[13] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[26] d=26 tv_rank=0 lam(z)=-2 solvable=False
I2(14) N=14   l(w0)=14   classes=2 per_class=[7, 7] letters=[7, 7] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[7, 7] d=14 tv_rank=1 lam(z)=-2 solvable=False
I2(15) N=15   l(w0)=15   classes=1 per_class=[15] letters=[15] oddcomp_ok=True w0=-1:False sigma=[1, 0] [zeta]=[30] d=30 tv_rank=0 lam(z)=-2 solvable=False
I2(16) N=16   l(w0)=16   classes=2 per_class=[8, 8] letters=[8, 8] oddcomp_ok=True w0=-1:True sigma=[0, 1] [zeta]=[8, 8] d=16 tv_rank=1 lam(z)=-2 solvable=False
ALL CHECKS True
