|
#############################################################################
##
## This file is part of GAP, a system for computational discrete algebra.
## This file's authors include Volkmar Felsch, Alexander Hulpke.
##
## Copyright of GAP belongs to its developers, whose names are too numerous
## to list here. Please refer to the COPYRIGHT file for details.
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## This file contains the perfect groups of sizes 92160-174960
## All data is based on Holt/Plesken: Perfect Groups, OUP 1989
##
PERFGRP[114]:=[# 92160.1
[[1,"abcstuvSTUV",
function(a,b,c,s,t,u,v,S,T,U,V)
return
[[a^2,b^3,c^3,(b*c)^4,(b*c^-1)^5,a^-1*b^-1*c
*b*c*b^-1*c*b*c^-1,s^2,t^2,u^2,
v^2,S^2,T^2,U^2,V^2,s^-1*t^-1*s*t,
s^-1*u^-1*s*u,s^-1*v^-1*s*v,
t^-1*u^-1*t*u,t^-1*v^-1*t*v,
u^-1*v^-1*u*v,S^-1*T^-1*S*T,
S^-1*U^-1*S*U,S^-1*V^-1*S*V,
T^-1*U^-1*T*U,T^-1*V^-1*T*V,
U^-1*V^-1*U*V,s^-1*S^-1*s*S,
s^-1*T^-1*s*T,s^-1*U^-1*s*U,
s^-1*V^-1*s*V,t^-1*S^-1*t*S,
t^-1*T^-1*t*T,t^-1*U^-1*t*U,
t^-1*V^-1*t*V,u^-1*S^-1*u*S,
u^-1*T^-1*u*T,u^-1*U^-1*u*U,
u^-1*V^-1*u*V,v^-1*S^-1*v*S,
v^-1*T^-1*v*T,v^-1*U^-1*v*U,
v^-1*V^-1*v*V,a^-1*s*a*u^-1,
a^-1*t*a*v^-1,a^-1*u*a*s^-1,
a^-1*v*a*t^-1,a^-1*S*a*U^-1,
a^-1*T*a*V^-1,a^-1*U*a*S^-1,
a^-1*V*a*T^-1,b^-1*s*b*(t*v)^-1,
b^-1*t*b*(s*t*u*v)^-1,
b^-1*u*b*(u*v)^-1,b^-1*v*b*u^-1,
b^-1*S*b*(T*V)^-1,
b^-1*T*b*(S*T*U*V)^-1,
b^-1*U*b*(U*V)^-1,b^-1*V*b*U^-1,
c^-1*s*c*(t*u)^-1,c^-1*t*c*t^-1,
c^-1*u*c*(s*u)^-1,
c^-1*v*c*(s*t*u*v)^-1,
c^-1*S*c*(T*U)^-1,c^-1*T*c*T^-1,
c^-1*U*c*(S*U)^-1,
c^-1*V*c*(S*T*U*V)^-1],[[b,c,S],[b,c,s]]];
end,
[16,16]],
"A6 2^4 x 2^4",[13,8,1],1,
3,[16,16]],
# 92160.2
[[1,"abcstuvwxyz",
function(a,b,c,s,t,u,v,w,x,y,z)
return
[[a^2,b^3,c^3,(b*c)^4,(b*c^-1)^5,a^-1*b^-1*c
*b*c*b^-1*c*b*c^-1,s^2,t^2,u^2,
v^2,w^2,x^2,y^2,z^2,s^-1*t^-1*s*t,
s^-1*u^-1*s*u,s^-1*v^-1*s*v,
t^-1*u^-1*t*u,t^-1*v^-1*t*v,
u^-1*v^-1*u*v,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,s^-1*w^-1*s*w,
s^-1*x^-1*s*x,s^-1*y^-1*s*y,
s^-1*z^-1*s*z,t^-1*w^-1*t*w,
t^-1*x^-1*t*x,t^-1*y^-1*t*y,
t^-1*z^-1*t*z,u^-1*w^-1*u*w,
u^-1*x^-1*u*x,u^-1*y^-1*u*y,
u^-1*z^-1*u*z,v^-1*w^-1*v*w,
v^-1*x^-1*v*x,v^-1*y^-1*v*y,
v^-1*z^-1*v*z,a^-1*s*a*u^-1,
a^-1*t*a*v^-1,a^-1*u*a*s^-1,
a^-1*v*a*t^-1,a^-1*w*a*y^-1,
a^-1*x*a*z^-1,a^-1*y*a*w^-1,
a^-1*z*a*x^-1,b^-1*s*b*(t*v)^-1,
b^-1*t*b*(s*t*u*v)^-1,
b^-1*u*b*(u*v)^-1,b^-1*v*b*u^-1,
b^-1*w*b*(x*y)^-1,b^-1*x*b*x^-1,
b^-1*y*b*(w*y)^-1,
b^-1*z*b*(w*x*y*z)^-1,
c^-1*s*c*(t*u)^-1,c^-1*t*c*t^-1,
c^-1*u*c*(s*u)^-1,
c^-1*v*c*(s*t*u*v)^-1,
c^-1*w*c*(x*z)^-1,
c^-1*x*c*(w*x*y*z)^-1,
c^-1*y*c*(y*z)^-1,c^-1*z*c*y^-1],
[[b,c,s],[b,c,w]]];
end,
[16,16]],
"A6 2^4 x 2^4'",[13,8,2],1,
3,[16,16]]
];
PERFGRP[115]:=[# 95040.1
[[1,"ab",
function(a,b)
return
[[a^2,b^3,(a*b)^11,(a^-1*b^-1*a*b)^6,(a*b*a*b*a
*b^-1)^6,(a*b*a*b*a*b^-1*a*b^-1)^5],
[[a,b*a*b^-1*a*(b^-1*a*b*a)^2]]];
end,
[12]],
"M12",28,-1,
31,12]
];
PERFGRP[116]:=[# 96000.1
[[4,3840,5,3000,2,120,5,1],
"A5 # 2^6 5^2 [1]",6,2,
1,[24,12,25]],
# 96000.2
[[4,3840,6,3000,2,120,6,1],
"A5 # 2^6 5^2 [2]",6,2,
1,[48,25]],
# 96000.3
[[4,3840,7,3000,2,120,7,1],
"A5 # 2^6 5^2 [3]",6,2,
1,[32,24,25]]
];
PERFGRP[117]:=[# 100920.1
[[1,"abyz",
function(a,b,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,y^29,z^29,y^-1
*z^-1*y*z,a^-1*y*a*z^-1,
a^-1*z*a*y,b^-1*y*b*(y^14*z^4)^-1,
b^-1*z*b*(y^(-1*2)*z^14)^-1],[[a,b]]];
end,
[841],[0,0,2,2,2,2]],
"A5 2^1 29^2",[5,2,1],1,
1,841]
];
PERFGRP[118]:=[# 102660.1
[[1,"abc",
function(a,b,c)
return
[[c^29,c*b^4*c^-1*b^-1,b^59,a^2,c*a*c*a^-1,
(b*a)^3],[[b,c]]];
end,
[60]],
"L2(59)",22,-1,
32,60]
];
PERFGRP[119]:=[# 103776.1
[[1,"abc",
function(a,b,c)
return
[[c^23*a^2,c*b^(-1*22)*c^-1*b^-1,b^47,a^4,a^2
*b^-1*a^2*b,a^2*c^-1*a^2*c,
c*a*c*a^-1,(b*a)^3],[[b,c^2]]];
end,
[96],[0,2,2,2]],
"L2(47) 2^1 = SL(2,47)",22,-2,
27,96]
];
PERFGRP[120]:=[# 110880.1
[[2,168,1,660,1],
"L3(2) x L2(11)",[39,0,1],1,
[2,5],[7,11]]
];
PERFGRP[121]:=[# 112896.1
[[2,336,1,336,1],
"( L3(2) x L3(2) ) 2^2",[34,2,1],4,
[2,2],[16,16]]
];
PERFGRP[122]:=[# 113460.1
[[1,"abc",
function(a,b,c)
return
[[c^30,c*b^4*c^-1*b^-1,b^61,a^2,c*a*c*a^-1,
(b*a)^3,c^(-1*4)*(b*c)^3*c*a*b^2*a*c*b^2*a],
[[b,c]]];
end,
[62]],
"L2(61)",22,-1,
33,62]
];
PERFGRP[123]:=[# 115200.1
[[2,960,1,120,1],
"( A5 x A5 ) # 2^5 [1]",[29,5,1],2,
[1,1],[16,24]],
# 115200.2
[[2,960,2,120,1],
"( A5 x A5 ) # 2^5 [2]",[29,5,2],2,
[1,1],[10,24]],
# 115200.3
[[2,1920,1,60,1],
"( A5 x A5 ) # 2^5 [3]",[29,5,3],2,
[1,1],[12,5]],
# 115200.4
[[2,1920,2,60,1],
"( A5 x A5 ) # 2^5 [4]",[29,5,4],2,
[1,1],[24,5]],
# 115200.5
[[2,1920,3,60,1],
"( A5 x A5 ) # 2^5 [5]",[29,5,5],2,
[1,1],[16,24,5]],
# 115200.6
[[2,1920,4,60,1],
"( A5 x A5 ) # 2^5 [6]",[29,5,6],1,
[1,1],[80,5]],
# 115200.7
[[2,1920,5,60,1],
"( A5 x A5 ) # 2^5 [7]",[29,5,7],2,
[1,1],[10,24,5]],
# 115200.8
[[2,1920,6,60,1],
"( A5 x A5 ) # 2^5 [8]",[29,5,8],2,
[1,1],[80,5]],
# 115200.9
[[2,1920,7,60,1],
"( A5 x A5 ) # 2^5 [9]",[29,5,9],2,
[1,1],[32,5]],
# 115200.10
[[3,1920,1,120,1,"e1","d2"],
"( A5 x A5 ) # 2^5 [10]",[29,5,10],2,
[1,1],144],
# 115200.11
[[3,1920,2,120,1,"d1","d2"],
"( A5 x A5 ) # 2^5 [11]",[29,5,11],2,
[1,1],288],
# 115200.12
[[3,1920,3,120,1,"d1","d2"],
"( A5 x A5 ) # 2^5 [12]",[29,5,12],2,
[1,1],[192,288]],
# 115200.13
[[3,1920,5,120,1,"d1","d2"],
"( A5 x A5 ) # 2^5 [13]",[29,5,13],2,
[1,1],[120,288]],
# 115200.14
[[3,1920,6,120,1,"d1","d2"],
"( A5 x A5 ) # 2^5 [14]",[29,5,14],2,
[1,1],960],
# 115200.15
[[3,1920,7,120,1,"e1","d2"],
"( A5 x A5 ) # 2^5 [15]",[29,5,15],2,
[1,1],384]
];
PERFGRP[124]:=[# 115248.1
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^4,b^3,(a*b)^7,(a^-1*b^-1*a*b)^4*a^2,a^2*b
*a^2*b^-1,x^7,y^7,z^7,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*x*a*z^-1,a^-1*y*a*y,
a^-1*z*a*x^-1,b^-1*x*b*z^-1,
b^-1*y*b*(y^-1*z^-1)^-1,
b^-1*z*b*(x*y^2*z)^-1],
[[a*b,b*a*b^-1*a*b^-1*a*b*a*b^-1,x],
[a*b,b*a*b^-1*a*b^-1*a*b*a*b^-1,a^2,y
]]];
end,
[16,56]],
"L3(2) 2^1 x 7^3",[10,3,1],2,
2,[16,56]],
# 115248.2
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^4,b^3,(a*b)^7*z^-1,(a^-1*b^-1*a*b)^4
*a^2,a^2*b*a^2*b^-1,x^7,y^7,z^7,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*x*a*z^-1,
a^-1*y*a*y,a^-1*z*a*x^-1,
b^-1*x*b*z^-1,
b^-1*y*b*(y^-1*z^-1)^-1,
b^-1*z*b*(x*y^2*z)^-1],
[[a*b,b*a*b^-1*a*b^-1*a*b*a*b^-1,x],
[a*b*x^2,b*a*b^-1*a*b^-1*a*b*a*b^-1,
a^2,y]]];
end,
[16,56]],
"L3(2) 2^1 x N 7^3",[10,3,2],2,
2,[16,56]],
# 115248.3
[[1,"abyzd",
function(a,b,y,z,d)
return
[[a^4,b^3,(a*b)^7,a^2*b^-1*a^2*b,(a^-1*b^-1
*a*b)^4*a^2,d^7,a^-1*d*a*d^-1,
b^-1*d*b*d^-1,y^-1*d*y*d^-1,
z^-1*d*z*d^-1,y^7,z^7,
y^-1*z^-1*y*z*d^-1,
a^-1*y*a*(z^-1*d^(-1*2))^-1,
a^-1*z*a*(y*d^2)^-1,
b^-1*y*b*(z*d^(-1*2))^-1,
b^-1*z*b*(y^-1*z^-1*d)^-1],[[a,b]]];
end,
[343]],
"L3(2) 2^1 7^2 C 7^1",[10,3,3],7,
2,343],
# 115248.4 (otherpres.)
[[1,"abDyzd",
function(a,b,D,y,z,d)
return
[[a^2*D^-1,b^3,(a*b)^7,(a^-1*b^-1*a*b)^4
*D^-1,D^2,D^-1*b^-1*D*b,d^7,
a^-1*d*a*d^-1,b^-1*d*b*d^-1,
y^-1*d*y*d^-1,z^-1*d*z*d^-1,y^7,
z^7,y^-1*z^-1*y*z*d^-1,
a^-1*y*a*(z^-1*d^(-1*2))^-1,
a^-1*z*a*(y*d^2)^-1,
b^-1*y*b*(z*d^(-1*2))^-1,
b^-1*z*b*(y^-1*z^-1*d)^-1],[[a,b]]];
end,
[343]]]
];
PERFGRP[125]:=[# 115320.1
[[1,"abyz",
function(a,b,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,y^31,z^31,y^-1
*z^-1*y*z,a^-1*y*a*z^-1,
a^-1*z*a*y,b^-1*y*b*(y^-1*z^15)^-1,
b^-1*z*b*y^(-1*2)],[[a*b,a^2,y]]];
end,
[372]],
"A5 2^1 31^2",[5,2,1],1,
1,372]
];
PERFGRP[126]:=[# 116480.1
[[1,"abde",
function(a,b,d,e)
return
[[a^2,b^4,(a*b)^5,(a^-1*b^-1*a*b)^7*(d*e)^-1
,(a*b^2)^13,
a*b^-1*a*b^2*a*b^2*(a*b^-1*a*b*a*b^2)^2
*a*b^2*a*b*(a*b^2)^4*e^-1,d^2,e^2,
d^-1*e^-1*d*e,a^-1*d*a*d^-1,
a^-1*e*a*e^-1,b^-1*d*b*d^-1,
b^-1*e*b*e^-1],
[[a*b^2,(a*b*a*b^2)^2*a*b^2*a*b^-1
*(a*b^2*a*b*a*b^2)^2]]];
end,
[2240],[[1,2]]],
"Sz(8) 2^1 x 2^1",28,-4,
23,2240]
];
PERFGRP[127]:=[# 117600.1
[[1,"abc",
function(a,b,c)
return
[[c^24*a^2,b^7,c^(-1*8)*b^2*c^8*b^-1,c*b^3*c*b^2
*c^(-1*2)*b^(-1*3),a^4,a^2*b^-1*a^2*b,
a^2*c^-1*a^2*c,c*a*c*a^-1,(b*a)^3,
c^2*b*c*b^2*a*b*a*c*a*b^2*a*b^-1*c^(-1*3)
*b^-1*a],[[b,c^-1*b*c,c^16]]];
end,
[800],[0,2,2,0,2,2]],
"L2(49) 2^1 = SL(2,49)",22,-2,
28,800]
];
PERFGRP[128]:=[# 120000.1
[[4,960,1,7500,1,60],
"A5 # 2^4 5^3 [1]",6,1,
1,[16,30]],
# 120000.2
[[4,960,2,7500,1,60],
"A5 # 2^4 5^3 [2]",6,1,
1,[10,30]],
# 120000.3
[[4,960,1,7500,2,60],
"A5 # 2^4 5^3 [3]",6,1,
1,[16,30]],
# 120000.4
[[4,960,2,7500,2,60],
"A5 # 2^4 5^3 [4]",6,1,
1,[10,30]]
];
PERFGRP[129]:=[# 120960.1
[[1,"abwxyz",
function(a,b,w,x,y,z)
return
[[a^6,b^4,(a*b)^7,(a*b)^2*a*b^2*(a*b*a*b^-1)^2
*(a*b)^2*(a*b^-1)^2*a*b*a*b^-1
*a^2,a^2*b*a^(-1*2)*b^-1,w^2,x^2,y^2,z^2,
w*x*w*x,w*y*w*y,w*z*w*z,x*y*x*y,x*z*x*z,
y*z*y*z,a^-1*w*a*y^-1,
a^-1*x*a*z^-1,a^-1*y*a*w^-1,
a^-1*z*a*x^-1,b^-1*w*b*(w*x*y*z)^-1
,b^-1*x*b*y^-1,b^-1*y*b*(w*x)^-1,
b^-1*z*b*(w*z)^-1],
[[a^3,(b^-1*a)^2*(b*a)^2*b^2*a*b*a,w],[a,b]]];
end,
[45,16]],
"A7 3^1 x 2^4",[23,4,1],3,
8,[45,16]],
# 120960.2
[[1,"abde",
function(a,b,d,e)
return
[[a^2,b^4,(a*b)^7*e*d^-1,(a^-1*b^-1*a*b)^5,
(a*b^2)^5*e^-1,(a*b*a*b*a*b^3)^5,
(a*b*a*b*a*b^2*a*b^-1)^5*d^(-1*2),d^3,
a^-1*d*a*d^-1,b^-1*d*b*d^-1,e^2,
a^-1*e*a*e^-1,b^-1*e*b*e^-1],
[[a*b*a,b^2*a*b^-1*a*b*a*b^2*a*b*d],
[a*e,b*a*b*a*b^-1*a*b^2]]];
end,
[63,112]],
"L3(4) 3^1 x 2^1",[27,1,1],-6,
20,[63,112]],
# 120960.3
[[2,168,1,720,1],
"( L3(2) x A6 ) 2^1 [1]",[37,1,1],2,
[2,3],[7,80]],
# 120960.4
[[2,336,1,360,1],
"( L3(2) x A6 ) 2^1 [2]",[37,1,2],2,
[2,3],[16,6]],
# 120960.5
[[3,336,1,720,1,"d1","d2"],
"( L3(2) x A6 ) 2^1 [3]",[37,1,3],2,
[2,3],640]
];
PERFGRP[130]:=[# 122472.1
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^2,b^3,(a*b)^7,(a^-1*b^-1*a*b)^4,u^3,v^3,
w^3,x^3,y^3,z^3,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*u*a*(x*y^-1*z^-1)^-1,
a^-1*v*a*(w*x^-1*y^-1)^-1,
a^-1*w*a*(u*w^-1*x*y^-1*z^-1)^-1
,a^-1*x*a*(v*w*x*y^-1)^-1,
a^-1*y*a*(u*v*w*z^-1)^-1,
a^-1*z*a*(u*x*y^-1*z)^-1,
b^-1*u*b*(v*w^-1*x^-1)^-1,
b^-1*v*b*(u*v^-1*w^-1)^-1,
b^-1*w*b*(u^-1*v*w^-1*x^-1*z^-1)
^-1,b^-1*x*b*(u*v*w^-1*y^-1*z)
^-1,b^-1*y*b*(u*x^-1*y)^-1,
b^-1*z*b*(v*w^-1*x*z)^-1],
[[a,b^-1*a*b,z]]];
end,
[63]],
"L3(2) 3^6",[9,6,1],1,
2,63],
# 122472.2
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^2,b^3,(a*b)^7,(a^-1*b^-1*a*b)^4,u^3,v^3,
w^3,x^3,y^3,z^3,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*u*a*w^-1,a^-1*v*a*v^-1,
a^-1*w*a*u^-1,a^-1*x*a*z^-1,
a^-1*y*a*y^-1,a^-1*z*a*x^-1,
b^-1*u*b*v^-1,
b^-1*v*b*(u^-1*v^-1*w^-1*x^-1
*y^-1*z^-1)^-1,b^-1*w*b*x^-1
,b^-1*x*b*y^-1,b^-1*y*b*w^-1,
b^-1*z*b*z^-1],
[[b,a*b^-1*a*b*a,x*y^-1*z]]];
end,
[21]],
"L3(2) 3^6'",[9,6,2],1,
2,21]
];
PERFGRP[131]:=fail;
PERFGRP[132]:=[# 126000.1
[[1,"ab",
function(a,b)
return
[[a^2,b^4,(a*b)^10,(a*b*a*b^2)^7,a*b^-1*a*b^-1
*a*b*a*b^(-1*2)*a*b
*a*b^-1*a*b^-1*a*b
*a*b*a*b^-1*a*b*b*a*b^-1
*a*b*a*b,
(a*b^-1*a*b^-1*a*b*a*b*a*b)^2*b*a
*b^-1*a*b^-1*a*b*a*b*a
*b^-1],[[b,a*b*a*b^-1*a]]];
end,
[50],[[1,2],0,2]],
"U3(5)",28,-1,
34,50]
];
PERFGRP[133]:=[# 129024.1
[[1,"abcuvwxyzde",
function(a,b,c,u,v,w,x,y,z,d,e)
return
[[a^2,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,c*b^-1
*c*b*a^-1*b^-1*c^-1*b
*c^-1*a,u^2,v^2,w^2,x^2,y^2,z^2,d^2,e^2,
u^-1*v^-1*u*v,u^-1*w^-1*u*w,
u^-1*x^-1*u*x,u^-1*y^-1*u*y,
u^-1*z^-1*u*z,u^-1*d^-1*u*d,
u^-1*e^-1*u*e,v^-1*w^-1*v*w,
v^-1*x^-1*v*x,v^-1*y^-1*v*y,
v^-1*z^-1*v*z,v^-1*d^-1*v*d,
v^-1*e^-1*v*e,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
w^-1*d^-1*w*d,w^-1*e^-1*w*e,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
x^-1*d^-1*x*d,x^-1*e^-1*x*e,
y^-1*z^-1*y*z,y^-1*d^-1*y*d,
y^-1*e^-1*y*e,z^-1*d^-1*z*d,
z^-1*e^-1*z*e,d^-1*e^-1*d*e,
a^-1*u*a*(u*x)^-1,a^-1*v*a*(v*y)^-1,
a^-1*w*a*(w*z)^-1,a^-1*x*a*x^-1,
a^-1*y*a*y^-1,a^-1*z*a*z^-1,
a^-1*d*a*d^-1,a^-1*e*a*e^-1,
b^-1*u*b*(x*y*d)^-1,
b^-1*v*b*(y*z*e)^-1,
b^-1*w*b*(x*y*z)^-1,
b^-1*x*b*(v*w*x)^-1,
b^-1*y*b*(u*v*w*y)^-1,
b^-1*z*b*(u*w*z)^-1,b^-1*d*b*d^-1,
b^-1*e*b*e^-1,c^-1*u*c*(v*d)^-1,
c^-1*v*c*(w*d)^-1,
c^-1*w*c*(u*v*e)^-1,
c^-1*x*c*(x*z*d)^-1,
c^-1*y*c*(x*e)^-1,c^-1*z*c*y^-1,
c^-1*d*c*d^-1,c^-1*e*c*e^-1],
[[b^-1*c,u*d,e],[b^-1*c,u*e,d]]];
end,
[112,112]],
"L2(8) 2^6 E ( 2^1 x 2^1 )",[16,8,1],4,
4,[112,112]],
# 129024.2
[[1,"abcuvwxyzf",
function(a,b,c,u,v,w,x,y,z,f)
return
[[a^2*f,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,b^-1
*c^-1*b*c^-1*a^-1*c
*b^-1*c*b*a*(y*z*f^2)^-1,f^4,u^2,
v^2*f^2,w^2,x^2*f^2,y^2,z^2*f^2,
u^-1*v^-1*u*v,u^-1*w^-1*u*w,
u^-1*x^-1*u*x*f^2,u^-1*y^-1*u*y
*f^2,u^-1*z^-1*u*z,u^-1*f^-1*u*f,
v^-1*w^-1*v*w,v^-1*x^-1*v*x*f^2,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
v^-1*f^-1*v*f,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z*f^2,
w^-1*f^-1*w*f,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,x^-1*f^-1*x*f,
y^-1*z^-1*y*z,y^-1*f^-1*y*f,
z^-1*f^-1*z*f,a^-1*u*a*(u*x)^-1,
a^-1*v*a*(v*y*f^2)^-1,
a^-1*w*a*(w*z)^-1,
a^-1*x*a*(x*f^2)^-1,a^-1*y*a*y^-1,
a^-1*z*a*(z*f^2)^-1,a^-1*f*a*f^-1,
b^-1*u*b*(x*y*f^-1)^-1,
b^-1*v*b*(y*z*f^2)^-1,
b^-1*w*b*(x*y*z*f^2)^-1,
b^-1*x*b*(v*w*x)^-1,
b^-1*y*b*(u*v*w*y*f^2)^-1,
b^-1*z*b*(u*w*z*f^-1)^-1,
b^-1*f*b*f^-1,
c^-1*u*c*(v*f^-1)^-1,
c^-1*v*c*(w*f^-1)^-1,
c^-1*w*c*(u*v*f)^-1,
c^-1*x*c*(x*z*f)^-1,
c^-1*y*c*(x*f)^-1,
c^-1*z*c*(y*f^-1)^-1,
c^-1*f*c*f^-1],[[c^-1*v^-1*a, w*c]]];
end,
[288],[[1,2],[11,11,11]]],
"L2(8) N ( 2^6 E 2^1 A ) C 2^1",[16,8,2],4,
4,288],
# 129024.3
[[1,"abcuvwxyzdf",
function(a,b,c,u,v,w,x,y,z,d,f)
return
[[a^2*f,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,b^-1
*c^-1*b*c^-1*a^-1*c
*b^-1*c*b*a*(y*z*d)^-1,d^2,f^2,u^2,
v^2,w^2,x^2,y^2,z^2,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
u^-1*d^-1*u*d,u^-1*f^-1*u*f,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
v^-1*d^-1*v*d,v^-1*f^-1*v*f,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,w^-1*d^-1*w*d,
w^-1*f^-1*w*f,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,x^-1*d^-1*x*d,
x^-1*f^-1*x*f,y^-1*z^-1*y*z,
y^-1*d^-1*y*d,y^-1*f^-1*y*f,
z^-1*d^-1*z*d,z^-1*f^-1*z*f,
a^-1*u*a*(u*x)^-1,a^-1*v*a*(v*y)^-1,
a^-1*w*a*(w*z)^-1,a^-1*x*a*x^-1,
a^-1*y*a*y^-1,a^-1*z*a*z^-1,
a^-1*d*a*d^-1,a^-1*f*a*f^-1,
b^-1*u*b*(x*y*f^-1)^-1,
b^-1*v*b*(y*z)^-1,
b^-1*w*b*(x*y*z*d)^-1,
b^-1*x*b*(v*w*x)^-1,
b^-1*y*b*(u*v*w*y*d)^-1,
b^-1*z*b*(u*w*z*f^-1)^-1,
b^-1*d*b*d^-1,b^-1*f*b*f^-1,
c^-1*u*c*(v*d*f^-1)^-1,
c^-1*v*c*(w*d*f^-1)^-1,
c^-1*w*c*(u*v*f)^-1,
c^-1*x*c*(x*z*d*f)^-1,
c^-1*y*c*(x*d*f)^-1,
c^-1*z*c*(y*f^-1)^-1,
c^-1*d*c*d^-1,c^-1*f*c*f^-1],
[[b^-1*c,u*f,d],[b^-1*c*d,u*d,f]]];
end,
[112,112],[[1,2]]],
"L2(8) N 2^6 E ( 2^1 x 2^1 ) I",[16,8,3],4,
4,[112,112]],
# 129024.4
[[1,"abcuvwxyzde",
function(a,b,c,u,v,w,x,y,z,d,e)
return
[[a^2,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,b^-1*c
^-1*b*c^-1*a^-1*c*b^-1
*c*b*a*(y*z*d)^-1,d^2,e^2,u^2,v^2,w^2,
x^2,y^2,z^2,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
u^-1*d^-1*u*d,u^-1*e^-1*u*e,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
v^-1*d^-1*v*d,v^-1*e^-1*v*e,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,w^-1*d^-1*w*d,
w^-1*e^-1*w*e,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,x^-1*d^-1*x*d,
x^-1*e^-1*x*e,y^-1*z^-1*y*z,
y^-1*d^-1*y*d,y^-1*e^-1*y*e,
z^-1*d^-1*z*d,z^-1*e^-1*z*e,
a^-1*u*a*(u*x)^-1,a^-1*v*a*(v*y)^-1,
a^-1*w*a*(w*z)^-1,a^-1*x*a*x^-1,
a^-1*y*a*y^-1,a^-1*z*a*z^-1,
a^-1*d*a*d^-1,a^-1*e*a*e^-1,
b^-1*u*b*(x*y)^-1,
b^-1*v*b*(y*z*e)^-1,
b^-1*w*b*(x*y*z*d*e)^-1,
b^-1*x*b*(v*w*x*e)^-1,
b^-1*y*b*(u*v*w*y*d*e)^-1,
b^-1*z*b*(u*w*z*e)^-1,b^-1*d*b*d^-1
,b^-1*e*b*e^-1,c^-1*u*c*(v*d)^-1,
c^-1*v*c*(w*d*e)^-1,
c^-1*w*c*(u*v)^-1,
c^-1*x*c*(x*z*d)^-1,
c^-1*y*c*(x*d*e)^-1,c^-1*z*c*y^-1,
c^-1*d*c*d^-1,c^-1*e*c*e^-1],
[[b^-1*c*d,u*d,e],[b^-1*c*e,u*e,d]]];
end,
[112,112]],
"L2(8) N 2^6 E ( 2^1 x 2^1 ) II",[16,8,4],4,
4,[112,112]],
# 129024.5
[[1,"abcuvwxyzde",
function(a,b,c,u,v,w,x,y,z,d,e)
return
[[a^2*e^-1,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,
b^-1*c^-1*b*c^-1*a^-1*c*b^-1*c
*b*a*(y*z*d)^-1,d^2,e^2,u^2,v^2,w^2,x^2,
y^2,z^2,u^-1*v^-1*u*v,u^-1*w^-1*u*w
,u^-1*x^-1*u*x,u^-1*y^-1*u*y,
u^-1*z^-1*u*z,u^-1*d^-1*u*d,
u^-1*e^-1*u*e,v^-1*w^-1*v*w,
v^-1*x^-1*v*x,v^-1*y^-1*v*y,
v^-1*z^-1*v*z,v^-1*d^-1*v*d,
v^-1*e^-1*v*e,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
w^-1*d^-1*w*d,w^-1*e^-1*w*e,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
x^-1*d^-1*x*d,x^-1*e^-1*x*e,
y^-1*z^-1*y*z,y^-1*d^-1*y*d,
y^-1*e^-1*y*e,z^-1*d^-1*z*d,
z^-1*e^-1*z*e,a^-1*u*a*(u*x)^-1,
a^-1*v*a*(v*y)^-1,a^-1*w*a*(w*z)^-1,
a^-1*x*a*x^-1,a^-1*y*a*y^-1,
a^-1*z*a*z^-1,a^-1*d*a*d^-1,
a^-1*e*a*e^-1,b^-1*u*b*(x*y*e)^-1,
b^-1*v*b*(y*z*e)^-1,
b^-1*w*b*(x*y*z*d*e)^-1,
b^-1*x*b*(v*w*x*e)^-1,
b^-1*y*b*(u*v*w*y*d*e)^-1,
b^-1*z*b*(u*w*z)^-1,b^-1*d*b*d^-1,
b^-1*e*b*e^-1,c^-1*u*c*(v*d*e)^-1,
c^-1*v*c*(w*d)^-1,
c^-1*w*c*(u*v*e)^-1,
c^-1*x*c*(x*z*d*e)^-1,
c^-1*y*c*(x*d)^-1,c^-1*z*c*(y*e)^-1,
c^-1*d*c*d^-1,c^-1*e*c*e^-1],
[[b^-1*c*d,u*d,e],[b^-1*c*e,u,d]]];
end,
[112,112],[[1,2]]],
"L2(8) N 2^6 E ( 2^1 x 2^1 ) III",[16,8,5],4,
4,[112,112]],
# 129024.6
[[1,"abcstuvwxyz",
function(a,b,c,s,t,u,v,w,x,y,z)
return
[[a^2,b^3,(a*b)^7,b^-1*(a*b)^3*c^-1,b^-1*c
^-1*b*c^-1*a^-1*c*b^-1
*c*b*a,s^2,t^2,u^2,v^2,w^2,x^2,y^2,z^2,
s^-1*t^-1*s*t,s^-1*u^-1*s*u,
s^-1*v^-1*s*v,s^-1*w^-1*s*w,
s^-1*x^-1*s*x,s^-1*y^-1*s*y,
s^-1*z^-1*s*z,t^-1*u^-1*t*u,
t^-1*v^-1*t*v,t^-1*w^-1*t*w,
t^-1*x^-1*t*x,t^-1*y^-1*t*y,
t^-1*z^-1*t*z,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*s*a*s^-1,a^-1*t*a*v^-1,
a^-1*u*a*y^-1,a^-1*v*a*t^-1,
a^-1*w*a*x^-1,a^-1*x*a*w^-1,
a^-1*y*a*u^-1,
a^-1*z*a*(s*t*u*v*w*x*y*z)^-1,
b^-1*s*b*u^-1,b^-1*t*b*s^-1,
b^-1*u*b*t^-1,b^-1*v*b*x^-1,
b^-1*w*b*v^-1,b^-1*x*b*w^-1,
b^-1*y*b*z^-1,
b^-1*z*b*(s*t*u*v*w*x*y*z)^-1,
c^-1*s*c*s^-1,c^-1*t*c*t^-1,
c^-1*u*c*y^-1,c^-1*v*c*w^-1,
c^-1*w*c*u^-1,c^-1*x*c*z^-1,
c^-1*y*c*(s*t*u*v*w*x*y*z)^-1,
c^-1*z*c*v^-1],[[a,c,t*z]]];
end,
[18]],
"L2(8) 2^8",[16,8,6],1,
4,18]
];
PERFGRP[134]:=[# 129600.1
[[2,60,1,2160,1],
"( A5 x A6 3^1 ) 2^1 [1]",[33,1,1],6,
[1,3],[5,18,80]],
# 129600.2
[[2,120,1,1080,1],
"( A5 x A6 3^1 ) 2^1 [2]",[33,1,2],6,
[1,3],[24,18]],
# 129600.3
[[3,120,1,2160,1,"d1","d2"],
"( A5 x A6 3^1 ) 2^1 [3]",[33,1,3],6,
[1,3],[216,960]],
# 129600.4
[[2,360,1,360,1],
"A6 x A6",40,1,
[3,3],[6,6]]
];
PERFGRP[135]:=[# 131040.1
[[2,60,1,2184,1],
"( A5 x L2(13) ) 2^1 [1]",40,2,
[1,6],[5,56]],
# 131040.2
[[2,120,1,1092,1],
"( A5 x L2(13) ) 2^1 [2]",40,2,
[1,6],[24,14]],
# 131040.3
[[3,120,1,2184,1,"d1","a2","a2"],
"( A5 x L2(13) ) 2^1 [3]",40,2,
[1,6],672]
];
PERFGRP[136]:=[# 131712.1
[[4,2688,1,16464,2,336,1,1],
"L3(2) # 2^4 7^2 [1]",12,1,
2,[8,16,49]],
# 131712.2
[[4,2688,3,16464,2,336,3,1],
"L3(2) # 2^4 7^2 [2]",12,1,
2,[16,14,49]]
];
PERFGRP[137]:=[# 138240.1
[[4,46080,1,1080,2,360,1,1],
"A6 3^1 x 2^1 x ( 2^4 E 2^1 A ) C 2^1",[13,7,1],24,
3,[64,80,18]],
# 138240.2
[[1,"abcduvwxyz",
function(a,b,c,d,u,v,w,x,y,z)
return
[[a^6*d^-1,b^3,c^3,(b*c)^4*d^-1,(b*c^-1)^5,
a^-1*b^-1*c*b*c*b^-1*c*b*c^-1,d^2,
d^-1*b^-1*d*b,d^-1*c^-1*d*c,u^2,
v^2,w^2,x^2,y^2,z^2,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*u*a*(v*x)^-1,
a^-1*v*a*(u*v*w*x)^-1,a^-1*w*a*x^-1
,a^-1*x*a*(w*x)^-1,
a^-1*y*a*(x*z)^-1,
a^-1*z*a*(w*x*y*z)^-1,b^-1*u*b*u^-1
,b^-1*v*b*v^-1,b^-1*w*b*(u*x)^-1,
b^-1*x*b*(v*w*x)^-1,
b^-1*y*b*(u*y*z)^-1,
b^-1*z*b*(v*y)^-1,c^-1*u*c*w^-1,
c^-1*v*c*x^-1,c^-1*w*c*(y*z)^-1,
c^-1*x*c*y^-1,c^-1*y*c*v^-1,
c^-1*z*c*(u*v)^-1],[[b,c],[c*b*a*d,b,u]]];
end,
[64,80]],
"A6 ( ( 3^1 2^6 ) x 2^1 )",[13,7,2],2,
3,[64,80]]
];
PERFGRP[138]:=[# 144060.1
[[1,"abwxyz",
function(a,b,w,x,y,z)
return
[[a^2,b^3,(a*b)^5,w^7,x^7,y^7,z^7,w^-1*x^-1*w
*x,w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*w*a*z^-1,
a^-1*x*a*x^-1,a^-1*y*a*w*x*y*z,
a^-1*z*a*w^-1,b^-1*w*b*x^-1,
b^-1*x*b*y^-1,b^-1*y*b*w^-1,
b^-1*z*b*z^-1],
[[b,a*b*a*b^-1*a,w*x^-1]]];
end,
[35]],
"A5 7^4",[4,4,1],1,
1,35]
];
PERFGRP[139]:=[# 146880.1
[[2,60,1,2448,1],
"A5 x L2(17)",40,1,
[1,7],[5,18]]
];
PERFGRP[140]:=[# 148824.1
[[1,"abc",
function(a,b,c)
return
[[c^26*a^2,c*b^4*c^-1*b^-1,b^53,a^4,a^2*b^(-1
*1)*a^2*b,a^2*c^-1*a^2*c,
c*a*c*a^-1,(b*a)^3,
c^(-1*3)*b*c*b*c^2*a*b^2*a*c*b^2*a],[[b,c^4]]]
;
end,
[216]],
"L2(53) 2^1 = SL(2,53)",22,-2,
30,216]
];
PERFGRP[141]:=[# 150348.1
[[1,"abc",
function(a,b,c)
return
[[c^33,c*b^4*c^-1*b^-1,b^67,a^2,c*a*c*a^-1,
(b*a)^3],[[b,c]]];
end,
[68]],
"L2(67)",22,-1,
35,68]
];
PERFGRP[142]:=[# 151200.1
[[2,60,1,2520,1],
"A5 x A7",40,1,
[1,8],[5,7]]
];
PERFGRP[143]:=[# 151632.1
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^2,b^3,(a*b)^13,(a^-1*b^-1*a*b)^4,(a*b)^4*a
*b^-1*(a*b)^4*a*b^-1*(a*b)^2
*(a*b^-1)^2*a*b*(a*b^-1)^2*(a*b)^2
*a*b^-1,x^3,y^3,z^3,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*x*a*(x*z)^-1,a^-1*y*a*y,
a^-1*z*a*z,b^-1*x*b*x*y,
b^-1*y*b*x^-1,b^-1*z*b*(x*y*z)^-1],
[[a,b]]];
end,
[27]],
"L3(3) 3^3",[24,3,1],1,
11,27]
];
PERFGRP[144]:=[# 155520.1
[[1,"abdwxyzstuv",
function(a,b,d,w,x,y,z,s,t,u,v)
return
[[a^2*d^-1,b^3,(a*b)^5,d^2,a^-1*d^-1*a*d,
b^-1*d^-1*b*d,d^-1*w^-1*d*w,
d^-1*x^-1*d*x,d^-1*y^-1*d*y,
d^-1*z^-1*d*z,w^2,x^2,y^2,z^2,(w*x)^2*d,
(w*y)^2*d,(w*z)^2*d,(x*y)^2*d,(x*z)^2*d,(y*z)^2*d,
a^-1*w*a*z^-1,a^-1*x*a*x^-1,
a^-1*y*a*(w*x*y*z)^-1,a^-1*z*a*w^-1
,b^-1*w*b*x^-1,b^-1*x*b*y^-1,
b^-1*y*b*w^-1,b^-1*z*b*z^-1,s^3,
t^3,u^3,v^3,s^-1*t^-1*s*t,
s^-1*u^-1*s*u,s^-1*v^-1*s*v,
t^-1*u^-1*t*u,t^-1*v^-1*t*v,
u^-1*v^-1*u*v,a^-1*s*a*(s*t*u*v)^-1
,a^-1*t*a*(s^-1*t*u*v^-1)^-1,
a^-1*u*a*(s^-1*u^-1*v)^-1,
a^-1*v*a*(t*u^-1*v^-1)^-1,
b^-1*s*b*(s^-1*t^-1*u*v^-1)^-1,
b^-1*t*b*(s^-1*v^-1)^-1,
b^-1*u*b*(s*t^-1*u^-1*v^-1)^-1,
b^-1*v*b*(t^-1*u^-1)^-1,
d^-1*s*d*s,d^-1*t*d*t,d^-1*u*d*u,
d^-1*v*d*v,w^-1*s*w*s^-1,
w^-1*t*w*(s^-1*t*v)^-1,
w^-1*u*w*(s*t*u^-1*v^-1)^-1,
w^-1*v*w*(s^-1*v^-1)^-1,
x^-1*s*x*(s*t*u*v^-1)^-1,
x^-1*t*x*t^-1,
x^-1*u*x*(s^-1*v^-1)^-1,
x^-1*v*x*(s^-1*t^-1*u*v)^-1,
y^-1*s*y*(s*v^-1)^-1,
y^-1*t*y*(t*u*v^-1)^-1,y^-1*u*y*u,
y^-1*v*y*v,
z^-1*s*z*(s*t^-1*u^-1*v^-1)^-1,
z^-1*t*z*(s*u*v)^-1,
z^-1*u*z*(t*u^-1*v)^-1,
z^-1*v*z*(s^-1*t*u^-1)^-1],
[[a,b,w]]];
end,
[81]],
"A5 2^4' C N 2^1 3^4",[7,4,1],1,
1,81],
# 155520.2
[[4,1920,1,4860,1,60],
"A5 # 2^5 3^4 [1]",6,2,
1,[12,15]],
# 155520.3
[[4,1920,2,4860,1,60],
"A5 # 2^5 3^4 [2]",6,2,
1,[24,15]],
# 155520.4
[[4,1920,3,4860,1,60],
"A5 # 2^5 3^4 [3]",6,2,
1,[16,24,15]],
# 155520.5
[[4,1920,4,4860,1,60],
"A5 # 2^5 3^4 [4]",6,1,
1,[80,15]],
# 155520.6
[[4,1920,5,4860,1,60],
"A5 # 2^5 3^4 [5]",6,2,
1,[10,24,15]],
# 155520.7
[[4,1920,6,4860,1,60],
"A5 # 2^5 3^4 [6]",6,2,
1,[80,15]],
# 155520.8
[[4,1920,7,4860,1,60],
"A5 # 2^5 3^4 [7]",6,2,
1,[32,15]],
# 155520.9
[[4,1920,1,4860,2,60],
"A5 # 2^5 3^4 [8]",6,2,
1,[12,60]],
# 155520.10
[[4,1920,2,4860,2,60],
"A5 # 2^5 3^4 [9]",6,2,
1,[24,60]],
# 155520.11
[[4,1920,3,4860,2,60],
"A5 # 2^5 3^4 [10]",6,2,
1,[16,24,60]],
# 155520.12
[[4,1920,4,4860,2,60],
"A5 # 2^5 3^4 [11]",6,1,
1,[80,60]],
# 155520.13
[[4,1920,5,4860,2,60],
"A5 # 2^5 3^4 [12]",6,2,
1,[10,24,60]],
# 155520.14
[[4,1920,6,4860,2,60],
"A5 # 2^5 3^4 [13]",6,2,
1,[80,60]],
# 155520.15
[[4,1920,7,4860,2,60],
"A5 # 2^5 3^4 [14]",6,2,
1,[32,60]],
# 155520.16
[[4,1920,3,9720,4,120,3,3],
"A5 # 2^5 3^4 [15]",6,1,
1,[16,24,45]],
# 155520.17
[[4,1920,4,9720,4,120,4,3],
"A5 # 2^5 3^4 [16]",6,1,
1,[80,45]],
# 155520.18
[[4,1920,5,9720,4,120,5,3],
"A5 # 2^5 3^4 [17]",6,1,
1,[10,24,45]]
];
PERFGRP[145]:=[# 158400.1
[[2,120,1,1320,1],
"( A5 x L2(11) ) 2^2",[36,2,1],4,
[1,5],[24,24]]
];
PERFGRP[146]:=[# 159720.1
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,x^11,y^11,z^11,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*x*a*z^-1,
a^-1*y*a*y,a^-1*z*a*x^-1,
b^-1*x*b*(x*y^(-1*5)*z^(-1*2))^-1,
b^-1*y*b*(x^(-1*4)*y^-1)^-1,
b^-1*z*b*x^(-1*5)],
[[a*b,z],[a*b,b*a*b*a*b^-1*a*b^-1,y*z^5]]];
end,
[24,66]],
"A5 2^1 11^3",[5,3,1],2,
1,[24,66]],
# 159720.2
[[1,"abyzd",
function(a,b,y,z,d)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,d^11,d^-1*y
^-1*d*y,d^-1*z^-1*d*z,y^11,z^11,
y^-1*z^-1*y*z*d^-1,
a^-1*y*a*z^-1,a^-1*z*a*y,
a^-1*d*a*d^-1,
b^-1*y*b*(y^-1*z^(-1*3)*d^4)^-1,
b^-1*z*b*y^(-1*4)],[[a,b]]];
end,
[1331]],
"A5 2^1 11^2 C 11^1",[5,3,2],11,
1,1331],
# 159720.3
[[1,"abyz",
function(a,b,y,z)
return
[[a^4,b^3,(a*b)^11,a^2*b^-1*a^2*b,(a*b*a*b*a*b*a
*b*a*b^-1*a*b^-1*a*b^-1
*a*b^-1*a*b^-1)^2*a^2,y^11,z^11,
y^-1*z^-1*y*z,a^-1*y*a*z,
a^-1*z*a*y^-1,b^-1*y*b*z^-1,
b^-1*z*b*(y^-1*z^-1)^-1],[[a,b]]];
end,
[121]],
"L2(11) 2^1 11^2",[19,2,1],1,
5,121]
];
PERFGRP[147]:=[# 160380.1
[[1,"abvwxyz",
function(a,b,v,w,x,y,z)
return
[[a^2,b^3,(a*b)^11,(a*b)^4*(a*b^-1)^5*(a*b)^4*(a
*b^-1)^5,v^3,w^3,x^3,y^3,z^3,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*v*a*v^-1,a^-1*w*a*w^-1,
a^-1*x*a*(v^2*x^2*y)^-1,
a^-1*y*a*y^-1,a^-1*z*a*(w*y*z^2)^-1
,b^-1*v*b*w^-1,b^-1*w*b*x^-1,
b^-1*x*b*v^-1,b^-1*y*b*(y^2*z)^-1,
b^-1*z*b*y^(-1*2)],[[b,a*b*a*b^-1*a,y*z]]
];
end,
[33]],
"L2(11) 3^5",[18,5,1],1,
5,33]
];
PERFGRP[148]:=[# 161280.1
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^2,b^4,(a*b)^7,(a*b)^2*a*b^2*(a*b*a*b^-1)^2
*(a*b)^2*(a*b^-1)^2*a*b*a*b^-1,u^2,
v^2,w^2,x^2,y^2,z^2,u^-1*v^-1*u*v,
u^-1*w^-1*u*w,u^-1*x^-1*u*x,
u^-1*y^-1*u*y,u^-1*z^-1*u*z,
v^-1*w^-1*v*w,v^-1*x^-1*v*x,
v^-1*y^-1*v*y,v^-1*z^-1*v*z,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*u*a*u^-1,a^-1*v*a*v^-1,
a^-1*w*a*y^-1,a^-1*x*a*x^-1,
a^-1*y*a*w^-1,
a^-1*z*a*(u*v*w*x*y*z)^-1,
b^-1*u*b*w^-1,b^-1*v*b*z^-1,
b^-1*w*b*v^-1,b^-1*x*b*y^-1,
b^-1*y*b*x^-1,b^-1*z*b*u^-1],
[[a,b^2*a*b^-1*(a*b*a*b*b)^2*(a*b)^2,
b*(a*b^-1)^2*a*b^2*(a*b)^2,y*z]]];
end,
[14]],
"A7 2^6",[23,6,1],1,
8,14],
# 161280.2
[[1,"abef",
function(a,b,e,f)
return
[[a^2,b^4*f^(-1*2),(a*b)^7*e,(a*b^2)^5*(e*f)^-1,
(a^-1*b^-1*a*b)^5*f^(-1*2),
(a*b*a*b*a*b^3)^5*f,(a*b*a*b*a*b^2*a*b^-1)
^5,e^2,f^4,e^-1*f^-1*e*f,
a^-1*e*a*e^-1,a^-1*f*a*f^-1,
b^-1*e*b*e^-1,b^-1*f*b*f^-1],
[[a,b*a*b*a*b^-1*a*b^2*f^-1],
[a*e^2,b^-1*a*b^-1*a*b*a*b^2]]];
end,
[224,112]],
"L3(4) 2^1 x ( 2^1 A 2^1 )",[27,3,1],-8,
20,[224,112]],
# 161280.3
[[2,60,1,2688,1],
"( A5 x L3(2) ) # 2^4 [1]",[31,4,1],2,
[1,2],[5,8,16]],
# 161280.4
[[2,60,1,2688,2],
"( A5 x L3(2) ) # 2^4 [2]",[31,4,2],2,
[1,2],[5,16]],
# 161280.5
[[2,60,1,2688,3],
"( A5 x L3(2) ) # 2^4 [3]",[31,4,3],2,
[1,2],[5,16,14]],
# 161280.6
[[2,120,1,1344,1],
"( A5 x L3(2) ) # 2^4 [4]",[31,4,4],2,
[1,2],[24,8]],
# 161280.7
[[2,120,1,1344,2],
"( A5 x L3(2) ) # 2^4 [5]",[31,4,5],2,
[1,2],[24,14]],
# 161280.8
[[3,120,1,2688,1,"d1","d2"],
"( A5 x L3(2) ) # 2^4 [6]",[31,4,6],2,
[1,2],[96,192]],
# 161280.9
[[3,120,1,2688,2,"d1","e2"],
"( A5 x L3(2) ) # 2^4 [7]",[31,4,7],2,
[1,2],192],
# 161280.10
[[3,120,1,2688,3,"d1","d2"],
"( A5 x L3(2) ) # 2^4 [8]",[31,4,8],2,
[1,2],[192,168]],
# 161280.11
[[2,960,1,168,1],
"( A5 x L3(2) ) # 2^4 [9]",[31,4,9],1,
[1,2],[16,7]],
# 161280.12
[[2,960,2,168,1],
"( A5 x L3(2) ) # 2^4 [10]",[31,4,10],1,
[1,2],[10,7]]
];
PERFGRP[149]:=[# 169344.1
[[2,336,1,504,1],
"L3(2) 2^1 x L2(8)",[38,1,1],2,
[2,4],[16,9]]
];
PERFGRP[150]:=fail;
PERFGRP[151]:=[# 174960.1
[[1,"abcdwxyz",
function(a,b,c,d,w,x,y,z)
return
[[a^4*d,b^3,c^3*(w*x*y^-1)^-1,(b*c)^4*(a^2*d
^-1)^-1,(b*c^-1)^5,
a^2*d^-1*b*(a^2*d^-1)^-1*b^-1,
a^2*d^-1*c*(a^2*d^-1)^-1*c^-1,
a^-1*b^-1*c*b*c*b^-1*c*b*c^-1,d^3,
w^3,x^3,y^3,z^3,d^-1*w^-1*d*w,
d^-1*x^-1*d*x,d^-1*y^-1*d*y,
d^-1*z^-1*d*z,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*d*a*d^-1,
a^-1*w*a*z^-1,a^-1*x*a*x^-1,
a^-1*y*a*(w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*w^-1,
b^-1*d*b*(d*w*y^-1*z)^-1,
b^-1*w*b*x^-1,b^-1*x*b*y^-1,
b^-1*y*b*w^-1,b^-1*z*b*z^-1,
c^-1*d*c*(d*x^-1*z^-1)^-1,
c^-1*w*c*(w^-1*x*y^-1*z^-1)^-1,
c^-1*x*c*(x^-1*z)^-1,
c^-1*y*c*(w*x^-1)^-1,c^-1*z*c*x],
[[c*b*a^-1,b,w],[b,c*a*b*c,d*y^-1*z]]];
end,
[80,30]],
"A6 2^1 x 3^1 E 3^4' I",[14,5,1],2,
3,[80,30]],
# 174960.2
[[1,"abcdwxyz",
function(a,b,c,d,w,x,y,z)
return
[[a^4*d,b^3*(w*x*y*z^-1)^-1,c^3*(w*y^-1
*z^-1)^-1,(b*c)^4*(a^2*d^-1)^-1,
(b*c^-1)^5,a^2*d^-1*b*(a^2*d^-1)^-1
*b^-1,a^2*d^-1*c*(a^2*d^-1)^-1
*c^-1,a^-1*b^-1*c*b*c*b^-1*c*b
*c^-1,d^3,w^3,x^3,y^3,z^3,d^-1*w^-1*d
*w,d^-1*x^-1*d*x,d^-1*y^-1*d*y,
d^-1*z^-1*d*z,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*d*a*d^-1,
a^-1*w*a*z^-1,a^-1*x*a*x^-1,
a^-1*y*a*(w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*w^-1,
b^-1*d*b*(d*w*x^-1*z)^-1,
b^-1*w*b*x^-1,b^-1*x*b*y^-1,
b^-1*y*b*w^-1,b^-1*z*b*z^-1,
c^-1*d*c*(d*x)^-1,
c^-1*w*c*(w^-1*x*y^-1*z^-1)^-1,
c^-1*x*c*(x^-1*z)^-1,
c^-1*y*c*(w*x^-1)^-1,c^-1*z*c*x],
[[c*b*a^-1,b,w],[b*w^-1,c*a*b*c]]];
end,
[80,30]],
"A6 2^1 x 3^1 E 3^4' II",[14,5,2],2,
3,[80,30]],
# 174960.3
[[1,"abcwxyzf",
function(a,b,c,w,x,y,z,f)
return
[[a^4,b^3,c^3,(b*c)^4*a^2,(b*c^-1)^5,a^2*b*a^2
*b^-1,a^2*c*a^2*c^-1,
a^-1*b^-1*c*b*c*b^-1*c*b*c^-1,w^3,
x^3,y^3,z^3,f^3,w^-1*f^-1*w*f,
x^-1*f^-1*x*f,y^-1*f^-1*y*f,
z^-1*f^-1*z*f,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*w*a*z^-1,
a^-1*x*a*x^-1,
a^-1*y*a*(w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*w^-1,
a^-1*f*a*f^-1,b^-1*w*b*x^-1,
b^-1*x*b*y^-1,b^-1*y*b*w^-1,
b^-1*z*b*z^-1,b^-1*f*b*f^-1,
c^-1*w*c*(w^-1*x*y^-1*z^-1*f)^-1
,c^-1*x*c*(x^-1*z*f)^-1,
c^-1*y*c*(w*x^-1*f)^-1,
c^-1*z*c*(x^-1*f^-1)^-1,
c^-1*f*c*f^-1],
[[c*b*a^-1,b,w],[a,b,w]]];
end,
[80,18]],
"A6 2^1 x 3^4' E 3^1 I",[14,5,3],6,
3,[80,18]],
# 174960.4
[[1,"abcwxyze",
function(a,b,c,w,x,y,z,e)
return
[[a^4,b^3,c^3,(b*c)^4*a^2,(b*c^-1)^5,a^2*b*a^2
*b^-1,a^2*c*a^2*c^-1,
a^-1*b^-1*c*b*c*b^-1*c*b*c^-1,w^3,
x^3,y^3,z^3,e^3,w^-1*e^-1*w*e,
x^-1*e^-1*x*e,y^-1*e^-1*y*e,
z^-1*e^-1*z*e,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,a^-1*w*a*z^-1,
a^-1*x*a*x^-1,
a^-1*y*a*(w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*w^-1,
a^-1*e*a*e^-1,b^-1*w*b*x^-1,
b^-1*x*b*(y*e^-1)^-1,
b^-1*y*b*(w*e)^-1,b^-1*z*b*(z*e)^-1,
b^-1*e*b*e^-1,
c^-1*w*c*(w^-1*x*y^-1*z^-1*e^-1)
^-1,c^-1*x*c*(x^-1*z*e^-1)^-1,
c^-1*y*c*(w*x^-1*e^-1)^-1,
c^-1*z*c*(x^-1*e)^-1,
c^-1*e*c*e^-1],
[[c*b*a^-1,b,w],[a*b,b*a*b*a*b^-1*a*b^-1
,w*e]]];
end,
[80,108]],
"A6 2^1 x 3^4' E 3^1 II",[14,5,4],6,
3,[80,108]],
# 174960.5
[[1,"abcwxyzd",
function(a,b,c,w,x,y,z,d)
return
[[a^4*d,b^3,c^3,(b*c)^4*(a^2*d^-1)^-1,(b*c^(-1
*1))^5,a^2*d^-1*b*(a^2*d^-1)^-1
*b^-1,a^2*d^-1*c*(a^2*d^-1)^-1
*c^-1,a^-1*b^-1*c*b*c*b^-1*c*b
*c^-1,d^3,b^-1*d*b*d^-1,
c^-1*d*c*d^-1,w^3,x^3,y^3,z^3,
w^-1*d^-1*w*d,x^-1*d^-1*x*d,
y^-1*d^-1*y*d,z^-1*d^-1*z*d,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,y^-1*z^-1*y*z,
a^-1*w*a*z^-1,a^-1*x*a*x^-1,
a^-1*y*a*(w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*w^-1,
b^-1*w*b*x^-1,b^-1*x*b*y^-1,
b^-1*y*b*w^-1,b^-1*z*b*z^-1,
c^-1*w*c*(w^-1*x*y^-1*z^-1)^-1,
c^-1*x*c*(x^-1*z)^-1,
c^-1*y*c*(w*x^-1)^-1,
c^-1*z*c*x],
[[c*b*a^-1,b,w],[a*d,c*d,w],[b,c*a*b*c,z]]];
end,
[80,18,30]],
"A6 2^1 x 3^1 x 3^4'",[14,5,5],6,
3,[80,18,30]],
# 174960.6
[[1,"abcdstuv",
function(a,b,c,d,s,t,u,v)
return
[[a^4*d,b^3,c^3,(b*c)^4*a^(-1*2)*d,(b*c^-1)^5,a^(-1
*1)*b^-1*c*b*c*b^-1*c*b
*c^-1,a^(-1*2)*b^-1*a^2*b,
a^(-1*2)*c^-1*a^2*c,d^3,b^-1*d^-1*b*d,
c^-1*d^-1*c*d,s^3,t^3,u^3,v^3,
s^-1*d^-1*s*d,t^-1*d^-1*t*d,
u^-1*d^-1*u*d,v^-1*d^-1*v*d,
s^-1*t^-1*s*t,s^-1*u^-1*s*u,
s^-1*v^-1*s*v,t^-1*u^-1*t*u,
t^-1*v^-1*t*v,u^-1*v^-1*u*v,
a^-1*s*a*u^-1,a^-1*t*a*v^-1,
a^-1*u*a*s,a^-1*v*a*t,
b^-1*s*b*(s*v^-1)^-1,
b^-1*t*b*(t*u^-1*v)^-1,
b^-1*u*b*u^-1,b^-1*v*b*v^-1,
c^-1*s*c*(s^-1*t*u^-1*v)^-1,
c^-1*t*c*(s*t*u*v)^-1,
c^-1*u*c*(s^-1*v^-1)^-1,
c^-1*v*c*(t^-1*u^-1*v)^-1],
[[a*d,c*d,s],[a,b,c]]];
end,
[18,81]],
"A6 2^1 x 3^1 x 3^4",[14,5,6],3,
3,[18,81]],
# 174960.7
[[1,"abcstuvd",
function(a,b,c,s,t,u,v,d)
return
[[a^4*d,b^3,c^3,(b*c)^4*a^(-1*2)*d,(b*c^-1)^5,a^(-1
*1)*b^-1*c*b*c*b^-1*c*b
*c^-1,a^(-1*2)*b^-1*a^2*b,
a^(-1*2)*c^-1*a^2*c,s^3,t^3,u^3,v^3,d^3,
d^-1*s^-1*d*s,d^-1*t^-1*d*t,
d^-1*u^-1*d*u,d^-1*v^-1*d*v,
s^-1*t^-1*s*t,s^-1*u^-1*s*u,
s^-1*v^-1*s*v*d,t^-1*u^-1*t*u*d,
t^-1*v^-1*t*v*d^-1,u^-1*v^-1*u
*v,a^-1*s*a*(u*d)^-1,
a^-1*t*a*(v*d^-1)^-1,a^-1*u*a*s,
a^-1*v*a*t,a^-1*d*a*d^-1,
b^-1*s*b*(s*v^-1)^-1,
b^-1*t*b*(t*u^-1*v*d)^-1,
b^-1*u*b*u^-1,b^-1*v*b*v^-1,
b^-1*d*b*d^-1,
c^-1*s*c*(s^-1*t*u^-1*v*d^-1)^-1
,c^-1*t*c*(s*t*u*v)^-1,
c^-1*u*c*(s^-1*v^-1*d)^-1,
c^-1*v*c*(t^-1*u^-1*v)^-1,
c^-1*d*c*d^-1],[[a*d,b*d^-1]]];
end,
[1458]],
"A6 2^1 3^4 C N 3^1",[14,5,7],3,
3,1458],
# 174960.8
[[1,"abcstuve",
function(a,b,c,s,t,u,v,e)
return
[[a^4,b^3,c^3,(b*c)^4*a^(-1*2),(b*c^-1)^5,a^-1
*b^-1*c*b*c*b^-1*c*b*c^-1,
a^(-1*2)*b^-1*a^2*b,a^(-1*2)*c^-1*a^2*c,
s^3,t^3,u^3,v^3,e^3,e^-1*s^-1*e*s,
e^-1*t^-1*e*t,e^-1*u^-1*e*u,
e^-1*v^-1*e*v,s^-1*t^-1*s*t,
s^-1*u^-1*s*u*e^-1,s^-1*v^-1*s
*v,t^-1*u^-1*t*u,t^-1*v^-1*t*v
*e^-1,u^-1*v^-1*u*v,
a^-1*s*a*u^-1,a^-1*t*a*v^-1,
a^-1*u*a*(s^-1*e)^-1,
a^-1*v*a*(t^-1*e)^-1,
a^-1*e*a*e^-1,
b^-1*s*b*(s*v^-1*e^-1)^-1,
b^-1*t*b*(t*u^-1*v*e)^-1,
b^-1*u*b*u^-1,b^-1*v*b*v^-1,
b^-1*e*b*e^-1,
c^-1*s*c*(s^-1*t*u^-1*v*e)^-1,
c^-1*t*c*(s*t*u*v*e^-1)^-1,
c^-1*u*c*(s^-1*v^-1)^-1,
c^-1*v*c*(t^-1*u^-1*v)^-1,
c^-1*e*c*e^-1],[[a,b,c]]];
end,
[243]],
"A6 2^1 3^4 C 3^1",[14,5,8],3,
3,243]
];
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
|