Quelle perf18.grp
Sprache: unbekannt
|
|
#############################################################################
##
## This file is part of GAP, a system for computational discrete algebra.
## It contains the perfect groups of order 344064
## This data was computed by Alexander Hulpke
## It is distributed under the artistic license 2.0
## https://opensource.org/licenses/Artistic-2.0
## as well as (dual licensing) under GPL 2
PERFGRP[200]:=[# 344064.1
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, b^3, a^4, (c*d)^2, a*d*a^-2*d*a, (d*b)^3,
c*a^2*c*b^-1*a^-2*b, (d*a^-1)^2*(d*a)^2, (c*a^-1*d*a)^2,
d*a*b^-1*a^-1*d*a*b*a^-1, (c*a*d*a^-1)^2, (b^-1*c*b*c)^2, (c*b^-1*d*b)^2,
b^-1*a^-1*c*a^-1*b*a*c*a, (c*a*c*a^-1)^2, a^-1*b^-1*d*b*a*b^-1*d*b,
(c*b*d*b^-1)^2, a^2*c*b*a^-1*b*c*b^-1*c*a^-1*b^-1, a*b*c*(b^-1*c*a)^2*a*b,
(a^2*b*a^-2*b^-1)^2, (b^-1*c*b*a^-1*c*a)^2, (b*c)^6,
(c*a*c*a^-1*b*c*b^-1)^2, (a*b)^2*a^2*(b^-1*a^-1)^2*b*a^-2*b^-1,
(a*c*d*a^-1*b*c*b^-1)^2, b*a^-2*b^-1*c*a^-1*c*b*a^-2*b^-1*c*a*c,
(b^-1*c*a^-1*c*a*b*c)^2, c*a*c*(a*c*b)^2*a^-1*(a^-1*b^-1)^2,
a^-1*(b^-1*c)^2*b^-1*a^-1*b*c*b*(a^-1*c)^2*b*c,
(c*b^-1)^2*a*c*b*c*a*c*a^-1*b*c*b*a^-1*b^-1,
b^-1*a*c*a^-1*b^-1*a^-1*c*a*c*b^-1*a^-1*b^-1*c*b*a*c,
(a^-1*b*a^-1*b^-1)^2*a*b*a*b^-1*a^-1*b*a*b^-1,
b*c*b^-1*a^-1*(b^-1*c)^2*b^-1*a^-1*c*b^-1*c*b*a^-1*c*a^-1,
((c*b)^2*a^-1*c*a*d*b)^2, (b^-1*a)^3*(b^-1*a^-1)^2*(c*b)^2*a^-1*b^-1*a*c,
b*c*(a^-1*b^-1)^5*c*a*b^-1*a*b*c, (b*c*(b^-1*a)^2*c*a^-1*b*a^-1)^2,
(b*c)^2*a*c*a^-1*b*(a*b^-1)^2*a*c*a^-1*b^-1*c*b^-1*a*b*a,
d*(b*c)^2*b*a^2*c*d*a*c*a*(b*c)^2*a^-1*c*a*b*c,
c*b*a^-1*c*a*d*c*b*c*a^-1*b^-1*c*d*b*a^-1*b^-1*a^-1*c*a*c*b*a^2*b,
b*(a*b^-1)^2*(a^-1*b^-1*a*b*a^-1*b)^2*a^-1*b^-1*a*b^-1*a^-1*b^-1*a ],
[ [ a, b, c ], [ b, d, a*b*a ] ]];
end,
[ 8, 128 ]],
"PG344064.1",0,1,2,[ 8, 128 ]],
# 344064.2
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, b^3, a^4, (c*d)^2, d*a^2*d*a^-2, a*d*b*d*a^-2*b^-1*a,
b^-1*a^2*b*c*a^-2*c, (c*a*d*a^-1)^2, a*b*a^-1*d*a*b^-1*a^-1*d,
d*a^-1*b*a*d*a^-1*b^-1*a, (a^-1*d*a*c)^2, (a^-1*d)^4,
c*a*b*a^-1*c*a^-1*b^-1*a, (c*a^-1*c*a)^2, d*a*d*a^-1*(b*d)^2*b,
a^-1*b^-1*a^-2*b*d*b^-1*d*b*a^-1, (b*c*d*b^-1*c)^2, (b^-1*d*b*a^-1*c*a)^2,
(b*a^-1)^2*(b*a)^3*b*d*a*b*a, b^-1*(c*b)^2*c*a*c*a^-1*d*b^-1*a^-1*c*d*a*d,
c*a^-1*b^-1*d*b*a^-1*d*c*b^-1*a*b^-1*d*b*a*b*d,
a*c*a^-1*c*b*c*b^-1*c*d*b*a*c*a^-1*c*d*b^-1,
c*a^-1*b*a^-1*c*a*b*d*(a^-1*c)^4*b*d*a,
b*c*b^-1*c*a*c*b^-1*d*b^-1*c*a^-1*(c*a^-1*d*b*a^-1*d)^2,
d*b*a^-1*d*(b^-1*a^-1)^2*b^-1*a*b*(a^-1*d)^2*b^-1*(a^-1*b)^3*a^-1*b^-1,
(b^-1*a^-1)^2*b^-1*c*a^-1*b*a^-1*c*a*b^-1*d*(a*b)^2*d*c*a*b*a*c*a^-1,
b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*d*b^-1*(a*b)^2*a*b^-1*a*b*a^-1*b^-1*d*b*a,
a*d*b^-1*a^-1*b^-1*(a*b)^2*a*b^-1*(a*b)^2*d*b^-1*(a^-1*b^-1*a^-1*b)^2*(a^-1*\
b^-1)^2*d*(a*b^-1)^2,
b*(a^-1*b^-1)^2*a^-1*b*a^-1*b^-1*d*a^-1*b^-1*a*b*a*d*b*c*a*b*d*b^-1*a^-1*c*b\
^-1*(a*b^-1*(a*b)^2)^2*a*b^-1*d,
(a^-1*b^-1)^2*a^-1*(b*a)^2*b*(d*a*b^-1)^2*(a*b)^2*a*(b^-1*a^-1)^3*(b*a)^2*b*\
a^-1*(b^-1*a)^2*(b*a^-1)^2*b^-1,
(b^-1*a^-1)^2*b*(a^-1*b^-1)^2*a^-1*(b*a)^2*b^-1*a^-1*b*a*b*d*a*b*a*b^-1*a^-1\
*(b^-1*(a*b)^2*a)^2*b^-1*a*b*a^-1*b^-1*a,
b*(a*b^-1)^2*a^-1*d*b^-1*(a*b)^2*a*b^-1*a*b*d*a*d*b*a*b*d*a^-1*d*b^-1*a^-1*(\
b^-1*(a*b)^2*a)^2*b^-1*a*b^-1*d*a^-1*b*a,
b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*(b*a)^3*b^-1*a*b*d*b^-1*a^-1*b*(d*a^-1*b^-1)^\
2*a^-1*b^-1*(a*b)^2*a*b^-1*(a*b)^2*a^-1*b^-1*d*b*a^-1*b^-1*a,
d*b^-1*a^-1*(b*a)^2*b^-1*a*b*a^-1*b*d*b^-1*a^-1*b^-1*a*b*(a*b^-1)^2*a^-1*d*b\
^-1*(a*b)^2*a*b^-1*a*b*a^-1*b*d*b^-1*a^-1*b^-1*a*b*(a*b^-1)^3,
c*b^-1*a*b^-1*d*a*b*(a^-1*b^-1)^3*(a*b)^2*a*b^-1*a*b*a^-1*b*c*d*(b^-1*a^-1)^\
2*b*(a^-1*b^-1)^2*a^-1*b*d*a*(b*a^-1)^2*b^-1*a^-1*b*a*d*b,
(a^-1*b^-1)^2*a^-1*b*a^-1*b^-1*d*a^-1*b^-1*a*(b*a^-1)^3*b^-1*a^-1*b*d*a*d*b^\
-1*((a^-1*b^-1)^2*a^-1*b)^2*d*a*b*(a^-1*b*a^-1*b^-1)^2,
b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*(b*a)^3*b^-1*a^-1*d*b*a*b*(a^-1*b*(a^-1*b^-1\
)^2)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*a^-1*b*a,
c*b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*(b*a)^3*b^-1*a*b*d*b^-1*a^-1*c*b*a^-1*d*(b\
^-1*a^-1)^2*(b^-1*(a*b)^2*a)^2*b^-1*a*b^-1,
b*a^-1*b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*(b*a)^3*b^-1*a^-1*d*b^-1*a*b*a*d*b^-1\
*a*b^-1*a^-1*d*(b^-1*(a*b)^2*a)^2*b^-1*a*b^-1*d*a,
c*a*(b*a^-1)^2*d*(b^-1*a^-1)^2*b*(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1\
*a^-1*b*a*b*a^-1*c*(b*(a^-1*b^-1)^2*a^-1)^2*b*a*b*a^-1*d*b*a^-1*b^-1*d*a^-1*b,
a^-1*d*b^-1*a*b*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*b^-1*c*a^-1*b^-1*a^-2*\
c*b*a*c*b*a^-1*b^-1*(a^-1*b^-1*a^-1*b)^2*(a^-1*b^-1)^2*a^-1*b*d*a^-1*b*a*c*b*d\
*b^-1,
(b^-1*a)^2*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*a^-1*b^-1*a*b*a*d*b^-1*a*b*(a*\
b^-1)^2*a*b*d*a^-1*b^-1*a*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b\
^-1*d*a*b^-1*a,
b*a^-1*b^-1*a^-1*d*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*(b*a)^2*b*d*a*b^-1*a*b*a^-\
1*b^-1*a^-1*c*d*a*(c*b^-1*a^-1)^2*b^-1*d*a*b*(a^-1*b^-1)^3*(a*b)^2*a*b^-1*a*b*\
a*d*b*a^-1*c*d*b^-1*a^-1,
b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a^-1*b^-1*d*b*a^-1*c*b*a^-1*d*(b^-1*a^-1)^2\
*b*(a^-1*b^-1)^2*a^-1*(b*a)^2*b*d*a*b^-1*a*b*c*b*a*b^-1*(a^-1*b)^2*d*((a^-1*b^\
-1)^2*a^-1*b)^2*(a*b)^2*a*b^-1*a^-1*d*b*a*d,
b^-1*a^-1*d*b*(a^-1*b^-1)^2*a^-1*b*a^-1*b^-1*d*b*a*b*d*a^-1*b^-1*a*b^-1*a^-1\
*b*a*b*a^-1*d*b*a^-1*b*a*b^-1*a*b*a*d*b*a*b^-1*(a*b)^2*(a*b^-1)^2*a^-1*b*(a^-1\
*b*(a^-1*b^-1)^2)^2*a^-1*b*a*b*a^-1*d*b*(a^-1*b^-1)^2*a*b^-1*a^-1,
a^-1*(a^-1*b^-1*a^-1*b*a^-1*b^-1)^2*d*a^-1*b^-1*a*(b*a^-1)^3*b^-1*a*b^-1*d*(\
a^-1*b*(a^-1*b^-1)^2)^2*a^-1*(b*a)^2*b*d*a*b^-1*d*(a^-1*b^-1*a*b)^2*a*b^-1*d*a\
*b^-1*a^-1*b^-1*(a*b)^2*a*b^-1*a*b*d*a*b*a*b^-1*(a*b)^2,
(a^-1*b)^2*a*(b*a^-1)^2*(b^-1*a^-1)^2*b*a^-1*b^-1*d*a^-1*b^-1*a*b*a^-1*b*a*b\
*d*b^-1*a^-1*b^-1*a*b*a*d*(b^-1*a)^2*(b*a^-1)^3*b^-1*(a*b)^2*(a*b^-1)^2*a*c*b^\
-1*d*a*b*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*(b^-1*a)^2*c*a^-1*b,
a^-1*d*b*a*d*(b^-1*a^-1)^2*b*a^-1*b^-1*d*a^-1*b^-1*a*b*a^-1*d*b*a^-1*b*d*a^2\
*(b^-1*a^-1)^2*b*(a^-1*b^-1)^2*a^-1*b*d*a*(b*a^-1)^2*(d*b^-1*a)^3*b*a^-1*b^-1*\
a^-1*d*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*d*a*(b*a^-1)^2*b^-1*a^-1*b*(a*b^-1)^2*\
d*a^-1*b^-1*a*b,
b^-1*a^-1*b*a^-1*(b^-1*a^-1*b^-1*a)^2*b^-1*(a*b)^2*a^-1*d*b*a^-1*b^-1*(a^-1*\
b)^2*a*b^-1*d*(b*a)^2*b^-1*a*b*d*a^-1*b^-1*a*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*\
a*b*a^-1*d*b*a^-1*b^-1*d*a^-1*b*a^-1*b^-1*a*b*a*b^-1*d*a*b^-1*a^-1*b^-1*(a*b)^\
2*a*b^-1*(a*b)^2*a^-2*c*a*b*a*c,
a^-1*b^-1*a^-1*b*a^-1*b^-1*d*a^-1*b^-1*a*(b*a^-1)^3*b^-1*(a^-1*b*d)^2*a^-1*b\
*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*b*a*b*a^-1*d*b*a*d*b^-1*a*(b^-1*a^-1*b*a^-1*b^-\
1*a^-1)^2*b^-1*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*(a^-1*b)^2*a*d*b^-1*a^-1*b*(a^-1*\
b^-1)^2*a^-1*(b*a)^2*b*a^-1*b*d*a^-1*d*b,
a^-1*b*a*d*b*a*b^-1*d*a*b^-1*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a*(b^-1*a^-1)^3*b*\
a*b*a^-1*d*b*a^-1*b^-1*a^-1*b*a*d*b^-1*a*b*a*b^-1*d*a*b^-1*a^-1*b^-1*(a*b)^2*a\
*b^-1*(a*b)^2*d*a*b^-1*a*b*a*d*(b*(a^-1*b^-1)^2*a^-1)^2*b*a*b*a^-1*d*b*a^-1*b^\
-1*a*b*a^-1*d*b^-1*a*b,
b*a^-1*d*(b^-1*a^-1)^2*b^-1*(a*b)^2*a*b^-1*a*b*d*a*b*a^-1*b^-1*a*b*a^-1*(b*a\
^-1*d*(b^-1*a^-1)^2*(b^-1*(a*b)^2*a)^2*b^-1*a^-1*b*a^-1*d)^3,
b*a*(b*d*a^-1)^2*b^-1*a*b^-1*a^-1*d*(b^-1*(a*b)^2*a)^2*b^-1*a*b*(a^-1*b*(a^-\
1*b^-1)^2)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*a*b*a^-1*b^-1*d*a^-1*b^-1*a*(b^-1*a\
^-1)^2*(b^-1*(a*b)^2*a)^2*(b^-1*a)^2*b^-1*c*a^-1*b*a^-1*c*b^-1*d*a^-1*b^-1*a^-\
1*b*(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*a^-1*b*a*d,
c*a^-2*c*a*b*(a*b^-1)^2*a^-1*d*(b^-1*(a*b)^2*a)^2*b^-1*c*(a*c*d)^2*b^-1*a*b*\
(a*b^-1)^2*a^-1*d*(b^-1*(a*b)^2*a)^2*b^-1*a*b^-1*c*d*(b*a)^2*b^-1*a*b^-1*a^-1*\
d*b^-1*(a*b)^2*a*b^-1*a*b*a^-1*b*a*d*b^-1*a*b^-1*a^-1*b^-1*d*a^-1*b^-1*a^-1*b*\
(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*a^-1*b*a*d*b*a^-1,
(b^-1*a^-1)^2*b^-1*(a*b)^2*a*b^-1*(a*b)^2*d*a*b^-1*a^-1*b^-1*a*b*a^-1*b*d*a^\
-1*b*a^-1*b^-1*a^-1*d*b*a*b^-1*(a*b)^2*a*b^-1*a*d*b*a^-1*b*a*b^-1*d*a*b^-1*a^-\
1*(b^-1*(a*b)^2*a)^2*b^-1*a*b*a^-1*b*d*b^-1*a*b*a^-1*(b^-1*a*b*a)^2*b*(a*b^-1)\
^2*a*c*a^2*c*((a^-1*b^-1)^2*a^-1*b)^2*a*b*a^-1*d*b*a^-1*b^-1*d*a*b^-1*a*b*a^-1
,
c*(a*b)^2*a^-1*d*(b^-1*a^-1)^2*b*(a^-1*b^-1)^2*a^-1*(b*a)^2*b*d*a^-1*b^-1*a*\
b*a^-1*d*a^-1*c*b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*(b*a)^2*b*a^-1*b^-1*a*b^-1*((a\
^-1*b^-1)^2*a^-1*b)^2*a*b*a^-1*d*b*a*d*b*a^-1*d*b*a*b^-1*d*a*b^-1*a^-1*(b^-1*(\
a*b)^2*a)^2*b^-1*a*b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*b*a*b*a^-1*d*b*(a^-1*b^-1)^\
2,
d*a*b*(a^-1*b^-1)^3*(a*b)^2*a*b^-1*((a*b)^2*a*b^-1*d)^2*a*b^-1*a^-1*(b^-1*(a\
*b)^2*a)^2*b^-1*a*b*(a^-1*b*(a^-1*b^-1)^2)^2*a^-1*b*d*a*b*a^-1*(b*a^-1*b^-1*a)\
^2*(b*(a^-1*b^-1)^2*a^-1)^2*(b*a)^2*b*d*a*b^-1*(a^-1*b)^2*d*a*b*(a^-1*b^-1)^2*\
a^-1*(b^-1*(a*b)^2*a)^2*b^-1*a^2*c*a^-1*b^-1*d*a*c*d*b,
c*(a*b^-1)^2*a^-1*d*b*(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*d*b*a^-1*b^-1*a^-1*b*c*(\
a^-1*b*a*b^-1)^2*a*b^-1*a^-1*d*(b^-1*(a*b)^2*a)^2*(b^-1*a)^2*c*b*(a*b^-1)^2*a^\
-1*d*(b^-1*(a*b)^2*a)^3*b^-1*a*b^-1*a^-1*d*b^-1*(a*b)^2*a*b^-1*a*(b*a^-1)^2*b^\
-1*(a^-1*b)^2*c*d*(b^-1*a)^2*b*a^-1*d*(b^-1*a^-1)^2*(b^-1*(a*b)^2*a)^2*b^-1*a*\
d ],
[ [ b, a*b*a ], [ a, c, d, c^(b^-1), b^(a^-1*b^-1) ] ]];
end,
[ 128, 14 ]],
"PG344064.2",0,1,2,[ 128, 14 ]],
# 344064.3
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, a^-1*c^-2*a^2*c^-2*a^-1, c^-1*a^-1*c*a*c*a^-1*c^-1*a,
c^2*(b*c^-2)^2*b, b*c^-1*b^-1*c^2*b*c*b^-1*c^-2,
a^-1*b^-1*c^2*b*a*b^-1*c^-2*b, b^-1*a^-1*c^-2*a*b*a^-1*c^-2*a,
((c^-1*b)^2*c*b)^2, (c^-1*b)^6,
b^-1*c*a*b^-1*a^-2*c^-1*a^-2*c*b*a*c^-1*b*a^-2,
(a^-1*b*a^-1*b^-1)^2*a*b*a*b^-1*a^-1*b*a*b^-1,
a^-1*c*(b*c^-1)^2*b*a*c^-1*a*(b*c^-1)^2*b*c*a^-1*c,
b^-1*c*a^2*b^-1*a^-1*c*a*c^2*b*c^-1*b*(a^-1*c^-1)^2*c^-1,
c^-2*a^-1*(c^-1*b)^2*c^-1*a^-1*c^2*a*(c*b^-1)^2*c*a,
c*a*b*a^-1*(c^-1*b)^3*(a^-1*b^-1)^2*c*b^-1*c*a^-2*b^-1,
a*(c^-1*b)^2*a*b*a^2*b^-1*a*c*b*a^-1*b^-1*c^-1*(b^-1*c)^2,
a^-1*(b^-1*c)^2*b^-1*c^-1*a*b*a*c*b*a^2*(c^-1*b)^2*a*b^-1,
(b*a)^2*a*b^-1*a*c^-1*b^-1*c^-1*b*a*b*a^-2*b^-1*a*c*b^-1*c,
b*a^-1*(a^-1*b^-1)^2*c*a*b*a^-2*b^-1*a*c^-1*b*c^-1*a^-2*c*a,
a^-1*c*a*b^-1*c^2*a*c^-1*a*b^-1*c^-1*a^-1*c^-2*b^-1*a^-1*c*a*b*a^-1*b^-1,
b*a^-2*b^-1*a^-1*(c^-1*b)^2*c^-1*b^-1*a^-1*(b^-1*c)^3*a*b^-1*a^-1,
a*c*b*a^-1*b^-1*c^-1*b^-1*c*b^-1*c^-1*a*b^-1*a^-1*(b*c^-1)^2*b*c*a^-1*c*a,
c^-1*b^-1*c^-1*a^-1*(b*c^-1)^2*b*a*b*c*b^-1*a^-1*(b^-1*c)^2*b^-1*a*c*b,
b^-1*(c^-1*b)^2*a*b*a^-2*b^-1*a*c^-1*a*(b^-1*c)^3*a*b^-1*a^-2,
a^-1*c*(b*c^-1)^2*b*a*b*a^-2*b*(c*b^-1)^2*c*a*c^-1*a^-2*c^-1*a^-1,
(c^-1*b)^3*a^-1*b*a^-2*b*c*a*b*a^-1*(a^-1*b^-1)^2*c*b^-1*c*a,
(c^-2*b^-1*a^-1*(b^-1*c)^3*a*b)^2,
a*c*a^2*c^-1*(a^-1*c)^2*a*b*a^-1*c^-1*a^-2*b*a^-1*c^-2*(a^-1*b^-1)^2*c,
a^2*c^-1*b^-1*a^-1*(b^-1*c)^3*a*b*a^-1*c*a^-2*c^-1*a*(b*c^-1)^2*b,
b^-1*(c^-1*b)^2*a*b*a^2*b*c^2*b*c*a*b*c^-1*b*a*b*a^-2*b^-1*c^-1*a*c^-1,
c^-1*b*a^-1*(b^-1*c)^3*a^-1*b^-1*a^2*c^-1*b*a^-1*(c^-1*b)^2*c*b*a^-1*b^-1*a^\
-2,
a^2*(b^-1*c)^2*b^-1*c^-1*a*b*a^2*(b^-1*c)^2*a^-1*(b*c^-1)^2*b*a*c*b*c*a^-1*c
,
b^-1*c^-2*a^-1*c^-1*a*b^-1*c*a^-1*c*a^2*(b^-1*c)^3*a*b*a^-2*c^-1*b*a*b*a^-2*\
b^-1*a*c^-1,
b*a*c*b*c*a^-1*(b*c^-1)^2*(b*a)^2*a*b^-1*a^-2*c*b^-1*c^-1*a*(c^2*a^-1)^2*(b*\
c^-1)^2,
a*c*b^-1*a^2*b^-1*(c^-1*b)^2*a*b*(a^-2*b^-1)^2*a^-1*c^2*a^-1*b^-1*a*(c^-1*b)\
^3*a*b^-1,
a*b*a^-1*c^-1*(a^-1*c^-1*b)^2*(c^-1*b)^2*a^-1*b^-1*c^-1*b^-1*a^-1*c*a*c*b*a*\
b*a^-2*b^-1*a^-1*(c^-1*b)^2*a,
a^-1*(b^-1*a)^4*(b^-1*c)^3*a*b*a^-2*b^-1*a*b^-1*(a^-1*(c^-1*b)^2*c^-1)^2,
b^-1*a^-1*b*a^-2*b^-1*a*b*a^-1*c*a*c^-1*(c^-1*a)^2*c^-1*(b^-1*c)^2*a^-1*(b^-\
1*c)^3*a*b^-1*a*c^-1*a^-2*c*a,
a*b^-1*a^-1*(b^-1*c)^2*b^-1*a*(c*a^-1)^2*c^-1*(b^-1*c)^2*b*c^-1*b^-1*c^-1*a^\
2*c^-1*(b^-1*c)^2*b^-1*a*b*a^-1*c^2*a^-1*b^-1,
a*b*a^-2*(c^-1*b)^2*a*b*(a^-2*b*c^-1)^2*b*c^-1*b*c*a^-1*b*a^-2*b^-1*a^-1*c^-\
1*b*a*b*a^-2*b^-1*c^-1*a,
b^-1*c^-1*a^-1*c^-1*b*a^-1*(a^-1*b^-1)^2*c*b^-1*c^-1*(c^-1*a^-1)^2*c^-1*(b*a\
^-2)^2*b*c*a*b*c^2*a*(b*c^-1)^2*b*a*b^-1*a^-1,
b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*b*a*c^-1*b*a^2*(c^-1*b)^2*\
a*(c*b^-1)^2*c*a*b^-1*a,
a*c^-1*a^-1*c^-1*a*(b*c^-1)^2*b*a^2*c^-1*b^-1*c^-1*a^-1*b*a^-2*b^-1*a^-1*c*a\
^-1*c^-1*a*(b^-1*c)^2*c*a^-1*c^-1*b*a^-1*(a^-1*b^-1)^2*c^-1*b*c^2*a*c^-1,
a^-1*c^-2*(a^-1*b^-1)^2*(c*b^-1)^2*a*c*a^-1*(b*c^-1)^3*(c^-1*a^-1)^2*a^-1*b^\
-1*a*b^-1*a^-1*(b^-1*c)^3*a^-1*(c*b^-1)^2*c*a*b*a^2*b,
a*b*c*a*b*c^-1*(b*a)^2*a*b^-1*a*c^-1*b*c*a^-1*c^-1*(b^-1*c)^2*b^-1*a*(c*a^-1\
)^2*(b*c^-1)^2*b*a*(b^-1*a^-1)^2*(c^-1*b)^3*a*b,
c^2*a^-1*c*(a*b)^2*a^-2*b^-1*a^2*c^-1*a^-2*(c^-1*b)^2*c*b*a*b^-1*a^-1*c*a^-2\
*b^-1*a^-1*(c^-1*b)^3*a*b*a*b^-1*a^-2*b^-1*a*c^-1*a^-1*b^-1,
c*b*c*(b^-1*c^-1)^2*a*b*a^2*b^-1*(c*a^-1)^2*c^-1*a^-2*b*a^-1*(a^-1*b^-1)^2*c\
*b^-1*a*c^-1*a^-1*b*a^-1*b^-1*c*b^-1*c^-1*a^-2*c*b*c^-1*(b*a)^2*c*a*b,
(c^-1*b)^2*a^2*(b*a^-1)^2*(a^-1*b^-1)^2*c*a*b*a*c^-2*a*b^-1*c*a^-1*b*c^-1*b*\
c*b*a*b^-1*c^-1*b^-1*c*b^-1*a^-1*c*a^-2*b*a^-1*b^-1*c^-1*(b^-1*c)^2*a^-1,
a*(b^-1*c)^3*a*b*a^-2*b^-1*(a*b)^2*a*b^-1*a*c^-1*a^-2*c*b*a^-2*b^-1*a^-1*c^-\
1*(b*c)^2*b^-1*c^-1*b^-1*c*a^-2*b^-1*c^-1*a^-1*b*a*(b*a^-1)^2*b,
(c^-1*b)^2*(a*b*c)^2*c*b^-1*a*c^-1*(b*a)^2*a*b^-1*c*a*c*b^-1*c^-2*a^-1*(b^-1\
*c)^2*a^-2*b^-1*a^-1*c*(b*c^-1)^3*a*c*a*b^-1*c^-1*a^-1*b,
a*c*a^-2*c^-1*(a^-1*(b*c^-1)^2*b*a*b*a^-2*b^-1)^2*a^-2*c^-1*a^-2*b*a^-2*b^-1\
*c*a^-2*c^-1*a*c^-1*b*c^2*a^-1*c*a*b^-1*c,
c^-1*b*a*b*a^-2*b*a^-1*(b^-1*c)^3*(a*b)^2*a^-1*c^-1*a*(b*c^-1)^2*b*a*b*a^-2*\
b^-1*a^-2*c*a^-1*c^-1*b*(c^-1*a^-2)^2*c^-1*a^-1*b*a^-2*b^-1*a^-1,
b*a*(b*c^-1)^2*(b*a)^2*c^-2*a*b^-1*c^-2*b^-1*a^-1*(b^-1*c)^3*a*c^-1*b*c*b*a^\
-1*(a^-1*b^-1)^2*(c*b^-1)^2*c^-2*a*b*c^-1*b*a*b*a^-2*b^-1*a^-1,
c*a*c^-2*(b*a^-1)^2*a^-1*b^-1*c^-1*a^2*c*a*c^-1*b*c^-1*a^-1*c*a*b^-1*c*b*c*a\
*c*(b*c^-1)^2*b*a*b*a^-2*b^-1*c*a*c*a^-1*b^-1*c*(a^-1*c^-1)^2*c^-1*b^-1*c*a,
a^-1*c*a*c^-2*(b*a^-1)^2*(c^-1*b)^2*c*b*a^-1*b^-1*a^-2*c^-2*a^-2*(b^-1*c)^3*\
a^-1*b^-1*c^-1*b*a^-2*(c^-1*b)^2*a^2*b*a^-1*(b^-1*c)^2*b^-1*a*c^-2*b^-1,
c*a^-2*b^-1*c^-1*a^-2*c^-1*b^-1*a*c*a^-1*(b^-1*c)^2*b*c*b*c^-1*a^-2*c*a^-2*b\
*c^-1*b*a^-1*(a^-1*b^-1)^2*(c*b^-1)^2*c*a^-1*c^-1*b*a*c*a^-2*c*(b*c^-1)^2*b*a*\
b^-1*c*b*c,
a*b^-1*c*a^-1*b*a^2*b^-1*a^-1*b^-1*c*b^-1*(a^-1*c^-1*a^-1)^4*(b^-1*c)^3*a*(b\
^-1*a^-1)^2*(b^-1*c)^3*(a*b)^2*a^-1*(b*c^-1)^2*b*a*b*a^-2*b^-1,
a*(b*c^-1)^2*(b*a)^2*a*b^-1*c^2*a^-1*(b^-1*c)^2*b^-1*a*c^-1*b*c^-1*a^-2*c*a^\
-1*c^-1*a^-1*(b^-1*c)^3*a*c*a^-2*(c^-1*a^-1*c^-1)^3*c^-1*b^-1*a^-1*b^-1*c^-1*b\
^-1*c*b^-1*a*c^-1,
c*a*c*b^-1*c^-1*a^-1*c*(b*c^-1)^2*(b*a)^2*a*b^-1*c^-1*a*c^-1*a^-1*b*a*b^-1*a\
^-1*c*a^-1*c^-1*(b^-1*a^-2)^2*b^-1*c^-1*a^-1*b^-1*a*b^-1*c^-1*a^-2*c*a^-1*c^-1\
*a^-2*c*b^-1*a*b^-1*a^-1*b*a^-1*c*a^-2*c^-1*a*b*a*b^-1*a,
a^-1*b^-1*a^-1*(c^-1*b)^2*a*b*a^-2*b^-1*a*b*a*(c^-1*b)^3*a*b^-1*c^-1*a^-1*b^\
-1*a^-2*b*a^-1*(a^-1*b^-1)^2*c^-1*a*b*a^-2*b^-1*c^2*b^-1*a^-1*c*a*c^-2*a*(c^-1\
*b)^2*c^-2*(b^-1*c)^2*a^-2*b^-1*c*(b*c^-1)^2*b*a*b^-1,
a*c*b*a^2*c^-1*b*c*b*a^-1*b^-1*c^-1*a^-1*c^-1*b^-1*c^-1*b*a^-1*b^-1*c^-1*b^-\
1*c*a^-2*b^-1*a^-1*(c^-1*b)^3*a*c*a^-1*b*a^-2*b^-1*a^-1*c^-1*(b*c)^2*a^-1*b^-1\
*c^-1*b^-1*c*b^-1*a*(c*a^-2)^2*c^-1*a^-1*(c^-1*b)^2*c*b*a*c^-2*b^-1*c*a^-1*b*a\
^-1*(a^-1*b^-1)^2*c*b^-1*a^-1*c^-1*a*b*a^-1*(b^-1*c)^3*a*c^-2*b^-1*a^-1*b^-1*c\
^-1*b^-1*c*b^-1*a*b*a^-1*b^-1*c^-1*(b^-1*c)^2*a*b^-1*c*b^-1*a^-2*c^-1*b*c^-1*b\
^-1 ],
[ [ b, c^-2, a*b*a, (a^-2)^(b^-1*c^-1), a^2*b*c*a^-2*c^-1,
(b^-1*a^2*b^-1)^(a^-2), a^2*c*a*b*a^-1*c^-1, a^2*c*a^-1*b^-1*a*c^-1,
b^(b^(a^-1)), a*b^-1*c*a^2*c^-1*a, b^(a^-1*c^-1*a^-1),
((c*b)^2*c^-1*a^-1)^(a^-1), a^-1*c*b*a*c^-1*b*c^-1 ],
[ a^-2, c^-2, c^(a^-1), (a^-2)^(b^-1), (a^-2)^b, (a^-2)^(c^-1),
(a^-2)^(b^-1*a^-1), (a^-2)^(b*a^-1), b^(a^-1*b^-1), (a^-2)^(c^-1*b^-1),
(b*c)^2*b, b*c^2*b^-1*c^-1, b*c*b^-1*a*b*c*b^-1*a^-1,
b^-1*a*b*a*b^-1*a^-1*b*a^-1, (c*a*b*c*b^-1*a^-1)^b,
(c^-2)^((b^-1*a^-1)^2), c^(b*a^-1*b^-1*a^-1) ] ]];
end,
[ 128, 112 ]],
"PG344064.3",0,1,2,[ 128, 112 ]],
# 344064.4
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, c^-1*b*c^2*b^-1*c^-1, a^-1*c^2*a^2*c^-2*a^-1,
(c*b*c^-1*b^-1)^2, a*c^-1*a^-1*c*a*c*a^-1*c^-1, b*a^-2*c^-1*b*c*b*a^-2,
a*c*a*b^-1*a^2*b*a^-1*c^-1*a, a^-1*c^-1*b^-1*c*b*a*c^-1*b^-1*c*b,
(a*c^-2*a^-1*c^-2)^2,
b*c*a*b*c*b^-1*(a^-1*c^-1)^2*a^-1*b^-1*a^-1*c*b*c^-1*b^-1*a^-1,
a*b*c^-1*(b^-1*a^-1)^2*b^-1*a*(a*b)^2*c*a^-1*b*c*b^-1*a^-1*b*c^-1*b^-1,
c^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*c^-1*a^2*c^-1*b*a*b^-1*c\
^-1,
b*a*b*c^-1*b^-1*a^-1*b^-1*a^2*c*(a^-2*c^-1)^2*a^-2*b*a*b*c*b^-1*a^-1*b^-1*c,
b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*b^-1*a^-1*b^-1*a*c*a^-2*c,
c^-1*a*b*a^-1*c*a^-2*c^-1*a*b*a^-1*c^-2*a*b*c^-1*a*c^-1*b*a^-1*c^2*a*b^-1*c^\
-1*a^-1*c^-1*a*c^-1,
a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b*c*a^-2*c^-1*b^-1*a^-2*b*a*b*c^-1*b^-1*a^\
-1*b^-1*a*c^-1*(b^-1*c)^2*b^-1,
a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*b*c*a^2*c^-1*b^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)\
^2*a^-1*c^-1*(a^-1*c)^2*a^-1*c^-1,
c^-1*a^-1*b^-1*(c^-1*a^-1)^2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*c*a^-1*c^-1*a^-\
1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*b*a*c^-1,
b*a*c*a^2*(c^-1*a^-1)^2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*b*a*b*c^-1*b^-1*a^-1\
*b^-1*a*c*a^-2*b^-1*a^-2*c,
a^-1*c^-1*b*a*c^-1*a*c*a^-2*b*a*b*c*b^-1*a^-1*b*a^-2*b*c*b*a*b*c^-1*(b^-1*a^\
-1)^2*a^-1*c^-1*a^-1*c*a^-1*b^-1*a^-1,
b*c^-1*b^-1*a*c*a*(a*b)^2*c*(b^-1*a^-1)^2*c^-1*a^-2*b*c*b^-1*a^-2*c*(a*b)^2*\
c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1,
b*c^-1*b^-1*a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b*c*b^-1*a^-1*c*(a*\
b)^2*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c*a^-1,
a*b*a*c^-2*a^-1*b^-1*c^-1*a*c^-1*a^-2*b^-1*(c^-1*a)^2*c*a^-2*b*a*b*c*(b^-1*a\
^-1)^2*c^-1*a^2*b*c^-1*b^-1*c*a^-1*c^-1*b,
a^-1*b^-1*(a^-1*b)^2*(a^-1*b^-1)^3*a*b^-1*(a*b)^2*a*c^-1*b^-1*a^-1*b*c*a^-2*\
b*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1,
a*b^-1*a^2*c*b^-1*a*b*c^-1*b^-1*a*c^-1*b^-1*a^-1*c*a^-1*c^-1*a^-1*b*a*c^-2*a\
^-1*b^-1*c^-1*(a*b)^2*c^-1*(b^-1*a^-1)^2*(a^-1*c^-1)^2*c^-1,
a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*b*a^-1*c*a^-2*c^-1*a*b*a^-1*c^-2*a*c^-1\
*a^-2*b*a*c^-1*a*c*a^-2*b*a*b*c*b^-1*a^-1*b^-1,
a^-1*b*a^-1*c^-1*b*c^-1*a*c^-2*(b*a)^3*b^-1*c^-1*b^-1*a^-1*c*(a*b)^2*c^-1*b^\
-1*a^-1*b^-1*a^2*(c^-1*a^-1)^2*b^-1*a^-1*c*(a*b)^2*c^-1,
a^-2*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*c*a*c^-1*b*a*b*c^-1*(b^-1*a^-1)^3*a^-1*\
c*a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*c^-1*a^-1*c^-1*a*b,
a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*(c*a^-1)^3*b*a*b*c*b^-1*a^-1*b^-1*c*a^\
-1*c^-1*a^2*c^-1*b*a*c^-2*a^-1*b^-1*c^-1*a^-1*c^-1,
b^-1*c*a*c*b*c^-1*b^-1*a*c*a*(a*b)^2*c*b^-1*a^-1*b^-1*c*a*c^-1*a^-2*b*c^-1*b\
^-1*a^-1*b^-1*a*c*a^-2*b^-1*a^-2*c*b*a^-1*c*b^-1*a*c*a,
a*c^-1*a*c*a^-2*b*a*b*c*b^-1*a^-2*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*b*a\
*c^2*a*c*b*a*b*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c*a^-1*b,
a^-1*b*a*b*c*b^-1*a^-1*b^-1*c*a^-1*c^-1*a^-1*c*b^-1*a^-1*c*(a*b)^2*c^-1*b^-1\
*a^-1*b^-1*a*b^-1*c*(b*a^-1)^2*c^-1*(a*b)^2*c*b^-1*a^-1*(b*c^-1)^2*a^-1*c,
(b^-1*c^-1)^2*b^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*\
a^-1*c^-1*a^-1*c*a^-1*b*c*a^-2*b*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*\
b^-1*a^-2,
(b*a^-1)^2*(b*a)^2*c*b*c^-1*(a*b)^2*(c*a)^2*a*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^\
-1*c*a^-1*c^-1*a^-1*b*a^-1*c*a^-1*b*a*b*c^-1*b^-1*a^-1*b^-1*a*c*a^-1*b^-1*a^-1
,
a^-1*b^-1*a^-1*b*a*(c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1)^2*a*b^-1*a*c*b\
*c^-1*a^-1*b*a^-2*b^-1*c*b*a^-2*c*b^-1,
(c^-1*a^-1)^2*b*a*b*c*b^-1*a^-1*b^-1*c^-1*a*c*a*b^-1*(c^-1*a^-1)^2*b*a*b*c*(\
b^-1*a^-1)^2*c^-1*b*a^-1*c*a^-1*b*a*b*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*b*c*b^\
-1*c*a^-1*c*b^-1*c*a*b,
b^-1*a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b^-1*a^-1*c*(a*b)^2*c^-1*(\
b^-1*a^-1)^2*a^-1*b^-1*c^-1*a^-1*c*b*a^-1*c^-1*a^-1*b*a*b*c*(b^-1*a^-1)^2*a^-1\
*c*a*c*b*c*(b^-1*a)^2*c^-1,
a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c*a^-1*b^-1*a^-1*c^2*a*b^-1\
*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*(a^-2*c^-1*a^-1*c)^2*a^-1*c^-1*a^-1*b*a*b*\
c*(b^-1*a^-1)^2*c^-1*a*b*c*b,
a*c^-1*a*c*a^-2*b*a*b*c^-1*b^-1*c*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b^-1\
*a^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*b^-1*a^-2*b^-1*a^-1*c*(a*b)^2*c^-\
1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b^-1,
b^-1*a*b*c^-1*b^-1*a^-1*c^-1*a^-1*b*a*b*c*(b^-1*a^-1)^2*b*c*b^-1*(a*c)^2*b^-\
1*a*b*(a*c^-1)^2*a*(a*b)^2*c*(b^-1*a^-1)^2*c^-1*(a*b^-1)^2*a^-2*b^-1*a*b*c^-1*\
(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b^-1*c,
a^-1*b*a^-1*(b^-1*a^-1*b^-1*c^-1)^2*b^-1*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*\
a^2*c^-1*a^-1*c^-1*b*c^-1*b^-1*(a^-1*b)^2*(a*b^-1)^2*c*b^-1*a*c*b*a^-1*c*(a*b)\
^2*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*b*c*b^-1*c*a^-1*b,
a^-1*c^-1*b*a^-1*c*a*b*a*(b*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c^-1)^2*a^-2*c\
^-1*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*b*a^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*c\
^-1*a*b^-1*a*c^-1*a^-2*b*c*b^-1,
b*a*c^2*(a^-1*b^-1)^2*c*a*c^-1*b*c*(b^-1*a^-1)^2*c^-2*a*b^-1*(c*a^-1)^2*b^-1\
*a^-2*c*a^-1*c^-1*a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*c*a*c^-1*a*c*a^-2*b*a*b\
*c*(b^-1*a^-1)^2*c^-1*a*b*(c^-1*a^-1)^2*c^-2*a^-1,
a^-1*(b^-1*a^-1*c^-1)^2*a^-1*b*(c*a)^2*a*c^-1*a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-\
1*a*b^-1*a*c*b*c^-1*(b^-1*a)^2*a*c*b^-1*(a*b)^2*c^-1*(b^-1*a^-1)^2*(a^-1*c)^2*\
c*a^-1*b*a^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c,
b^-1*a^-1*b*c^-1*b^-1*a*b*a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-1*c*\
a^-1*b^-1*c*b*a^-1*b*c^-1*a^-1*(a^-1*c^-1)^2*a^-1*b*a*b*c*b^-1*a^-1*c*a^-1*b^-\
1*c*(b*a)^2*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b*c^-1*b*a*c^2*a^-1*b^-\
1*c,
c*a*c^-1*b*a*b*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c*a^-1*b^-1*a^-2*c*a^-1*c^-\
1*a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*c^2*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a\
^-1*c*a^-1*b*(c^-1*a)^2*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b^-1*a*b*c*a,
a*c^-1*a*b*a*c^2*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*c*a*c^-1*a*c*b*a^-1*c*b^-1*c*\
(a^-1*c*a*b)^2*a*b*c^-1*b^-1*a^-1*b^-1*(a*c^-1)^2*a^-1*b*c*b^-1*a^-1*b*c^-1*b*\
a*c^-1*a*c*a^-2*b*a*b*c*b^-1*a^-1*b^-1*c*a^-1*c^-1*a^-1*b*a^-1*b^-1*a*c^-1*b^-\
1,
a^-1*b*a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a^-2*b*c^-1*a*b^-1*a^-1*c*\
(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*c*a*c^-1*b*(a^-1*c)^2*b*a*b*c^-1*b^-1*a^-1*b^-1*\
a^2*c^-1*(a^-1*c)^2*b^-1*a*c*b^-1*a^-1*(a^-1*b^-1)^2*a^-1*b*a^-1*b^-1*a*b*a*c*\
b*a^-1*c,
a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*a\
*c^2*a^-1*(c*b^-1)^2*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*(a^-2*c^-1*a^-1*c)^2*a\
^-1*c^-1*a^-1*b*a*b^-1*c^-1*b*c^-1*(a*b)^2*a^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a\
^-1*c^-1*a^-1*c*a^-1*b^-1*a^-2*c^-1,
c*a^-1*b*c*b*a*b*c*b^-1*a*b*c*(a^-1*c*a^-1*b)^2*a*b*c^-1*(b^-1*a^-1)^2*a^-1*\
c^-1*a^-1*b*c*b^-1*c^-1*a^-1*c*b*c*b^-1*a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b*a^-\
2*b^-1*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*c^-1*b^-1*a^-1*c*(a*b)^2*c\
^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-2,
a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*c*a*c^-1*b^-1*a^2*b^-1*a^-1*c^-1*a^-1*b\
*a*b*c*b^-1*a^-1*b^-1*c^-1*a^-1*c^-1*a*b*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*\
c*a*c^-1*b*a^-1*c*a^-1*b*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b^-1*a^-\
2*c*a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*c^-1*a^-1*c*a^-2*c*a*b,
a*b*a*c^-1*a*c*a^-2*b*a*b*c*b^-1*a^-1*b^-1*a*c^-1*a*b^-1*c*a^-1*c^-1*a^-1*b*\
a*b*c*(b^-1*a^-1)^2*a^-1*c*a^-1*c^-1*a^-1*b^-1*c*a*b*c*(c*a^-1)^2*b*a*b*c^-1*(\
b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b^-1*(a^-1*c)^2*a^-1*c^-1*a^-1*b*a*b*c*(b^-\
1*a^-1)^2*c^-1*a^-2*c^-1*b^-1*a*c^2*a*b^-1*c^-1*a*c^-1,
a*b^-1*c*b^-1*(a^-1*c*a^-1*b)^2*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*b*a*c^2*a*c\
*b^-1*a^-2*b^-1*a*b*c^-1*b^-1*a^-1*b^-1*a*c*a*c^-1*b*a*b*c^-1*b^-1*a^-1*b^-1*a\
*c*a^-2*c*a^-1*c^-2*a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b*a^-2*c*a^-1*c^-1*a^-1*\
b*a*b*c*b^-1*a^-1*b^-1*c*(a^-1*c^-1)^2*b^-1,
c^-1*b*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*a^-1*c^-1*b*c^-1*b^-1*(a^\
-1*b)^2*c^-1*a*b*c^-1*b^-1*a^-1*b*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a^2*c^-1*\
a^-1*b*c*b^-1*c*a*b*a^-1*c*a^-1*b*a*b*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*(a^-1*c*a^-\
1)^2*(c*a^-1)^2*b*a*b*c*b^-1*a^-1*c^-1*b^-1*c*a*b*a^-1*b*c^-1*b^-1*a,
a^-2*c*a^-1*b^-1*a*c*a^-1*c^2*a^-1*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b^-1*a*b*c*b\
^-1*a^-1*b*c*a*b*a*b^-1*a*c^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*b^-1*a^-2*b\
*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*(a^-1*c)^2\
*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b,
b^-1*a^-1*c*a^-2*c*b*a^-2*c*a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*(c*a^-1*c^\
-1*a^-1)^2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b^-1*c*a*b*c^-1*a^-2*c^-1*b^-1*a^-2*c*\
(b*a^-1)^2*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c^2*a^-1*c^-1*(b^-1*a^-\
2*c)^2*a^-1*c^-1*a^-1*b*a*b*c*b^-1*a^-1*b^-1*c^-1*(c^-1*a^-1)^2*a^-1*b*c^-1*(b\
^-1*a^-1)^2*a^-1*c^-1*a^-1*c*a^-1*b*c*b*a,
c^-1*a^-1*b^-1*c*a*(c^-1*b^-1)^3*a^-1*b*a*b*c*a^-2*c*b^-1*a^-1*c*(c*a^-1)^2*\
b*a*b*c*b^-1*a^-1*b^-1*c*a^-1*c^-1*a^-1*c*b^-1*a^-1*c^-1*b*a^-1*c*(a*b)^2*c^-1\
*b^-1*a^-1*b^-1*a*c*a^-2*b^-1*a^-2*b*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*(a*c)^2*b^-\
1*a*c^-1*a^-1*c*a^-1*b*a*b*c*b^-1*a^-1*b^-1*c^-1*a^-1*c^-1*a*b^-1*c*a*c^-1*b*c\
*b^-1*a*c*a^-2*b*a*b*c*(b^-1*a^-1)^2*c^-1*a*b*c^-1*b*a,
b*a^-1*c^-1*b^-1*a^-1*c*b*c^-1*a^-1*c*(a*b)^2*c^-1*b^-1*a^-1*b^-1*a*(a*c)^2*\
c*a^-1*c^-1*b^-1*(a*b)^2*a*c^-1*b*a*c^2*a^-1*b^-1*c*a^-1*c^-1*b*c*a*b*c*b*a^-1\
*b^-1*a^-2*c^-1*b^-1*c*a^-1*b*c*(b^-1*a^-1)^2*c^-1*a*b*a^-1*c*(a*b)^2*c^-1*b^-\
1*a^-1*b^-1*a*c*a*c^-1*a^-2*b^-1*c^-1*a^-1*c*b^-1*(a^-1*c*(a*b)^2*c^-1*(b^-1*a\
^-1)^2*a^-1*c^-1*a^-1*c*a^-1)^2*c*b*a^-1*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-\
1*(a^-1*c)^2*a*c*(a*b)^2*c^-1*(b^-1*a^-1)^2*a^-1*c^-1*a^-1*c*(a^-1*b^-1*a^-1)^\
2 ],
[ [ b, c^-2, a*b*a, (c^-2)^(a^-1), ((b*a^-1)^2*b^-1*a^-1)^(c^-1),
(c*a*b*a*b^-1*a*c^-1*b)^(a^-1), (c*a*b*a^-1*b^-1*a*c^-1*b)^(a^-1),
a*(c*a*b)^2*a^-1*c^-1 ],
[ a*c*a, a*c^-1*a, c*b^-1*c^-1*b, c^2*a^-2, c^-1*a^2*c^-1,
(a^-1*c^2*a^-1)^(b^-1), (c*a*c^-1*a^-1)^(b^-1), (a^-1*c^2*a^-1)^b,
(c*a*c*a^-1)^b, b^(a^-1*b*a^-1) ] ]];
end,
[ 128, 224 ]],
"PG344064.4",0,1,2,[ 128, 224 ]],
# 344064.5
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, b^3, a^4, (c*d)^2, (d*a^-2)^2, (d*b)^3,
c*a^-2*c*b^-1*a^-2*b, (d*a^-1)^2*(d*a)^2, (c*a^-1*d*a)^2,
c*a^-1*b*a*c*a*b^-1*a^-1, (c*b^-1*d*b)^2, b^-1*a*b*d*b^-1*a^-1*b*d,
(c*a^-1*c*a)^2, (c*b*d*b^-1)^2, a*b*a^-2*c*a^2*c*a^-2*b^-1*a,
b^-1*d*a^-1*d*a*b*a^-1*b^-1*d*b*a*d, (a^-1*b^-1*d*b*a*c)^2,
a*b*a^-2*b^-1*c*a^-2*b*a^-2*b^-1*c*a,
a*b*a^-1*(a^-1*b^-1)^2*a^-1*b*a^-2*b^-1*a*b, (c*b*c*b^-1*a*c*a^-1)^2,
b*a^-2*b^-1*c*a^-1*c*b*a^-2*b^-1*c*a*c, b*(c*b*a*b^-1*c*b*a^-1)^2,
a*b^-1*c*b*a*b^-1*c*b^-1*a*b^-1*c*b*a*b^-1*c,
a^-1*b^-1*c*b^-1*(a*c)^2*a^2*(c*b)^2*a*c,
c*b^-1*a^-1*b*a*c*b^-1*a*c*a^-1*c*b*a*b^-1*a^-1*b,
(b*a^-1)^2*a^-1*c*a^-2*b^-1*a*b*a*c*a^-1*b*c,
(b*a^-1*b^-1*a)^2*b*a*b^-1*a*b*a*b^-1*a^-1,
(a^-1*b*a^-1*b^-1)^2*a*b*a*b^-1*a^-1*b*a*b^-1,
b^-1*a^-1*b^-1*a*(b^-1*a^-1)^2*b*c*b*a^-1*b^-1*c*a*b^-1*a^-1,
d*a*b*a^-1*b*a*b*d*a^-1*d*a*b^-1*a^-1*b^-1*a*b^-1*a^-1,
b*a^-1*b^-1*c*b^-1*a^-1*c*(a*b^-1)^2*a*b*c*b^-1*c*a^-1,
c*a*c*b*c*b^-1*a^-1*b*a^-1*c*b*c*b^-1*a*b*c*b,
b^-1*c*b^-1*a*c*b*a^2*c*b*c*a^-1*c*a*b*a*b^-1*c,
(a*b^-1*c*b*d*a^-1*b^-1*c*b)^2, c*b^-1*c*a*(b*c*b^-1*c)^2*a^-1*b*c*b^-1*c*b,
a^2*c*b*a^-1*b^-1*c*b^-1*d*(c*b^-1)^2*c*b*a^-1*d*b^-1*d,
(b*a*b*a^-1)^2*b*a^-1*b*a*b^-1*(c*b)^2*c*a^-1,
(a^-1*b)^3*a^-1*(b^-1*c)^2*a*c*b*c*(a^-1*b)^2,
b*c*b^-1*c*a^-1*b*c*a^-1*(c*b^-1)^2*c*a^2*b^-1*a^-1*b^-1*c*a,
b^-1*a*b^-1*a^-1*b^-1*c*a^-1*c*a^2*b^-1*c*b*a*(b*a^-1)^2*b*c,
c*a*b*c*a^-1*d*b^-1*a^-1*c*d*a*b*a^2*c*a^-1*d*b^-1*a^-1*d,
(c*b)^2*a^2*c*b*c*a^2*b^-1*c*a^-2*b^-1*a^-2*c*b^-1,
a^-1*b^-1*a^-1*c*a*(a*b^-1)^2*a^-1*(b^-1*a)^2*b^-1*a^-1*(c*b)^2,
(b^-1*c)^2*b^-1*a^-1*c*a*b^-1*a*(c*b^-1)^3*c*a^-1*b*c,
(b*a)^2*(b*a^-1)^3*b*c*b*a^-1*c*a*c*b^-1*a^-1*b*c*a,
b^-1*a*b^-1*c*a*c*b*c*b^-1*a^-1*b*c*a*c*b*a*b^-1*c*a^-2*b*a^-1,
b*c*a^-1*c*a*b^-1*a*d*c*a*c*b*c*a^-2*b^-1*a^-1*b*a*c*a^-1*b^-1*d*a,
a*b^-1*(a*b)^2*a^-1*b^-1*(a*b)^2*a*b^-1*(a^-1*b)^2*a^-1*b^-1*a^-1*b*a*b,
b*a*(b*a^-1)^3*b*a*b*c*(b^-1*a^-1)^3*(b^-1*a)^2*b^-1*c*a^-2,
b*a^2*b*(a^-1*b^-1)^2*a*b^-1*a^-1*(a^-1*c)^2*b*(c*a)^2*b^-1*c*a^-1*b*c*(b*c*\
a^-1)^2*c*a*b^-1*a*c*b^-1*a*b*a^-1*b^-1*a^-2*b^-1*a*b*a^-2 ],
[ [ a, b, c ], [ b, d, a*b*a ] ]];
end,
[ 8, 128 ]],
"PG344064.5",0,1,2,[ 8, 128 ]],
# 344064.6
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^4, (c*b^-1*c*b)^2, (a^-1*c*a*c)^2,
a^-2*c*a^-1*b^-1*a^-2*b*a*c, b*a^-1*c*b^-1*c*b*a*c*b^-1*c,
b^-1*a^2*b*a^-1*c*a^-2*c*a, (a^-1*c*a*b*c*b^-1)^2,
b*a*c*b^-1*a^-2*c*b*a^-1*c*b^-1*a^-2*c,
(a^-1*b*a^-1*b^-1)^2*a*b*a*b^-1*a^-1*b*a*b^-1,
c*a*b*a^-2*b^-1*a*b^-1*c*(b*a^-1)^2*a^-1*(b*c)^2*a^-1,
(c*a^-1)^2*b*a^-1*(c*a^-1*b^-1)^2*a^-1*c*a^-1*b*a*b*a^-2*b^-1,
(a^-1*c*b*a^-1*(a^-1*b^-1)^2*a*c*a^-1*b)^2,
c*a^2*c*b*a*b*a^-2*b^-1*a*c*a*b*(c*a^-1)^2*c*(b^-1*a)^2*c*a,
a*c*b*a^-1*(a^-1*b^-1)^2*(c*a^-1)^2*c*b*c*a^-1*b*c*a*b^-1*a^-2*c*b*a*b^-1*a,
a^-2*b^-1*(a*b)^2*a*c*a^-1*b^-1*a^-1*b*a^-1*c*b*a^-2*b*c*b*a^-1*c*a^-2*b*a^-\
1*c*b, a*b*a*c*(a*b)^2*a^2*b^-1*c*a*c*b*a*c*a*b^-1*a*b*a*c*a^-1*b^-1*c*a*b*a*c
,
c*a*b^-1*a^-1*b^-1*a*c*b*a*c*a^-1*b^-1*a^-1*b*a^-1*b^-1*c*a*c*b*a^-1*(a^-1*b\
^-1)^2*c*a^-2*c*a, (a^-1*c*b*a^-1*(a^-1*b^-1)^2*a*c*a^-1*(b^-1*c)^2)^2,
c*b*a^-1*c*a^-1*b^-1*a*c*b^-1*a^-1*c*a^-1*b^-1*a^-1*c*b*c*a^-2*((c*a)^2*b^-1\
*a)^2,
b^-1*a^-1*c*b*a^2*(b^-1*a^-1)^2*c*a^-1*b^-1*a*b*(c*a^-1)^2*b^-1*a^-1*c*b*a^-\
1*c*a^-1*b^-1*a*b*c*b^-1*a,
a*b^-1*a^-1*c*b*a^-1*(a^-1*b^-1)^2*a*c*a^-1*b^-1*a^-1*b*a*c*a^-1*b^-1*a*b*a^\
-1*c*a*b^-1*c*b*a^-2*b^-1*a,
(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*c*a*b^-1*a^-1*c*b*a^-1*(a^-1*b^-1)^2*a^-1*c\
*b*a*b^-1,
c*a*b^-1*a^-1*c*b*a^2*b^-1*(a^-1*b^-1*a^-1*c)^2*a*b^-1*a*c*b*a^-1*(a^-1*b^-1\
)^2*a^-1*c*a^-1*b^-1*a,
c*b*a^-1*b*a*c*(a*b)^2*a^2*b^-1*c*a*b*a^-1*b^-1*c*b^-1*a^-1*c*a^-1*b^-1*a^-1\
*c*b*a^-1*c*a^-1*b^-1*a*b^-1,
a^-1*c*a*b*c*a^-2*c*b*a*b*a^-2*b^-1*c*a*b*(c*a^-1)^2*b^-1*c*a*b*a^-2*b^-1*c*\
a*c*b*c,
c*a^-1*b*a^-2*c*a*b^-1*c*b*a*b^-1*a^-1*b*(a^-2*c)^2*b^-1*a^-1*c*b*a^-1*(a^-1\
*b^-1)^2*a^-1*c*a^-1*b,
b^-1*a*b*(c*a)^2*c*b*a*c*a^-1*(b*a)^2*a*b^-1*c*a^-1*c*a*b^-1*a*c*b*a^-1*(a^-\
1*b^-1)^2*a*c*a^-1,
a^-1*b*c*a*b^-1*a^-1*c*b*a^2*b^-1*a^-1*b^-1*a*c*a^-1*b^-1*c*a^-1*b*a*b*a^-2*\
b^-1*c*a*b*a^-1*c*b*a^-2*b^-1,
b*c*a^-1*b*a*c*(a*b)^2*a^2*b^-1*c*a^-1*b*a*(b^-1*c*a^-1)^2*b*c*a*b^-1*a^-2*c\
*b*a*b^-1*a*b*a,
b*a^-2*b^-1*c*a*c*b*c*a^-1*b*c*b^-1*(a*b)^2*a^-2*(b^-1*c)^2*b^-1*a^-1*b^-1*c\
*a^-2*b*a*b^-1*a*c*b*a^-1*c,
c*b^-1*c*a*b*(c*a)^2*c*(b*a)^2*a*b^-1*c*a*b*a^-1*b^-1*a^-1*(c*b^-1)^2*a*c*a*\
b^-1*c*a^-1*b*a*c*a^-1*b*a^-2,
a*b^-1*a^-1*b*a*c*(a*b)^2*a^2*b^-1*c*a*b*a*c*b*c*a^-2*c*b^-1*c*a^-1*b*c*a*b^\
-1*a^-2*c*b*a*b^-1*a*b*a^-1*c,
b*c*a*(b^-1*a^-1)^2*c*a^-1*b^-1*a*(b*a^-2)^5*(b*a)^2*c*a^-1*b*a*b*a^-1*c*b^-\
1*a^-2,
a^-2*b*a^-2*b^-1*c*a^-1*b*a*b*a^-2*b^-1*(c*a^-1*b*a^-1)^2*b^-1*c*a*b^-1*a*c*\
b*a^-1*(a^-1*b^-1)^2*a*c*a^-1*b^-1*a^-1*b,
c*a^-1*(b*a)^2*a*b^-1*c*a*b*a*b^-1*a*(a*b*c)^2*a*b^-1*a^-1*c*b*a^-1*(a^-1*b^\
-1)^2*(c*a^-1)^2*b^-1*a*c*a*b*c*b^-1*a*b*a^-2*b^-1*c*a,
c*b^-1*a*b^-1*a^-1*b^-1*c*a^-1*b*a*c*(a*b)^2*a^2*b^-1*c*a*c*a^-1*b*a*b*a^-2*\
b^-1*c*a*b*c*a^-2*c*a*c*b^-1*c*a^-1*b*a*b*a^-2*b^-1*c*a*b*a*b^-1*a^-2*b,
c*a*b^-1*a*b*a*c*(a*b)^2*a^-2*b^-1*c*a*b*a^-1*c*b^-1*a^-1*b*c*a*c*b^-1*a*b*a\
*c*a^-1*b^-1*c*a*b*a*c*b^-1*a^-1*b^-1*c*a^2*c*a^-2*b*a^-1*(a^-1*b^-1)^2*a^-1*c\
*a^-1*b,
c*a^-1*b*a*c*(a*b)^2*c*a^-1*b^-1*a^-1*c*b*a*c*a^-1*b^-1*a^-1*b*(a^-1*c)^2*a^\
-1*b*a^-1*c*b*a*c*a^-1*b^-1*a*b*c*a^-1*c*a^2*c*(b^-1*a)^2*c*b*a^-1*(a^-1*b^-1)\
^2*a^-1*c*a^-1*(b^-1*a)^2,
b^-1*c*a*c*a^-2*b*c*b^-1*a*b^-1*a^-1*b*a*c*a*b^-1*c*a^-1*b*c*a*c*a^-1*b*a*b*\
c*a*b*a*c*a^-1*(b*a)^2*a*b^-1*(c*a)^3*b*a*b*a^-2*b^-1*c*a^-1*b*a^-1*c*a*b^-1*a\
*(b*a^-1)^2*a^-1*b^-1*c*a*b*a^-1,
a*c*(a*b^-1)^2*a^-1*c*b*a^-1*c*a^-1*b^-1*a*(b*c)^3*b*a^2*c*b*a^-1*(a^-1*b^-1\
)^2*a^-1*c*(a^-1*b^-1)^2*a^-2*c*b*c*a^-2*b^-1*a^-1*c*b*a^-1*(a^-1*b^-1)^2*a^-1\
*c*a^-1*(b^-1*a)^2*b*a^-1*b*a*c*a*b^-1*c*a*b*a*c*a*b*c*a*c*a^-2*c*b,
a^-1*b^-1*a*c*b*a*c*a^-1*b^-1*a^-1*b*a^-1*b^-1*c*b^-1*a*b*a^2*b^-1*c*a*b*a^-\
1*b^-1*a^2*b*a^-1*b^-1*a^-1*c*b*a^-1*(a^-1*b^-1)^2*a^-1*c*b*a*c*a^-1*(b*a)^2*a\
*b^-1*c*a*c*b*a^-1*b^-1*a^-1*b*a^-1*c*a*b^-1*c*b*a^-2*b^-1*a*b*(c*a)^2*c*b*a*b\
*a^-2*b^-1*c*a^-1*b*a^-1*c*a^-1*b ],
[ [ b, a*b*a, a^2*c*b^-1*c^-1 ],
[ a^-2, b, c, c^(a^-1), ((b*a)^2*b^-1*(a^-1*b)^2)^(a^-1) ] ]];
end,
[ 128, 56 ]],
"PG344064.6",0,1,2,[ 128, 56 ]],
# 344064.7
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^4, a^2*b*c*a^-2*c*b^-1, (c*b*c*b^-1)^2,
c*a^-1*b^-1*a*c*a*b*a^-1, (a^-1*c*a*c)^2, a*b*c*b^-1*c*a*b^-1*c*a^-2*b,
(a^-2*b^-1*a^-2*b)^2, (c*b^-1)^6, (c*a^-1*b^-1*c*b*a)^2,
(a^-1*c*a*b*c*b^-1)^2, a*c*a^-1*b*a*b*a^-2*b^-1*c*a^-1*b*a^-2*b,
b^-1*a*b*a^-2*(b^-1*a)^2*c*a^-1*b^-1*a^-1*c*a,
b*a^-1*b^-1*c*a*b*a^2*b^-1*a^-1*c*b*a*b^-1*a^-2,
(a*b^-1*a*c*a^-1*b*a^-1*c)^2, b^-1*(a*b)^3*a^-1*(b*a)^2*c*b*a^-1*b^-1*c,
c*a^-1*(c*b^-1)^2*a*b^-1*a*b*c*b^-1*a*c*b*a^-1*b^-1*a^-1,
c*a^-1*b^-1*c*a^-2*(b^-1*c)^2*a*b^-1*a^-2*(c*b^-1)^2,
a*b*c*b*a*c*a^-1*c*b*a^-1*b^-1*a^-2*c*a^-1*b*c*b^-1*a^-1*b,
c*b*c*a^-1*c*a^2*b*c*b^-1*a*c*(b*a)^2*a*b^-1*a^-1*b,
(b*a)^2*b*a^-1*b^-1*a^2*b^-1*a*b*a*(c*b^-1)^2*c*a^-1*b*a^-1,
c*b^-1*a^-1*b*a^-1*c*(a*b^-1)^2*c*b*a^-1*(c*b^-1)^3*a*b,
b^-1*c*a*b*c*b^-1*a^-1*(b*c)^2*a*b^-1*c*b*a^-1*c*b^-1*c*a^-1*c*a,
(a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a*b^-1)^2,
(b^-1*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a^-1)^2,
b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*c*a*b^-1*c*b^-1*a^-1*c*(a*b^-1)^2*a^-1*b*a^-1*\
b^-1*a*b*a*b^-1*a*b*c*b^-1*a,
(c*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a*b)^2,
b^-1*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*b*c*a^-1*b^-1*a*b*a*b^-1*c*a^-1*c*\
b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*c*b^-1*c,
a*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*(b*a^-1)^2*a^-1*b*a*(b*a^-1*b^-1*a^-1)\
^2*b*a*b^-1*a*b*a^-1*b*a,
a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*a^-2*b^-1*c*b^-1*a*b*a*(b*\
a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*c*a^-1*c*b^-1,
b^-1*a*b*a*b^-1*a*(c*b^-1)^2*c*a*b^-1*a*(b*a^-1)^2*b*a*(a*b^-1)^3*a^-1*b*a^-\
1*b^-1*a*b*a^-2*c*a*b^-1*c*a*b*a*b^-1*c*b*c*a,
a*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*c*a^-1*b*a*b*a^-1*b^-1\
*a*b^-1*a^-1*c*b*a*b^-1*a*b*a*(b^-1*a^-1)^2*b^-1*a*(a*b^-1)^2,
b*a*(c*b^-1)^2*c*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a*b*(a*b^-1*a^-1*b^-\
1)^2*(a^-1*b)^2*a^-1*b^-1*a^-1*b*a*b^-1*a*(b*a^-1)^2*b^-1*a^-2,
a^-1*b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*(a^-1*b^-1*a^-1*c*b)^2*a*(b\
*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*a*c*(a^-1*b^-1)^2*c,
a*b*c*b^-1*a^-1*c*b*c*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a*c*b*a^-1*b*a^2*b\
^-1*a^-1*c*b*a^-1*b*a*c*b^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*c*a*b,
b*(a*b^-1)^2*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^2*b^-1*a^-1*b*a^-1*b^-1*a^-1*\
(b*a*b^-1*a)^2*b*a^-2*b^-1*a^-1*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a,
b*a^-1*b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-2*b^-1*a^-1*b*a*(b*a^-\
1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b^-1*a*b^-1*a^-1*b*a*b^-1*(a*b)^2*a^-1*b*a^-2\
*b^-1*a,
a^-1*(b*a)^2*(b*a^-1*b^-1*a^-1)^2*b*a*(b^-1*a^-1)^3*b*a*b^-1*a*b*a*(b^-1*a^-\
1)^2*b^-1*a*b*a^-2*(b*a)^2*(b*a^-1*b^-1*a^-1)^2*b*a*c*b*a*b^-1*c,
a*b^-1*(c*a^-1)^2*b^-1*c*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*a\
*(c*b^-1)^2*c*(b^-1*a^-1*b*a^-1*b^-1*a)^2*b*a*b^-1*a*b*a*b^-1*a^-1*b^-1*c*a*c,
b^-1*c*a*(c*b)^2*(a*c)^2*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*b^-1*c*a*b^-1*\
a*c*a^2*b*c*b^-1*a*c*b*c*(a*b^-1)^2*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*b^-1*\
c,
a^-1*b*(a^-1*b^-1)^3*(a*b)^3*a*b^-1*c*b*a^2*b^-1*c*b^-1*a^-1*b*a^-1*b^-1*a^-\
1*b*a*b^-1*a*(c*b^-1)^3*a^-1*b^-1*a^-1*b*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*c*b^-\
1*c*a^-2*b^-1*c*b,
a*(b*a^-1)^2*a^-1*b*a*b^-1*a^-1*b^-1*c*b^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a\
*(b*a^-1)^2*b^-1*c*b^-1*a*(b*a^-1*b^-1*a^-1)^2*c*b*a^-2*c*b*c*(a*b^-1)^2*a^-1*\
b*a^-1*b^-1*a*b*a*(b^-1*a^-1)^2*c*b,
c*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a*b*a^-2*b^-1*a*(b^-1*a^-1)^2*(b*a^-1\
)^2*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*a*b^-1*a^-1*b^-1*a*b^-1*c*a^-1*b^-1*a^-1*b*a\
^-1*b^-1*a*b*a*b^-1*a*b*c*a^-1*b^-1*a*(b^-1*a^-1)^2,
a*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*c*a^-1*b^-1*a*b*c*(a^-1*b^-1*a^-1*b)^2*a\
*b^-1*a*b*a^-1*b*(a^-1*b*c)^2*a^-1*c*b*(a^-1*b*a^-1*b^-1)^2*a^-1*b*a*b^-1*a^-1\
*b*c*a^-1*b*a*b^-1*a^-2*c,
b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b*a^-2*b*a*b^-1*c*a^-1*(a^-1*b^-1*a*b\
)^2*a*b^-1*a*b*c*a^-1*b^-1*a^2*b*a*b^-1*a*c*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*c*\
b^-1*a^-1*b^-1*a*b^-1*c*a*b*a,
c*a^-1*b*a*b*c*a*(b*a^-1*b^-1*a^-1)^2*b*a*(b^-1*c)^2*a^-1*c*a^2*b*a^-1*b^-1*\
a*b*a*b^-1*a*b*c*a^-1*b^-1*a^-1*c*a*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*c\
*a^-1*b*a*b*c*b*a^-1*b*a*b^-1*a,
(b^-1*a^-1)^2*(c*b)^2*a^-1*b^-1*a*b^-1*a^-1*c*(b^-1*a)^2*b^-1*c*a^-1*b^-1*(a\
^-1*b)^2*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*a*(b^-1*a*c)^2*a^-1*(a^-1*b)^3*c*(\
a^-1*b^-1*a^-1*b)^2*a*b^-1*a*b*a^-1*b*a*b^-1*a^-2,
c*a*b^-1*a*(c*b^-1)^2*c*a*b^-1*a*b*a^-2*b*a*b*a^-1*b*a*b^-1*a^-1*b^-1*a*b*(a\
*b^-1)^2*a*b*a^-2*b*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*a*b^-1*a^-1*(a^-1*b\
^-1)^2*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*c*a^-1*b^-1*a*b*a^-1*b^-1,
c*b*a^-1*(c*b*a)^2*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*c*a*b^-1*a*b*\
a^-1*c*b^-1*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b*c*(a*b^-1)^2*a^-1*b^-1*(\
a*b)^2*a*b^-1*c*b*a^-1*b*(a*b*a^-1*b^-1)^2*c*a*b*a*b^-1*c*a^-1,
(a*b)^2*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*(a*b)^2*a*b^-1*a^-2*(b^-1*a)^2*b*a^-\
1*(b^-1*a*b*a)^2*(b^-1*a^-1)^2*b*a*c*b*c*b^-1*a*c*b*a^-1*b*a*c*b^-1*a^-1*b*a^-\
1*(b^-1*a^-1*b*a)^2*b*a^-2*(c*b)^2*c,
a*c*b*a^-1*b^-1*a^-1*b*a*b^-1*(a^-1*b)^2*a*b*c*(b*a)^3*(b*a^-1*b^-1*a^-1)^2*\
b*a*b^-1*a^-1*b*a*b*a^-1*(c*b)^2*a*b^-1*c*b*a*c*b^-1*c*a^-1*(b*c)^2*b*a^-1*b^-\
1*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*c*b^-1*a^-1*b*c*b^-1*a^-2*b^-1*a\
*b^-1*c*a*b,
(a*b)^2*(a^-1*b)^2*a*b*a^-2*c*a^-1*b^-1*a^-1*b*c*(b*a)^2*(b*a^-1*b^-1*a^-1)^\
2*b*a*b^-1*a^-1*c*b*a^-1*b^-1*c*b*c*a^-1*b^-1*a^-1*b*a*b*a^-1*b^-1*a^-1*b*a*b^\
-1*a*b*a^-1*b*(a*b^-1)^2*c*b*a^-2*c*a^-1*b*c*b^-1*a^-1*b*a^-1*c*(b*a^-1*b^-1*a\
^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*a^-1*b,
b^-1*a^-1*(c*b^-1)^3*a^-1*b^-1*a*b*a^2*b^-1*c*b*a*b^-1*a^-1*b*a^-1*b^-1*a*b*\
a*b^-1*a*b*a^-1*c*(b^-1*a)^2*c*b*c*a*b*a*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*\
a^-1*b*a*b^-1*a*c*a^-1*b*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b*a*b^-1*a^-\
2*b^-1*a*b*c*b*a*b^-1*c*b*a^-1*b^-1*a^-1*(b*a)^2*b*a^-1,
b*c*(b*a)^2*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*(a*b)^2*a^-1*b*a*b^-1*a*b*a^-1*b^-\
1*(a^-1*b^-1*a*b)^2*a*b^-1*a*b*a^-1*c*b^-1*a*b^-1*a^-1*b*a^-1*(a^-1*b^-1*a^-1*\
b)^3*a*b^-1*a*b*a^-1*b*c*a^-1*b^-1*c*(b*a^-1)^2*b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*\
a*b*a)^2*(b^-1*a^-1)^3*b*a^-1*c,
b*a*b^-1*a^-1*(b*c)^2*b*a^-1*c*(a*b)^2*a^-1*b*a*c*b^-1*a^-1*b*a^-1*b^-1*(a^-\
1*b*a*b^-1*a*b)^2*a^-1*b^-1*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b^-1*(a*b)\
^2*(c*b)^2*c*a*b^-1*a^-1*b*(a^-1*b^-1)^3*(a*b)^2*a*b^-1*a*c*(b*a^-1)^3*a^-1*(b\
*a)^2*b*a^-1*b^-1*a^-1*b*a^-1*b^-1*c*a*b^-1*a^-1*b^-1*c*a*b*a*c*b^-1*a^-1*b*a,
a^-1*b^-1*a^-1*b*c*b*a^2*b^-1*c*b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*(b^-1\
*a^-1)^2*b^-1*a*c*a^-1*(c*b^-1)^2*a*c*a*b^-1*c*b^-1*(a^-1*b)^2*c*(b*a^-1)^2*b^\
-1*a^-1*b*a*b^-1*a*b*c*a^-1*c*b*a^-1*b^-1*c*a*b*c*a*(c*b^-1)^2*(a*c)^2*b^-1*c*\
a^-1*(b^-1*c)^2*(b*a)^2*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a*b*c*(a*b)^2*c*a^-1*b^-\
1*c*b*c ],
[ [ a^-2, b, c, c^(a^-1), a^(b^-1*a^-1) ], [ b, a*b*a ] ]];
end,
[ 14, 128 ]],
"PG344064.7",0,1,2,[ 14, 128 ]],
# 344064.8
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, b^3, a^4, (c*d)^2, a^2*d*a^-2*d, a^-2*b*d*a^-2*b^-1*d,
(d*a)^2*(d*a^-1)^2, (c*a^-1*d*a)^2, b^-1*a*d*a^-1*b*a*d*a^-1,
(b^-1*d*b*c)^2, (b^-1*c*b*d)^2, (c*a*c*a^-1)^2, (d*b^-1*d*b)^2,
d*a*d*a^-1*(b^-1*d)^2*b^-1, c*a^-1*b^-1*d*b*d*a^-1*c*a^-2,
c*a^2*c*b*a*b*d*b^-1*a*b^-1*d, (a^-1*c*a*b^-1*c*b)^2,
b^-1*d*(b*a)^2*b^-1*d*b*a^-1*b^-1*a^-1, b*c*a^2*c*b*d*b*a*b^-1*d*b*a,
(a^-1*b)^3*a*b*a^-1*b*d*(a^-1*b)^2,
a^-2*c*a*c*b*a^-1*c*b^-1*d*b*a^-1*b^-1*a*b*a^-1*c*a^-1*b^-1,
b^-1*(c*a)^2*c*d*b^-1*a*c*a*b^-1*a*b*d*b^-1*d*c*a^-1,
b*a^-1*b^-1*a^-1*c*b*a^2*b^-1*c*a^-1*b*d*a^-1*b^-1*a*b^-1*d*b*a,
b*(c*a^-1)^2*b^-1*c*b*d*a*d*c*a^-1*c*b^-1*(d*a)^2*c,
b^-1*c*a*c*b*c*(a*b^-1*a*b)^2*a*b^-1*a^-1*b*a*c,
c*d*a^-1*b^-1*c*a*c*d*b*c*d*(a^-1*c)^2*d*b^-1*a^-1*b*d*a^-1,
a*b^-1*a^-1*b^-1*c*a^2*c*a^-1*b^-1*d*a*(b^-1*a^-1)^2*b^-1*d*a*b^-1*d,
b^-1*d*a^-1*b*c*d*b^-1*c*d*a^-1*b*a^-1*b^-1*a*b*c*b^-1*c*a*d*b*a,
a*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*b*a^-1*(b^-1*a)^2*b*c*b^-1*c*a^-1*b^-1,
a*c*b*a^-2*c*b^-1*d*a*b^-1*a*c*a^-2*b*c*b*d*b*a*(b^-1*c)^2,
c*d*b^-1*a^-1*c*b^-1*d*b*d*a*b*c*b*a*c*b^-1*d*b*a^-1*d*b^-1*a^-1*c*a,
a*b^-1*d*b^-1*c*a*c*b*d*c*(b^-1*a)^2*b^-1*d*c*b^-1*c*(a*c*a*b)^2,
a*b*a^-1*b^-1*a^-1*b*a*b^-1*d*a*b*a^-1*b^-1*a^-1*d*b^-1*(c*b)^2*a^-1*d*(c*b)\
^2*d,
a*b^-1*a^-1*(b*a)^2*d*b^-1*a^-2*b*a^-1*c*d*b^-1*c*a^-1*(c*b)^2*a^-1*c*d*b*c*\
a^-1*d,
c*a*b^-1*c*d*b*a*b^-1*d*a^-1*b*c*b^-1*c*a*b*a^-1*b^-1*c*b*a^-1*c*b^-1*a^-1*d\
*b*c*d*b^-1*c*a*b,
b*a^-1*(b^-1*a)^2*c*b*c*b^-1*a^-1*b*a^-1*b^-1*d*b*a^-1*(b*a^-1*b^-1*a)^2*d*b\
*a^-1*b^-1*d*a*d,
b^-1*a^-1*d*b*c*a^-2*b^-1*c*d*a^-1*b^-1*c*b*a*b^-1*a*b*a*b^-1*a^-1*d*b*a^-1*\
b^-1*d*a^-1*b*(a*b^-1)^2*c,
c*b*d*a^-1*b*c*a^2*b^-1*c*a^-1*b*d*b*c*a*b^-1*d*(a^-1*b*a*b^-1)^2*a^-1*b*a^-\
1*b^-1*d*a^-1*b,
b*d*c*b*a^-1*c*d*b*c*b^-1*a*b*c*a^-1*(b*a^-1*b^-1*a)^2*d*b*a*b^-1*a^-1*d*b*a\
^-1*c*b^-1*c,
(c*b)^2*a*b^-1*d*a^-1*b*a*b^-1*a^-1*b*a^-1*b^-1*a^-1*d*b*a*b^-1*a^-1*b*a^-1*\
b^-1*d*b^-1*c*b^-1*a^2*d*c*a^-1*b,
b*a^-1*b^-1*a^-1*b*a*b^-1*a*d*b*a^-1*b*a*b*c*b^-1*c*a^-1*b^-1*a^2*c*b*a^-2*b\
^-1*c*b^-1*a*b*d*a*b^-1*d*a*d,
b*a*d*a^-1*c*b*a^-1*b^-1*d*a^-1*b*a^-1*(b^-1*a*b*a)^2*b*d*a*b*a^-1*b^-1*a*b*\
d*a^-1*b^-1*a*b*a*b^-1*a*c,
c*b^-1*a*c*b*c*b^-1*a^-1*b*a*b*c*b^-1*a*c*a^-1*c*b^-1*d*a^-1*b^-1*a^-2*b*a*c\
*b^-1*c*a*c*b*c*b^-1*d*a^-1*b^-1*a,
a*b*a^-1*b^-1*a*d*(b*a^-1*b^-1*a)^2*b*d*a^-1*b^-1*d*a*b*a^-1*b^-1*a^-1*b*a*d\
*b^-1*a^-1*b*a*b^-1*d*a^-1*b*d*a*b^-1,
b^-1*a*b^-1*d*a^-1*b*a^-1*b^-1*a*d*b*a*b^-1*a*b*(a^-1*b^-1)^2*c*b*c*a*b^-1*a\
^-1*b*d*a*d*b^-1*a^-1*b*a^-1*b^-1*d*a^-1*b*a*b^-1*a*d,
b*a^-1*d*(b*c)^2*d*b^-1*a^-1*b*c*a*b^-1*a^-1*c*b*c*b^-1*a^-1*b*a*b*c*b*d*a*c\
*b*c*d*b*a^-1*d*b^-1*a*b*c*b^-1*c*a*d,
b^-1*a*b*(a*b^-1)^3*d*a^-1*b*a^-1*(b^-1*a*b*a)^2*(b*a^-1)^2*d*a^-1*b*c*b^-1*\
c*a*c*b*a^2*c*b*a^-1*b*d*a^-1*d,
a^-2*c*(b^-1*d)^2*c*b^-1*d*a*b^-1*d*a^-1*b*c*b^-1*c*a^-1*b*d*c*b*a^-2*b^-1*c\
*a*d*b^-1*c*b^-1*d*c*a*d*c*a^-2*b*c*b^-1*a*b^-1,
c*b^-1*a*c*b*c*b^-1*a^-1*b*a*b*c*b*a^-1*b*a*d*b^-1*a^-1*b*a*b^-1*a^-1*b*a^-1\
*b^-1*a*b*d*(a^-1*c)^2*a*d*b^-1*c*a^-2*b^-1*c*b^-1*d*a,
b^-1*c*d*a^-1*c*b*c*(b^-1*d*a)^2*d*b^-1*a*b*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*b^\
-1*a^-1*c*b^-1*c*a^-1*c*b*(c*b^-1)^2*d*b^-1*c*d*b^-1*a*b*c,
b*c*b^-1*a^-1*d*b*a*b*d*a*b*a*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*d*(a*b^-1)^2*a^-\
1*b*a*d*b^-1*a^-1*b*a*b^-1*d*a*b^-1*c*a^-2*b^-1*d*b^-1*c*a^-1*c,
b*c*b^-1*c*a*c*b*a^-2*c*a^-2*b*a*b^-1*c*a^-1*b^-1*d*(a^-1*b*a*b^-1)^2*a^-1*b\
*a^-1*b^-1*(a^-1*b)^2*c*a^-2*b^-1*c*a^-1*c*b*a*b*a^-1*d,
b*a^-1*d*b*d*c*b^-1*c*a^-1*d*b*d*c*b^-1*a^2*c*b^-1*a^-2*c*a^-2*b*c*b*d*b*a*b\
^-1*a^-2*b*c*a^-2*b*a*c*b*c*b^-1*a^-1*b*d*c*b*a^-1,
(a*b)^2*a*b^-1*a^-1*b*a^-1*b^-1*a*d*b*a*b*(a^-1*b*a*b^-1)^2*a*(b*a^-1)^3*b^-\
1*a^-1*b*a*d*b^-1*a^-1*(b^-1*a)^2*c*a^-2*b*c*b^-1*a^-1*b*a^-1*b^-1,
a*b*d*b^-1*d*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*(a^-1*b)^2*a*b*a^-1*d*b^-1*a*b*a\
^-1*b^-1*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a^-1*b^-1*a^-1*b*a^-1*d*a*b^-1*a^-1*b^-1*\
c*b^-1*a^2*b^-1*c*a*b^-1,
d*a^-1*b^-1*(a^-1*b)^2*a^-1*b^-1*a^-1*b*a*b^-1*(a*b)^2*a*b^-1*a^-1*b^-1*d*a*\
c*b^-1*c*a*d*c*b*c*b^-1*a^-1*b*a*b^-1*a^-1*b*a^-1*b^-1*d*(a^-1*b*a*b^-1)^2*d*a\
^-1*b^-1*c*b*c,
a*d*b*a*b^-1*a^-1*b*a*b^-1*(a*b)^3*a^-1*b^-1*a^-1*(b*a^-1*b^-1*a)^2*b^-1*a^-\
1*b*a^-1*d*b*c*a^2*b^-1*c*b^-1*d*(a*b*a*b^-1)^2*a*b*a*c*b^-1*c*a*d*b^-1,
b*a*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*d*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*\
b*a^-1*b^-1*a^-1*c*b^-1*c*a^-1*c*b*c*b^-1*d*a^-1*b^-1*a*b*a^-1*(b^-1*a)^2*(b*a\
*b^-1*a^-1)^2*b*a^-1*b^-1*a^-1*b*a^-1,
a*c*d*a^-2*b*c*b^-1*a^-1*b*a*b^-1*d*b^-1*a^-2*b*a^-1*c*b^-1*c*a^-1*c*b*c*d*(\
b^-1*a^-1)^2*b*a*d*b^-1*a^-1*b*d*a*b^-1*a*b*(a*b^-1)^2*a^-2*c*b^-1*d*a^-1*(a^-\
1*c)^2*b*c*a^-1*d*b^-1*(a*b^-1*a^-1*b)^3*a*d*(b^-1*c)^2,
b*a^-1*b*(a*b^-1)^2*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*c*a*b^-1*a*b*a^-1*b\
^-1*d*a^-1*b*a*b^-1*a^-1*b*a^-1*b^-1*a*c*b^-1*a*b^-1*d*a^-1*b*d*a*b^-1*a*b*a*b\
^-1*a^-1*b^-1*d*a^-1*b*a*b*d*b^-1*a^-1*b*a*c*b*(c*a)^2*a*b^-1*c*a^-1*c*b*c*b^-\
1*a^-1*b*(a^-1*b^-1)^2*a^-1,
(c*a^-1)^2*c*d*b^-1*a^-1*c*d*b*c*b*d*b*a*b^-1*a^-1*d*a*b*c*(a*d*b^-1*a*b)^2*\
a*b^-1*a^-1*b*a^-1*(d*b^-1*a)^2*c*a^-1*b^-1*c*a^2*b^-1*c*b*a^-1*b^-1*a*c*a*b^-\
1*(a^-1*c)^2*b*c*d*a^-1*b*d*a*d*b^-1*a*b*a*b^-1*a^-1*b*a*b^-1*d*a^-1*d*b^-1 ],
[ [ b, a*b*a, d*a*d^-1*a ],
[ a^-2, b, c, d, c^(a^-1), ((b*a)^2*b^-1*(a^-1*b)^2)^(a^-1) ] ]];
end,
[ 128, 56 ]],
"PG344064.8",0,1,2,[ 128, 56 ]],
# 344064.9
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, b^3, a^4, c^4, c^-1*d*c*d, c^2*a*c^-2*a^-1, a^-2*b*a^-2*b^-1,
a*d*a^-2*d*a, c^-1*a^2*c^-1*a^-2, (d*b^-1)^3, a*c^-1*a^-1*d*a*c*a^-1*d,
(d*a^-1)^2*(d*a)^2, b^-1*a*d*a*b*a^-1*d*a^-1, (c*a^-1)^4,
c^-1*b*d*b^-1*c*b*d*b^-1, c*b^-1*c*b*c^-1*b^-1*c^-1*b,
a^-1*b^-1*d*b*a*b^-1*d*b, b*c*b^-1*d*b*c^-1*b^-1*d,
c*b^-1*c^2*b^-1*c^-2*b^-1*c, b*c^-1*b*c^2*(b^-1*c^-1)^2*c^-1,
a*c^-1*a^-1*b^-1*a^-1*c^-1*a*c*b*c^-1, b*c^-2*b^-1*a*(b^-1*c^-1)^3*a^-1,
a^-1*c^-1*a*b*d*b^-1*a*c^-1*a^-1*b*d*b^-1,
c*b^-1*a*c*a^-1*b*c^-1*b^-1*a*c^-1*a^-1*b,
a*b^-1*c*b*a^-1*c*a*b^-1*c^-1*b*a^-1*c^-1, (b*a)^3*b*a^-1*(b*a)^3,
b^-1*a^-1*c*b^-1*c^-1*(b*a)^2*c*b^-1*c^-1*b*a^-1,
a^-1*b^-1*a^-1*b*c^-1*b*c*b*a*b^-1*c^-1*b^-1*a*c^-1,
c^-1*a*b^-1*c^-1*a^-1*b^-1*c^-1*b*a*b*c*a^-1*b*c^-1*b^-1,
a^-1*(b^-1*a*b*a)^3*b^-1*a*b,
c*b^-1*c^-1*(b^-1*a^-1*c)^2*a*(b^-1*c^-1)^2*a*b^-1,
b^-1*a^-1*c^-1*a^-1*b^-1*c^-1*b^-1*c*a*b*c*b*c^-1*b*a*c^-1,
b^-1*c^-1*b*c*a*b^-1*c*b*a*b*c*b^-1*a^-1*b^-1*c*b*a^-1 ],
[ [ a, b, c ], [ a^-2, b, d, a*c^2 ] ]];
end,
[ 8, 128 ]],
"PG344064.9",0,1,2,[ 8, 128 ]],
# 344064.10
[[1,"abc",
function(a,b,c)
return [[ b^3, c^4, a^4, (a*c*a)^2, a*c^-2*a^-1*c^-2, a^2*b^-1*a^-2*b,
a^-1*(c*a)^2*c^-1*a^-1*c, b^-1*c^-1*b*c^-1*b^-1*c*b*c, b*c^2*(b*c^-2)^2,
(c^-1*b)^2*c^2*(b^-1*c^-1)^2, a^-1*b^-1*a*c^-1*a*c*b*c^-1*a^-1*c,
b*a*c*(b*c^-1)^2*b*a^-1*b^-1*c^-2,
c^-1*b^-1*c*a*b^-1*c^2*b*a^-1*b^-1*c^-1*b^-1, (b*a)^4*(b*a^-1)^3,
c^-1*b*c*b*a*c^-1*b^-1*c*b^-1*c^-1*b^-1*a^-1*c^-1*b,
c^-1*b*c*b*c^-1*a*b^-1*c*(b^-1*c^-1)^2*a^-1*b,
a*c^-1*(a^-1*b)^2*c*b*c^-1*b*a*b*c^-1*b,
b^-1*c^-1*a^-1*b^-1*c^-1*b*a*b^-1*c^-2*b^-1*a^-1*b^-1*c*b*a*c,
c*a*b*a^-1*c*b^-1*c^-1*b*a*b^-1*c^-1*b*c^-1*a*b^-1*c^-1*b*a^-1*b^-1*a^-1,
a*b^-1*a^-1*b*a^-1*b^-1*a^-1*(b*a^-1*b^-1*a*b*a*b^-1*a)^2*b*a*b^-1*a*b*a^-1*\
b^-1*a*b,
b^-1*a*b*a^-1*b^-1*a*b*a*b^-1*a*b*c*b*a^-2*c*b*c*a*b*a^-1*b^-1*a*b*a*b^-1*a*\
(c*b^-1)^2*c^-1,
c*b^-1*a*b*a*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*b*c^-1*b^-1*c^-1*a^-1*c*b*a^\
-1*b^-1*a*b*a*b^-1*a*b*a^-1*b^-1*a*b,
b*a^-1*(b*a^-1*b^-1*a)^2*b*a*b^-1*(a*b)^2*c^-1*b*a*b*a^-1*(b^-1*a*b*a)^3*b*c
,
a*b^-1*a^-1*((b*a)^2*b^-1*a)^2*b^-1*(a*b*a^-1*b^-1*a*b)^2*a*b*(a*b^-1)^2*a*b
,
b*a*b*a^-1*b^-1*a*b*(a*b^-1)^2*(a*b)^2*a*b^-1*a*b*a^-1*(b^-1*a)^2*b*(a*b*a^-\
1*b^-1)^2*a*b^-1*a,
a*b^-1*a^-1*(b*a)^2*(b^-1*a)^2*b*(a*b*a^-1*b^-1*a*b^-1)^2*(a*b*a*b^-1)^2*a*b\
*a^-1*b,
b*c*(b*a)^2*(b^-1*a*b*a^-1)^2*b^-1*(a*b)^2*c*b*c*a^-1*c^-1*(b*a*b^-1*a)^3*b*\
c^-1*a^-1*c^-1,
b^-1*c*(b*a)^3*b^-1*a^-1*(b*a*b^-1*a)^2*b*a*b*a^-1*b^-1*c^-1*(b*a)^2*b*a^-1*\
(b^-1*a*b*a)^3*b*a^-1,
a*b*a^-1*(b^-1*a*b*a)^2*(b*a^-1*b^-1*a)^2*b*(a*b^-1*(a*b)^2*a*b^-1)^2*(a*b)^\
2*a^-1*b^-1*a^-1*b,
c*b^-1*(a*b)^2*a*b^-1*a^-1*(b*a*b^-1*a)^2*b*a*b*a^-1*b*c^-1*b^-1*(a*b)^2*a^-\
1*(b^-1*a*b*a)^3*b*a^-1*b,
a*b*c^-1*b^-1*(a*b)^2*a*b^-1*a^-1*(b*a*b^-1*a)^2*b*a^-1*b*c^-1*a*b*c*b^-1*a*\
b^-1*(a*b^-1*a*b)^3*(a*b^-1)^2*c,
c*a^-1*b*a*b^-1*(a^-1*b*(a*b^-1)^2*a*b)^2*a*b^-1*(a*b)^2*c*b^-1*a*b*(a*b*a^-\
1*b^-1)^3*(a*b)^3,
a*c*a*b^-1*(a^-1*b)^2*a^-1*b^-1*(a*b^-1*a*b)^2*(a*b^-1)^2*a*b*a*c^-1*b^-1*c*\
b*a^-1*c*b^-1*a*b*(a*b*a*b^-1)^2*(a*b)^2*(a*b^-1)^2*a*b,
b*a^-1*b^-1*(a^-1*b^-1*a*b)^2*a*b^-1*a*b*a^-1*b^-1*a*b^-1*c*(b*a*b^-1*a)^2*b\
*a^-1*b^-1*(a*b)^2*a*c*a^-1*b^-1*(c*b^-1*a)^2*b^-1*a*b*a^-1*b^-1*(a*b)^2*a^-1*\
(b^-1*a)^2*(b*a)^2*b^-1*a*b*c^-1*a*b*c ],
[ [ a^-2, b, a*c^2 ], [ a, c^-2, c^(b^-1), a^(c^-1), b^(a^-1*b^-1) ] ]];
end,
[ 128, 28 ]],
"PG344064.10",0,1,2,[ 128, 28 ]],
# 344064.11
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, b^3, a^4, c^4, a^-1*d*a*d, c^-1*d*c*d, c^2*a*c^-2*a^-1,
b*a^-2*b^-1*a^-2, (a^-2*c)^2, (a*c^-1*a*c)^2, b^-1*c*b*d*b^-1*c^-1*b*d,
c^-1*b^-1*c*b*c*b^-1*c^-1*b, c^-1*b^-1*d*b*c*b^-1*d*b, (b^-1*d*b*d)^2,
a^-1*b*d*b^-1*a*b*d*b^-1, (c^-2*b)^3, a^-1*c*a*b^-1*c^-1*a*c^-1*a^-1*b*c^-1,
a^-1*(b^-1*d)^2*b^-1*a*b^-1*d*b, c^-2*b*a^-1*(b^-1*c)^2*b^-1*c^-1*a*b^-1,
b^-1*c^-1*b^-1*a^-1*b^-1*c^2*b*a*c*b^-1*c^-1,
b*a^-1*c^-1*a*b^-1*d*b*a*c^-1*a^-1*b^-1*d, (b^-1*c^-1)^6,
a^-1*d*(b*c^-1)^3*d*a*b*c^2*b^-1, c^-2*d*b*c^-1*b*d*c^-2*d*b^-1*c^-1*b^-1*d,
a^-1*b^-1*c^-1*b^-1*a^-1*c^-1*a*b^-1*a*b*c^-2*b^-1*c,
(b*a^-1)^2*(b*a)^3*b*a^-1*b*a,
c^-1*b*c*b*c^-1*a*c^-1*b^-1*c*b^-1*c^-1*b^-1*a^-1*b,
b^-1*c^-1*b^-1*c*a^-1*(c*b^-1)^2*c^-1*b^-1*a*b^-1*c,
b^-1*a^-1*b^-1*(c*b*a^-1)^2*b^-1*c*b*a^-1*c,
b^-1*a*b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2,
b*c^-1*b^-1*c*(a^-1*b^-1*c*b)^2*a*b^-1*c*b*a,
b^-1*d*a^-1*c*a*c*b*a^-1*c*d*a*b^-1*d*c^-2*b*d*c^-1,
c^-1*b^-1*c*d*b^-1*a^-1*c^-1*a*b^-1*c*d*b*c*b*d*a^-1*c^-1*a*b*d,
a*d*(c*b^-1)^2*a*c*a^-1*b^-1*a^2*d*c^2*b*c^-1*b*c*b*a*c ],
[ [ a, b, c ], [ a^-2, b, d, a*c^2 ] ]];
end,
[ 8, 128 ]],
"PG344064.11",0,1,2,[ 8, 128 ]],
# 344064.12
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, b^3, a^4, a^-1*d*a*d, c^4, d*c*d*c^-1, b*a^-2*b^-1*a^-2,
a^-1*c^-1*a^2*c^-1*a^-1, (b^-1*d*b*d)^2, b*c*b^-1*c*b*c^-1*b^-1*c^-1,
c^-1*b^-1*d*b*c*b^-1*d*b, b^-1*c^-1*b*d*b^-1*c*b*d,
a^-1*b*d*b^-1*a*b*d*b^-1, c*b^-1*c*a*b^-1*c*b*a^-1*b,
b*a*b*c*b^-1*c*a^-1*b^-1*c^-1, (c^-1*b*c^-1)^3,
a*d*c^-1*a^-1*c*a*d*c*a^-1*c^-1, c*a*c*a^-1*c^-2*a*c^-1*a^-1*c,
b*a^-1*c^2*a^-1*b^-1*a^-1*c^-2*a^-1, c*b*a*b^-1*c^-2*b*a^-1*b^-1*c,
a^-1*(b^-1*d)^2*b^-1*a*b^-1*d*b, c^-1*d*b*c^2*b^-1*c^-1*d*b^-1*c^-2*b,
c*a^-1*b^-1*d*b*a*c^-1*a*b^-1*d*b*a^-1, (a*c*a*b^-1*d*b)^2,
b^-1*a^-1*b^-1*a*(b^-1*a^-1)^3*(b^-1*a)^2,
a^-1*b^-1*a*b*a^-1*b^-1*a^-1*(b*a^-1*b^-1*a)^2*b, (b^-1*c^-1*b*a)^4,
b*a^-1*c*a*c^-1*b^-1*c*b^-1*a*d*c*a^-1*b^-1*c^-1*b^-1*d*c,
d*a*c*b^-1*c*b*d*c*a*b*a^-1*c^-2*a^-1*c*b^-1*c,
c^-1*a*c^-2*a^-1*b^-1*c^-1*b*c*a^-1*c^-2*d*a*b^-1*c*b*d,
c^-2*a^-1*c*b*d*c^-2*a*c^-2*a^-1*d*c^-2*b^-1*c^-1*a,
c*b*a^-1*c^-2*a*c^2*b*c*a^-1*d*b^-1*c*b*c^-2*a*d*b,
c^2*a^-1*c^-2*(b^-1*c)^2*b^-1*d*c^-1*a*c*b*c^-1*b*c*b*d,
c^2*d*a*b^-1*c^2*b*c^-2*a^-1*c^-2*d*a^-1*c^-2*b^-1*c^-2*b*a,
d*b^-1*d*a^-1*b*c^-2*b^-1*a*(d*b)^2*d*a*c^-2*a^-1*c^-2*d*b^-1,
a^-1*b^-1*c*b^-1*d*c^-1*a*c^2*a^-1*d*c^-2*b^-1*c*a*b*c^-1*(b*c)^2,
c^-2*d*a*c^-2*a^-1*c*b*c^-1*d*b^-1*a*d*b^-1*c^-1*b*c^-2*a^-1*b*d*b^-1,
c^-1*a^-2*(b*c^-1)^2*d*c^-1*a*c^2*a^-1*c^-1*b*a^-2*c*(b*c^-1)^2*d*c^-1*a*c^2\
*a^-1*c^-1*b ],
[ [ a^-2, c, c^(a^-1), (c^-2)^(b^-1), d^(b^-1), (d*c^-1)^b, a*b*c*b^-1*d^-1,
(c*b^-1*a^-1*b)^(a^-1*b^-1), (b*a)^2*b*a^-1*b^-1*a^-1*b*a^-1 ],
[ a^-2, b, d, c^2*b*a^-1 ] ]];
end,
[ 56, 128 ]],
"PG344064.12",0,1,2,[ 56, 128 ]],
# 344064.13
[[1,"abc",
function(a,b,c)
return [[ b^3, c^4, a^4, a*c*a^-2*c*a, a^-2*b*a^-2*b^-1, (a*c^-1*a*c)^2,
b*c^-1*b^-1*c^-1*b*c*b^-1*c, a*b*c*b^-1*c*a^-1*b^-1*c^-1*b, (c^-2*b)^3,
a^-1*b*c^-1*b^-1*c^-1*a*b^-1*c^-1*b, c*(c*b)^2*c^-2*b^-1*c*b^-1,
b^-1*a*c*a*b*a^-1*c^-1*a^-1*c^2, c^-1*a*b*c^-2*a*c^-1*a^-1*b^-1*a^-1,
(b^-1*c*b^-1*c^-1*b^-1*c)^2, a^-1*b^-1*a^-1*(b^-1*a)^5*b^-1,
c*b^-1*c^-1*a^-1*c*b*c^-1*a^-1*c^2*a*c^-1*(b*c)^2*a*b,
(c^-1*b)^2*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*c^-2*a*b*c^-1*(b^-1*a*b*a)^2*b^-1*\
a*b, (b^-1*a^-1*b*a)^2*b^-1*c*a^-1*b*c*b^-1*a*c*(b*a*b^-1*a^-1)^2*(b^-1*c)^2,
a^-1*b*a*b^-1*a^-1*b*a^-1*(b^-1*a^-1*b*a)^2*(b^-1*a*b*a)^3*b^-1*a^-1*b*a*b^-\
1,
a*b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*c*b^-1*c*b*a^-1*(b^-1*a^-1*b*a)^3*c^-1*\
a*b^-1*c^-1,
b^-1*a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*a^-1*b*a^-1*c*a^-1*(b^-1*a*b*a)^3*b^-1*\
a^-1*b*c,
a*b*a^-1*b^-1*(a^-1*b)^2*a^-1*(b^-1*a*b*a)^2*b^-1*a*b^-1*(a*b*(a*b^-1)^2*a*b\
)^2,
b*c^2*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a*(b^-1*c^-1)^2*a*c^-2*a^-1*(b^-1\
*a*b*a)^3*b^-1*a^-1*c,
b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*(b^-1*c)^2*c*a*c^-1*b^-1*a^-1*b\
*a*b^-1*a*b*a*b^-1*a^-1*b*a*c*b^-1*c^-1*a^-1*c^-2*b*a*c^-1*b^-1*a^-1,
a*b*a*c^-1*(b^-1*a)^2*b*a^-1*(b^-1*a*b*a)^2*b^-1*c^-2*b^-1*(a*b*(a*b^-1)^2*a\
^-1*b)^2*a*b^-1*a^-1*b*c^-1,
c^-1*a*b^-1*a^-1*c^-1*(b^-1*a^-1)^2*b*(a*b*a*b^-1)^2*a^-1*b*a^-1*b^-1*c^-2*(\
b^-1*a)^3*b*a*b^-1*(a^-1*b)^2*(a*b^-1)^2*a^-1*b*(a*b*a*b^-1)^2*a*b^-1,
(a*b*a*b^-1)^2*a*b^-1*(a*b)^2*(a*b^-1)^2*a^-1*b*a*b^-1*c*a^-1*c*b*a*c*b*c^-1\
*a*b^-1*(a*b^-1*a*b)^3*(a*b^-1)^3*c*a*c^2*a^-1*b,
c*a^-1*(b^-1*a*b*a)^3*b^-1*a*c^-1*b*(a*b*a*b^-1)^3*a*b*a^-1*b^-1*c^2*b^-1*(a\
^-1*b)^2*a*b^-1*a*(b*a*b^-1*a^-1)^2*b*a*c*b*a*b,
a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b^2*c^-2*a*c*(b*a*b^-1*a)^2*b^-1*\
a*b*a^-1*b*a*b^-1*(a*b^-1*a^-1*b)^2*c*(a^-1*b)^2*a*b^-1*a*b*a*b^-1*a^-1*b*a*b^\
-1*(a*b)^2*a^-1*c^2*b^-1*a^-1*b,
a*(b*a^-1*b^-1*a^-1)^2*b*a*b^-1*c^-2*(b^-1*a*b*a)^3*b^-1*a*b*a^-1*c*b*a^-1*c\
^-1*b^-1*a^-1*c^-1*b*a*b^-1*a*b*a*b^-1*a^-1*b*a*c^-1*b*(a*b*a*b^-1)^3*a^-1*b*a\
*c*b*a*b^-1*c ],
[ [ a^-2, c, c^(a^-1), a^(b^-1), c^(b^-1), b^(a^-1*b^-1*a^-1),
b^-1*a*b*a*b^-1*a^-1*b*a^-1 ], [ a^-2, b, c^2*b*a^-1 ] ]];
end,
[ 14, 128 ]],
"PG344064.13",0,1,2,[ 14, 128 ]],
# 344064.14
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, b^3, a^4, c^-1*d*c*d, c^4, b^-1*c^-1*b*c, c^-1*a^2*c^-1*a^-2,
a*b*a^-2*b^-1*a, a^2*d*a^-2*d, a*b*d*b^-1*d*a^-1*d,
c*a^-1*d*a*c^-1*a^-1*d*a, (c*a^-1)^4, a^-1*b^-1*d*b*a*b^-1*d*b,
b^-1*a^-1*b*a*c^-2*a*b^-1*a*b*a*c^-2*a, (b*a^-1)^4*(b*a)^3,
c*a^-1*b*a^-1*c^2*a^-1*b*a*c^-2*a^-1*b*a^-1*c,
b*a^-1*c^-1*a^-1*b^-1*a*c*a^-1*b*a*c*a*b^-1*a*c*a^-1,
b*a^-1*c^2*a^-1*b^-1*c^-2*b*a*c^-2*a*b^-1*c^-2,
b*a*c^-1*a^-1*b^-1*a*c*a*b*a^-1*c*a^-1*b^-1*a^-1*c*a,
c^-2*(a^-1*b^-1)^2*c^-2*b*a^-1*b^-1*a^-1*c^-2*a*b^-1*a^-1,
a*b*a^-1*c*a^-1*b^-1*c^-1*(a*b)^2*a*c^-1*(a*b^-1)^2,
c^-2*a^-1*b*d*a^-1*c^-1*b*a^-1*c^-2*a^-1*b^-1*c*a*d*b^-1*a^-1,
a^-1*c^-1*b*c^-1*a*b*c^2*b^-1*a*(b^-1*a^-1)^2*c^2*a*b,
c^2*d*b*a^-1*c^-2*a*b^-1*c^-2*d*b*a*c^-2*a^-1*b^-1,
a^-1*c^2*a*c^-2*(b*a*c^-2*a)^2*c^-2*b,
b*a*c^2*b*a*c^-2*a^-1*b^-1*a^-1*c^-2*b^-1*c^-2*a^-1*c^-2*a,
a*b^-1*a^-1*b*a*b^-1*a^-1*c^2*b*a^-1*b^-1*a^-1*b*a*b^-1*a^-1*c^-2*b,
a*c*a*b^-1*a*c^-1*b*a^-1*c*a*(b^-1*a^-1)^2*b*a*c*(a^-1*b^-1)^2,
b*a*c*a^-1*b^-1*a*b*a*c*a*b^-1*a*b*a^-1*c*a*b^-1*a^-1*b*a^-1*c^-1*a^-1*b^-1*\
a^-1,
b*a*c*a^-1*b^-1*a*b*a*c^-1*a^-1*b^-1*a*b*a^-1*c*a^-1*b^-1*a^-1*b*a*c*a*b^-1*\
a^-1,
a*b*a^-1*c*a*b^-1*a*b*a^-1*c^-1*a^-1*b^-1*d*a^-1*b*a*c*a*b^-1*a^-1*b*a^-1*c*\
a*b^-1*d ],
[ [ a, b, c ], [ a^-2, b, d, c^(a^-1), c^(a^-1*b^-1*a^-1) ] ]];
end,
[ 8, 224 ]],
"PG344064.14",0,1,2,[ 8, 224 ]],
# 344064.15
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, a*b^-1*a^-2*b*a, a*c^-1*a^-2*c^-1*a, b*c^2*b^-1*c^-2,
a^-1*c^-1*a*c*a^-1*c*a*c^-1, (c^-1*b*c^-1*b^-1)^2, (c*b)^3*(c^-1*b)^3,
a*c^2*a^-1*c^-2*a*c^-2*a^-1*c^-2, c^-1*b*a^-1*c*a*b^-1*c*b*a*c*a^-1*b^-1,
b*a^-1*c^-2*a^-1*b^-1*a^-1*b*a^-1*c^-2*a*b^-1*a^-1, (b^-1*a^-1)^7,
(a^-1*c^-2*a^-1*b)^2*a*c^-2*a^-1*b, (a^-1*c*a^-1*b*a*c*a^-1*b^-1)^2,
a^-1*b*a*c^-2*a^-1*c^2*(b^-1*a)^2*c^-2*a^-1*b,
a^-1*b^-1*a^-1*b*a^-1*c*a^-1*b^-1*c^-1*(a^-1*b)^2*a^-1*c*a^-1*b^-1,
a^-1*b*c^-1*b*c*b*a*c^-2*a^-1*b*c*b*c^-1*b*a*c^-2,
c^-1*b*c*b*a*b*c^-1*b^-1*c*(a^-1*b^-1)^2*c*b^-1*c^-1*b^-1*a*b^-1,
b^-1*a*b*c^-1*b*c*b*a*b^-1*c*b^-1*c^-1*a^-1*b*c*b*c^-1*b*a^-1,
a*b*a*c^-1*a*b^-1*c^-1*a^-1*(b*a^-1*c)^2*a^-1*b^-1*c*a*b^-1,
b*a*c^-2*b^-1*a*b*c^2*a*b^-1*a*b*a^-1*b^-1*a*b*a*b^-1*a,
b^-1*a^-1*b*c^-1*b*c*b*a^-1*b*a*b^-1*a^-1*b*c*b*c^-1*(b*a)^2,
(a*b)^2*c*b*c^-1*b*a*b^-1*a^-1*b*a*b*c*b*c^-1*b*a*b^-1,
c^-1*b*a^-1*b^-1*c*b^-1*c^-1*b^-1*a^-1*b^-1*c^-1*b*a^-1*b^-1*c^-1*b^-1*c*b^-\
1*a^-1*b^-1, c*b^-1*a^-1*b*c^-1*b*c*b*a*b*c^-1*b^-1*a^-1*b*c*b*c^-1*b*a*b,
a*b*a^-1*c^-1*a*b^-1*a*b*a^-1*c^-1*a^-1*b^-1*a^-1*b*a^-1*c*a^-1*b^-1*a*b*a^-\
1*c^-1*a^-1*b^-1 ],
[ [ a^-2, b, c^(a^-1), b^(c^-1), c^(b^-1*a^-1), c^(a^-1*b^-1*a^-1) ],
[ a^-2, b, c, c^(a^-1), c^(b*a^-1), (c*a*c^-1*a^-1)^(b^-1*a^-1) ] ]];
end,
[ 224, 112 ]],
"PG344064.15",0,1,2,[ 224, 112 ]],
# 344064.16
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, b^-1*a^2*b*a^-2, a^2*c^-1*a^-2*c^-1,
c^-1*b*c^-1*b^-1*c*b*c*b^-1, c^-1*b^-1*a^-1*b^-1*c^-1*b*c^-1*a*b,
(c^-2*b^-1)^3, b*c^-1*b^-1*a*c*b^-1*c*b*a^-1,
b*a^-1*c^-2*a^-1*b^-1*a*c^-2*a, c*(c*b)^2*c^-2*b^-1*c*b^-1,
(c^-1*a*c^-1)^2*a^-1*c^-2*a^-1, b*c^2*b^-1*a*b*c^-2*b^-1*a^-1,
a^-1*c^-1*a^-1*c*b*a*c*a*b^-1*c^-1, a*c*b^-1*c^-2*a*c*a*b*c*a*c,
(c*b*c^-1*b*c*b)^2, (b^-1*a)^4*(b^-1*a^-1)^3,
a^-1*c^-2*a*b*c^-2*a^-1*b^-1*c^-2*b*a*b^-1*c^-2,
a*b*c*(b^-1*a*b*c^-1)^2*b^-1*a*b*c*b^-1,
a*b*a^-1*(b^-1*a^-1*b*a)^2*b^-1*a^-1*b*c*b^-1*c*a^-1*b*a^-1*b^-1*a^-1*b*a*b^\
-1*a*b*a*c^-1*b^-1*a*c,
b*a*b^-1*a^-1*(b*a*b^-1*a)^2*c^-2*b*a^-1*c*a*b^-1*a^-1*b*a*b^-1*a*b*c^-2*a*b\
^-1*(a^-1*b)^2*c*b*c,
b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*a\
^-1*b*a*b^-1*a*c*b*c^-1*a^-1*b*c^-1*b*a^-1*c^-2*b*a,
b^-1*a*b*a^-1*b^-1*a*b*a*c^-2*(b^-1*a^-1*b*a)^2*c*(b^-1*a^-1*b*a)^2*b^-1*a^-\
1*b*c^-2*a*b^-1*a*b*a*c^-1,
b*a^-1*(b^-1*a^-1*b*c^-2*a)^2*b^-1*a^-1*b*a*b*c^-1*b*a^-1*b*a*b^-1*a^-1*b*c^\
-2*a*b^-1*a^-1*b*a*b^-1*a^-1*c^-1*b*c*a*b^-1*a,
c^-1*a*b*a^-1*b^-1*a*b*a*c^-2*(b^-1*a^-1*b*a)^2*c^-2*b^-1*c*(a^-1*b*a*b^-1)^\
2*a^-1*b*c^-2*a*b^-1*a*b*a*c^-2*b^-1,
b*a*b^-1*a*b*c^-2*a^-1*b^-1*a*b*c^-2*a*b^-1*a*b*a^-1*c^-2*b^-1*a*b*a*b^-1*a^\
-1*b*a*c^-2*b^-1*a^-1*b*a*b^-1*(a^-1*b)^2*c^-2*b*a,
c*b*a*b*a^-1*b^-1*a*b*a*c^-2*(b^-1*a^-1*b*a)^2*c^-1*(c^-1*b)^2*(a^-1*b*a*b^-\
1)^3*(a^-1*c^-2*b)^2,
b*a*b^-1*a*b*c^-2*a^-1*b^-1*a*b*a*b^-1*a^-1*c*b^-1*a^-1*b*a^-1*c^-2*b*a*b^-1\
*a*(b*a*b^-1*a^-1)^2*c*b*c^-1*a^-1*c^-1*a*b*a*b^-1*a^-1*b*a*b^-1*(a*b)^2*a*c^-\
2,
(a*b^-1*a^-1*b*a*b^-1*a*b)^2*(a*b^-1)^2*a*(b*a*b^-1*a^-1)^3*b^-1*c^2*a*b*a*c\
^-2*b*a*b^-1*a*b*c^2*a*b^-1*a^-1*b*a*b^-1*(a*b)^2,
b*a*b^-1*a^-1*(b*a*b^-1*a)^2*c^-2*b*a^-1*c^-2*b^-1*a*c^-2*(b*a)^2*c^-2*b^-1*\
a^-1*b*a*b^-1*a*b*a^-1*(c^-2*b*a)^2*c^-2*b^-1*a*b*a*b^-1*a^-1*b*(a*b^-1)^2*a^-\
1*b*c^-2,
a*b*c^2*(a*b)^2*a^-1*b^-1*a*b*a*b^-1*a^-1*b*c^2*a*b^-1*a*b*c^-2*a*c^-2*b*(a^\
-1*b^-1)^2*a^-1*b*a*c^-2*b^-1*a*b*a*b^-1*a^-1*b*a*b^-1*c^-2*a*b^-1*(a*b^-1*a^-\
1*b)^2*a*b^-1*a*b*a*b^-1,
a^-1*b*(a*b^-1)^2*c^-2*a^-1*c^-2*(b*a^-1*b^-1*a^-1)^2*b*c^-2*a*b*a*c^-2*(b^-\
1*a)^2*b^-1*c^-2*a^-1*b*a*b*c^-2*a*b^-1*a^-1*b*a*c^-2*(b^-1*a)^2*b*a*b^-1*a^-1\
*b*c^-2*(a*b^-1*a*b)^2,
c^-1*a^-1*c*b*a^-1*(b*a^-1*b^-1*a)^2*b*c^2*a*b^-1*(a*b)^2*c*a^-1*c^-2*b*(c*a\
)^2*c^-1*(a^-1*b*a*b^-1)^2*a^-1*b*a*b*c^-2*b*(a*b^-1)^2*a*b*a*b^-1*a^-1*(b*a*b\
^-1*a)^2*c*a*b*c^-1,
b*(a^-1*b^-1)^2*a^-1*c^2*b*a*c^-2*b^-1*a^-1*b^-1*a*b*a*b^-1*a*c^-2*b^-1*a*b^\
-1*(a^-1*b)^2*a*b^-1*c^-2*a*c^-2*b^-1*a^-1*b*a*b^-1*a*b*a*c^-2*b*c^-2*a*b^-1*a\
*b*a*c^-2*b^-1*a*b*a*b^-1*a^-1*b*(a*b^-1)^2*a^-1*b*a,
a*b^-1*a^-1*(b*a*b^-1*a)^2*c^-2*b*a^-1*b^-1*c^-1*b^-1*a*b^-1*a^-1*b*a*b^-1*a\
*b*c^-2*a*b^-1*a^-1*b*a*b^-1*a^-1*b^-1*c^-1*a^-1*b*a*b^-1*a^-1*b*a*c^-2*b^-1*a\
*b*a*b^-1*c^-2*a*b^-1*(a*b^-1*a*b)^3*a*b*a*b^-1*c^-2*b^-1 ],
[ [ a^-2, b, c, (b^-1*a*b*a*b^-1*a*b*a^-1*b^-1*c^-1*a^-1*b*a^-1*b^-1)^(a^-1) ]
,
[ c^-2, a^2*c^-1, a*c*a, a*c^-1*a, c^(b^-1), c*b^-1*c^-1*b,
b^((a^-1*b^-1)^2), (b*a*b^-1*a*b*a*(b^-1*a^-1)^2*b)^(a^-1),
b*(a*b^-1)^2*a*b*a^-1*b^-1*(a^-1*b)^2 ] ]];
end,
[ 224, 112 ]],
"PG344064.16",0,1,2,[ 224, 112 ]],
# 344064.17
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, b^3, c^4, a^4, c^-1*d*c*d, a*c*a^-2*c*a, a*b*a^-2*b^-1*a,
(a*d*a)^2, (d*b)^3, (a^-1*d)^4, a*d*a*b^-1*a*d*a*b, c*a*d*a*c*a^-1*d*a^-1,
a^-1*b*d*b^-1*a*b*d*b^-1, c^-1*b^-1*d*b*c*b^-1*d*b,
b*d*b^-1*c*b*d*b^-1*c^-1, c^-1*b^-1*c*b*c*b^-1*c^-1*b,
a^-1*c*b^-1*c*b*a*b*c*b^-1, a*c*b^-1*c*b*a^-1*b*c^-1*b^-1, c*(b*c^-2)^2*b*c,
a^-1*b*c^2*b^-1*a*b*c^-2*b^-1, (c*a^-1*c)^2*a^-1*c^-2*a^-1,
b^-1*a*c^-2*a*b*a^-1*c^-2*a^-1, (c^-1*b^-1)^2*c^-1*(c^-1*b)^2*c^-1,
c^2*a*c^-2*a^-1*c^-2*a*c^-2*a^-1, (c*b)^6, (b*a^-1)^4*(b*a)^3,
a*c*a^-1*(b*c)^2*b*a^-1*c*a*(b*c^-1)^2*b,
a*b^-1*a^-1*(b*c)^2*b*a*b*a^-1*(b*c^-1)^2*b,
b*a^-1*b^-1*a*c^-2*b*a*b^-1*a*b*a*b^-1*a^-1*c^-2*b*a*b^-1*a^-1 ],
[ [ a, b, c ], [ a^-2, b, c, d, d^(a^-1) ] ]];
end,
[ 8, 224 ]],
"PG344064.17",0,1,2,[ 8, 224 ]],
# 344064.18
[[1,"abcd",
function(a,b,c,d)
return [[ c^2, b^3, a^4, d^4, c*d^-1*c*d, b^-1*d^-2*b*d^-2, d^-1*a^2*d*a^-2,
a^-1*c*b^-1*a^2*b*c*a^-1, d^-1*b^-1*a^-1*d^2*a*d*b, a^-2*b^-1*a^-2*d*b*d^-1,
(b^-1*d^-1*b*d^-1)^2, d*a^-1*d*(a*d^-1)^2*a^-1, a^-1*c*a^-1*d*a*c*a*d^-1,
(c*a^-1*c*a)^2, b*c*b^-1*d*b*c*b^-1*d^-1, (a*c)^4, c*a*(b*c)^2*d*b*d*a,
d^2*a*c*d*b*d^-1*b^-1*c*a^-1, b^-1*a^-2*b*a^-1*b^-1*d*b*d^-1*a^-1,
a*b*a*d*a^-1*b*a*d^-1*a*b*a*d, c*b^-1*c*b*a^2*c*b^-1*c*b*a^-2,
c*a*c*a^-1*b*a*d^2*c*a^-1*c*b^-1, c*b*a^-1*d*a*b^-1*c*b*a*d^-1*a^-1*b^-1,
a^-1*d^-1*b*a^-1*d*a^-1*b^-1*a^-1*b*d^-1*a^-1*d*a*b^-1,
d^-1*b*a^-1*d^2*c*a^-1*d*c*b*(a*c)^2*b,
d^-1*b*d^-1*a^-1*b*c*(b^-1*a^-1)^2*b^-1*c*b*a*c,
a*d^2*c*a*c*d*b*a^2*b^-1*a^-1*c*a*d^-1*c, b*a*b*a^-1*(b*a)^3*b*c*a*c*b*a^-1,
(b*a*b^-1*a)^3*b*a*b^-1*a^-1,
a^-1*b^-1*d^-1*b*a*b*c*b^-1*a*b^-1*d*b*a^-1*b*c*b^-1,
d^-1*a*b^-1*c*b*d^-1*b*c*d^-1*b^-1*a^-1*c*a^-2*b^-1*d^-1*b,
a*d^-1*b^-1*c*a^-1*d*c*b*d*a*d^-1*c*a^-1*c*b^-1*d*a*b*a^-1*d,
b^-1*d^2*(a^-1*c*d^-1)^2*d^-1*b*c*b^-1*a^-1*c*d^-1*a^-1*c*b*c,
a^-1*b*d*b*c*b*d*a^-1*d*c*a^-1*(d*b^-1)^2*c*(d^-1*b)^2*a*d^-1,
d^-1*a^-1*b*d^-1*(a^-1*d^-1*c)^2*b^-1*d^-1*a*b*c*d*a*d*c*a*d^-1*b^-1,
b^-1*(a*b)^3*a^-1*d*b*d*(a*b)^2*a^-1*d*b^-1*c*a*c*a^-1*d,
b*a*(b^-1*d)^2*c*a*c*(b*a^-1)^2*b*a*b*c*a*d^-1*c*b*d^-1*c*a*c,
b^-1*d^-1*a^-1*b^-1*a*b*a^-1*b^-1*a*(b^-1*a^-1*b*a*b^-1*a^-1)^2*b^-1*a*b*a^-\
1*d^-1,
d*b^-1*d*(a*c)^2*b*a^-1*b*a*b^-1*a^-2*d*c*a*d^2*c*a^-1*b*d^-1*a^-1*(d*b)^2*a\
],
[ [ a*d*a, (a^-2)^b, c*a*c^-1*a^-1, c*b^-1*c^-1*b, d*b^-1*d*b, a*b^-1*c*b*a,
(d*a*d^-1*a^-1)^(b^-1), (b^-1*a)^3*b*a^-1*b^-1*a^-1 ] ]];
end,
[ 448 ]],
"PG344064.18",0,1,2,448],
# 344064.19
[[1,"abcd",
function(a,b,c,d)
return [[ c^2, d^2, b^3, b*d*b^-1*d, a^4, (d*c)^2, (c*b^-1)^3,
a^-1*d*a*b*a^-1*d*a*b^-1, (d*a^-1*c*a)^2, (a^-1*d*a*c)^2, (a^-1*d*a*d)^2,
(a^-1*d)^4, (c*a*c*a^-1)^2, b*a*c*a^-1*b^-1*a*c*a^-1,
a*d*c*a^-1*b*a^-1*d*c*a*b^-1, (a^-1*d*c*a^-1*c)^2,
a*b^-1*a^2*b*a^-2*b^-1*a^-2*b*a, c*b*a^-2*b^-1*c*d*b*a^-1*d*a^-1*b^-1,
a^-1*b^-1*(a^-2*c)^2*d*b*a*d, c*a*b*a^-1*c*a^-1*d*a^-2*b^-1*a^-1*d,
b*a*d*b^-1*c*a*d*a^-1*b*d*a^-1*b^-1*c, (a*d*a^-1*b^-1)^2*a*d*a^-1*d*b^-1,
b*a^-1*b^-1*a^-2*b*a*b^-1*a*b*a^-2*b^-1*a,
b^-1*a^-1*b^-1*a^2*(b*a^-1)^3*a^-1*b^-1*a, ((a^-2*b^-1)^2*a*b^-1)^2,
c*(d*a^-1)^2*c*b^-1*a^2*d*a^-2*b*a*d*a, ((a^-1*b^-1*a^-1)^2*a^-1*b^-1)^2,
c*a^-1*b*d*a^2*b^-1*a*c*a*b*a^2*b^-1*d*a^-1,
b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b*a*b^-1*a*b*a^-1,
a*b^-1*a*b*a^-1*b^-1*a*d*a*b*a*b^-1*a*b*a*d,
(a*b)^2*(a^-1*b^-1*a^-1)^2*(b*a^-1)^2*b*a*b,
d*a^-1*b^-1*a^2*b^-1*a^-2*d*b^-1*(a^-1*b*a^-1)^2*a^-1*b,
c*d*b^-1*a*d*a*b*c*d*b*a^2*d*(a^2*b)^2,
a*b*a^2*(b*a^-1*c)^2*(a^-1*b*a^-1)^2*c*b*a*c, (b*a^-2*b*c*a^-2*c*b*a^-2)^2,
(a*b^-1*a*c)^2*b*a*d*a*b*c*b*a^-2*b^-1*d*c*a^-2*b*a^-1*b^-1*a ],
[ [ b, a^-1*b^-1*a^-2, (a^-2)^(d^-1) ] ]];
end,
[ 128 ]],
"PG344064.19",0,1,2,128],
# 344064.20
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^4, (c*b^-1)^3, (c*a^-1*c*a)^2,
b*a*c*a^-1*c*b^-1*c*a^-1*c*a, a*c*a^2*(c*a^-2)^2*c*a, (a^-2*b*a^-2*b^-1)^2,
b*a*b*c*b^-1*a^-1*b^-1*a*b*c*b^-1*a^-1,
b*c*b^-1*a^-2*b^-1*a*c*a^-1*b*a^-1*c*a^-1,
(b*a)^2*a*b^-1*a^-1*b^-1*a*b^-1*a^-2*b*a, a*c*a^-2*b^-1*(c*a^-2)^2*b*c*a,
a*b*a^-1*c*a^-1*b^-1*a^2*b*c*a^-2*b^-1*c*a*c,
((a^-1*b^-1*a^-1)^2*b^-1*a^-1)^2, (a^-2*b^-1*a*b^-1*a^-2*b^-1)^2,
(b*a^-2*b^-1*c)^4, a*c*b^-1*a^2*b^-1*a^-2*b^-1*c*a*c*(b^-1*a^-2)^2*b^-1*c,
a*(b^-1*a^-1)^2*c*a^-1*b^-1*a*c*b*(a^-1*c)^2*(b^-1*a)^2*c*b*a,
a*b^-1*a^2*b^-1*a^-1*b*c*b^-1*a^-1*c*a^-2*c*b*a^-1*(a^-1*b)^2*c*b^-1,
a*b^-1*a*c*a*b^-1*a^-2*c*b^-1*a*b^-1*a^-1*c*a^-2*c*a*b^-1*a^-2*b^-1*c,
a*b*c*a^2*c*b*a*b*a^-2*b^-1*a*c*a^-2*c*b*a*b*a^-2*b^-1,
a^2*b^-1*a^-2*c*b^-1*a^-2*b*(c*a^-1)^2*b*a^-2*c*b*a^-1*c*a^-1*b^-1,
(a*b^-1)^2*a^-2*c*(b*a)^2*(a*b^-1)^2*a^-1*c*a^-1*b*a*b*c*a*c,
b^-1*a*b^-1*c*b*a^-2*b^-1*c*a*c*b^-1*a^-1*c*a^-1*(c*b*a)^2*b*a^-2,
c*a^2*b^-1*a^-1*b*c*b^-1*a^-2*b*c*(a^-2*b)^2*c*a*b^-1*a*c*a*b^-1,
b^-1*a*b^-1*c*a^-1*(a^-1*c*b)^2*a^-2*b*c*a*b*a^-2*b^-1*a*b^-1*c*a^-2,
a*c*b^-1*c*a*b*(a^-1*c)^2*a*b^-1*a^-2*b*a^-1*b^-1*c*b*a^-2*b^-1*a*b*c*a,
b^-1*a^-1*b*a^-1*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1*c*a^2*c*a^-1*c*b*a^2*b^-1*\
c*b*a^-1, c*(b^-1*a^-2)^2*c*b*c*a^-2*b*a*(b^-1*c*a*c)^2*(a*b)^2*a^-1,
b^-1*a^-1*b^-1*c*a^-1*c*(b^-1*a^-1)^3*b*a^2*b*c*a^-1*b^-1*c*b*a^-2*b*c*b*a,
a^-1*c*b*a^-1*c*a^-1*b*a*c*b^-1*(c*a)^2*b*a*c*b^-1*a*c*a*b^-1*c*a*b*a^2*b^-1
,
c*a^-2*b*c*(a^-2*b^-1)^2*c*b^-1*a*b^-1*a^-1*(a^-1*b)^2*a*c*b*a^-2*b^-1*c*a^-\
1*b,
c*a*b*a^-1*b^-1*c*a^2*b^-1*a*c*a^-1*c*b*a^-2*b^-1*c*(b^-1*a^-1)^2*c*a^-1*b*c\
*a^-2*b^-1*a,
a^-1*c*a^-1*b*a^2*c*b*(a^-1*b^-1)^2*(c*a)^2*b^-1*(a*c)^2*b^-1*c*a*c*b*a^-1*c\
*a^-2*b,
a^-2*b^-1*c*a^-1*b*a^-1*b^-1*c*b*(a^-1*c)^2*b*c*a^-2*b^-1*a*(b*a^-2*c)^2*a^-\
1*c*b,
c*b*a^-2*b^-1*c*a*b*a^-2*b^-1*c*b*a*b*c*a^-1*(a^-1*c*b^-1)^2*a^-2*b^-1*a^-2*\
c*b*a,
c*a^-2*(c*a)^2*c*b*(a^-1*b^-1*c)^2*a*c*b^-1*a^-1*(a^-1*b)^2*a^-1*c*(b*a^-1)^\
2*a^-1*b,
b*(a^-1*c)^2*a*b^-1*a^-2*b*c*a*b^-1*a*c*a*b*c*(a^-2*b)^2*c*a^-1*b^-1*(a*c)^2\
*b*a^-1,
c*a^-2*b*c*a^-1*(a^-1*b^-1*a^-2*b^-1*c)^2*a^-1*b^-1*c*b*a^-2*b^-1*a^-1*c*a^-\
1*b*c*a*b^-1*a*b,
b^-1*c*a*b*a*b^-1*a^2*b^-1*a^-1*b*a*(c*a^-1)^2*b*(c*a^-1)^2*a^-1*b*c*a^-1*b^\
-1*a*c*(a*b^-1)^2*a*c*a,
(b^-1*a^-1)^2*b*(a^-1*b^-1)^2*a*b*a^-1*b*a*b*a^-1*b^-1*(a*b)^3*c*b*a^2*b*c*a\
^-2*b^-1*c*b^-1*a^-1,
c*b*a^-2*c*b^-1*c*a*b*c*a*b^-1*a^-2*c*b^-1*a*c*a*(b^-1*c*a^-1)^2*b^-1*a*c*a*\
b^-1*c*a^-1*b^-1*c*b*a*b^-1,
a^-1*c*b*a^2*b*a*c*b^-1*a^-2*b*a^-1*b^-1*c*a^-2*c*b^-1*a^2*b^-1*a^-1*b^-1*c*\
a^-2*b^-1*c*a*c*a^-2*c*a*b^-1*a*b*c*a^-1,
a*c*b^-1*a^-1*b^-1*c*b*a^-1*b^-1*(a^-1*c)^2*b*a^-1*b^-1*c*a^-1*b*a^2*b*a^-2*\
b*a*c*b^-1*a^-2*b^-1*c*a^-2*b*c*a^-2*b^-1*a*b*a*c,
a^-1*b*a*c*b*c*a^2*b^-1*a^-2*b^-1*c*b*a^-2*b^-1*a^-1*c*b*a^-1*c*a^-1*b*a^-1*\
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.60 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
