1
[2, -1, 1, "S2"]1
[3, 1, 1, "A3"]1
[6, -1, 2, "S3"]1
[4, -1, 1, "C(4) = 4"]1
[4, 1, 2, "E(4) = 2[x]2"]1
[8, -1, 3, "D(4)"]1
[12, 1, 4, "A4"]1
[24, -1, 5, "S4"]1
[5, 1, 1, "C(5) = 5"]1
[10, 1, 2, "D(5) = 5:2"]1
[20, -1, 3, "F(5) = 5:4"]1
[60, 1, 4, "A5"]1
[120, -1, 5, "S5"]1
[6, -1, 1, "C(6) = 6 = 3[x]2"]1
[6, -1, 2, "D_6(6) = [3]2"]1
[12, -1, 3, "D(6) = S(3)[x]2"]1
[12, 1, 4, "A_4(6) = [2^2]3"]1
[18, -1, 5, "F_18(6) = [3^2]2 = 3 wr 2"]1
[24, -1, 6, "2A_4(6) = [2^3]3 = 2 wr 3"]1
[24, 1, 7, "S_4(6d) = [2^2]S(3)"]1
[24, -1, 8, "S_4(6c) = 1/2[2^3]S(3)"]1
[36, -1, 9, "F_18(6):2 = [1/2.S(3)^2]2"]1
[36, 1, 10, "F_36(6) = 1/2[S(3)^2]2"]1
[48, -1, 11, "2S_4(6) = [2^3]S(3) = 2 wr S(3)"]1
[60, 1, 12, "L(6) = PSL(2,5) = A_5(6)"]1
[72, -1, 13, "F_36(6):2 = [S(3)^2]2 = S(3) wr 2"]1
[120, -1, 14, "L(6):2 = PGL(2,5) = S_5(6)"]1
[360, 1, 15, "A6"]1
[720, -1, 16, "S6"]1
[7, 1, 1, "C(7) = 7"]1
[14, -1, 2, "D(7) = 7:2"]1
[21, 1, 3, "F_21(7) = 7:3"]1
[42, -1, 4, "F_42(7) = 7:6"]1
[168, 1, 5, "L(7) = L(3,2)"]1
[2520, 1, 6, "A7"]1
[5040, -1, 7, "S7"]1
[8, -1, 1, "C(8)=8"]1
[8, 1, 2, "4[x]2"]1
[8, 1, 3, "E(8)=2[x]2[x]2"]1
[8, 1, 4, "D_8(8)=[4]2"]1
[8, 1, 5, "Q_8(8)"]1
[16, -1, 6, "D(8)"]1
[16, -1, 7, "1/2[2^3]4"]1
[16, -1, 8, "2D_8(8)=[D(4)]2"]1
[16, 1, 9, "E(8):2=D(4)[x]2"]1
[16, 1, 10, "[2^2]4"]1
[16, 1, 11, "1/2[2^3]E(4)=Q_8:2"]1
[24, 1, 12, "2A_4(8)=[2]A(4)=SL(2,3)"]1
[24, 1, 13, "E(8):3=A(4)[x]2"]1
[24, 1, 14, "S(4)[1/2]2=1/2(S_4[x]2)"]1
[32, -1, 15, "[1/4.cD(4)^2]2"]1
[32, -1, 16, "1/2[2^4]4"]1
[32, -1, 17, "[4^2]2"]1
[32, 1, 18, "E(8):E_4=[2^2]D(4)"]1
[32, 1, 19, "E(8):4=[1/4.eD(4)^2]2"]1
[32, 1, 20, "[2^3]4"]1
[32, -1, 21, "1/2[2^4]E(4)=[1/4.dD(4)^2]2"]1
[32, 1, 22, "E(8):D_4=[2^3]2^2"]1
[48, -1, 23, "2S_4(8)=GL(2,3)"]1
[48, 1, 24, "E(8):D_6=S(4)[x]2"]1
[56, 1, 25, "E(8):7=F_56(8)"]1
[64, -1, 26, "1/2[2^4]eD(4)"]1
[64, -1, 27, "[2^4]4"]1
[64, -1, 28, "1/2[2^4]dD(4)"]1
[64, 1, 29, "E(8):D_8=[2^3]D(4)"]1
[64, -1, 30, "1/2[2^4]cD(4)"]1
[64, -1, 31, "[2^4]E(4)"]1
[96, 1, 32, "[2^3]A(4)"]1
[96, 1, 33, "E(8):A_4=[1/3.A(4)^2]2=E(4):6"]1
[96, 1, 34, "1/2[E(4)^2:S_3]2=E(4)^2:D_6"]1
[128, -1, 35, "[2^4]D(4)"]1
[168, 1, 36, "E(8):F_21"]1
[168, 1, 37, "L(8)=PSL(2,7)"]1
[192, -1, 38, "[2^4]A(4)"]1
[192, 1, 39, "[2^3]S(4)"]1
[192, -1, 40, "1/2[2^4]S(4)"]1
[192, 1, 41, "E(8):S_4=[E(4)^2:S_3]2=E(4)^2:D_12"]1
[288, 1, 42, "[A(4)^2]2"]1
[336, -1, 43, "L(8):2=PGL(2,7)"]1
[384, -1, 44, "[2^4]S(4)"]1
[576, 1, 45, "[1/2.S(4)^2]2"]1
[576, -1, 46, "1/2[S(4)^2]2"]1
[1152, -1, 47, "[S(4)^2]2"]1
[1344, 1, 48, "E(8):L_7=AL(8)"]1
[20160, 1, 49, "A8"]1
[40320, -1, 50, "S8"]1
[9, 1, 1, "C(9)=9"]1
[9, 1, 2, "E(9)=3[x]3"]1
[18, 1, 3, "D(9)=9:2"]1
[18, -1, 4, "S(3)[x]3"]1
[18, 1, 5, "S(3)[1/2]S(3)=3^2:2"]1
[27, 1, 6, "1/3[3^3]3"]1
[27, 1, 7, "E(9):3=[3^2]3"]1
[36, -1, 8, "S(3)[x]S(3)=E(9):D_4"]1
[36, 1, 9, "E(9):4"]1
[54, 1, 10, "[3^2]S(3)_6"]1
[54, 1, 11, "E(9):6=1/2[3^2:2]S(3)"]1
[54, -1, 12, "[3^2]S(3)"]1
[54, -1, 13, "E(9):D_6=[3^2:2]3=[1/2.S(3)^2]3"]1
[72, 1, 14, "M(9)=E(9):Q_8"]1
[72, -1, 15, "E(9):8"]1
[72, -1, 16, "E(9):D_8"]1
[81, 1, 17, "[3^3]3=3wr3"]1
[108, -1, 18, "E(9):D_12=[3^2:2]S(3)=[1/2.S(3)^2]S(3)"]1
[144, -1, 19, "E(9):2D_8"]1
[162, -1, 20, "[3^3]S(3)=3wrS(3)"]1
[162, 1, 21, "1/2.[3^3:2]S(3)"]1
[162, -1, 22, "[3^3:2]3"]1
[216, 1, 23, "E(9):2A_4"]1
[324, -1, 24, "[3^3:2]S(3)"]1
[324, 1, 25, "[1/2.S(3)^3]3"]1
[432, -1, 26, "E(9):2S_4"]1
[504, 1, 27, "L(9)=PSL(2,8)"]1
[648, -1, 28, "[S(3)^3]3=S(3)wr3"]1
[648, -1, 29, "[1/2.S(3)^3]S(3)"]1
[648, 1, 30, "1/2[S(3)^3]S(3)"]1
[1296, -1, 31, "[S(3)^3]S(3)=S(3)wrS(3)"]1
[1512, 1, 32, "L(9):3=P|L(2,8)"]1
[181440, 1, 33, "A9"]1
[362880, -1, 34, "S9"]1
[10, -1, 1, "C(10)=5[x]2"]1
[10, -1, 2, "D(10)=5:2"]1
[20, -1, 3, "D_10(10)=[D(5)]2"]1
[20, -1, 4, "1/2[F(5)]2"]1
[40, -1, 5, "F(5)[x]2"]1
[50, -1, 6, "[5^2]2"]1
[60, 1, 7, "A_5(10)"]1
[80, 1, 8, "[2^4]5"]1
[100, -1, 9, "[1/2.D(5)^2]2"]1
[100, -1, 10, "1/2[D(5)^2]2"]1
[120, -1, 11, "A(5)[x]2"]1
[120, -1, 12, "1/2[S(5)]2=S_5(10a)"]1
[120, -1, 13, "S_5(10d)"]1
[160, -1, 14, "[2^5]5"]1
[160, 1, 15, "[2^4]D(5)"]1
[160, -1, 16, "1/2[2^5]D(5)"]1
[200, -1, 17, "[5^2:4]2"]1
[200, 1, 18, "[5^2:4]2_2"]1
[200, -1, 19, "[5^2:4_2]2"]1
[200, -1, 20, "[5^2:4_2]2_2"]1
[200, -1, 21, "[D(5)^2]2"]1
[240, -1, 22, "S(5)[x]2"]1
[320, -1, 23, "[2^5]D(5)"]1
[320, 1, 24, "[2^4]F(5)"]1
[320, -1, 25, "1/2[2^5]F(5)"]1
[360, 1, 26, "L(10)=PSL(2,9)"]1
[400, -1, 27, "[1/2.F(5)^2]2"]1
[400, 1, 28, "1/2[F(5)^2]2"]1
[640, -1, 29, "[2^5]F(5)"]1
[720, -1, 30, "L(10):2=PGL(2,9)"]1
[720, 1, 31, "M(10)=L(10)'2"]1
[720, -1, 32, "S_6(10)=L(10):2"]1
[800, -1, 33, "[F(5)^2]2"]1
[960, 1, 34, "[2^4]A(5)"]1
[1440, -1, 35, "L(10).2^2=P|L(2,9)"]1
[1920, -1, 36, "[2^5]A(5)"]1
[1920, 1, 37, "[2^4]S(5)"]1
[1920, -1, 38, "1/2[2^5]S(5)"]1
[3840, -1, 39, "[2^5]S(5)"]1
[7200, -1, 40, "[A(5)^2]2"]1
[14400, -1, 41, "[1/2.S(5)^2]2=[A(5):2]2"]1
[14400, 1, 42, "1/2[S(5)^2]2"]1
[28800, -1, 43, "[S(5)^2]2"]1
[1814400, 1, 44, "A10"]1
[3628800, -1, 45, "S10"]1
[11, 1, 1, "C(11)=11"]1
[22, -1, 2, "D(11)=11:2"]1
[55, 1, 3, "F_55(11)=11:5"]1
[110, -1, 4, "F_110(11)=11:10"]1
[660, 1, 5, "L(11)=PSL(2,11)(11)"]1
[7920, 1, 6, "M(11)"]1
[19958400, 1, 7, "A11"]1
[39916800, -1, 8, "S11"]1
0
[2, -1, 1, "S2"]1
[3, 1, 2, "A3"]1
[6, -1, 1, "S3"]1
[4, -1, 1, "C(4) = 4"]1
[4, 1, 1, "E(4) = 2[x]2"]1
[8, -1, 1, "D(4)"]1
[12, 1, 1, "A4"]1
[24, -1, 1, "S4"]1
[5, 1, 1, "C(5) = 5"]1
[10, 1, 1, "D(5) = 5:2"]1
[20, -1, 1, "F(5) = 5:4"]1
[60, 1, 1, "A5"]1
[120, -1, 1, "S5"]1
[6, -1, 1, "C(6) = 6 = 3[x]2"]1
[6, -1, 2, "D_6(6) = [3]2"]1
[12, -1, 1, "D(6) = S(3)[x]2"]1
[12, 1, 1, "A_4(6) = [2^2]3"]1
[18, -1, 1, "F_18(6) = [3^2]2 = 3 wr 2"]1
[24, -1, 2, "2A_4(6) = [2^3]3 = 2 wr 3"]1
[24, 1, 1, "S_4(6d) = [2^2]S(3)"]1
[24, -1, 1, "S_4(6c) = 1/2[2^3]S(3)"]1
[36, -1, 1, "F_18(6):2 = [1/2.S(3)^2]2"]1
[36, 1, 1, "F_36(6) = 1/2[S(3)^2]2"]1
[48, -1, 1, "2S_4(6) = [2^3]S(3) = 2 wr S(3)"]1
[60, 1, 1, "L(6) = PSL(2,5) = A_5(6)"]1
[72, -1, 1, "F_36(6):2 = [S(3)^2]2 = S(3) wr 2"]1
[120, -1, 1, "L(6):2 = PGL(2,5) = S_5(6)"]1
[360, 1, 1, "A6"]1
[720, -1, 1, "S6"]1
[7, 1, 1, "C(7) = 7"]1
[14, -1, 1, "D(7) = 7:2"]1
[21, 1, 1, "F_21(7) = 7:3"]1
[42, -1, 1, "F_42(7) = 7:6"]1
[168, 1, 1, "L(7) = L(3,2)"]1
[2520, 1, 1, "A7"]1
[5040, -1, 1, "S7"]1
[16, -1, 7, "1/2[2^3]4"]
[10, -1, 1, "C(10)=5[x]2"]
[32, -1, 21, "1/2[2^4]E(4)=[1/4.dD(4)^2]2"]
[32, -1, 15, "[1/4.cD(4)^2]2"]
[8, 1, 2, "4[x]2"]
[16, -1, 7, "1/2[2^3]4"]
[16, -1, 7, "1/2[2^3]4"]
Total time spent: 38684