|
#############################################################################
##
## 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 43200-87480
## All data is based on Holt/Plesken: Perfect Groups, OUP 1989
##
PERFGRP[81]:=[# 43200.1
[[1,"abcde",
function(a,b,c,d,e)
return
[[a^2,b^3,(a*b)^5,c^4,d^3,e^3,(d*e)^4*c^2,(d*e^-1)
^5,c^2*d*c^2*d^-1,c^2*e*c^2*e^-1,
c^-1*d^-1*e*d*e*d^-1*e*d*e^-1,
a^-1*d^-1*a*d,a^-1*e^-1*a*e,
b^-1*d^-1*b*d,b^-1*e^-1*b*e],
[[b,a*b*a*b^-1*a,d,e],[a,b,e*d*c^-1,d]]];
end,
[5,80]],
"A5 x A6 2^1",[33,1,1],2,
[1,3],[5,80]],
# 43200.2
[[1,"abcde",
function(a,b,c,d,e)
return
[[a^4,b^3,(a*b)^5,a^2*b*a^2*b^-1,c^2,d^3,e^3,(d*e)
^4,(d*e^-1)^5,
c^-1*d^-1*e*d*e*d^-1*e*d*e^-1,
a^-1*d^-1*a*d,a^-1*e^-1*a*e,
b^-1*d^-1*b*d,b^-1*e^-1*b*e],
[[a*b,d,e],[a,b,c,d]]];
end,
[24,6]],
"A5 2^1 x A6",[33,1,2],2,
[1,3],[24,6]],
# 43200.3
[[1,"abcde",
function(a,b,c,d,e)
return
[[a^4,b^3,(a*b)^5,c^2*a^2,d^3,e^3,(d*e)^4*c^2,(d*e
^-1)^5,c^-1*d^-1*e*d*e*d^-1*e*d
*e^-1,a^-1*d^-1*a*d,
a^-1*e^-1*a*e,b^-1*d^-1*b*d,
b^-1*e^-1*b*e],[[a*b,e*d*c^-1,d]]];
end,
[960]],
"( A5 x A6 ) 2^1",[33,1,3],2,
[1,3],960]
];
PERFGRP[82]:=[# 43320.1
[[1,"abyz",
function(a,b,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,y^19,z^19,y^-1
*z^-1*y*z,a^-1*y*a*z^-1,
a^-1*z*a*y,
b^-1*y*b*(y^(-1*6)*z^(-1*9))^-1,
b^-1*z*b*(y^(-1*5)*z^5)^-1],[[a,b]]];
end,
[361],[0,0,2,2,2,2]],
"A5 2^1 19^2",[5,2,1],1,
1,361],
# 43320.2 (otherpres.)
[[1,"abdyz",
function(a,b,d,y,z)
return
[[a^2*d^-1,b^3,(a*b)^5,d^2,d^-1*b^-1*d*b,
y^19,z^19,y^-1*z^-1*y*z,
a^-1*y*a*z^-1,a^-1*z*a*y,
b^-1*y*b*(y^(-1*6)*z^(-1*9))^-1,
b^-1*z*b*(y^(-1*5)*z^5)^-1],[[a,b]]];
end,
[361],[0,0,2,2,2,2]]]
];
PERFGRP[83]:=[# 43740.1
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^2,b^3,(a*b)^5,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,
a^-1*u*a*(u^-1*v*w^-1*x^-1*y)^-1
,a^-1*v*a*(u*v*w^-1*z)^-1,
a^-1*w*a*(u^-1*w*x*y^-1*z^-1)^-1
,a^-1*x*a*(v^-1*w*y^-1)^-1,
a^-1*y*a*(u*v^-1*w^-1*y^-1*z)^-1
,a^-1*z*a*(u^-1*v^-1*x^-1*y*z)
^-1,b^-1*u*b*(u*w^-1*y)^-1,
b^-1*v*b*(v*x^-1*z)^-1,
b^-1*w*b*(w*y)^-1,b^-1*x*b*(x*z)^-1,
b^-1*y*b*y^-1,b^-1*z*b*z^-1],
[[a*b,b*a*b*a*b^-1*a*b^-1,z]]];
end,
[18]],
"A5 3^6",[2,6,1],1,
1,18]
];
PERFGRP[84]:=[# 46080.1
[[1,"abcdstuve",
function(a,b,c,d,s,t,u,v,e)
return
[[a^2*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,
d^-1*e^-1*d*e,e^4,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^2,t^2,u^2,v^2,
s^-1*t^-1*s*t,s^-1*u^-1*s*u*e^2,
s^-1*v^-1*s*v,t^-1*u^-1*t*u,
t^-1*v^-1*t*v*e^2,u^-1*v^-1*u*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,
b^-1*s*b*(t*v*e)^-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*e)^-1,
c^-1*v*c*(s*t*u*v*e^2)^-1],
[[b,c],[c*b*a*d,b,s,e]]];
end,
[64,80]],
"A6 2^1 x ( 2^4 E 2^1 A ) C 2^1",[13,7,1],8,
3,[64,80]]
];
PERFGRP[85]:=[# 48000.1
[[4,1920,3,3000,2,120,3,1],
"A5 # 2^5 5^2 [1]",6,1,
1,[16,24,25]],
# 48000.2
[[4,1920,4,3000,2,120,4,1],
"A5 # 2^5 5^2 [2]",6,1,
1,[80,25]],
# 48000.3
[[4,1920,5,3000,2,120,5,1],
"A5 # 2^5 5^2 [3]",6,1,
1,[10,24,25]]
];
PERFGRP[86]:=[# 50616.1
[[1,"abc",
function(a,b,c)
return
[[c^18*a^2,c*b^4*c^-1*b^-1,b^37,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*2)*b*c^2*b^3*a*b^2*a*c*b^2*a],[[b,c^4]]]
;
end,
[152]],
"L2(37) 2^1 = SL(2,37)",22,-2,
21,152]
];
PERFGRP[87]:=[# 51840.1
[[1,"abd",
function(a,b,d)
return
[[a^2,b^5,(a*b)^9,(a^-1*b^-1*a*b)^3,(b*a*b*a
*b^-1*a*b^-1*a)^2*d^-1,d^2,
a^-1*d*a*d^-1,b^-1*d*b*d^-1],
[[b^-1*a*b*a*(b^3*a)^2*b*a*b^3*a*b^-1,
a*b^3*a*b*a*b^2*a*b*a*b^3*(a*b^-1)^2*d]
]];
end,
[80]],
"U4(2) 2^1",28,-2,
22,80]
];
PERFGRP[88]:=[# 51888.1
[[1,"abc",
function(a,b,c)
return
[[c^23,c*b^(-1*22)*c^-1*b^-1,b^47,a^2,c*a*c*a
^-1,(b*a)^3],[[b,c]]];
end,
[48],[0,2,2]],
"L2(47)",22,-1,
27,48]
];
PERFGRP[89]:=[# 56448.1
[[2,168,1,336,1],
"( L3(2) x L3(2) ) 2^1 [1]",[34,1,1],2,
[2,2],[7,16]],
# 56448.2
[[3,336,1,336,1,"d1","d2"],
"( L3(2) x L3(2) ) 2^1 [2]",[34,1,2],2,
[2,2],128]
];
PERFGRP[90]:=[# 57600.1
[[2,960,1,60,1],
"A5 x A5 # 2^4 [1]",[29,4,1],1,
[1,1],[16,5]],
# 57600.2
[[2,960,2,60,1],
"A5 x A5 # 2^4 [2]",[29,4,2],1,
[1,1],[10,5]]
];
PERFGRP[91]:=[# 57624.1
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^2,b^3,(a*b)^7,(a^-1*b^-1*a*b)^4,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,y]]];
end,
[56]],
"L3(2) 7^3",[10,3,1],1,
2,56],
# 57624.2
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^2,b^3,(a*b)^7*z^-1,(a^-1*b^-1*a*b)^4,
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*x^2,b*a*b^-1*a*b^-1*a*b*a*b^-1,y
]]];
end,
[56]],
"L3(2) N 7^3",[10,3,2],1,
2,56]
];
PERFGRP[92]:=[# 58240.1
[[1,"abd",
function(a,b,d)
return
[[a^2,b^4,(a*b)^5,(a^-1*b^-1*a*b)^7*d,(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,d^2,
a^-1*d*a*d^-1,b^-1*d*b*d^-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,
[1120]],
"Sz(8) 2^1",28,-2,
23,1120]
];
PERFGRP[93]:=[# 58320.1
[[1,"abcwxyz",
function(a,b,c,w,x,y,z)
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,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],[b,c*a*b*c,z]]];
end,
[80,30]],
"A6 2^1 x 3^4'",[14,4,1],2,
3,[80,30]],
# 58320.2
[[1,"abcstuv",
function(a,b,c,s,t,u,v)
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,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,b,c]]];
end,
[81]],
"A6 2^1 3^4",[14,4,2],1,
3,81],
# 58320.3 (otherpres.)
[[1,"abcdstuv",
function(a,b,c,d,s,t,u,v)
return
[[a^2*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,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*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,b,c]]];
end,
[81]]]
];
PERFGRP[94]:=[# 58800.1
[[1,"abc",
function(a,b,c)
return
[[c^24,b^7,c^(-1*8)*b^2*c^8*b^-1,c*b^3*c*b^2*c
^(-1*2)*b^(-1*3),a^2,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]]];
end,
[50]],
"L2(49)",22,-1,
28,50]
];
PERFGRP[95]:=[# 60480.1
[[1,"abd",
function(a,b,d)
return
[[a^2,b^4,(a*b)^7*d^-1,(a^-1*b^-1*a*b)^5,
(a*b^2)^5,(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],
[[a*b*a,b^2*a*b^-1*a*b*a*b^2*a*b*d]]];
end,
[63]],
"L3(4) 3^1",[27,0,1],-3,
20,63],
# 60480.2
[[2,120,1,504,1],
"A5 2^1 x L2(8)",[35,1,1],2,
[1,4],[24,9]],
# 60480.3
[[2,168,1,360,1],
"L3(2) x A6",[37,0,1],1,
[2,3],[7,6]]
];
PERFGRP[96]:=fail;
PERFGRP[97]:=[# 62400.1
[[1,"ab",
function(a,b)
return
[[a^2,b^3,(a*b)^15,(a^-1*b^-1*a*b)^5,(a*b*a*b*a
*b*a*b^-1*a*b^-1*a*b^-1)^3,
(a*b^-1*a*b*a*b*a*b*a*b*a*b)^4],
[[(a*b)^5*a,b*a*b^-1*(a*b)^6]]];
end,
[65]],
"U3(4)",28,-1,
29,65]
];
PERFGRP[98]:=[# 64512.1
[[1,"abcuvwxyzd",
function(a,b,c,u,v,w,x,y,z,d)
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,
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,
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,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
w^-1*d^-1*w*d,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,x^-1*d^-1*x*d,
y^-1*z^-1*y*z,y^-1*d^-1*y*d,
z^-1*d^-1*z*d,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,
b^-1*u*b*(x*y*d)^-1,
b^-1*v*b*(y*z)^-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,
c^-1*u*c*(v*d)^-1,c^-1*v*c*(w*d)^-1,
c^-1*w*c*(u*v)^-1,
c^-1*x*c*(x*z*d)^-1,c^-1*y*c*x^-1,
c^-1*z*c*y^-1,c^-1*d*c*d^-1],
[[b^-1*c,u*d]]];
end,
[112]],
"L2(8) 2^6 E 2^1",[16,7,1],2,
4,112],
# 64512.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)^-1,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*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*f^-1*v*f,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,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)^-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*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)^-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*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],[[b^-1*c,u*f]]];
end,
[112]],
"L2(8) N 2^6 E 2^1 I",[16,7,2],2,
4,112],
# 64512.3
[[1,"abcuvwxyzd",
function(a,b,c,u,v,w,x,y,z,d)
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,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,
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,w^-1*x^-1*w*x,
w^-1*y^-1*w*y,w^-1*z^-1*w*z,
w^-1*d^-1*w*d,x^-1*y^-1*x*y,
x^-1*z^-1*x*z,x^-1*d^-1*x*d,
y^-1*z^-1*y*z,y^-1*d^-1*y*d,
z^-1*d^-1*z*d,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,
b^-1*u*b*(x*y)^-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)^-1,b^-1*d*b*d^-1,
c^-1*u*c*(v*d)^-1,c^-1*v*c*(w*d)^-1,
c^-1*w*c*(u*v)^-1,
c^-1*x*c*(x*z*d)^-1,
c^-1*y*c*(x*d)^-1,c^-1*z*c*y^-1,
c^-1*d*c*d^-1],[[b^-1*c*d,u*d]]];
end,
[112]],
"L2(8) N 2^6 E 2^1 II",[16,7,3],2,
4,112],
# 64512.4
[[1,"abcuvwxyzd",
function(a,b,c,u,v,w,x,y,z,d)
return
[[a^2*d,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,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,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,
w^-1*x^-1*w*x,w^-1*y^-1*w*y,
w^-1*z^-1*w*z,w^-1*d^-1*w*d,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
x^-1*d^-1*x*d,y^-1*z^-1*y*z,
y^-1*d^-1*y*d,z^-1*d^-1*z*d,
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,b^-1*u*b*(x*y*d)^-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*d)^-1,b^-1*d*b*d^-1
,c^-1*u*c*v^-1,c^-1*v*c*w^-1,
c^-1*w*c*(u*v*d)^-1,
c^-1*x*c*(x*z)^-1,c^-1*y*c*x^-1,
c^-1*z*c*(y*d)^-1,c^-1*d*c*d^-1],
[[b^-1*c*d,u]]];
end,
[112]],
"L2(8) N 2^6 E 2^1 III",[16,7,4],2,
4,112]
];
PERFGRP[99]:=[# 64800.1
[[2,60,1,1080,1],
"A5 x A6 3^1",[33,0,1],3,
[1,3],[5,18]]
];
PERFGRP[100]:=[# 65520.1
[[2,60,1,1092,1],
"A5 x L2(13)",40,1,
[1,6],[5,14]]
];
PERFGRP[101]:=[# 68880.1
[[1,"abc",
function(a,b,c)
return
[[c^20*a^2,c*b^8*c^-1*b^-1,b^41,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*(b*c*a)^4*b*a],
[[b,c^8]]];
end,
[336]],
"L2(41) 2^1 = SL(2,41)",22,-2,
25,336]
];
PERFGRP[102]:=[# 69120.1
[[4,23040,1,1080,2,360,1,1],
"A6 3^1 x ( 2^4 E 2^1 A ) C 2^1",[13,6,1],12,
3,[64,18]],
# 69120.2
[[4,23040,2,1080,2,360,2,1],
"A6 3^1 x ( 2^4 E 2^1 A ) C N 2^1",[13,6,2],12,
3,[384,18]],
# 69120.3
[[4,23040,3,1080,2,360,3,1],
"A6 3^1 x 2^1 x ( 2^4 E 2^1 )",[13,6,3],12,
3,[12,80,18]],
# 69120.4
[[1,"abcuvwxyz",
function(a,b,c,u,v,w,x,y,z)
return
[[a^6,b^3,c^3,(b*c)^4,(b*c^-1)^5,a^-1*b^-1*c
*b*c*b^-1*c*b*c^-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*(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]]];
end,
[64]],
"A6 3^1 # 2^6 [4]",[13,6,4],1,
3,64]
];
PERFGRP[103]:=[# 74412.1
[[1,"abc",
function(a,b,c)
return
[[c^26,c*b^4*c^-1*b^-1,b^53,a^2,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]]];
end,
[54]],
"L2(53)",22,-1,
30,54]
];
PERFGRP[104]:=[# 75000.1
[[1,"abxyzd",
function(a,b,x,y,z,d)
return
[[a^4,b^3,(a*b)^5,a^2*b*a^2*b^-1,x^5,y^5,z^5,d^5,
x^-1*y^-1*x*y,x^-1*z^-1*x*z,
y^-1*z^-1*y*z,x^-1*d^-1*x*d,
y^-1*d^-1*y*d,z^-1*d^-1*z*d,
a^-1*d^-1*a*d,b^-1*d^-1*b*d,
a^-1*x*a*z^-1*d,a^-1*y*a*y*d^-1,
a^-1*z*a*x^-1*d^-1,
b^-1*x*b*z^-1,
b^-1*y*b*(y^-1*z)^-1,
b^-1*z*b*(x*y^(-1*2)*z)^-1],
[[a*b,x],[b,a*b*a*b^-1*a,x]]];
end,
[24,25]],
"A5 2^1 x 5^3 E 5^1",[3,4,1],10,
1,[24,25]],
# 75000.2
[[1,"abwxyz",
function(a,b,w,x,y,z)
return
[[w^5,x^5,y^5,z^5,w^-1*x^-1*w*x,w^-1*y^(-1
*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*y,a^-1*y*a*x^-1,
a^-1*z*a*w,b^-1*w*b*z,
b^-1*x*b*(y*z^-1)^-1,
b^-1*y*b*(x^-1*y^2*z^-1)^-1,
b^-1*z*b*(w*x^2*y^(-1*2)*z^-1)^-1,a^4,
b^3,(a*b)^5,a^2*b^-1*a^2*b],
[[a*b,b*a*b*a*b^-1*a*b^-1,x]]];
end,
[30]],
"A5 2^1 5^4",[3,4,2],1,
1,30],
# 75000.3
[[1,"abyzYZ",
function(a,b,y,z,Y,Z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,y^5,z^5,Y^5,Z^5,
y^-1*z^-1*y*z,y^-1*Y^-1*y*Y,
y^-1*Z^-1*y*Z,z^-1*Y^-1*z*Y,
z^-1*Z^-1*z*Z,Y^-1*Z^-1*Y*Z,
a^-1*y*a*z^-1,a^-1*z*a*y,
a^-1*Y*a*Z^-1,a^-1*Z*a*Y,
b^-1*y*b*z,b^-1*z*b*(y*z^-1)^-1,
b^-1*Y*b*Z,b^-1*Z*b*(Y*Z^-1)^-1],
[[a,b,y],[a,b,Y]]];
end,
[25,25]],
"A5 2^1 5^2 x 5^2",[3,4,3],1,
1,[25,25]],
# 75000.4
[[1,"abyzYZ",
function(a,b,y,z,Y,Z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,y^5,z^5,Y^5,Z^5,
y^-1*z^-1*y*z,y^-1*Y^-1*y*Y,
y^-1*Z^-1*y*Z,z^-1*Y^-1*z*Y,
z^-1*Z^-1*z*Z,Y^-1*Z^-1*Y*Z,
a^-1*y*a*(z*Y^-1)^-1,
a^-1*z*a*(y^-1*Z)^-1,
a^-1*Y*a*Z^-1,a^-1*Z*a*Y,
b^-1*y*b*(z^-1*Y^-1*Z)^-1,
b^-1*z*b*(y*z^-1*Z)^-1,b^-1*Y*b*Z,
b^-1*Z*b*(Y*Z^-1)^-1],
[[b,a*b*a*b^-1*a,y*Y^-1*Z^-1]]];
end,
[125]],
"A5 2^1 5^2 E 5^2",[3,4,4],1,
1,125]
];
PERFGRP[105]:=[# 77760.1
[[4,960,1,4860,1,60],
"A5 # 2^4 3^4 [1]",6,1,
1,[16,15]],
# 77760.2
[[4,960,2,4860,1,60],
"A5 # 2^4 3^4 [2]",6,1,
1,[10,15]],
# 77760.3
[[4,960,1,4860,2,60],
"A5 # 2^4 3^4 [3]",6,1,
1,[16,60]],
# 77760.4
[[4,960,2,4860,2,60],
"A5 # 2^4 3^4 [4]",6,1,
1,[10,60]]
];
PERFGRP[106]:=[# 79200.1
[[2,120,1,660,1],
"( A5 x L2(11) ) 2^1 [1]",[36,1,1],2,
[1,5],[24,11]],
# 79200.2
[[2,60,1,1320,1],
"( A5 x L2(11) ) 2^1 [2]",[36,1,2],2,
[1,5],[5,24]],
# 79200.3
[[3,120,1,1320,1,"d1","d2"],
"( A5 x L2(11) ) 2^1 [3]",[36,1,3],2,
[1,5],288]
];
PERFGRP[107]:=[# 79464.1
[[1,"abc",
function(a,b,c)
return
[[c^21*a^2,c*b^9*c^-1*b^-1,b^43,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],[[b,c^2]]];
end,
[88],[0,0,2]],
"L2(43) 2^1 = SL(2,43)",22,-2,
26,88]
];
PERFGRP[108]:=[# 79860.1
[[1,"abxyz",
function(a,b,x,y,z)
return
[[a^2,b^3,(a*b)^5,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,b*a*b*a*b^-1*a*b^-1,y*z^5]]];
end,
[66]],
"A5 11^3",[5,3,1],1,
1,66]
];
PERFGRP[109]:=[# 80640.1
[[1,"abdwxyz",
function(a,b,d,w,x,y,z)
return
[[a^2*d^-1,b^4*d^-1,(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,d^2,
d^-1*a^-1*d*a,d^-1*b^-1*d*b,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,b],[a*b,b*a*b*a*b^2*a*b^-1*a*b*a*b^-1
*a*b*a*b^2*d,w]]];
end,
[16,240]],
"A7 2^1 x 2^4",[23,5,1],2,
8,[16,240]],
# 80640.2
[[1,"abef",
function(a,b,e,f)
return
[[a^2,b^4,(a*b)^7*e,(a*b^2)^5*(e*f)^-1,(a^-1*b
^-1*a*b)^5,(a*b*a*b*a*b^3)^5*f,
(a*b*a*b*a*b^2*a*b^-1)^5,e^2,f^2,
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*e,b*a*b*a*b^-1*a*b^2*f^-1]]];
end,
[224]],
"L3(4) 2^1 x 2^1",[27,2,1],-4,
20,224],
# 80640.3
[[1,"abf",
function(a,b,f)
return
[[a^2,b^4*f^(-1*2),(a*b)^7,(a*b^2)^5*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,f^4,
a^-1*f*a*f^-1,b^-1*f*b*f^-1],
[[a,b*a*b*a*b^-1*a*b^2*f^-1]]];
end,
[224]],
"L3(4) 2^1 A 2^1 I",[27,2,2],-4,
20,224],
# 80640.4
[[1,"abe",
function(a,b,e)
return
[[a^2,b^4*e^(-1*2),(a*b)^7*e,(a*b^2)^5*e^-1,(a^(-1
*1)*b^-1*a*b)^5*e^(-1*2),
(a*b*a*b*a*b^3)^5*e^(-1*2),
(a*b*a*b*a*b^2*a*b^-1)^5,
a^-1*e*a*e^-1,b^-1*e*b*e^-1],
[[a*e^2,b^-1*a*b^-1*a*b*a*b^2]]];
end,
[224]],
"L3(4) 2^1 A 2^1 II",[27,2,3],-4,
20,224],
# 80640.5
[[2,60,1,1344,1],
"( A5 x L3(2) ) # 2^3 [1]",[31,3,1],1,
[1,2],[5,8]],
# 80640.6
[[2,60,1,1344,2],
"( A5 x L3(2) ) # 2^3 [2]",[31,3,2],1,
[1,2],[5,14]]
];
PERFGRP[110]:=[# 84672.1
[[2,168,1,504,1],
"L3(2) x L2(8)",[38,0,1],1,
[2,4],[7,9]]
];
PERFGRP[111]:=[fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail,
fail];
PERFGRP[112]:=[# 86400.1
[[2,120,1,720,1],
"( A5 x A6 ) 2^2",[33,2,1],4,
[1,3],[24,80]]
];
PERFGRP[113]:=[# 87480.1
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b*a^2*b^-1,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,
a^-1*u*a*(u^-1*v*w^-1*x^-1*y)^-1
,a^-1*v*a*(u*v*w^-1*z)^-1,
a^-1*w*a*(u^-1*w*x*y^-1*z^-1)^-1
,a^-1*x*a*(v^-1*w*y^-1)^-1,
a^-1*y*a*(u*v^-1*w^-1*y^-1*z)^-1
,a^-1*z*a*(u^-1*v^-1*x^-1*y*z)
^-1,b^-1*u*b*(u*w^-1*y)^-1,
b^-1*v*b*(v*x^-1*z)^-1,
b^-1*w*b*(w*y)^-1,b^-1*x*b*(x*z)^-1,
b^-1*y*b*y^-1,b^-1*z*b*z^-1],
[[a*b,u,v],[a*b,b*a*b*a*b^-1*a*b^-1,z]]];
end,
[24,18]],
"A5 2^1 x 3^6",[2,6,1],2,
1,[24,18]],
# 87480.2
[[1,"abuvwxyz",
function(a,b,u,v,w,x,y,z)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,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*v^-1,
a^-1*v*a*u,a^-1*w*a*(u^-1*x)^-1,
a^-1*x*a*(v*w^-1)^-1,
a^-1*y*a*(u*w^-1*x^-1*y^-1*z^-1)
^-1,a^-1*z*a*(w^-1*y^-1*z)^-1,
b^-1*u*b*(u^-1*v^-1*w)^-1,
b^-1*v*b*(u^-1*v*w)^-1,
b^-1*w*b*u^-1,b^-1*x*b*(w*y)^-1,
b^-1*y*b*(u^-1*w*x*y*z)^-1,
b^-1*z*b*(w*y*z^-1)^-1],[[a^2,a*b,u]]];
end,
[36]],
"A5 2^1 3^6'",[2,6,2],1,
1,36],
# 87480.3
[[1,"abstuvde",
function(a,b,s,t,u,v,d,e)
return
[[a^4,b^3,(a*b)^5,a^2*b^-1*a^2*b,d^3,d^-1*a
^-1*d*a,d^-1*b^-1*d*b,
d^-1*s^-1*d*s,e^3,e^-1*a^-1*e*a,
e^-1*b^-1*e*b,e^-1*s^-1*e*s,
d^-1*e^-1*d*e,s^3,t^3,u^3,v^3,
s^-1*t^-1*s*t,s^-1*u^-1*s*u
*d^-1,s^-1*v^-1*s*v*e^-1,
t^-1*u^-1*t*u*e^-1,
t^-1*v^-1*t*v*(d*e^-1)^-1,
u^-1*v^-1*u*v,
a^-1*s*a*(u*e^-1)^-1,
a^-1*t*a*(v*e)^-1,
a^-1*u*a*(s^-1*d)^-1,
a^-1*v*a*(t^-1*d)^-1,
b^-1*s*b*(s*v^-1*d^-1)^-1,
b^-1*t*b*(t*u^-1*v*d*e^-1)^-1,
b^-1*u*b*u^-1,b^-1*v*b*v^-1],
[[a,b,d],[a,b,e]]];
end,
[243,243]],
"A5 2^1 3^4 C ( 3^1 x 3^1 )",[2,6,3],9,
1,[243,243]],
# 87480.4
[[1,"abcdwxyz",
function(a,b,c,d,w,x,y,z)
return
[[a^2*d^-1,b^3,c^3*(w*x*y^-1)^-1,(b*c)^4,
(b*c^-1)^5,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],
[[b,c*a*b*c,d*y^-1*z]]];
end,
[30]],
"A6 3^1 E 3^4' I",[14,5,1],1,
3,30],
# 87480.5
[[1,"abcdwxyz",
function(a,b,c,d,w,x,y,z)
return
[[a^2*d^-1,b^3*(w*x*y*z^-1)^-1,c^3*(w*y
^-1*z^-1)^-1,(b*c)^4,(b*c^-1)^5,
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],
[[b*w^-1,c*a*b*c]]];
end,
[30]],
"A6 3^1 E 3^4' II",[14,5,2],1,
3,30],
# 87480.6
[[1,"abcwxyzf",
function(a,b,c,w,x,y,z,f)
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,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],[[a,b,w]]];
end,
[18]],
"A6 3^4' E 3^1 I",[14,5,3],3,
3,18],
# 87480.7
[[1,"abcwxyze",
function(a,b,c,w,x,y,z,e)
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,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],
[[a*b,b*a*b*a*b^-1*a*b^-1,w*e]]];
end,
[108]],
"A6 3^4' E 3^1 II",[14,5,4],3,
3,108],
# 87480.8
[[1,"abcwxyzd",
function(a,b,c,w,x,y,z,d)
return
[[a^2*d^-1,b^3,c^3,(b*c)^4,(b*c^-1)^5,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],
[[a*d,c*d,w],[b,c*a*b*c,z]]];
end,
[18,30]],
"A6 3^1 x 3^4'",[14,5,5],3,
3,[18,30]]
];
[ Dauer der Verarbeitung: 0.21 Sekunden
(vorverarbeitet)
]
|