Quelle  perf14.grp   Sprache: unbekannt

#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  It contains the perfect groups of order 86016
##  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[111]:=[# 86016.1
[[1,"abcd",
function(a,b,c,d)
return [[ c^2, d^2, a^4, a^-1*c*a*c, (c*d)^2, a^-1*d*a*d, b^6,
  (c*b^-1)^2*c*b^2, b^-2*d*b^3*d*b^-1, a^-1*b^3*a^-1*b^-3,
  b*a^-1*b^-1*d*b*a*b^-1*d, (b*c*b^-1*d)^2, (b^-1*d*b*d)^2, (b^-1*c*b*d)^2,
  b*a^2*(b*a^-2)^2, c*b*a^2*b^-1*c*b*a^-2*b^-1, (b*a^-2*b^-1*a)^2,
  a^2*b*d*b^-1*a^-2*b*d*b^-1, a^2*b*c*b^-1*a^-2*b*c*b^-1,
  c*b*a^2*b^2*c*b*a^-2*b^2, b^-1*a*b^-1*c*b*a^-1*b*a*b^-1*c*b*a^-1,
  (d*b^-1)^2*a^-1*(b*d)^3*a^-1*b^-1, (b^-2*(d*b)^2*d)^2,
  (b^-1*a^-1)^3*(b^-1*a)^2*b^-1*a^-1*b^-1*a,
  b^-1*(b^-1*a)^3*a*(b*a^-1)^2*b^-1*a^-2,
  b*a^-1*(b^-1*a^-1*b*a)^2*b^-1*a^-1*b*a^-1*b^-1*a ],
[ [ a, b, c, (d*a^-1)^(b*d^-1) ], [ a, b, d ],
  [ c, d, a^2*b, (b^-2)^(a^-1), a^-1*b^2 ] ]];
end,
[ 8, 8, 8 ]],
"PG86016.1",0,1,2,[ 8, 8, 8 ]],
# 86016.2
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, a^-1*c*a*c, b^6, c*b^-1*c*b^2*c*b^-1, b*a*b^-3*a*b^2,
  b^-1*a^2*(b^-1*a^-2)^2, a*b^-1*a^2*b*a^-1*b^-1*a^-2*b,
  a^2*b^-1*c*b*a^-2*b^-1*c*b, b^-1*a^-1*b*a^2*b^-1*a^-1*b*a^-2,
  c*b^-1*a^2*b*c*b^-1*a^-2*b, b^-1*a^2*b^-1*c*b^-2*a^-2*b^-1*c*b^-1,
  a*b*a*b^-1*c*b*(a^-1*b^-1)^2*c*b, (a^-1*b^-1*a*b^-1)^2*(a*b^-1)^2*a^-1*b^-1,
  a*b*c*b^-1*a^-1*b*a*b^-2*c*b^-1*a*b*c*b,
  b^-1*a*b*a^-1*b*c*b^-1*a*b^-1*(a^-1*b)^2*c*b^-1*a,
  b*a^-1*b^-1*a*(b*a^-1*b^-1*a^-1)^2*(b*a*b^-1*a)^2*(b*a^-1*b^-1*a)^2*b*a^-1*b\
^-1*a^-1,
  (a*b^-1)^2*b^-1*a^-1*b^-1*(a*b)^2*a*(b^-1*a^-1)^2*b*a^-1*b^-1*(a*b)^2*a*b^-1\
*a^-1*b^-1*a*b*a*b^-1*a^-1*(b*a)^2*b^-1,
  (b*a^-1*b^-1*a^-1)^2*b^-1*(b^-1*a^-1)^3*(b*(a*b^-1)^2*a^-1*b*a)^2*b*a*b^-1*a\
*b*a,
  b^-1*a^-1*b*a^-1*(b^-1*a)^2*b*(a*b^-1)^2*a*b*a^-1*b^-2*a^-1*b^-1*(a*b^-1*a^-\
1*b*a*b)^2*a*b^2*a^-1*b*a,
  b*a*b^-1*a*b^2*a^-1*b*a*b^-1*(a*b)^2*(a^-1*b^-1)^2*a^-1*b*a*b^-1*(a^-1*b)^2*\
a*b^2*a*b^-1*a*b*a^-1*b^-1*a*b*a,
  b*a*b^-1*a*(b^-1*a*b*a^-1)^2*b*a*(b^-1*a^-1)^2*(b*a^-1)^2*(b^-1*a)^2*b^-1*a^\
-1*b*a*(b^-1*a*b*a^-1)^2,
  b^-2*a*b^-1*a^-1*b*a^-1*b^-1*a^-1*(b^-1*a*b^-1)^2*a*b^-1*(a*b)^2*a^-1*b^-1*(\
a^-1*b^-1*(a*b)^2)^2*a*b^-1*a,
  (b*a^-1)^2*b^-1*(a*b^-1*a*b)^2*a*b^-1*a^-1*(b*a)^3*(b^-1*a)^2*b*a*b*a^-1*(b^\
-1*a)^2*b^-2*a^-1*b^-1*a,
  a*b*a^-1*b^-1*(a^-1*b)^2*a^-1*(b^-1*a)^2*(b*a^-1)^2*b*(b*a^-1*b^-1*a^-1*b*a^\
-1)^2*b^-1*a*b*(a*b^-1)^2*a^-1*(b*a)^2*b^-1*a^-1*b^-1*a*b^-2*a^-1*b^-1*a*b,
  b^-1*a*(b*a*b^-1*a^-1)^2*b^-1*a*b*(a*b*(a*b^-1)^2)^2*b^-1*a^-1*b*a*b^-1*(a^-\
1*b)^2*a*b^-1*(a^-1*b^-1*a*b)^2*(a^-1*b)^2*a^-1*b^-1*a^-1*b*a^-1,
  b*a*b^-1*a*b*a^-1*b^-1*(a^-1*b)^2*a*b^-1*a^-1*b*(b*a)^3*(b^-1*a)^2*b*a*b*a^-\
1*b*(b*a^-1*b^-1*a)^2*b^-2*a^-1*(b*a)^2*b^-1*a*b*a^-1*b^-1*a*b*a*b^-1*a*b,
  (b*a^-1)^2*b^-1*a*b*a^-1*b*(a*b^-1*a^-1*b*a*b^-1)^2*(a*b)^2*a*b^-1*a*b*a^-1*\
b*a*b*a^-1*b^-1*(a*b)^2*(a*b^-1)^2*a^-1*b*(a^-1*(b*a)^2*b^-1*a*b^-1)^2*b^-1*a^\
-1,
  a^-1*(b^-1*a^-1*b*a^-1*b^-1*a)^2*b*a*b*a^-1*b^-1*a*b^-1*(b^-1*a^-1)^3*b*c*(a\
*b^-1)^2*c*a*b^-1*a*b*a*b^-1*a^-1*b^-1*a*(b*a^-1)^2*b^-1*a*b^-1*a^-1*b*(a^-1*b\
^-1)^2*c*a*b^-1*a^-1*(b*a*b^-1*a)^2*b^-1*c,
  a^-1*b^-1*a^-1*(b^-1*a*b^-1)^2*a^-1*b*(a^-1*b^-1)^2*a*b*(a^-1*b*a^-1*b^-1)^2\
*a^-1*b^-1*(a*b)^2*a^-1*(b^-1*a)^2*b^-2*a^-1*b^-1*a*b*a^-1*b^-1*a^-1*b*(a*b*a^\
-1*b^-1)^3*a*(b*a^-1)^2*b^-1*a*b^-2*(a^-1*b)^2,
  c*b*a*b^-1*a*b*a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*(b^-1*a*b^-1)^2*a^-1*b*(a*b*a^-\
1*b^-1)^2*b^-1*a^-1*c*b*a*b^-1*a^-1*b*a^-1*(b^-1*a*b*a*b^-2*a^-1*b*a^-1*b^-1*a\
*b*a)^2*b^-1*a*b*a^-1*b^-2*a ],
[ [ a, b ], [ c, a^2*b, (b^-2)^(a^-1), a^-1*b^2 ],
  [ c, a*b*a, a*b^-1*a, a^(b^-1), c^(b^-1), a^((a^-1)^b) ] ]];
end,
[ 8, 8, 14 ]],
"PG86016.2",0,1,2,[ 8, 8, 14 ]],
# 86016.3
[[1,"abcd",
function(a,b,c,d)
return [[ a^4, d^4, a^-1*c^-1*a*c^-1, b^-1*d^-1*b*d, c^-1*d^-1*c*d, c^4,
  a^2*d*a^-2*d^-1, b^6, c*b^-2*(c*b)^2, b^-1*(c^-1*b)^2*c^-1*b^-1,
  c^-2*b*a*d^-2*a^-1*b^-1, b^-2*a^-1*b^3*a^-1*b^-1, a^2*(b*a^-2)^2*b,
  c^-1*b*c*b^-1*a*d*a^-1*d^2, a^2*b^-1*c*b*a^-2*b^-1*c^-1*b,
  b*a^-1*b^-1*a^2*b*a*b^-1*a^-2, c^2*b^-1*c^-2*a^-1*d^2*a*b,
  a^2*b^-1*a^-1*b*a^-2*b^-1*a^-1*b, c^-1*a*c*d^-1*a^-1*d^2*b^-1*c*b,
  c*b^-1*a^2*b*c^-1*b^-1*a^-2*b, d^2*a*d*b^-1*c^-1*d^-1*c^-1*b*a^-1,
  b^-1*(d*c)^2*b*c^-1*b*(d*c)^2*b^-1*c^-1, (b*a)^7, b^-2*a*(b*a^-1)^4*(b*a)^2,
  b^2*(a*b^-1)^2*a*b^2*(a*b^-1)^2*a^-1*b^-1*a, (b*a*b^-1*a)^4,
  c*b^-2*a^2*b^2*d^-2*b^-2*a^-2*b^2*c^-1*d^-2,
  d^-2*a*d^-2*b^-1*c*b^-1*a^2*b*d*c*d*a^2*b^-2*a ],
[ [ a^-2, c, d, (a^-2)^(b^-1), b^3, b*a*(b^-1*a^-1)^2, a^((a^-1)^b) ],
  [ c^-2, d^-2, a*b*a, (d^-2)^(a^-1), b^-1*a*d^-1*a ] ]];
end,
[ 84, 64 ]],
"PG86016.3",0,1,2,[ 84, 64 ]],
# 86016.4
[[1,"abcd",
function(a,b,c,d)
return [[ c^2, d^2, a^4, a^-1*c*a*c, (c*d)^2, (a^-2*d)^2, b^6,
  b*c*b^-2*c*b*c, b^-2*(d*b)^2*d, a*b^3*a*b^-3, (d*a^-1)^4,
  b^-1*a^-1*d*a*b*a^-1*d*a, (c*b*d*b^-1)^2, (b*c*b^-1*d)^2,
  b*a*b^-1*d*b*a^-1*b^-1*d, a*b^-1*a^2*b^-1*a^-2*b^-1*a,
  c*a*b^-1*a*d*a^-1*b*c*a^-1*d, (c*b*a^-2*b^-1)^2,
  a*b*a^-1*b^-1*a^-2*b*a*b^-1*a, c*b*a*d*a^-1*b^-1*c*a*d*a^-1,
  (a^-2*b*d*b^-1)^2, (a^-2*b*c*b^-1)^2, b^-1*a^-1*b*a^2*b^-1*a^-1*b*a^-2,
  b^-1*a*b^-1*c*b*a^-1*b*a*b^-1*c*b*a^-1, b*a^-1*(b*a)^2*(b*a^-1)^3*b*a,
  a*(b^-1*a*b*a^-1)^2*b^-1*a*b*a*b^-1*a^-1*b,
  b^-1*a^-1*b^-2*(a^-1*b)^3*a^-1*b^-2*a^-1*b*a^-1*b^-1 ],
[ [ a, b, c ], [ a, b, d ], [ c, d, a^2*b, (b^-2)^(a^-1), a^-1*b^2 ] ]];
end,
[ 8, 8, 8 ]],
"PG86016.4",0,1,2,[ 8, 8, 8 ]],
# 86016.5
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, a^-1*c*a*c, b^6, b^3*c*b^-3*c, a^-1*b^3*a^-1*b^-3,
  (c*b*c*b^-1)^2, (a^-2*b^-1)^3, b^-1*a^-2*b*a*b^-1*a^-2*b*a^-1,
  a^2*b^-1*a^-1*b*a^-2*b^-1*a^-1*b, (b*c*b^-1*a^-2)^2, (a^-1*b^-1*c*b*a^-1)^2,
  b^-1*a*b^-1*c*b*a^-1*b*a*b^-1*c*b*a^-1,
  a^-1*b^-1*c*b*a*b^-1*a^-1*b^-1*c*b*a*b, (c*b*c*b^-2*c*b)^2,
  (b*a^-1)^2*(b*a)^3*b*a^-1*b*a, (a^-1*b^-1*a^-1*b)^4,
  b*c*b^-1*a^-1*b*a^-1*b^-1*a*b*c*b^-1*a^-1*b*a*b^-1*a,
  (a^-1*b*c*b^-1*c*a*b)^2*a^-1*(c*b)^3*a^-1*b,
  c*b^2*a*(b*c)^2*b*a*b*c*b^-1*c*a^-1*b*c*b^-2*c*b*a*c*b,
  (b^2*(c*b^-1)^2*a^-1)^2*(b^2*(c*b^-1)^2*a)^2 ],
[ [ c, a^2*b, (b^-2)^(a^-1), a^-1*b^2 ],
  [ a^-2, c, (a^-2)^(b^-1), b^3, c^(b^-1), c^b, b*a*(b^-1*a^-1)^2,
      a^((a^-1)^b) ] ]];
end,
[ 8, 42 ]],
"PG86016.5",0,1,2,[ 8, 42 ]],
# 86016.6
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, a^-1*c*a*c, b^6, (c*b^-1)^2*c*b^2, a^-1*b^3*a^-1*b^-3,
  a*b*a^2*b*a^-2*b*a, (b*a^-2*b^-1*a)^2, a^2*b^-1*c*b*a^-2*b^-1*c*b,
  c*b^-1*a^2*b*c*b^-1*a^-2*b, a^-1*b^-1*a^2*b*a*b^-1*a^-2*b,
  b^-1*a*b^-1*c*b*a^-1*b*a*b^-1*c*b*a^-1, (a*b^-1)^7,
  a^-1*b*a^-1*(b^-1*a)^2*(b^-1*a^-1)^2*b^-1*a*b*a^-1*b^2*(a*b^-1)^2*(a^-1*b^-1\
)^2, (b^-1*a^-1*(b*a)^2)^2*b*c*b^-1*((a^-1*b^-1)^2*a*b)^2*c,
  a^-1*b^-1*a*b^-2*(a*b)^2*a^-1*b*a^-1*b^-1*a*b*a^-1*b*a*b^-2*a*b*a*b^-1*(a^-1\
*b*a*b)^2,
  b*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*b^-1*a^-1*(b*a*b^-1*a)^2*b*a*b^2*a^-1*b*a*b^\
-1*a^-1*b*a*b^2*a,
  a^-1*b^-1*a*b*a^-1*b^-2*a^-1*b^-1*a*(b*a*b*a^-1*b^-1*a*b)^2*a*b*a^-1*b^-1*(a\
*b)^2*(a*b^-1)^2*a*b,
  b*a*b^-1*a*(b*a^-1)^2*b^-1*a*b*a*b^-1*(a^-1*b)^2*a*b*a*b^-1*a^-1*b^-1*a*b*a^\
-1*(b*a*b)^2*a*b*a^-1*b^-1*a*b^-1*a^-1,
  b*a*b*a^-1*b^-1*a*b^-1*(a^-1*b)^2*a*b^2*(a*b^-1)^2*a*b*a^-1*(b*a)^2*b^-1*a*b\
*((b*a)^2*b^-1*a^-1)^2,
  b^-1*a*b^-1*a^-1*b^-2*a*b*a*b^-1*a^-1*b*(a*b^-1*a^-1*b*a*b^-1)^2*a^-1*b^-1*a\
*b^-1*(a^-1*b*a*b^-1*a*b)^2*a^-1,
  (a^-1*b^-1)^3*a*b*a^-1*(b*a^-1*b^-1*a)^2*b*(a^-1*b^-1)^2*b^-1*(a*b^-1*a^-1*b\
)^2*a*b*a^-1*b^-1*a*(b^-1*a^-1)^2*b,
  b^-1*a*b*a*b^-1*a^-1*b*a*b^-1*a*b*(a^-1*b^-1)^2*a^-1*b*a*b*a^-1*b*a*b^-1*(a^\
-1*b)^2*a*b^-1*(a*b)^2*a^-1*b*(a*b^-1)^2*a*b*a,
  a^-1*b*a*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*a*b^-1*(b^-1*a^-1)^2*b^-1*a*b^-1*(\
a^-1*b)^2*(b*a)^2*b^-1*a^-1*b^-1*(a*b)^2*(a*b^-1)^2*a*b^2,
  b^-1*a*b*(a^-1*b^-1)^3*a^-1*b*a*b^-1*(a^-1*b)^2*a*(b^-1*a^-1)^2*(b*a)^2*b*a^\
-1*b^-1*a^-1*b*a*(b^-1*a*b^-1)^2*a*b*a*b^-1*a,
  a*b^-1*a^-1*(b*a)^2*b^-1*a^-1*b*a^-1*((b*a*b^-1*a)^2*(b*a)^2*b^-1*a)^2*b^-1*\
a^-1*b*a*b,
  b*a*b^-1*(a*b)^3*a*b^-1*a^-1*b*(a*b^-1)^2*a^-1*b^-2*(a^-1*b)^2*a*b^-1*a*b*a^\
-1*b^2*(a^-1*b*a*b^-1)^2*a*b^2*a*b^-1*a,
  b^2*(a*b^-1)^2*a^-1*(b*a)^2*b^-1*(a^-1*b)^2*(a^-1*b^-1)^3*a*b^-1*a^-1*b*(a*b\
*a*b^-1)^2*a*b^-1*(b^-1*a^-1)^2*(b*a^-1)^2*b^2*a^-1,
  b^-1*a*b*a^-1*b^-2*a^-1*b^-1*(a*b)^2*a*b^-1*a*b*a^-1*b^-2*a^-1*b^-1*a*b*a*b^\
-1*a^-1*b*(a*b*a*b^-1)^2*(a*b)^2*(a*b^-1)^3*a^-1*b*a^-1,
  c*b*(a^-1*b^-1)^2*a*b^-1*a^-1*(b*a)^2*b^-1*(a^-1*b)^2*(a*b^-1)^2*a^-1*b^-1*a\
^-1*c*b^-1*a^-1*b*a^-1*b^-1*(b^-1*a)^2*b*a*b^-1*a^-1*(b*a)^2*b^-1*a*(b^-1*a^-1\
)^2,
  b*c*(a^-1*b^-1)^2*a*b^-1*a^-1*(b*a)^2*b^-1*(a^-1*b)^2*(a*b^-1)^2*a^-1*b^-1*a\
^-1*b*c*b*a*b*(a*b*a*b^-1)^2*a^-1*(b*a)^2*b^-1*a*(b^-1*a^-1)^2,
  b^-1*a^-1*b^-1*a*(b*a^-1)^2*b^-1*(a*b)^2*a*(b^-1*a^-1)^2*(b*a)^2*(b^-1*a^-1*\
b*a^-1)^3*b*a^-1*(b^-1*a)^2*b^-1*(a^-1*b)^2*a*b^-1*a*b*a^-1*b*a*b^-1*a^-1*b*a,
  b^-1*a^-1*b^-1*a*b*a^-1*(b*a^-1*b^-1*a)^2*b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b^2\
*a^-1*b*a*b^-1*a*(b*a*b^-1*a^-1)^2*b^-1*a^-1*(b*a^-1*b*a*b^-1*a)^2*b^-1*a*b^-1\
*a^-1*b*a^-1,
  (a^-1*b^-1)^2*a*b*a^-1*b*a*b^-1*a^-1*b*a*b*a^-1*b^-1*a*b*a*b^-1*(a*b^-1*(a*b\
)^2)^2*a*b^-1*a^-1*b*(a^-1*b^-1)^3*a^-1*(b*a)^2*b^-1*(a^-1*b)^2*a^-1*b^-1*a^-1\
*b^2*a^-1*b^-1*a*b,
  a^-1*(b^-1*a)^2*b^-1*a^-1*b*a*(b*a*b^-1*a^-1*b*a^-1)^2*(b^-1*a^-1*b*a^-1)^2*\
(b^-1*a)^2*b*a^-1*b^-2*a^-1*b^-1*a*b^-1*(a*b^-1*(a*b)^2)^2*a*(b^-1*a^-1)^3*b*a\
*b^-1 ],
[ [ a, b ], [ c, a^2*b, (b^-2)^(a^-1), a^-1*b^2 ],
  [ a^-2, c, a^(b^-1), b^3, c^(b^-1), a^(b*a^-1), a^(b*a^-1*b) ] ]];
end,
[ 8, 8, 28 ]],
"PG86016.6",0,1,2,[ 8, 8, 28 ]],
# 86016.7
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^6, (a^-1*b^-3)^2, (c*a^-1)^4, (c*b^-1*c*b)^2,
  (c*a^-1*c*a)^2, (b^-1*a^-2)^3, (b^2*c)^3, b^-1*a*c*a^-1*b^-1*c*b^2*c,
  a^-1*b^-1*a^-2*b*a*b^-1*a^-2*b, (a^-2*b^-1*a*b)^2,
  c*a*b^-1*c*a^-1*c*a*b*c*a^-1, a*c*a^2*(c*a^-2)^2*c*a, (b^-1*a*c*b*a^-2)^2,
  a*b^-1*c*b*a^-1*b^-1*a*b^-1*c*b*a^-1*b,
  a^-1*c*b^-2*a^-2*b^-1*c*b^-1*a^2*b*a^-1,
  c*b*(a*b^-1*c)^2*b*c*a^-1*b*a^-1*b^-1, b*a^-1*b^-2*(a^-1*b)^4*a*b*a,
  c*b*a^-2*c*b^-1*a^-2*c*b*a*c*a*b^-1*a^-2,
  (a^-1*b^-1*a*b)^2*a*b^-1*a^-1*b*a*b^-1*a*b,
  c*a^-1*c*b^-1*a*b^-1*(c*a^2)^2*b*a^-1*b*a,
  a*c*b^-1*(c*a)^2*b*a^-1*c*b^-1*c*a^-2*c*b,
  (c*b^-1*a^-1*c*a^-1*b^-1*c*b^-1)^2 ],
[ [ b^-2*a^-1*b^-1, c*a^-1*c^-1*a, c*b^-1*c^-1*b, a*b*c*b^-1*a,
      (b^-1*a*b^-2)^(a^-1), a^-1*b*a*b^-1*c^-1*a^-1, (a^-1*b)^2*b*a^-1 ] ]];
end,
[ 56 ]],
"PG86016.7",0,1,2,56],
# 86016.8
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^6, (b^-1*a*b^-2)^2, (b*c*b^-1*c)^2, (a*c)^4,
  (a^-1*c*a*c)^2, a^2*(b*a^-2)^2*b, (c*b^-2)^3, a^-1*b^-1*a^2*b*a*b^-1*a^-2*b,
  b*a^2*b^-1*a*b*a^-2*b^-1*a, (a^-1*b^-1*c*b^-2)^2,
  b^-1*c*b*a*c*a^2*b*c*b^-1*a, a*c*a^-1*b^-1*c*a^-1*b*c*b^-1*a*b,
  b^-1*a^-1*c*a*c*b^2*c*b^-1*a^-1*c*a, (a^-2*b^-2*a^-1*b^-1)^2,
  (a^-2*b*c*b^2)^2, (c*a*b^-1*c*b*a^-1)^2, (a^-1*b^-1*(b^-1*c)^2)^2,
  a^-1*b*a*b*c*b^-1*a^-1*b*c*b^-2*a*c,
  b*a^2*c*b^-1*c*a^-1*b*a^-2*c*b^-1*c*a^-1, c*b^-1*a^-2*b^2*c*a^-2*b*c*b*a^-2,
  c*a*b^-1*a^-2*c*b*a*b*a^-2*c*b^2, a*b*a^-1*b^2*c*b*a^-1*b^2*a^2*c*a,
  (a*b^-1)^7, (a*b^-1*c)^2*a^-2*b*a*(c*b^-1)^2*a,
  b^-1*a^2*b^2*c*a^-1*c*b*a*c*a*b^-1*a^-1*b^-1*c,
  b*a^-1*b*a*b^-1*c*b*a^-1*b^-2*c*b*c*a*b^-1*c,
  (c*a^-1*(b^-1*c)^2*b^2*a^-1)^2, (a^-2*c*b*c*b^-2*c*b)^2,
  a*(b^-1*a*b*a^-1)^2*b^-1*a*b^2*a*c*b^3*c*(a^-1*b^-1)^2*a*b,
  c*b*a^-1*b^-1*(b^-1*a^-1)^2*b*a*b*c*b*a^-1*b^-1*c*(b^-1*a^-1)^2*c*b*a*c*b,
  b^-1*a^-2*b*(b*a)^3*b^-1*(c*b)^2*c*a^-1*(b*a*c)^2*b*c*a^-1,
  a^-1*b*a^-1*(b^-1*a^-1*b^-1)^2*a^-1*(b^-1*c)^2*a*b^-1*c*a^-1*b*a^-1*c*b^-2*c\
*b*c,
  b^-1*c*a^-1*b^-2*c*a*c*b*a^-1*c*b^-2*a*c*b*c*a^-1*b^-2*a^-1*(c*b^-1)^2*c*a*b\
^-1,
  a^-1*b^-1*(a^-1*b^-1*a*b)^2*(b*a^-1)^2*(b^-1*a)^2*b*a^-1*b^-1*a*b^-1*a^-1*(c\
*b^-1)^2*c,
  c*b^-1*c*a^-1*b*c*b*a*b^-1*c*a*b*c*b*a*(b^-1*c)^2*b^-1*a^2*b*c*b*(a^-1*b^-1*\
c)^2*a^-1 ],
[ [ c^a, (a^-2)^(b^-1), b^3, c*b*c^-1*b^-1, c^(b^-1*a), a^((a^-1)^b),
      (b*a)^3*b^-1*a*(b*a^-1)^2 ] ]];
end,
[ 336 ]],
"PG86016.8",0,1,2,336],
# 86016.9
[[1,"abc",
function(a,b,c)
return [[ a^4, c^4, c^-1*a^-2*c*a^-2, a^-1*c^2*a*c^-2, b^6,
  (a^-1*c^-1)^2*(a*c^-1)^2, (b^2*a^-1*b)^2, b^-2*c*b^-3*c^-1*b^-1,
  c^-1*a*c^-1*b^-1*c^2*b*a^-1, b*a^-1*b^-1*c^-1*b*a*b^-1*c,
  b*c^-1*b^-1*c^-1*b*c*b^-1*c, b^-1*a^2*(b^-1*a^-2)^2,
  a^-2*b^-1*a*b*a^-2*b^-1*a^-1*b, b*c^-1*b^-1*a^-2*b*c*b^-1*a^-2,
  b^-1*a^2*b*a*b^-1*a^-2*b*a, b^-1*a*b^-1*c*b^2*c^-1*b^-1*a^-1*b*c^-1,
  a*b*c^2*b^-1*c^-1*a^-1*b*c^-2*b^-1*c^-1,
  b*c^-1*b^-1*a*b^-1*c^-1*b*c*b*c^-1*b^-1*a^-1*c,
  a*(b*a*b*a^-1)^2*(b*a^-1)^2*b,
  a^-1*b*a*b^-1*a*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b*a^-1*b^-1 ],
[ [ c, a*b*a, a*b^-1*a, c^(a^-1), a^b ],
  [ c, a*c*a, (a^-2)^(b^-1), b^3, (c^-1*a^-1)^(b^-1), a^(b^-1*a^-1),
      c^(b^-1*a^-1), (c^-1*a^-1)^(b*a^-1) ] ]];
end,
[ 14, 28 ]],
"PG86016.9",0,1,2,[ 14, 28 ]],
# 86016.10
[[1,"abc",
function(a,b,c)
return [[ c^2, b^-1*c*b*c, c*a^-2*c*a^2, (a*c)^2*(a^-1*c)^2, (b^-3*a)^2, a^8,
  (a^-2*b)^3, b^-1*a^2*b^3*a^-2*b^-2, (b^-1*a^-2*b*a)^2,
  a*b^-2*a^2*b*a^2*b^-2*a, b^-1*a^-1*b*a^-1*(a^-1*b^-1)^2*a^2*b^-1,
  b*a*b^-1*a*c*a^-1*b*a^-1*b^-1*a*c*a^-1, (b*a^2*b^2*a)^2, (a*b*a^-2*b^2)^2,
  a^2*(a*b*a^-2*b^-1)^2, a^-1*b*a*c*a^-1*(b^-1*a*c)^2*a^-1*b,
  (a*b^2*a^2*b)^2*a^2, (b^-1*a^-1)^7,
  a^-1*b^-2*a^-1*b^4*a^2*b^2*a^-1*b^-1*a^-1,
  (b^-1*a^-1)^2*b^-1*a*b^2*(a*b^-1)^3*a, (a^-1*b^-1*a*b^-1)^3*a^-1*b^2,
  a*b^-1*a*b^2*(b*a)^2*b*a^-1*b^-3*a^-1*b^-1,
  b*a*b^-1*a*b^2*a*b^-1*a^-1*(b^-1*a)^2*b^-1*a^-1*b,
  a^-2*b*a*c*a*b^-1*a^-4*b*a^-1*c*a^-1*b^-1*a^-2,
  a*b*a^-1*b^-1*a^-1*b*(a*b^-1)^2*b^-1*a^-1*b^-1*a*b*a^-1*b^2,
  b^-1*a^-1*b*(a^-1*b^-1)^2*b^-1*a*(b^-1*a^-1*b^-1)^2*a*b*a^-1,
  b*a^-1*b*(a*b*a*b^-2)^2*a*b^3*a^2*b*a ],
[ [ a, b ],
  [ c, c^(a^-1), b^-2*a^-1*b^-1, a^2*b*a*b^-1, a^2*b^-3, a^(b*a^-1*b) ] ]];
end,
[ 8, 168 ]],
"PG86016.10",0,1,2,[ 8, 168 ]],
# 86016.11
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, b*c*b^-1*c, a^4, (c*d)^2, a^2*d*a^-2*d, a^2*c*a^-2*c,
  b^6, d*b^-1*d*b^2*d*b^-1, (b^-3*a^-1)^2, (c*a*d*a^-1)^2, (a*c*a^-1*d)^2,
  (c*a^-1)^4, (a^-1*d)^4, b^-1*d*b*a*b^-1*d*b*a^-1, (a^-1*b*a^-1)^3,
  d*b^-1*a*d*a^-1*b*a*d*a^-1, b^-1*a^2*b*d*b^-1*a^-2*b*d, (a*b*a*b^-1*a)^2,
  c*a*b^-1*c*d*b*c*a^-1*b^-1*c*d*b, b*a*b^-1*a*c*a^-1*b*a^-1*b^-1*a^-1*c*a,
  a^-1*b*a^-1*c*a*b^-1*a*c*b^-1*a^-1*c*a*b, a*(b*a*b*a^-1)^2*(b*a^-1)^2*b,
  a*b*a*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1,
  c*b*a*c*a^-1*b^-2*a^-2*c*b^2*a*c*a^-1*b^-2*a^-2*b ],
[ [ a, b, c ], [ a, b, d ], [ a, c, d, a^(b^-1), d^(b^-1), a^((a^-1)^b) ] ]];
end,
[ 8, 8, 14 ]],
"PG86016.11",0,1,2,[ 8, 8, 14 ]],
# 86016.12
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, c^2, a^4, (c*d)^2, (a*c*a)^2, (a^-2*d)^2, b^6,
  b^-1*d*b*d*a^-1*d*a, b*(c*b^-1)^2*c*b, (b^2*d*b)^2, b^3*a*b^-3*a,
  (c*a)^2*(c*a^-1)^2, (c*a^-1*d*a)^2, (d*b*c*b^-1)^2,
  b^-1*c*b*a*b^-1*c*b*a^-1, a^2*(b*a^-2)^2*b, b^-1*a^2*b*d*b^-1*a^-2*b*d,
  c*b^-1*a^2*b*c*b^-1*a^-2*b, (c*d*b*d*b^-1)^2, (b^-1*a^-2*b*a^-1)^2,
  b*a^2*b^-1*a*b*a^-2*b^-1*a^-1, d*b^-1*d*a*d*a^-1*(b*d)^2*b^-1,
  (c*a*b*c*b^-1*a^-1)^2, (d*a*b*c*b^-1*a^-1)^2,
  d*b*d*b^-1*d*a*d*b*d*b^-1*d*a^-1, (d*a^-1*c*a*b*d*b^-1)^2,
  a*(b*a*b*a^-1)^2*(b*a^-1)^2*b, a*c*a^-1*d*b^-1*a^-1*b*c*b^-1*a*b^2*d*c*b^-1,
  d*b^-1*d*a*b*c*b^-1*d*a^-1*c*b*a*c*a^-1*c,
  b^2*a^2*b*c*a^-1*c*b*a^-2*b^-1*c*a^-1*c,
  a*b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a^-1*b*a^-1*b^-1 ],
[ [ c, d, c^(a^-1), a*d*a, a^(b^-1), c^(b^-1), (a^-2)^b, a^(b*a^-1*b),
      ((b*a)^2*b^-1*a^-1*b)^(a^-1) ] ]];
end,
[ 42 ]],
"PG86016.12",0,1,2,42],
# 86016.13
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^-1*c*b*c, (a^-2*c)^2, b^6, (b^2*a^-1*b)^2, (c*a^-1)^4,
  a^-1*b^-1*a^2*b^-1*a^-2*b^-1*a^-1, a*b*a^2*b^-1*a^-1*b*a^-2*b^-1,
  (b^-1*a^-2*b*a)^2, b*a*b^-1*a^-1*c*a*b*a^-1*b^-1*a*c*a^-1,
  c*a^-1*(b*a*c*a)^2*b*a^-1, a^-1*b*a*c*a^-1*b^-1*a*c*b^-1*a^-1*c*a*b,
  (a*b)^7, (b^-1*a^-1)^2*(b^-1*a)^3*b^-1*a^-1*b^-1*a,
  b*a^-1*b^-1*a*b*a^-1*c*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a*c*a*b^-1*a^-1,
  a*b^-1*a^-1*b*a*b^-1*a*(b*a*b)^2*(a*b^-1)^2*b^-1*a^-1*b^-1*a*b*a*b^-1*a^-1*b\
*a^-1*b^-1*a^-1*b*a*b^-1*a^-1*b,
  a*b*a^-1*b^-1*a^-1*b*c*a^-1*b^-1*a*b*a*b^-1*c*a^-1*b*a^-1*b^-1*c*a*b*c*(a*b^\
-1*a*b)^3*a^-1*b^-1,
  a^-1*b*a*b^-1*a^-1*b*a^-1*((b^-1*a)^2*b*a)^2*b*(a^-1*b^-1)^2*a^-1*((b*a^-1)^\
2*b)^2*a^-1*b^-1,
  b*a*b^-1*a^-1*b^-2*a^-1*b*a*b^-1*a^-1*(b^-1*a*b*a)^2*b*a*b^-1*a*(b^-1*a^-1*b\
^-1)^2*(a^-1*b)^2*(a^-1*b^-1)^2*a^-1,
  b^-1*a*b*a^-1*b^-1*(b^-1*a)^2*b*a*(b^-1*a^-1)^2*((b*a)^2*b)^2*a*(b^-1*a^-1)^\
2*b*a*b^-2*a*b*a^-1*b^-1*a*b*a,
  a*b*a^-1*b^-1*a*b*a*b^-1*(a^-1*b^-1*a*b)^2*a*b^2*a*b*a^-1*b^-1*a*b^-1*a^-1*(\
b*a)^2*b^-1*a*b^-1*a^-1*b*a^-1*(b^-1*a)^2*b*(a^-1*b^-1)^2,
  a*b^-2*a^-1*(b*a*b^-1*a)^2*b*a^-1*b^-1*a*(b*a^-1)^2*b^-1*a^-1*b^-2*a*b*a^-1*\
b^-1*a*(b^-1*a*b^-1)^2*a*b*a^-1*(b^-1*a)^2*b*a*b^-1,
  a^-1*b^-1*a^-1*(b*a*b)^2*a^-1*b*a*b*(b*a^-1*b^-1*a*b*a^-1)^2*b^-1*a^-1*b^2*a\
^-1*b*a*b*a^-1*b^-1*a*b^-1*a^-1*(b*a*b^-1*a)^2*b^-1*a*b*a^-1*b,
  b*(a^-1*b^-1)^2*a*b*a^-1*b*a*b^2*a*b^-1*a*b*a^-1*b^-2*a^-1*(b^-1*a)^2*(b*a)^\
2*(b^-1*a)^2*b*a^-1*b^-2*a*(b^-1*a^-1)^2*(b*a)^2*(b^-1*a^-1)^2*b*a,
  b*a^-1*(b*a^-1*(b^-1*a)^2)^2*b*a*b^-1*a*b^2*a*b*a^-1*b^-1*a*b^-1*a^-1*b*a*(c\
*b*a^-1)^2*b^-1*a*b^-1*a^-1*b^-2*a*b^-1*a^-1*b*a^-1*b^-1*c*a*b^-1*a*c,
  (b*a^-1)^2*b^-1*a^-1*b*(b*a)^3*b^-1*a*b*(b*a)^2*b*(a^-1*b^-1)^2*a*b^-1*(b^-1\
*a*b*a)^2*b^-1*a*b^2*a^-1*b^-1*a*b*a*b^-1*a*(b*a^-1)^2*b^-1*a*b^-1*a^-1,
  a*b*a^-1*b^-1*a^-1*(b*a^-1*b)^2*a*b*a*(b^-1*a^-1*b*a^-1)^2*(b^-1*a^-1*b*a)^2\
*b*a*(b^-1*a*b*a^-1*b^-1*a^-1)^2*b^-1*(a^-1*b)^2*(b*a)^2*b^-1*a*b,
  a*b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a)^2*b*a^-1*b*a*(b^-1*a^-1)^2*b*a*b^2*a^-1*b\
*a*(b^-1*a*b*a^-1)^2*b^-1*(a*b)^2*(a^-1*b^-1)^2*a*(b*a^-1)^2*b^-1*a*b*a*b^-1*a\
*b*a^-1*b^-1,
  a^-1*b^-1*a^-1*b*a*b^-1*(a^-1*b)^2*(a^-1*b^-1)^2*(a^-1*b)^2*(a*b^-1*a*b*(a*b\
^-1)^2)^2*(b^-1*a^-1)^2*b*a*b^-2*a*b*(a*b^-1)^2*b^-1*(a*b^-1*a*b)^2*b,
  a^-1*b*a*b^2*a^-1*b*a*(b^-1*a^-1)^2*b*a*b^-1*a*b*a^-1*b^-1*a*b^-1*(a^-1*b)^2\
*a^-1*b^-1*a^-1*b^2*a^-1*b*a*b^-1*a*b*a^-1*b^-1*(a*b^-1*a*b)^2*(a^-1*b^-1)^2*(\
a^-1*b)^2*a^-1*b^-1*a*b^-1,
  b^-1*a*b^-1*a^-1*b*a^-1*b^-1*a*b*a*(b^-1*a^-1)^2*b^-2*a*b^-1*a^-1*b*a*b^-1*c\
*a*b*a^-1*b^-1*a^-1*(b*a)^2*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b*(a^-1*b^-1)^3*b^-1*a\
*c*b*(a*b^-1)^2*(a*b)^2*a,
  b^-2*a^-1*b^-1*a*(b^-1*a*b*a^-1)^2*b^-1*a*b^-1*(a^-1*b)^2*a^-1*b^-1*a^-1*b^2\
*(a*b*a*b^-1)^2*(a*b)^2*a^-1*b*a*b^-1*(a*b)^2*(a*b^-1)^2*a^-1*b*(a*b*a*b^-1)^2\
*a*b^-1*a,
  a^-1*b^-1*(a*b)^2*b*a^-1*b*a*(b^-1*a^-1)^2*b*a^-1*b^-1*(a*b*a*b^-1*a^-1*b)^2\
*b*a^-1*((b*a)^2*b^-1*a)^2*b^-1*a*b*a^-1*b^-1*(b^-1*a)^2*b*a*b^-2*a*b*(a^-1*b^\
-1)^2*(b^-1*a)^2*b*a*b^-1*a^-1*b*a*b,
  (b*a)^2*b^-1*a^-1*b^-1*(a*b)^2*a^-1*b^-1*a*b^2*a^-1*(b*a)^2*b^-1*a^-1*b^-1*a\
*b*a*b^-1*a*b^2*a^-1*b*(a*b^-1)^2*a*b*a^-1*(b*(a^-1*b^-1)^2*a^-1*b*a)^2*b*a*((\
b^-1*a)^2*b^-1)^2*a*b*a^-1*b^-1*a*b^2*a^-1 ],
[ [ a, c, a^(b^-1), a^((a^-1)^b) ],
  [ a^-2, c^(a^-1), a^(b^-1), b^3, a^(c^-1*b^-1), (c*a^-1)^(b*a^-1*b),
      ((b*a)^2*b^-1*a^-1*b)^(a^-1) ] ]];
end,
[ 14, 42 ]],
"PG86016.13",0,1,2,[ 14, 42 ]],
# 86016.14
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^-1*c*b*c, c*a^2*c*a^-2, b^6, (a*c)^4, (a^-2*b)^3,
  (a*b^-3*a)^2, b^2*a*c*a*b^3*a^-1*c*a^-1*b,
  b*a*b^-1*a^-1*c*a*b*a^-1*b^-1*a^-1*c*a,
  a^-1*b*c*a^-1*b*a^-1*c*(a*b^-1)^2*a*c, a^-1*b*a^2*b^-1*a*b*a^-1*b^3*a*b^2,
  b^2*a*b*a^-2*b^-1*a^-1*b*a*b^-3*a^-1, b*a^-1*b*(b*a)^2*a*b^-1*a^-1*b*a*b^2,
  (b^-1*a^-1)^2*b^-1*a*(b^-1*a^-1)^2*b^2*a*b^-1*a, ((a^-1*b)^2*a*b)^2*a*b^-2,
  a*b*a^-1*b^-2*(a^-1*b)^3*a*b^-2*a^-1*b,
  b^-1*a^-1*b^-1*a^2*b*a^-1*b*a*(b^-1*a^-1)^2*(a^-1*b)^2*a^-1,
  a^-1*b^-1*a*b*a*b^-1*a^2*b*a^-1*b^-1*a^-1*b*a*b^-1*a^-2*b,
  b*a*(b^-1*a*b^-1)^2*a^-1*b*(a^-1*b^-1)^2*(b^-1*a)^2,
  b^-1*a^-1*b^-2*a^-1*b*a^-1*(b^-2*a)^2*b*a*b*a^-1*b^-1,
  a^-1*b^-1*a*b^-1*a^-1*(a^-1*b)^3*a^-1*b^-1*a^-1*(a^-1*b)^2*b,
  b^-1*a^-2*b*a*b^-1*(a*b)^2*a^-2*b^-1*a*b^2*a^-1*b*a,
  a^2*b^2*a^-1*c*a^-1*b^-1*a^-1*b^2*a^-1*c*a*c*b^-2*a^-1*b^2,
  a^-1*b^-1*a^2*b*a^-1*b^-1*a^-1*b^2*a*b^-1*a^-2*b*(a^-1*b^-2)^2,
  c*a*b^-1*c*a^2*b*a^-1*c*b^3*a*b^-1*c*a^-2*b*a^-1*b^-3,
  c*a^-1*b^2*a^-1*b^-1*a^2*b*a*b^-2*a^-1*c*b^-2*a*b^-1*a^-2*b*a*b^-1,
  c*b*a*c*b^-1*a^-2*b*a*b^-1*c*a^-2*b*a*c*b^-1*a^-2*b*a*b^-1*a^2 ],
[ [ c*a^-1, b^3, (b*a)^2*b^-1*a, b^-1*a*c*a*b*a ] ]];
end,
[ 56 ]],
"PG86016.14",0,1,2,56],
# 86016.15
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^6, b^2*a*b^-3*a*b, (a^-1*c)^4, (c*b*c*b^-1)^2,
  (a^-1*c*a*c)^2, (b*a^-2)^3, a^-1*b^-1*a*b*a^2*b^-1*a^-1*b*a^-1,
  b^-1*a^2*b*a^-1*b^-1*a^-2*b*a^-1, (b^2*(a*c)^2*b)^2,
  a^2*b^-1*c*a^-1*c*b*a^-2*b^-1*c*a*c*b, (c*b^-1*a^-1*c*a*c*b)^2,
  b*c*b^-1*a*b*a^-1*c*b*c*b^-1*a*b^-1*c*a^-1,
  b*a*b*c*b^-1*c*a^-1*b^-1*a*b*c*b^-1*c*a^-1, a*(b*a*b*a^-1)^2*(b*a^-1)^2*b,
  b^-1*a^-1*b*c*b^-1*c*a*b^-2*(b^-1*c)^3,
  a^-1*c*b^2*(c*b^-1)^2*a*b*c*b^-1*a*c*a^-1,
  b^2*a*(c*b^-1)^2*a^-1*c*a*b^-1*a*c*b*c,
  b^-2*a^-1*c*a*c*b^2*a*b*a^-1*c*a*c*b^-1*a^-1,
  a^-1*b^-1*(a*c)^2*b*a^-1*c*b^2*a^2*b^-2*c,
  b^-1*a^-1*c*a*c*(b*c*a^-1*c*a)^2*b^-1,
  a*(b*a*b^-1*a^-1)^2*b*a*b^-1*a*b*a*b^-1,
  a*b^-1*a^-1*c*a*b*c*a*c*(a*b*c*b^-1)^2, (a^-2*b^-1*c)^2*b*c*b^2*a^-2*c*b^2,
  b^-1*a^-1*c*b^-1*(a*c)^2*b*a^2*c*a*b^2*a^-2*b^-1,
  a^2*(b*c*b^-1*a^-2)^3*b*c*b^-1,
  (b^-1*a^-1)^2*(c*a*c*b)^2*a*b^-1*c*a^-1*c*a*b*a^-1, (a*b*c*b^-1*c)^4 ],
[ [ a^-1*b*c^-1, b^-1*a*b^-2, b^-1*a^-1*b^-2, (b*a^-1*c^-1)^(a^-1),
      a*b^-1*a*c^-1*b ] ]];
end,
[ 64 ]],
"PG86016.15",0,1,2,64],
# 86016.16
[[1,"abc",
function(a,b,c)
return [[ c^2, a^4, b^6, b^3*a*b^-3*a, (c*a^-1*c*a)^2, (a^-1*c)^4,
  (c*b*c*b^-1)^2, a^2*(b^-1*a^-2)^2*b^-1, b^-1*c*a*c*a^-1*b*c*a*c*a^-1,
  b^-1*a^2*b*a^-1*b^-1*a^-2*b*a^-1, (a^-2*b^-1*c*b)^2,
  c*b^-1*a*b*c*b^-2*c*b*a^-1*b, a^-1*c*a*c*(b*c*b^2)^2,
  (b^-1*c*b^-1)^2*c*b^-2*a^-1*c*a, b^-1*a^2*b^2*c*a^-1*b*a^-2*b^-1*a*c*b^-1,
  b^-1*a*b*c*a^-1*c*a*b^-1*a^-1*b*c*a^-1*c*a,
  a*c*b^2*c*b^-2*a^-1*b^-1*c*b*a^-1*c*a,
  b*a^-1*c*b^-1*c*a^2*c*b*a^-1*c*b^-1*a^-2, (a*b^-1*a^-1*c*a*b*a)^2,
  (b^-1*a^-1)^2*(b^-1*a)^3*b^-1*a^-1*b^-1*a,
  a*b^-1*a^-1*c*a*b^-2*a*(c*b^-1)^2*b^-1*c,
  (c*a^-1*c*b^2*a^-1)^2*a^-1*b^-1*a^-1, b^2*a^2*c*b^-1*a^-2*(b*c)^2*a^-2*c,
  b^-1*(a^-2*b^-1*c)^2*a^-1*c*a^-1*b*c*b^-1,
  b*a*c*b*c*b^-1*a^-1*c*b^-2*a^-1*c*a*b*c,
  c*b^-2*a^-1*b^-1*c*a^-2*c*b*a^-1*b^2*c*a^-2,
  a^-1*c*a^-2*c*a*b^-1*a*b^2*(a*c)^2*b*a*b, b^2*a^-2*c*b*c*a^-2*b*(b*a^-2*c)^2
    , b^-1*c*b^-1*a*c*a*(c*b^2)^2*c*a^2*b*c*a^-2,
  b*a*b^2*c*a^-1*c*a*b*c*a*c*b^2*(a^-1*c*a^-1)^2,
  a*(b*a*b^-1*a^-1)^2*b*a*b^-1*c*a*c*b*c*a*c*b^-1,
  b^-1*a^-1*(b*a^-1*b)^2*a*b^2*a^-1*b^-1*(a^-1*b)^2*a*b*c*a*c*b*a^-1*b^-1*a ],
[ [ a, (a^-2)^(b^-1), b^3, (a^-2)^(c^-1), a^(c^-1*b^-1),
      (b*a)^2*b^-1*(a^-1*b)^2 ] ]];
end,
[ 112 ]],
"PG86016.16",0,1,2,112],
# 86016.17
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^2*c*a^-2*c, a*c*b*c*b^-1*a^-1*c, a^8,
  a^-1*b^-1*c*b*a*b^-1*c*b, (a^-1*b*a^2*b^-1)^2,
  a*b^-1*a^-2*b*a^3*b^-1*a^-2*b, b*a*b^-1*a^2*b*a^3*b^-1*a^2, (b^-1*a)^7,
  (a*b*a^2*b*a^-2*b)^2, a^-1*b^-1*a^-1*(b^-1*a^-1*b^-1*a)^2*b^-1*a*b^-1*a^-2,
  (b^-1*a^-2*b^-1*a^2*b^-1*a)^2, (a^-1*b^-1*(a^-1*b^-1*a^-1)^2)^2,
  a^-1*b^-1*a^-1*b*(a*b*a)^2*b*a*b^-1*a*b*(a^-1*b^-1)^2*a^2*b^-1,
  b*a^-1*b*a*b^-1*(a*b^-1*a)^2*b^-1*a^-1*b*a^-1*b^-1*(a*b)^2*a^2,
  (b^-1*a^-1)^2*b*a*b^-1*a^3*b*a*(b^-1*a^-1)^2*a^-1*(b^-1*a)^3*a,
  (a^-1*b)^2*a^-4*b^-1*a*b^-1*a^-1*c*a^-1*(b*a)^2*(a*b^-1)^2*a^-1*b^-1*a^2*b*c\
 ],
[ [ a, b ], [ b, c, b^(a^-2), a^(b^-1*a) ] ]];
end,
[ 8, 28 ]],
"PG86016.17",0,1,2,[ 8, 28 ]],
# 86016.18
[[1,"ab",
function(a,b)
return [[ b^3, a^8, (b*a^2*b^-1*a^-1)^2, a^-1*b*a^2*b^-1*a^2*b*a^-2*b^-1*a^-1,
  a^4*b*a^-1*b^-1*a^-4*b*a*b^-1, (a*b^-1)^7,
  (a^-1*b*a^-1*b^-1*a*b*a^-1*b^-1)^2, a*b*a^2*(b*a^-2)^3*b*a^2*b*a,
  (a*(b^-1*a^-1)^2*(a^-1*b)^2)^2,
  (b^-1*a^-1)^3*(b^-1*a^3)^2*b^-1*a^-1*b^-1*a^3,
  a^-2*b*a^-4*b*(a^-1*b*a^-1)^2*a^-3*b*a^3*b,
  (b^-1*a^-1)^2*(a^-1*b)^2*a*(a*b)^2*a^-1*b^-1*a^-2*b*a^-1*b^-1*a*b^-1*a^-2,
  a^-1*b*a^2*b*a^-1*b^-1*a*(a*b)^3*a^2*b*a^-1*b*(a^-1*b*a^-1)^3*b^-1*a^-1*b,
  (a*b^-1)^2*a^-1*(a^-1*b*a*b)^2*(a^-1*b)^2*a^-2*(a^-1*b)^2*a^-1*(b^-1*a)^2*a*\
b*a^-1*b^-1*a,
  b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*(b*a)^3*b^-1*a*b*a^-3*b*a*b^-1*a^-1*b^-1*a^2*\
b*a*b^-1*a^-1*b^-1*a,
  a^-1*b^-1*a^2*b*(a^-1*b^-1*a^-1)^2*b^-1*a^-2*b*a*b^-1*a^-1*b^-1*a^2*(b*a^-1)\
^2*b*a^2*b*a^-2*b*a^-1*b^-1,
  (a^-2*b)^3*a^-1*(b^-1*a)^2*a*b*a*b^-1*a^-1*b*a*b*a^-1*b^-1*a^-1*(a^-1*b)^2*a\
^2*b*(a^-1*b^-1)^2*a^-1,
  a*b^-1*a^2*b^-1*(a^-1*b^-1*a^-1)^3*b^-1*(a^-1*b)^2*a*b^-1*a^-2*(b*a)^2*a*(b*\
a^-1)^2*b^-1*a^2*b*a^-1*b,
  (a*b*a^2)^2*b*a*(b^-1*a^-1)^2*a^-1*b*a*b^-1*a^2*b*(a^-1*b^-1)^2*a*(a*b)^2*a^\
-1*b*a^-1*b^-1*a^-2*(b^-1*a)^2,
  a*b^-1*a^-2*b^-1*(a^-1*b*a*b^-1*a*(a*b)^2)^2*a^-2*b*a*(b*a^-1)^2*a^-1*b*(a*b\
^-1)^2*a^2*b*a^-1*b ],
[ [ b^a, b*a^-1*b, a^2*(b*a^-1)^2*b^-1 ],
  [ a^-2, (a^-2)^b, a*b*a^2*b^-1, a*b*a^-2*b^-1, b^(a^-1*b^-1) ] ]];
end,
[ 64, 14 ]],
"PG86016.18",0,1,2,[ 64, 14 ]],
# 86016.19
[[1,"ab",
function(a,b)
return [
[ b^3,
  a^-1*b*a^-2*b^-1*(a*b)^2*a^-1*(b*a)^2*a*b^-1*a^-1*b^-1*a^3*b^-1*a^-1*b^-1,
  b^-1*a*b*a^-3*b*a^2*b^-1*a*b*a^-1*(b^-1*a^-1*b^-1*a)^2*a^2*b^-1*a^-1,
  (a*(b*a^-1)^3*a^-1*b^-1*a^3*b^-1*a^-1*b^-1)^2,
  (a*b^-1)^3*a^-1*b^-1*a^-2*b*a^2*(b^-1*a^-1)^4*a^-3*b*a*b*a^-2*b^-1*a*b^-1,
  a^-5*b*a*b*a^-2*b^-1*a*b^-1*a^-1*b^-1*a^4*(b*a^-1)^3*a^-1*b^-1*a^3*b^-1*a^-1
    ,
  a^2*b^-1*(a^-1*b)^2*a^-2*b^-1*a^3*b^-1*(a^-1*b)^2*a^-2*(a^-1*b*a*b)^2*(a*b)^\
2,
  (a^-2*b^-1*a^-1)^2*b^-1*a^-1*(b^-1*a^-1*b^-1*a)^2*(a*b)^2*a^-1*(b*a)^4*a^2*b
    ,
  (a^-1*b^-1)^3*(a*b^-1)^2*(a*b)^2*(a^-1*b^-1)^5*a*b^-1*a^-1*b^-1*a^2*b^-1*a^-\
1*b*a^-1*b^-1,
  (a^-1*b)^2*a^-2*b^-1*a^3*b^-1*(a*b)^2*(a^-1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1*(a^\
-1*b)^2*(a*b)^3*a^-1,
  a^-1*(a^-1*b^-1)^4*a*b^-1*a^-1*b^-1*a^2*b*a^-2*b^-1*a^3*b^-1*(a^-1*b)^3*a^-2\
*b^-1*a^3*b^-1*a^-1*b^-1, (a*b*a^-3*b*a*(a*b^-1)^2*a*b)^3,
  (a^-1*b^-1*a^-1*b)^2*a^-1*(a^-1*b*a*b)^2*(a*b)^2*a^2*b*a^-1*b^-1*a*b^-1*(a^-\
1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1*b^-1,
  b*(a^-1*b^-1)^4*a*b^-1*a^-1*b^-1*a^2*b*a^-5*b*a*b*a^-2*b^-1*a*b^-1*a^-1*b*a^\
-1*b^-1*a^-1*(b^-1*a^-1*b^-1*a)^2,
  a^-1*b*a*b^-1*a*b*a^-3*b*a*(a*b^-1)^2*a*b*(a*b*a)^2*b^-1*a^-1*(a^-1*b^-1)^2*\
(a^-1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1*b*a^-1*b^-1,
  b*a^-2*b^-1*a*b^-1*a^-1*b^-1*a^3*b*(a^-1*b^-1)^3*a*b^-1*a^-3*(a^-1*b*a*b)^2*\
a*b*a^2*(b*a^-3)^2*b*a,
  a^-1*b^-1*(a^-1*b*a*b)^2*(a*b)^2*a^2*(a*b)^2*a*b^-1*a*b*a^-3*b*a^2*b^-1*(a*b\
^-1*a*b)^2*a^-3*b*a^2*b^-1,
  (b^-1*a)^2*b*a^-3*b*a^2*b*a^-1*b^-1*a^-1*(b*a)^4*b^-1*a^-1*b^-1*a^3*b^-1*a^-\
1*(a^-1*b^-1)^5*a^3*b^-1*a^-1*b^-1*a,
  (b*a^-1)^2*a^-1*b^-1*a^3*(b^-1*a^-1)^2*a^-1*(a^-1*b*a*b)^2*a*b*a*b^-1*a^-1*b\
^-1*a*b*a^-3*b*a^2*(b*a^-1)^2*b^-1*a*b*a^-3*b*a,
  ((a^-1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1)^4,
  b^-1*(a*b*a^-3*b*a*(a*b^-1)^2*a)^2*b*a^-1*(a^-1*b*a*b)^2*a*b*a^2*b*a^-3*b*a*\
(a*b^-1)^2*(a*b)^2*a^-1,
  b*a*b*a^-1*(b*a)^3*b^-1*a^-1*(b*a)^4*b^-1*a*b*a^-3*b*a^2*b^-1*a^-1*b^-1*a^3*\
b^-1*a^-1*b*a^-1*b^-1*a*(b^-1*a^-1)^3*b^-1*a*b^-1*a^-4,
  (a*b)^2*a^-1*(b*a)^3*b*a^-1*b^-1*a*b*a^3*b*a^-3*b*a*(a*b^-1)^3*a^-1*b^-1*a^-\
2*b*a*(a*b^-1)^2*a*(b*a^-1)^2*a^-1*b^-1*a^3*b^-1*a^-1*b*a,
  (a^-1*b)^3*a^-2*(b^-1*a^-1*b^-1*a)^2*a*b^-1*a^-1*b^-1*(a^-3*b)^2*a*b*a^-1*(b\
*a)^2*b*(a^-1*b^-1)^4*a*b^-1*a^-1*(b^-1*a)^2*a^2*b^-1*a^-1*b^-1,
  a^-1*b*(a^-1*b^-1)^2*(a*b^-1)^2*(a*b)^2*a*b^-1*a^-4*b*a*b*a^-2*b^-1*a*(b^-1*\
a^-1*b^-1*a*(b^-1*a^-1)^2)^2*b^-1*a^-3*b*a*(a*b^-1)^3*a^-1*b,
  a^-1*b*a^-1*b^-1*(a^-1*b)^4*(a*b)^2*(a*b^-1)^3*(a*b*a^-3*b*a*(a*b^-1)^2*a)^2\
*b^-1*a^-1*(a^-1*b)^2*a^-2*b^-1*a^3*b*a^-2,
  (b^-1*a^-1)^2*(b*a^-1)^2*a^-1*b^-1*a^3*b^-1*a^-1*b*a^-1*b^-1*a^-2*(b^-1*a)^2\
*b*a^-3*b*a*(a*b^-1)^2*a^3*b*a^-3*b*a*(a*b^-1)^4*a^-1*(b^-1*a^-1*b^-1*a)^2*a,
  a^4*b^-1*a^-2*(a^-1*b^-1)^4*a*b^-1*a^-1*b*a^2*b*a^-3*b*a*(a*b^-1)^2*a*b*a^-2\
*(a^-1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1*b*a^-1*b^-1*a*b^-1*a^-3*b^-1*a*b^-1*a^-1*b\
^-1*a^2,
  (a*b)^2*a^-3*b*a^2*((b^-1*a)^2*b*a^-1)^2*a^-2*b*a^2*b^-1*a^4*b^-1*(a^-1*b)^2\
*a^-2*b^-1*a^3*(b^-1*a^-1)^2*a^-2*b*a*(a*b^-1)^2*a*b*a^2*b*a^-3*b*a*b*a^-1*b*a
    ,
  b^-1*a*b*a^-3*b*a*(a*b^-1)^2*a*b*(a*b*a)^2*(b^-1*a)^2*b*a*b*a^-3*b*a*(a*b^-1\
)^3*a^3*b*a^-3*b*a*(a*b^-1)^2*a*b*a^-1*(a^-1*b)^2*a^-2*b^-1*a^2*(b^-1*a^-1)^2*\
b^-1*a^2,
  a*b^-1*(a^-1*b)^2*a^-2*b^-1*a^3*(b^-1*a^-1)^2*a^-1*b^-1*(a^-1*b*a*b)^2*(a*b)\
^2*a^3*b*a^-1*b*(a^-1*b^-1)^4*a*b^-1*a^-1*b^-1*a^4*b^-1*a^-3*b*a^2*(b^-1*a^-1)\
^2*a^-2*b*a*(a*b^-1)^2*a*b,
  (a^-1*b)^3*a^-2*b^-1*a^3*b*a^-1*b^-1*a^-1*(b^-1*a^-1*b^-1*a)^2*(a*b)^2*a^-1*\
(a^-2*b*a*(a*b^-1)^2)^2*a*b*a^-1*b^-1*a*b*a^-3*b*a*(a*b^-1)^2*a^-1*(a^-1*b)^2*\
a^-2*b^-1*a^3*b^-1*a^-1*b,
  a^-1*b*a^-1*b^-1*a^-1*b*a^-1*(a^-1*b^-1)^4*a*b^-1*a^-1*b^-1*a^2*(b*a^-1)^2*a\
^-1*b^-1*a^3*b^-1*(a^-1*b)^2*a*b^-1*(a*b)^3*a^-3*b*a*(a*b^-1)^3*a^4*b^-1*a^-2*\
(a^-1*b*a*b)^2*(a*b)^3,
  (a*b)^2*a^-3*b*a*(a*b^-1)^3*a^-3*b*a*b*a^-2*b^-1*a*b^-1*a^-1*b^-1*a^3*b*a^-1\
*b^-1*a^-1*(b^-1*a)^4*b*a*b^-1*a^-1*b*a^-1*(a^-1*b^-1)^4*(a*b^-1)^2*(a*b^-1*a*\
b)^2*a^-3*b*a^2*b^-1*a*b,
  a^-3*b*a*(a*b^-1)^2*(a*b)^3*(a^-1*b)^2*a^-2*b^-1*a^3*b*a^-1*b*a*b*a^-3*b*a*(\
a*b^-1)^2*a^-1*(a^-1*b*a*b)^2*(a*b)^2*a^-1*b*a*(a*b^-1)^2*(a*b)^2*a^-3*(a^-1*b\
)^2*a^-2*b^-1*a^3*b^-1*a^-1*b^-1,
  a*b*a^-3*b*a*(a*b^-1)^2*a^-1*(a^-1*b^-1)^4*a*b^-1*a^-1*b^-1*a*b*a*b^-1*a^-1*\
(a^-1*b)^4*(a*b)^2*a*b^-1*a^-2*(a^-1*b*a*b)^2*a*b*a*b^-1*(a^-1*b)^2*a*b*a^-1*(\
a^-2*b*a*(a*b^-1)^2)^2*a,
  b^-1*((a^-1*b)^2*a^-2*b^-1*a^3*b^-1*a^-1*b*a^-1)^2*b^-1*a*b*a^-3*b*a*(a*b^-1\
)^2*a^2*b*a^-3*b*a*(a*b^-1)^2*a^-2*b*a*(a*b)^2*a^-3*b*a*(a*b^-1)^2*a*b*(a*b*a^\
2)^2*b^-1*a^-2*b^-1*a^-1,
  a*(b*a^-3)^2*b*a*b*a^-2*(b^-1*a)^2*b^-1*a^-1*b^-1*(a*b)^2*a^-1*(b*a)^2*b*(a^\
2*b^-1*a^-1*b^-1)^2*a^-1*(b^-1*a^-1*b^-1*a)^2*a^4*b^-1*a^-4*(a^-1*b*a*b)^2*a*b\
*a*(b^-1*a^-1)^2*(b^-1*a^-1*b^-1*a)^2*a^2*b ],
[ [ b, b^(a^-2), b^(a^2), a^-1*b^-1*a^-2*b*a^-1, (a^-4)^(b^-1*a^-1),
      (b^-1*a^-2*b*a^-2)^(a^-1), a^-8, a^-3*b*a^-2*b^-1*a^-1,
      a^-1*b*a^2*b^-1*a^-3, a^-1*b*a^-2*b^-1*a^-3, b^(a^-4),
      (a^-2)^((b*a^-1)^2), (a^-2)^(b*a*b*a^-1), a^-1*(b*a)^2*a*(b^-1*a^-1)^2,
      a^-1*b*a*b*a^-2*b^-1*a*b^-1*a^-1, a^-1*b*a*b^-1*a^2*b*a^-1*b^-1*a^-1,
      (a^-1*b*a*b^-1*a^-1)^2, (a^-2)^(b*a^-1*b*a),
      ((b*a)^2*b^-1*(a^-1*b)^2)^(a^-1) ] ]];
end,
[ 112 ]],
"PG86016.19",0,1,2,112],
# 86016.20
[[1,"ab",
function(a,b)
return [[ b^3, a^-2*b*a^3*b^-1*a^-2*b*a*b^-1, b^-1*a^4*b*a^-1*b^-1*a^-4*b*a,
  b^-1*a^3*b*a^4*b^-1*a*b*a^4, (a^-1*b*a^2*b^-1)^4,
  a^-1*b*a^2*b^-1*a^-1*b^-1*a*b*a^-1*b*a^2*b^-1*a^-1*b^-1*a^3*b,
  a^-2*(b^-1*a)^2*a*b^-1*a^-3*(a^-1*b^-1)^2*a^2*b^-1*a^-2,
  (b*a^-1)^2*(b*a)^4*b^-1*a^-1*b*a^-1*(a^-1*b^-1)^2*a,
  a^-1*b*a^-4*b*a^-1*(a^-1*b^-1)^2*a^2*b*a*(b^-1*a^-1)^2*a^-1*b,
  b^-1*a*(a*b^-1)^2*a^2*b*(a^-1*b^-1)^2*a^2*(b^-1*a^-1)^2*a^-1*b*a*b^-1*a,
  a^-1*b*a^2*b^-1*a^-1*b^-1*a*(a*b^-1)^3*a^-2*b^-1*a^2*b^-1*a*b*a*b^-1,
  a^-1*b*a^2*b^-1*a^-1*b^-1*a^2*b^-1*a^-1*b*a*(a*b)^2*a^-2*b^-1*a*b*a^-1*b^-1,
  (a^-1*b^-1*a^-1*b)^2*a*b^-1*a*b*a^-1*b*a^2*b*a*b^-1*a^2*b^-1*a^-2,
  a^-2*(b*a)^2*b*a^-2*b^-1*a*b*a^-1*(a^-1*b)^2*a*b*a^-2*b^-1*a*b,
  a*b*a^-2*(b^-1*a)^2*a*b^-1*a^-1*b^-1*a*b^-1*a^-2*b^-1*a^2*b^-1*a*b*a^-1*b^-1
    ,
  b*a^-2*b*a^2*b*a^-1*b^-1*a^-1*b*a^-1*b^-1*a^2*b^-1*a^-1*(a^-1*b^-1)^2*a*b*a^\
-1, a^2*(b^-1*a^-1)^2*(b*a^-1)^2*a^-1*b^-1*a^-1*b*a^3*(a*b)^2*a^3*b,
  a^-1*(a^-1*b)^2*a^-2*b^-1*a^-1*(b*a^2)^2*(b*a^-1)^2*a^-1*b^-1*a^-1*b*a^2*b,
  a*b*a^2*b^-1*a^-1*(b^-1*a)^2*(a*b)^2*a^-3*b*a^2*b^-1*a^-1*b*a^-2*b*a^2*b,
  a*b^-1*a*b*a^-2*b^-1*a*b*(a^-1*b^-1*a^-1)^2*a^-1*b^-1*a*b*a^-2*(b^-1*a)^2*b*\
a^2*b^-1*a^-1*b,
  b*a^-2*b*a*b*a^-2*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*b^-1*a^-3*b*a^2*b*a^\
-1,
  a^-1*b*a*(a*b^-1)^2*a^2*(b^-1*a^-1)^3*a^-1*b^-1*a*(a*b^-1)^2*a^3*b*a^-4*b^-1\
*a*b^-1*a^-1*b^-1,
  a^3*(b*a^-2)^2*b*a^-1*b^-1*a^2*b^-1*a^-2*b^-1*a^3*(b*a^-2)^2*a^-2*b*a*b*a^-2\
*b^-1*a^2,
  (a^2*b^-1*a)^2*b^-1*a^2*b*a^3*b*a^-1*b*a*(a*b^-1)^2*a^-6*(a^-2*b^-1)^2*a*b,
  b*a^2*(b^-1*a^-1)^2*b*a^2*b^-1*a*(b^-1*a*b*a^2*b^-1*a^-1)^4*b^-1*a,
  a*b*a^-2*b*a*(a*b)^3*a^-2*b^-1*a*b*a^-1*b*a*b^-1*(a^-1*b*a*b)^2*a*b*a*b^-1*a\
^2*(b^-1*a^-1)^3*b,
  b^-1*a^-1*b^-1*a*b*a^2*b^-1*(a*b)^2*a^-2*b^-1*a^-1*b*a*b^-1*a*(a*b)^2*(a^2*b\
*a)^2*b*a*b^-1*a*b*a^-2*b^-1*a*b*a^-1*b^-1*a^-3,
  a^3*b^-1*a*b*a^-1*(a^-1*b^-1)^3*a^-2*(b*a)^2*a*b*(a^-1*b^-1*a^-1)^2*b*a^-1*(\
a^-1*b^-1)^2*a^-2*b^-1*a*b*a^-1*(a^-1*b^-1)^2*a^2*b^-1*a^-1*(b*a)^2*a*b^-1*a^-\
1*b^-1*a,
  b*a*b^-1*a*b*a^-2*b^-1*a*b*a^-1*(b*a)^2*b^-1*a^-1*b*a^2*b^-1*a^-1*b*a^-1*b^-\
1*a^3*b^-1*a*b*a^-3*b*a^3*(a*b^-1)^2*a^-1*b^-1*a^5*b*a^-4*b^-1*a,
  a^-1*b^-1*a^-1*b*a*(a*b^-1*a^-1*b)^2*a*(a*b^-1)^2*a^-1*b*a^-1*b^-1*a^2*b^-1*\
a^-2*(b^-1*a)^2*a*b^-1*a^-1*(b*a)^2*a*b^-1*a^-1*b^-1*a^4*(a*b^-1)^2*a^-1*b*a^2\
*b^-1*a^-1*b*a^-1*b^-1*a*b^-1,
  a*b^-1*a^-3*b*a^4*b*a^-1*b*(a^2*b^-1)^2*a^-1*b^-1*a^5*(a^2*b)^2*a^-1*b^-1*a^\
-2*b^-1*a^3*b*a^-2*b*a^2*b*(a^-1*b*a^-1)^2*b*a^2*b^-1*a^-3*b^-1*a^3*b^-1,
  (a*b^-1)^3*a^-2*b^-1*a^2*(b^-1*a^-1)^2*b^-1*a*b^-1*a^-1*b*a^2*(b^-1*a^-1)^3*\
b*a^-1*b*a*b*a^-2*(b^-1*a)^2*b*a^-3*b*a^2*b^-1*a^-1*b^-1*a*b^-1*(a^-1*b*a^-1)^\
2*a^-1*b*a^2*b^-1*a^-2*b^-1,
  a^2*(b^-1*a^-1)^2*b*a*(a*b^-1)^2*a^3*b^-1*a^-1*b^-1*a*b^-1*a^-1*b*a*(a*b^-1*\
a^-1*b^-1)^2*a^-2*b*a*b*a^-1*b^-1*a^3*(b*a^-2)^2*b^-1*a^-1*(b*a)^2*a^2*b*a^-2*\
b^-1*a*b^-1*a^-2*b^-1*a*b,
  b*a*(b*a^-2)^2*a^-2*b*(a^2*b^-1)^2*a^-2*b^-1*a*(b^-1*a^-1)^2*b*a*(b*a^-1)^2*\
b*a^2*b^-1*a^-1*(b^-1*a)^2*(b*a)^2*(b^-1*a^-2)^2*b^-1*a^-1*(a^-2*b^-1*a^-1*b)^\
2*a^2*b*a^2*b^-1*a*b*a^-2*b*a^2*b*(a^-1*b^-1)^2*a*b*a^-2*(b^-1*a)^2*b*a^-3 ],
[ [ b, b^(a^-2), a^-3*b*a^-2*b^-1*a^-1, (a*b)^2*a*b^-1*a^-1*(b*a)^2 ] ]];
end,
[ 112 ]],
"PG86016.20",0,1,2,112],
# 86016.21
[[1,"ab",
function(a,b)
return [[ b^3, a^8, a^-2*b*a*b^-1*a^4*b*a^-1*b^-1*a^-2, (a^-1*b)^7,
  b*a*b^-1*a^-2*b*a*b^-1*a*b*a^-2*b^-1*a^-1, b^-1*a^-2*b*a^-4*b^-1*a^2*b*a^-4,
  a^-1*b*a^2*b^-1*a*b*a*b^-1*a^2*b*a^-3*b^-1,
  a^-1*b^-1*a^-1*(b^-1*a^-1*b^-1*a)^2*b^-1*a*b^-1*a^-2,
  (a*(a*b^-1)^2*a^-2*b^-1)^2, ((b^-1*a^2)^2*b^-1*a)^2,
  a*b^-1*a*(a*b)^2*a^-2*b*(a^2*b^-1)^2*a^2,
  b*a^2*b*(a^-2*b^-1)^2*a^3*b^-1*a^-2*b*a,
  a^-1*b*a*b^-1*a*b*a^3*b^-1*a*b*a*b^-1*a^-1*b*a^-1*b^-1,
  (b*a*b*a^-1*(a^-1*b^-1)^2*a^-1)^2,
  (b^-1*a)^3*(a*b)^2*a^-1*(a^-2*b^-1)^2*a^-2,
  a^2*b^-1*a^-2*(b^-1*a)^2*a*(b*a^-2)^2*b^-1*a^-1*b^-1,
  a*(a*b^-1)^2*a*(a^2*b)^2*a^-1*(a^-1*b)^3, ((b^-1*a^2)^2*b^-1*a^-3)^2,
  a*b^-1*a^-1*(b*a^2)^2*a*b^-1*a*(b^-1*a*b^-1*a^-1)^2*b^-1*a^-2*b*a,
  (a^-1*b^-1)^2*(a*b^-1*a*b*a)^2*b*a^-1*b^-1*a^-1*b*a^2*(b^-1*a^-1)^2*a^-2,
  a^2*(b^-1*a^-1)^3*a^-2*b*a*(b*a^-1)^2*a^-1*b^-1*a^3*(b^-1*a^-1)^2*b*a*b*a^-1\
*b,
  a^-2*b*a^2*b^-1*a*(b^-1*a^2*b*a^-1*b^-1*a^-2)^2*b^-1*a^2*b^-1*a^-1*b^-1*a^2*\
b^-1,
  a^-1*b*a*b*a^-2*b*a^2*b*a*b^-1*a*b*a^2*b*a^-2*b^-1*a*(a*b)^2*a^-2*b^-1*a^-3*\
b,
  a*b^-1*a^2*b*a^-1*(b*a)^2*a*b^-1*a^-3*b^-1*(a^-1*b)^2*a^-4*(b^-1*a)^2*b*a^-4\
*b^-1,
  a^2*(b*a^-1)^2*b^-1*a^2*b^-1*a^-1*b*a*(b^-1*a^-1)^3*(b*a)^3*b^-1*(a*b)^2*a^-\
1*b*a^2,
  b^-1*a*b*a^-1*b*a*(a*b^-1)^2*a^-1*b^-1*a^-2*b*a*b*a^-2*(b^-1*a)^2*a*b*a^-1*b\
^-1*a^2*b^-1*a^-2*b^-1*a*b*a^-2,
  a*b*a^-2*b*(a*b*a*b^-1*a)^2*b^-1*a^4*(b^-1*a^-1)^2*a^-1*b^-1*a^2*b^-1*(a^-2*\
b^-1*a*b)^2,
  a*(b*a^-2)^2*a^-1*b^-1*a*b^-1*(a^-2*b*a^2*b)^2*a*b*a*b^-1*a^2*b^-1*a^-1*b^-1\
*a*b*a^-2*b*a*(a*b)^2 ],
[ [ (a^-2)^(b^-1*a), a^-1*b^-1*a^2*b*a^-1, b*a^2*b^-1*a^-2, b*a^-2*b^-1*a^-2,
      a^((a^-1)^b), (b*a)^3*b^-1*(a*b)^2*a^-1 ] ]];
end,
[ 168 ]],
"PG86016.21",0,1,2,168],
# 86016.22
[[1,"abc",
function(a,b,c)
return [[ a^-1*c^-2*a*c^-2, c^-1*b^-1*c^-1*b^2*c^-1*b^-1, b^-1*c*b^2*c*b^-1*c,
  (a*b*c*b^-1)^2, c^8, (c*b*a^-1*c^-1*b^-1)^2, b^-3*c^2*b^-3*c^-2,
  a^-2*b^-1*c^-1*b*a^2*b^-1*c*b, c^-1*a*c^-1*a^-1*b^-1*c^4*b^-2,
  b^3*a*b^-1*c^-4*b*a^-1, b^-1*c^-1*b*a^-1*c*a*b^-1*c*b*a^-1*c^-1*a,
  c*a^-1*b^-1*c*b*a*c^-1*a^-1*b^-1*c^-1*b*a, c*a^-1*b^3*a^2*c*a^-1*b^3,
  b*c^-2*b^-1*a^2*b*c^2*b^-1*a^-2,
  b^-1*(c^-1*b*a)^2*b^-1*c*b*a^-1*b^-1*c^-1*a^-1,
  c*a*b*c^-2*b^-1*a^-1*c^-1*a*b*c^2*b^-1*a^-1,
  c^-1*b^-1*c^-2*b*a^-3*c^-1*b^-1*c^-2*b*a^-1,
  a^-1*c*a^-1*b^-1*c^-1*b^-1*c*b^-1*a^2*c*b^-1*c^-2*b*c,
  c^-2*b^-1*a^-1*c*b^-1*a^-1*c^-2*b*c*b^-1*a^-1*b*a*b,
  (b*a^-1)^3*(b*a)^3*c*b*c^-1*a^-1,
  b^-1*(a*c^-1)^2*b*c^-2*b^-1*a^-2*c^-2*b^-1*c^2*b^-1,
  a^-1*b^2*c^-3*b^-2*a^-1*b*c*b*c^-2*b^-2*c,
  b*a*c^-3*b^-1*c*b*c^-2*b*c^2*b^-1*a*c*b^-1*c^-1,
  (b^-1*a^-1)^3*b^2*(a*b^-1)^2*a*c^-1*b^-1*c*a^-1*c^-1,
  c^-2*b*c*a*b*c^-2*b^-1*a*b^-1*c*a^-1*c*b*c^-2*b^-1*a^-1,
  a^-2*c*a^-1*c^-1*b*a^-1*c*b^4*c^-2*b^-1*a*c^-3*b^-1*a^-1,
  c*b*c^-1*b^-1*a*b*c^-2*b*a^-1*b^-1*c^3*b*a*b*a^-1*b^3,
  c^-2*b*c^2*a*b^-1*c*b*a*c^2*b*c^-2*b^-1*a^-1*b*c*b^-1*c^-1*a^-1*b^-1,
  a^-1*b*a*c^-3*b*c*b^-1*a^-1*b^-1*c*a*c*b*c^-3*b*c^2*b^-2*c^-1,
  a*b^-1*c^-1*b^-1*c*a*b*c*b^-1*c^-1*b*c*b^-1*a*c*b*c^-2*b*a^-1*c*b*c^-1*b^-1,
  ((a^-1*b^-1)^2*a^-1*b)^2*(a*b)^2*a*b^-1*(a*b)^3*c,
  b^-1*a^-1*b*(a^-1*b^-1)^2*b^-1*((a*b^-1)^2*c^-2*b^-1*c^-1)^2*a^-1,
  b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*b*c*b^-1*c^-1*a^-1*b^-2*c^-\
2*b*c*b*a,
  b^-1*c^2*b*a^-1*b^-1*c^-2*b^-1*c*a*c*b*c^-1*a^-1*b^-1*c^-2*b^4*c^2*a*(b^-1*a\
^-1)^2*c^-1,
  c^2*b^-1*c^-1*a^-1*c*b*a*b*a^-1*(b*a)^2*c*b^-1*c^-2*b^2*a^-1*c*b*c^-1*a*c*b*\
c^2*b,
  c*b*c^-1*b*c^2*b^-1*c^-1*a^-1*b*c^-1*b^-1*c*b*c^-4*b^-1*a*b*c^2*b^-1*c^-1*a^\
-1*c^2*a^-1*c^-1*b^-1,
  b*a^-1*c*b^-1*a*b*a^-1*c^3*b^2*a^-1*b*a*b^-1*a*b*a*b^-1*a^-1*b^-1*c*b*a*b*c^\
-1*b^-1*c^3*a,
  b*a^-1*b^-1*(a^-1*b)^2*b*a*c*b*c^-1*a^-1*b*(b*a)^2*b^-1*a*b*c^2*b^-1*c^-1*a^\
-1*b^-1*c^2*b*c^-2*a,
  a^-1*b*(a^-1*b^-1)^2*c^-1*b^-1*a^-1*c^-1*a*c*(a^-1*b^-1)^2*(b^-1*a)^2*b*a*c*\
b^-1*a*b^-1*c*b*c^-1*a*b^-1*c^-2*b*c,
  a*b^-1*a^-1*(b^-1*c*b*a)^2*c^-1*b^-1*c*b*c^-1*b*c^2*b^2*a^-1*c^-1*b*a^-1*b*c\
^-1*a*b*c^-2*b^-1*c*a^-1*b^-1*c^-1,
  b^-1*a^-1*b^2*c*b*a*c^-4*b^-1*c*a*b^2*c^3*b^-1*a^-1*b^-1*c^-1*b*a^-1*c*b^3*a\
*c^-1*b*c^2*(b^-1*a^-1)^2*b^-1,
  a^-1*b^-1*c^-2*a^-1*b*c*a^-1*c^-2*b^-2*c*b^-2*a*b^-1*c^-1*b*a^-1*b^-1*(b^-1*\
a)^2*b*a*c*b*c^3*b*c^-1*b*c*b^3,
  c^-1*b*a^-1*b^-1*(a^-1*b)^2*(b*a)^2*b*c^3*(c*b^-1*a*c^-1*b)^2*(b*a*c^-1)^2*b\
^-1*c*a*b*c^2*b^-1*a^-1*b*c^-2*b^-1*a^-1,
  a*b*a^-1*c^-1*a*c*a*b*a*b^-1*c^-1*b*c^2*b*a^-1*b^-1*c^2*b*c^2*a^-1*b*c^2*b*(\
a*b^-1)^2*a*b*a*b^-1*c^-1*b*c*b*c^-1*a*b*c^-2*b^-1*a*b^-1*c^-1*a^-1*c*b^-1*c^-\
2,
  b^-1*(a^-1*b)^2*c^2*b*c^-4*b^-1*a^-1*c^-1*b*c*b*c^-2*b^-1*a^-1*c^-1*b*c*b^-1\
*a^-1*c^-1*a^-1*b*c^2*b*c^-4*b^-1*c^2*a^-1*(b*a)^2*c*b*c^-2*b^-1*c^3*b^-1*a*b*\
c^-1*b^-1*a*c^2,
  b^-1*a^-1*b*c^2*b*c^-4*b^-1*a^-1*c^-1*b*a*b*c^-1*b^-1*c*a^-1*b*c^-2*b^-1*c^3\
*b^-1*a^-1*c^-1*b*c*b^-1*a^-1*b^2*c^-2*b*a*c^-2*b^-1*a^-1*b*c^2*a^-1*b*c^-3*b^\
-1*c*a*c*b*c^-4*b^-1*c^2 ],
[ [ a*c^-1*a, b^-1*c*b^-2, b^-1*c^-1*b^-2, c*b^-1*a*b, c^-1*b^-1*a^-1*b,
      (a^2*c^-1)^(a^-1), (a^-2)^(b*a^-1), (a^-2)^(b*a), (c^-1*a^-1)^(b*a),
      a^(b^-1*a^-1*b^-1) ] ]];
end,
[ 168 ]],
"PG86016.22",0,1,2,168],
# 86016.23
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^4, a^-1*c*a*c, a^-1*b*c*b^-1*a*b*c*b^-1,
  (b*c*b^-1*c)^2, b^-1*c*b*a^-1*c*b^-1*c*b*a, (c*b^-1)^6,
  a^-2*b*c*a^-2*b^-1*a^-2*b*a^-2*c*b^-1,
  b^-1*a^2*(b^-1*c)^2*b^-1*a^-2*(b^-1*c)^2, (a^-1*b)^7,
  a^-2*b*a*(b*c)^2*b*a^-1*b^-1*a^-2*(c*b^-1)^3,
  a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*b*a^2*b*a*(b*a^-1*b^-1*a^-1)^\
2*b^-1*a^-1*(b*a)^3*b^-1*(a*b)^3*a^-1*b^-1,
  (b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*(b*a)^3*b^-1*a*b*a*(a*b^-1)^2*a*(b*a^-1)^2*(b\
^-1*a*b*a)^2*(b^-1*a^-1)^2*a^-1*b*a^-1,
  b^-1*a*(b^-1*a^-1*b*a^-1)^2*b*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*(b^-1\
*a^-1)^4*b*a^-1*b^-1*a*b*a*b^-1*a*b*(a^-1*b*a^-1)^2,
  a^-1*b^-1*a^-2*b^-1*a*b^-1*a^-1*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*a^-1*(a^-\
1*b*a^-1*b^-1)^2*a*b*a*b^-1*a*b*(a^-1*b*a^-1)^2*b^-1*a*b^-1*a^-1*b*a^-1,
  a*b^-1*a*b*a^-1*b*a^2*(b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*b*(a^-1*b*a^-1*b^-1)^2*\
a^-1*b^-1*a^-1*b*(a*b^-1)^2*a*b*(a^-1*b^-1*a^-1)^2*a^-1*b^-1*a*b^-1*a^-2*b*a*b
    ,
  (b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*a*(b*a^-2*b*a^-1\
)^2*b^-1*a^-1*b*(a^-1*b^-1)^2*a^-1*b*a*b*(a*b*a*b^-1)^2*a^-1,
  a^-1*b*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*(a*b)^2*a^-1*b*a^-1*(b^-1*a*b*\
a)^2*(b^-1*a^-1)^2*a^-1*b*(a*b^-1)^2*a^-2*b*(a^-2*b^-1)^2*a*b,
  b*a*(b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^2*b^-1*a*(b*a^-\
1)^2*(b^-1*a^-1)^2*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*b*a^-2,
  ((a^-1*b)^2*a^-1*b^-1)^2*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*(a^-1*b)^2*a^-1*(a^-1*\
b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*(a*b)^2*a^-1*b^-1,
  a^-1*b*a*(b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^2*b*a^-1*b\
*a*(b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b,
  b^-1*a*(b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*a*b*a^-1*\
b*a*b^-1*a^-1*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*b^-1*a^-1,
  (b^-1*a^-1)^3*b*a^-1*b^-1*a*b*a*b^-1*a*b*(a^-1*b*a^-1)^2*b^-1*a*(b^-1*a*b^-1\
*a^-2)^2*b^-1*a^-1*b*a^-1*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*a,
  (a^-1*b^-1)^2*a^-1*b*a^-1*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*a\
^-2*b^-1*a*(b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*b*(a*b^-1)^2*a*b*a^-\
1*b*a*b^-1*a*b*a^-1*b^-1*a*b,
  a^-1*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*b*a^2*b*a^-2*b*a^-1*b^-1*a*b*\
(a*b*a*b^-1)^2*a^-2*b^-1*a*b^-1*a^-1*b*a^-2*b^-1*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a\
*b*(a^-1*b*a^-1)^2*b^-1*a*b^-1*a^-1*b^-1,
  a^2*(b*a^-2)^2*b^-1*a*b*a^-1*b*a*b^-1*a^-2*b^-1*a*b^-1*a^-1*b*(a^-1*b^-1*a^-\
1)^2*b^-1*a*b*(a*b*a*b^-1)^2*a^-1*(a^-1*b*a^-1*b^-1)^2*(a^-1*b^-1)^2*a*b*(a*b*\
a*b^-1)^2*a^-2*b,
  a^-1*b*a^2*(b*a^-1*b^-1*a^-1)^2*b^-1*a^-1*b*a*b^-1*a*(b^-1*a*b*a^-1)^2*b*a^-\
1*(a^-1*b*a^-1*b^-1)^2*(a^-1*b^-1)^2*(a^-1*b)^2*a^-1*b^-1*a*b*a^-2*b^-1*(a^-1*\
b)^2*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*b^-1*a^-1*b*a^-1,
  a^2*b^-1*a*(b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*(a^-1*b^-1)^2*(a^-1*b)^3*a*(b*a^-\
1*b^-1*a^-1)^2*b^-1*a^-1*b*a*b^-1*(a*b^-1*a*b)^2*a^-2*b*(a^-1*b^-1)^2*a^-1*b*a\
^-1*b^-1*a*b*a*b^-1*a*b*(a^-1*b*a^-1)^2*b^-1*a*b^-1*a^-2*b,
  (a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*b^-1*a*(b^-1*a^-1)^3*b^-1*a*b*(a\
*b*a*b^-1)^2*a^2*b*a^-2*b*a*(b*a^-1*b^-1*a^-1)^2*b*(a*b^-1)^2*a^-1*b^-1*a^-1*b\
*a^-1*(b^-1*a*b*a)^2*(b^-1*a^-1)^2*a^-1*b*a*b^-1,
  (a^-1*b^-1)^2*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*b^-1*(a^-1*b)^2*a^-1*(a^-1*b*a^\
-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^2*b^-1*a^-1*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*\
a*b^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a*(b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*a^-1*b\
^-1*a^-1*b*a*b,
  a^-1*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*a*b*a^-1*(a^-1*b*a^-1*b^-1)^2*a^-1*b\
^-1*a^-1*b*(a*b^-1)^2*a*b*a^-1*(a^-1*b^-1)^2*a^-1*b*a^-1*b^-1*a*b*a*b^-1*a*(b*\
a^-1)^2*(a^-1*b*a^-1*b^-1*a*b)^2*a*b^-1*a*b*(a^-1*b*a^-1)^2*b^-1*a*b^-1*a^-1*b\
^-1,
  b^-1*a^2*b^-1*a*(b*a^-1)^2*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*b*(a*b^-1)^3*\
a^-1*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*(b*a)^3*(b^-1*a)^2*b^-1*a^-2*b^-1*a*b\
^-1*a^-1*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*a*(b*a^-1*b^-1*a^-1)^2*(b*a*b^-1\
*a)^2*b^-1*a^-2,
  a^-1*b^-1*a^-1*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*a^2*b^-1*(a*b)^2*a^-1*b*a^\
-1*(a^-1*b*a^-1*b^-1)^2*a^-1*b^-1*a^-1*b*a*b*(a^-1*b^-1)^2*a*b*(a*b*a*b^-1)^2*\
a^-2*b^-1*a*(b*a^-1)^3*b^-1*a*b*(a*b*a*b^-1)^2*a^-2*b^-1*a*b^-1*(a^-1*b)^2 ],
[ [ a, b ],
  [ b, c, b^(a^-2), (a^-2)^(b^-1*a^-1), a^-1*b^-1*a^2*b*a^-1,
      (a^-2)^(b^-1*a^-1*b*a^-1), (a^-2)^((b*a^-1)^2),
      a^-1*(b*a)^2*a*(b^-1*a^-1)^2, a^-1*b*a*b^-1*a^2*b*a^-1*b^-1*a^-1,
      ((b*a)^2*b^-1*a^-1*b*a*b)^(a^-1),
      (a^-1*b*a^2*b^-1*a^-1)^(b*a^-1*b^-1*a^-1),
      (a^-1*b^-1*a^2*b*a^-1)^(b*a^-1*b^-1*a^-1) ] ]];
end,
[ 8, 112 ]],
"PG86016.23",0,1,2,[ 8, 112 ]],
# 86016.24
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, c^-1*a^-2*c*a^-2, (c^-2*a)^2,
  a^-1*c*a*c^-1*a*c*a*c^-1, b*c*b^-1*c^-1*b*c^-1*b^-1*c,
  a^-1*b*c^-1*b^-1*a*b*c^-1*b^-1, c^-1*(b*a^-2)^2*b*c^-1,
  a^2*b^-1*c^-2*b^-1*a^-2*b^-1, c*b^-1*c^2*b^-1*c^-2*b^-1*c,
  (b*a^-1*b^-1*c^-2)^2, a^-1*b*c^-2*(b^-1*a^-1)^2*a^-1*b,
  a^-2*b^-1*c*b*a^-2*b^-1*c^-1*b, (b^-1*a^-1*b*a^-2)^2,
  b^-1*c^-2*b*c*b*c^-2*b^-1*c, a^-1*c*a*b^-1*c^-1*b*a*c^-1*a^-1*b^-1*c*b,
  a^-1*b^-1*a^-1*c*b*a*c^-1*a*b^-1*a^-1*c*b*a^-1*c^-1,
  c^-1*a*b^-1*a*c*b*a*c*a^-1*b^-1*a^-1*c^-1*b*a^-1,
  a*(b*a^-1)^2*(b*a)^3*b*a^-1*b,
  a*b^-1*c*b^-1*(a^-1*c)^2*b^-1*a^-1*c^-1*b^-1*a^-1*c*a*b,
  b^-1*c*b^-1*a*c*a^-1*c^-1*b^-1*a*b^-1*a^-1*c*a*b*c*a^-1,
  b^-1*a^-1*c^-1*a*b^-1*a^-1*c^-1*(a^-1*c*b^-1)^2*c^-1*b*a^-1,
  a^-1*b*a*c*b^-1*c^-1*b*(a*b^-1)^2*c*a*c^-1*a^-1*b*c^-1,
  a^-1*(c*b^-1)^2*a^-1*b^-1*a^-1*c*a*(c^-1*b^-1)^2*a^-1*b^-1*a*c^-1,
  a^-1*(b*c^-1)^2*b*a^-1*c^-1*a*b*c^-1*b*a^2*c*b*a^-1*c,
  c^-1*a^-1*c*b^-1*a^-1*c^-1*a*b*c^-1*a^-1*c*a*b^-1*a^-1*c*a*b*a,
  a*c*a^-1*b*c^-1*b*c*a^-1*c*b^-1*a^-1*c*a^-1*b*a^-1*c*b*c^-1,
  b*c^-1*a*b^-1*a*c*a^-1*b*c*a^-1*c*b*a^-1*c*a*c^-1*b*c,
  b^-1*c^-1*a*b^-1*a*c*a*b*c^-1*a^-1*c^-1*b^-1*c*b^-1*(a^-1*c^-1)^2,
  b^-1*c^-1*a^-1*c^-1*a*b^-1*c^-1*b^-1*a*b^-1*a^-1*c*a*(c*b^-1)^2*a^-1,
  b^-1*a*c*a^-1*c^-1*b*a^-1*c*a*c^-1*b*a*b^-1*c^-1*b*c^-1*a*b^-1*c,
  b^-1*a^-1*c^-1*a^-1*b^-1*c*b^-1*a^-1*c^-1*b^-1*a*b^-1*c^-1*b*c*a^-1*c*b*a^-1
    , b*a^-1*c*b^-1*c*b*a*c*b*c^-1*a*c*a^-1*b^-1*c^-1*b^-1*a*c*a,
  a^-1*b*c*b*a^-1*c^-1*a*b*a*c^-1*b^-1*c^-1*a*c^-1*b^-1*c*b*a^-1*b,
  c^-1*a*c*b^-1*c^-1*b^-1*c*a*c^-1*a^-1*b*c*(b*a)^2*c*a^-1*c*b^-1,
  c*a*b*a^-1*c*a*c^-1*b*c*b*a*c^-1*a^-2*b^-1*a^-1*c*a*b*c,
  b*a^-1*c*a^-1*b*a^-1*c*a*c^-1*b*a^-1*b*a*b^-1*a*c*a*b*a^-1*b^-1*a^-1*c^-1,
  a^-1*c*a*b^-1*c^-1*a*c^-1*a^-1*b*a^-1*c*a*b*c*b*c^-1*a*c*a*b^-1*c^-1*b^-1,
  b^-1*c*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*a^-1*b^-1*a*c^-1*a^-1*c,
  b^-1*c*b*(a*b^-1)^2*a*c*b*a^-1*c^-1*a*c*b*c^-1*b*a*b*a^-1*c*b*a,
  a*c*a*b*c*a*c^-1*a*b*c^-1*b*a*c*a^-1*(c^-1*b^-1)^2*a*c^-1*a^-1*c^-1*b^-1*c,
  b^-1*a*(b^-1*a^-1)^2*c^-1*b*c*a^-1*c^-1*a*b*a^-1*(b^-1*a)^2*(c^-1*b)^2*c^-1*\
a^-1*c,
  a^-1*c*a^-1*b^-1*(a*c^-1*b^-1*a^-1*c)^2*a*c^-1*b^-1*c*a*c^-1*b^-1*a^-1*c*a*b\
^-1*c*b^-1*a*c*a*b^-1*c^-1*b^-1,
  a*b^-1*c^-1*b^-1*c*a*c*a^-1*b^-1*a*c*a*b^-1*(c*a)^2*c*b^-1*c*a*c*a^-1*b^-1*c\
^-1*a^-2*b^-1*c*a*c^-1*a*b*c*a*c^-1,
  c*a^-1*(c*b)^2*a^-1*c*a*c^-1*b*c*a^-1*c*b^-1*c^-1*b^-1*a^-1*b^-1*a*c*a*b*a*c\
*b*a*b*c^-1*b^-1*c^-1*a*b^-1*a*c^-1*a*(b^-1*c^-1)^2*a^-1*b*c^-1*b^-1*c^-1*a*b
 ],
[ [ a^-2, c, (a^-2)^(b^-1), c^(b^-1), a^(b*a^-1), (c*b^-1*c^-1*b)^(a^-1),
      b*a*b^-1*a*b*a^-1*b ],
  [ b, c, (c*b^-1*c*b)^(a^-1), ((b*a)^2*b^-1*a^-1*b*a*b)^(a^-1) ] ]];
end,
[ 42, 112 ]],
"PG86016.24",0,1,2,[ 42, 112 ]],
# 86016.25
[[1,"abc",
function(a,b,c)
return [[ c^4, a^-2*c*a^2*c^-1, b^6, b*(c*b^-1)^2*c*b, (b*c)^2*b^-2*c,
  a*c^-1*a^-1*c^-1*a*c*a^-1*c, a^-1*b*c^-1*b^-1*a*b*c^-1*b^-1,
  c^-1*a*b*a^-1*c^-1*b^-2*(b^-1*a^-1)^2, c^-1*a^-1*b^-3*a*c*a^-1*b^-3*a,
  (b*c^-2*b^-1*c^-2)^2, a*c^2*a^-1*c^-1*b*c^-1*a*c^-2*a^-1*c*b^-1*c,
  a*c^2*a^-1*b*c^-2*a*c^-2*a^-1*c^-2*b^-1,
  c*a^-1*c^-1*b*c^-2*b^-1*c*a*c*b^-1*c^-2*b,
  a^-1*b^-1*c^-1*b*c*a*c*b*c*a^-1*c^-2*a*b^-1*c^-1,
  (a^-1*b^-1)^2*b^-2*a*b*a*b^-1*a^-1*b^-3*a*b,
  b^2*a^-1*b^3*a*b*c*a*b*a*c*a*b^-1*a^-1, a^-1*b^-3*a*b^-3*a^-1*b^3*a*b^-3,
  c^-1*b*a^-1*b^-3*a*b^-1*c*b*a^-1*b^-3*a*b^-1,
  a^-1*b*a^-1*b^-2*(b^-1*a)^2*b^2*a^-1*b^3*a*b,
  a^-1*b^-3*a*b^-1*c^-2*a*b^-1*c^-1*b^-2*c*a*b*c,
  b^-3*a*b*a*c^-1*a^-1*b*a*c*a^-1*c^-2*b^-2*a^-1,
  c^2*a^-1*c^-2*b*c*b*a^-1*c^-1*a^-1*b^-1*a^-1*c^-1*a*c^-1*b^-1*a^-1,
  b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*c^-1*a^-1*c,
  c*a^-1*b*a^-1*b^-3*a^2*c^-2*a^-2*b^-2*(b^-1*a)^2*c,
  b^-1*c^-1*(b^-1*a)^2*c^-1*a^-1*b*c*a^-1*b^-1*c^2*b^-1*c^-2*a^-1*c*a*b*c,
  c*a*c*b^2*a^-1*b^-3*c*a*b*c^-1*a^2*b^-2*a^-1*b^3*a*b^-1*a^-1,
  c^2*b^-2*a*c*b^-1*c*a*c*a^-1*b^2*c^-1*b*a^-2*b^-1*a^-1*c^-2*a^-1*b^-1*a^-1*c\
^-1*b^-1,
  a^2*b*a*c*a*b^-1*a^-1*c^-1*a^-1*b^-1*c^-1*b*a*c^-1*a*b*a*c*a*b^-1*a^-2*b^-1*\
c*b, (a^-1*b^-1)^2*a^-1*b*(a^-1*b^-1)^3*a*b*(a*b*a*b^-1)^2*b^-1*a*b^-1*c,
  c*a^-1*c*b^-1*a^-1*b^-2*a^-1*b^3*a*b^-1*a*c*b^-1*c*a^-1*b^-3*c^-1*a*c^2*b^-1\
*a,
  b*c^-1*b^2*a*c*b^-1*a*c^-1*a^-1*b*c*a^-1*b^-1*c^2*b*c*a*c^-2*a^-1*b*c^-1*b^-\
1*a^-2,
  b^2*a*b*c*a^-1*c^-1*a*b^2*a^-1*b^-3*a^2*c^-1*b^-1*a*c*a^-1*b*a^-1*c^-1*a^-1*\
b*c^-1,
  c^-1*b^-1*a^-3*b^-1*a^-1*c^-1*a*b^-2*a*b^-1*c*a^-1*c^-1*b*c^2*b^-1*c^-1*a^-2\
*b^-3*a*b^-1,
  a^-1*b^-2*a^-1*b*(a^-1*b^-1)^2*(b^-1*a)^2*b*a*(b*a*b)^2*b*a^-1*c^-1*b^-1*a^-\
1*b^2,
  a*b^-1*a*c^2*b^2*a*b^2*a^-1*c^-2*a^-1*c*b*a^-1*b^-1*a^-1*c*a*c^-1*b^-1*a*b*c\
*a*c,
  a^2*b*a*c*a*b^-1*a^-1*c^-1*a^-1*b*a*b^-1*a*b*c*a^-1*b^-3*a*c*b*(b*a^-1)^2*b^\
2,
  a^2*b*a*c*a*b^-1*a^-1*c^-1*a^-1*c*b^-1*c^-1*a*c^-2*a^-1*c^-1*b^-1*a^-1*b^-3*\
a*b*c^-2*b*c^-1,
  b^2*a^-1*c*(a*b*c^-1)^2*c^-1*b^-1*c*a*c^-2*a*b^2*c^-2*b*a^2*b*a^-1*c^-1*a^-1\
*b^-1*a^-1,
  (a*b^-1)^3*b^-2*c^-2*a*c*b*a^-1*c^-2*a*b*a^2*b^-1*a^-2*b^-2*c^-1*b^-1*c*a*b*\
a,
  a^-1*b^-1*a*c*b*c*a^-1*b*c*b*a*(b*a*b)^2*a*b^-1*c^-1*b*c*a*b^-1*a^-1*c^-1*a*\
b*c*a^-1*b^-1*a^-1*b,
  b*a^-1*b^-2*(a^-1*b)^2*(a*b)^2*c^-2*a*c^-1*b*a^-1*b^-3*a*b*a^-2*c^-1*b*a*c^-\
1*a^-1*b*c^-1*a^-1*c,
  c^-2*b*c*a^-1*c*b*a^-1*b*(b^2*a)^2*c^-1*b*c^-1*a^-1*b^3*a*c^-1*b^-1*a^-1*c*b\
*a^-1*c^-1*a^-1*b^-1*a^-1*c^-1*b^-1,
  (a*b^-1)^2*b^-1*a*c^-1*b*c^2*b^-2*a*c*a*b^-1*c*a*c^-1*a*b*a^-1*c^-2*a*b^-2*c\
*a^-1*c^-1*b^-1*a^-1*b*a^-1*c^-1,
  b^-2*c^-1*a*b^-1*a^-1*b*a*b^-1*(a*b)^2*c^2*b^-1*c^-2*a^-1*c*(a*b^-1)^2*b^-1*\
a^-1*b^-1*c*a^-1*b*c^-1*(c^-1*a^-1)^2*b^-1,
  a^-1*b^2*a*b^-1*c^-2*a*c^-1*b*a^-1*b^-3*a*b*a^-2*b^-1*c*b*c^-1*a*b^-1*c*b*a^\
-1*c^-2*a*b^-1*c*a*(b^-1*a^-1)^2*b^-1,
  a*c^2*a*c*b*a*c^-1*a*b^3*c^-2*b^-1*a^-1*c^-2*b^-3*a*c^-1*b^-1*(a^-1*b*c)^2*a\
^-1*c*a*b^-1*a*c*b^-1*a^-1*b,
  a*c*b*a^-1*c^2*a*b^2*c*a^2*b*a^-1*c^-2*a*b^2*a^-1*b^-1*a^-1*c*a*b*c^2*b^-1*c\
*(c*a)^2*b*a^-1*b^3*a,
  (a^-1*b)^2*a*b^-1*a^-1*b^-3*c^-1*a^-1*c^-1*b^-2*a^-1*c^-2*a*b^-2*c*a^-1*b*a*\
b^-2*a*b*a^-2*b^-3*c^-1*a*c^-2*b^-2,
  c^-1*a^-1*c*a*b^-2*a^-1*b*c^-1*(b*a^-1)^2*b^-3*a*b*(b*a)^2*c*a*c^-1*b*a^-1*c\
^-1*(a^-1*b^-1)^2*c*b^-1*a*b*a*c*a*b^-1*a^-1*b,
  b*a^-1*b^3*a^2*c^-1*a*b^-1*a^-1*b^-3*a*b^-1*a^-1*b^3*a*c*b^-1*a^2*c*b*a^-1*c\
^2*a*b^-1*c^-1*b^-2*a^-1*b^-3*a*c*b*a^-1*b^-1*a*c*a^-1*b*c^-1*a^-1*c^-1,
  b^-1*a^-1*b*(b*a^-1)^2*c*a*b^-1*c^-1*a*c*b^-1*a*c*a^-1*b^-1*a*c^2*b*a^-1*c*a\
*c*b^-1*a^-1*b^3*a*b^-1*c*a*b*a*c*a*b^2*c*a*b^-1*a*c^-2*a^-1*c*b*c^-2*b^-1,
  a^-2*b^-3*a*b^-1*a^-1*b*a*c*b*c^-1*a*c^-1*b^2*c*b*c^-1*a*b*a^-1*c*b^-1*(b^-1\
*a)^2*b*a*b^2*a*b^-1*a*c^-1*a*c*b*a^-1*c^-2*a*b^2*c^-1*b*c*a^-1*b^3*a*b^-2 ],
[ [ a^-2, c^-2, (c^-2)^(a^-1), (a^-2)^(b^-1), b^3, (a^-2)^b, c*a*c^-1*a^-1,
      (c*b^3)^(a^-1), c^(a^-1*b^-1), (b^-2*a^-1*b^-1)^(a^-1*b^-1),
      (c*a^-1)^((a^-1*b*a^-1)^(b^-1)) ] ]];
end,
[ 168 ]],
"PG86016.25",0,1,2,168],
# 86016.26
[[1,"abc",
function(a,b,c)
return [[ c^4, a^4, a^-2*c*a^-2*c^-1, c^-2*b^-1*c^-2*b, (c^-2*a)^2, b^6,
  c^-1*b^3*c*b^-3, c^-1*b*c^-1*b^-1*c*b*c*b^-1, b^3*a^-2*b^-3*a^-2,
  a^-2*b*c*b^-1*a^-2*b*c^-1*b^-1, a^-2*b^-1*c*b*a^-2*b^-1*c^-1*b,
  (a^-1*b*a^-2*b^-1)^2, b*c^-1*a*c*b^-1*c*b*a^-1*b^-1*c^-1,
  c^-2*b^-1*a^2*(b^-1*a^-2)^2, b*a^-1*b^3*a*b*c^-1*b*a^-2*c^-1,
  b^-1*a*b^2*a^-2*b*a^-1*b^-1*a^-2*b^-1, a*c^-1*a^-1*b^3*a^-1*c*a*b^-3,
  b^-1*(a^-1*c)^3*a*b^-2*c^-1*a^-2,
  b^3*c^-1*a^-1*c*a*c^-1*a*b^-1*c^-1*b^-2*a^-1,
  a*b^-1*a^-1*b*(b*c)^2*(a*b)^2*c*b^-1*c^-1,
  b^-1*c^-1*a^-1*b*a^-1*c*a^-1*b^-1*a^-1*c*b^-2*a*c*a,
  (b^-1*a)^2*b^2*a^-1*(b^-1*a^-1*b^-1*a)^2,
  (a*b^-1)^3*(a^-1*b^-1)^2*a*b^-1*a*c^-1*b^-1*c^-1,
  c^-1*b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b*a)^2*b^-1*c*a^-1,
  a*b*a^-1*c*(a*b^-1)^2*(c*b)^2*a*c*a*c^-1*b^2*c^-1,
  b^2*c^-1*a^-1*c*a^-1*b^2*(c*a^-1)^2*c*b^2*c^-1*a^-1*c*a,
  b*c*b*c^-1*a^-1*c*a*b^2*(a*c^-1)^2*b*c*b*a*c^-1*a,
  c*a^-1*b^-1*a*c^-1*a*b^2*c^-1*b^-1*a*(c^-1*b)^2*a*c^-1*a*b^-2,
  c^-1*a^-1*b^-1*c^-1*b^-1*c*a^-1*b^-1*c^-1*b^-2*a^-1*b*c^-1*a*c^-1*a^-1*b*c*a
    , c^-1*a^-1*b^-1*a^-1*c*b^-2*c*a^-2*b*a^-1*c*a*b^-2*a*b*c^-1*a^-1,
  b^2*a*c^-1*a^-1*c*b^2*(c*a^-1)^2*b*(c*b^-1)^2*a^-1*c*a^-1,
  a^-1*b*a^-1*b^-2*c*a^-1*c^-1*b*a^-1*b^-2*(a*b)^2*a*c^-1*b^-2,
  b*a^-1*b*a*b*a^-1*c*b*c*a^-1*b*c^-1*a*b*a^-1*b*a*c*a^-1*c*a,
  a^-1*b^-1*c*b^-2*a*b^2*c^-1*a*b^-1*c*b*a*b^-1*a*c*a^-1*c^-1*b^2,
  b*a^-1*b^-1*(b^-1*a^-1)^2*c^-1*b*c*a^-1*b^-1*a*b*a*c^-1*b^-1*a*c*b*a*b,
  c*b^-1*a*(a*b^2*c)^2*a^-1*c^-1*b^-2*c*b^-1*a^-1*c^-1*b^-2*a^-1*b^-1,
  b^-1*a^-1*c*b*c*a*b^-1*a*b*a^-1*(b^-1*a^-1*b^-1)^2*a^-1*c^-1*a*c*a^-1*b*a^-1
    , c^-1*a^-1*c*b^2*(c^-1*a)^2*c*b*a^-1*b^-1*a^-1*b*c*b*a^-2*c*b*c*a*b,
  b^-1*a*b*a^-1*c*a^-1*c^-1*b^2*a*b*a^-1*(b*a*c*b^2)^2*c^-1*a^-1,
  b^-1*a^-1*c*a*c^-1*b^2*c*a*b^-3*c*a*b*c*b*c^-1*a^-1*b^-3*c^-1*a^-1,
  b^2*a*b^-1*a^-1*b*c*b^-1*a*c^-1*a^-1*b*c*b*c^-1*b*a*c^-1*b*a^-1*b*(a*c^-1)^2
    ,
  b^-1*a*b*a^-1*b*a*b*c*a*c^-1*a^-1*b*c^-1*b*(a^-1*b^-1)^2*c^-1*a*b*a^-1*c*a*c
    , b*c^-1*b*a*c^-1*b^2*(a*b^-1)^2*c^-1*a^-1*b*(b*c^-1)^2*a*(b*a^-1)^2*b*a*b
    ,
  c*a*b*c^-1*b*a^-1*c^-1*a*c*b*a^2*b^-1*a^-1*b^-1*c*b*a*b*c^-1*a*c^-1*a^-1*c*a\
*b^-1*a^-2*b,
  a^-1*(b^-1*a)^2*b*a*(b*a^-1*b)^2*a*b^-1*(a*b)^2*a*b^-1*c^-1*(a^-1*c)^2*a*b^2
    ,
  b^-1*a^-1*b^-3*c^-2*a^-1*b*c*b^-1*a^-1*c*a^-1*(b^-1*c^-1)^2*a*b^-1*a*c*a^-1*\
b^-1*c^-1*a^-2*b^-1*a,
  a*(b*a^-1)^2*b^-2*a*b*a*b^-1*c*a^-1*c^-1*b^-1*a^-1*b*a*b^-1*a^-1*b^-1*(b^-1*\
a)^2*c^-1*b^-2*a*c*a*b,
  c^-2*a*b*a*(b^-1*a*b^-1)^2*a*c^-1*b^-1*c*b^-1*a^-1*c^-1*b^-1*a*b*a^-1*c*a*b^\
-1*c^-1*b^-2*a*c^-1*b^2,
  b*a^-1*c^-1*a*b^-2*a^-1*b^2*a^-1*b^-1*c^3*a^-1*b^2*a^-1*b^-1*a*b^-1*c^-1*a^-\
1*b*a^-2*b*a*b^-1*c^-1*b*a^-1*c*a^-1,
  (b*a^-1)^2*c^-1*b*a^-1*b*c*a^-1*b^-1*a^-1*c^-1*a*b^2*a^-1*b*c*a*c^-1*b^3*a*c\
*b^-2*a^-2*c^-1*b^2*a*b^-1*c*a*c^-1*a^-1*b*c^-1*b*a,
  c^-1*b^-1*a^2*c*(b^-1*a*c^-1)^2*b^-1*a^2*b*c^-1*b*a*b^-1*a^-1*b*a*b^-1*c^-1*\
a*b^-2*c*a^-1*c*(a*c^-1)^2*a^-1*c*a^-1*b^-2*c*b^-1*a^-1*c^-1*a^-1*b^-1*c^-1*a
 ],
[ [ a, b^3, (a^-2)^b, c*b*c*b^-1, (a*b*a)^(b^-1) ] ]];
end,
[ 56 ]],
"PG86016.26",0,1,2,56],
# 86016.27
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, c^-1*a^-1*c^2*a*c^-1, a*c*a^-2*c^-1*a,
  (c^-1*b^-1)^3, b^-1*a^-2*b*c^-1*a*c*a, c*a*c*(a^-1*c^-1)^2*a,
  (c*b^-1*c)^2*b*c^-1*b, a^-1*b^-1*a*b*c^2*b^-1*a^-1*b*a^-1,
  a^-1*b^-1*a^-1*b*c^-2*b^-1*a*b*a^-1, b^-1*c*b*a^-2*b^-1*c^-1*b*a^-2,
  (b*c^-1)^6, a^-1*(b*c^-1)^2*b*a*(b*c^-1)^2*b,
  b^-1*c*a^-1*b*c^-1*b^-1*a*b*a^-1*b^-1*c*b*a^-1,
  c^-1*(b^-1*a)^2*b^-1*c*b*a^-1*b*c*a*b,
  a*b*a^-1*b*c^-1*b^-1*a^-1*c^-1*b^-1*c*a*b*c*b^-1,
  c^2*a^-2*b^-1*c*b^-1*a*c*a*b*(c*b^-1)^2,
  b^-1*a^-1*(b^-1*a)^4*c^-2*(b^-1*a)^2,
  b^-1*a^-1*c*a^-1*b*a*c^-1*b^-1*c^2*b*a^-1*b^-1*c^-1*b*c,
  a^-1*b*c*b^-1*a*c*b*c^-2*b*a^-1*b*c^-1*b^-1*a*c*b,
  a*b*c^-1*a^-1*b^-1*c^-1*b*a^-1*b*c*b*c^-1*a*c*b^-1*c*b*c^-1,
  b*a^-1*b^-1*c^-1*a^-1*b^-1*(c*b*a)^2*c^-2*b^-1*a*c^-1*a,
  b^-1*a*c^-1*b^-1*c*b*a^-1*b*a*b^-1*a^-1*b^-1*c^-1*b*c*a*b*a,
  c^-1*b^-1*a*b^-1*a^-1*b^-1*a*c*b^-1*c*a^-1*c*b^-1*c^-1*a^-1*b^-1*c*a*b^-1*a^\
-1, (a^-1*b)^2*c^2*a*b*c^-2*a*b*a^-1*b*a*(c*b^-1)^2*a^-1*c*b,
  a^-1*c*b*a^-1*b^-1*c^-1*b*c^-1*a^-1*b^-1*c^-2*b^-1*a*c^-1*a*b*a^-1*b*c*b^-1*\
c,
  a^-1*b^-1*c*a^-1*b*a*c*b^-1*a*b*c*a*b^-1*c^-1*a^-1*c*b*a^-1*c*b^-1*c^-1*a^-1\
*b,
  a^-1*b^-1*c^2*(b^-1*a)^2*b*a^-1*b^-1*a*b^-1*c*b^-1*c^-1*a^-1*b^-1*a*b*a*b^-1\
*c^-1,
  a^-1*b^-1*a^-1*b*a*b^-1*c^-1*a^-1*c^-1*b*a^-1*b^-1*(a*b)^2*c^-1*b*c*a^-1*(c*\
b^-1)^2,
  b^-1*c^-2*b*a*b^-1*c^-1*b*c^-1*a^-1*b^-1*(c^-1*b)^2*c*a^-1*(a^-1*b^-1)^2*c^-\
1*b*c*a,
  (b*a)^3*b^-1*c^-1*b*a^-1*b*c*b^-1*a^-1*b*c^-1*b^-1*a*b^-1*c*(a*b^-1)^2*c^-2,
  b^-1*a^-1*b*(a^-1*b^-1)^3*(a*b)^2*a*b^-1*(a*b)^2*a^-1*b*c^-1*b*a^-1*b^-1*a,
  (a^-1*b*a^-1*b^-1)^2*a*b*a*b^-1*a*b*a^-1*b*c^-1*a^-1*b^-1*a*c^-1*a*b*a*c^2*b
    ,
  a^-1*b^-1*c^-1*a*c^-1*b*a^-1*b^-1*a^-1*c^2*b*a*b^-1*a*b*a*b^-1*a^-1*c*a*c*b^\
-1*a*c^-1*b^-1*c^-1*b*a^-1*c*b*c^-2*a^-1*b^-1*c^-1*a*b*c*a^-2*b^-1*a*b^-1 ],
[ [ a^-2, c, c^(a^-1), (a^-2)^(b^-1), (c^-2)^(b*a^-1), (a^2*c^-1)^(b^-1*a^-1),
      (c*a^-1)^((a^-1)^b), (b*a)^3*b^-1*(a^-1*b)^2*a^-1 ] ]];
end,
[ 168 ]],
"PG86016.27",0,1,2,168],
# 86016.28
[[1,"abc",
function(a,b,c)
return [[ b^3, (c*a)^2*a^2, a^-1*c^-2*a*c^-2, (c*b)^3, (c*b^-1)^3,
  c*a*b^-1*a^-2*b*a*c, c^8, b^-1*c^-1*b*c*b*c^-1*b^-1*c^-2,
  b*a^-2*b^-1*a^-1*b*c^-2*b^-1*a, (a^-1*b^-1*c^2*b)^2,
  a^-1*b^-1*c^-1*b*a^2*b^-1*c*b*a^-1, (c^-1*b*c^-2)^3,
  c^-1*a^-2*c^-1*b*a^-1*b^-1*c^-2*a^-2*b*a^-1*b^-1,
  b^-1*c^-1*b*a*b^-1*c^-1*b*a^-1*(b^-1*c^-1*b*a)^2,
  a*(b*c^-1*b^-1*a^-1)^3*b*c^-1*b^-1,
  a^-1*b^-1*c*b*c^-1*b*c*a^2*b^-1*a*c^-2*b*c^2*b^-1,
  a^-1*c*b*a*b*a^-1*c^2*(a^-1*b^-1)^2*a*b^-1*c^2*b*c^-1,
  (a^-1*b)^4*a*b^-1*c*b^-1*a*c*b*a*b^-1*c^-1*b^-1,
  a^-1*b*a*c^-3*b*a^-1*c^-1*a^-1*b^-1*c^-2*a*b^-1*a*b*c*b^-1*c^-1,
  (b^-1*a*b*a)^2*b*c^-1*(b*c*a^-1)^2*b^-1*a^-1*b*a,
  a^-1*b^-1*a^-1*c^-3*b^-1*a^-1*c^-1*a^-1*b*a^-1*c*b*a*c*b*c^-3*b^-1,
  c*(a*b^-1*c^-2)^2*b^-1*a*c*(a^-1*b^-1)^2*c^-1*b^-1*a^-1*b^-1*c*b,
  a^-1*b^-1*c^-1*a^-1*c*a*b*a*c^-1*b^-1*a*c*b*a^-1*c^2*a^-1*b^-1*a^-1*c^-1*b*c\
^-1,
  a*b^-1*c^-1*b^-1*a^-2*b^-1*a*c^-1*a^-1*c*a*b^-1*a*b*c^-1*b^-1*c*a*b^-1*c^2*b\
^-1,
  b^-1*a^-1*b^-1*a*c^-1*a^-1*c*b*a^-1*b^-1*a*b^-1*c^-1*b*a^-1*b^-1*a*b*c*b^-1*\
c^-2*a*c,
  c^-1*a*c*b*a*b^-1*a*b*a*b^-1*c^-2*a^-1*b*a*b*c*b*a*b^-1*c^-1*b^-1*a*b^-1,
  a^-1*c^-1*a*b^-1*a^-1*b*c^-1*b*a^-1*c*b^-1*c^-3*(b*a)^2*b^-1*a*c*a*c^-1*b^-1
    ,
  a^2*c*b^-1*a^-1*b*(c^-1*b^-1*a^-1)^2*c^-1*b*c^2*a*c^-1*a*b^-1*a^-1*c^-1*b*c*\
b,
  b^-1*a*b*c*b^-1*a^-1*c^2*b^-1*c^-1*a*b*a*c*a*c^-1*b^-1*a*b^-1*a^-1*b^-1*c^-1\
*b*c*a^-1,
  c^-1*a^-1*c^-1*a*b^-1*a*c^3*b^-1*c^-1*b*a*c*a^-1*b*c^2*b*a*c*(a^-1*b)^2,
  (a^-1*b^-1)^2*a^-1*b*(a^-1*b^-1)^2*a^-1*(b^-1*(a*b)^2*a)^2*c^-1*b^-1*c^-1,
  c^-1*a*b*c*a*c*a^-1*b^-1*c^-1*a^-1*c*b*c^-1*b^-1*a^2*c*b*a^2*c^3*b^-1*c^-2,
  b^-1*a*b*c^-1*b^-1*c*a^-1*b*a*c^-1*a^-1*b^-1*c^-2*a^-1*c*b*c^-1*b^-1*a^-1*b^\
-1*a^4*b^-1*c,
  (b^-1*a^-1)^3*b*a*c*a^-1*b^-1*c^-2*(b^-1*a)^2*c^-1*b*c^3*b*a^-1*b*c^2*b*a,
  a*c^3*b*c^-3*b^-1*c*a*b^-1*a*c^2*b*a*c*a*c^-1*b^-1*a*b^-1*a^-1*b*c^-1*b^-1*a\
^-1*c*b^-1*c^-1,
  a*(b*a^-1)^3*b*a*c*a^-1*b^-1*c^-1*a*b*c*b^-1*a^-1*c^2*(b*a)^2*c*b^-1*a*c*a^-\
1*c^-1*b^-1*a*b,
  c*b*(c^-1*a*b^-1*c^-1)^2*c^-2*b*a*b*c^2*b*a*c*a*c^-1*b^-1*a^-2*b^-1*c^-1*a*c\
*a*b*c*a*b^-1,
  a^-3*b*a*b^-1*(a*b)^2*a^-1*(a^-1*b)^2*(a^-1*b^-1)^2*c*a^-1*b*c*b^-1*a^-1*c^-\
1*b^-1*c^-2*a^-1*b*a^-2*b,
  a*b^-1*c*b^-1*c^-1*b^-1*a^-2*b^-1*a*c^-2*b*c*b^-1*c^-2*(b*a^-1*b^-1*a^-1)^2*\
b*(a*b^-1)^2*c^-4*b^-1,
  b*a*b^-1*a*c^2*b^-1*c^-1*b*c^2*b*c^-1*a*c*(a*b^-1)^2*c^-1*a^-1*c*b*a^-1*c^2*\
(a^-1*b^-1)^2*c^2*a^-1*b^-1*c,
  b*c*b*c^-1*a^-1*c^2*b*c^-1*b^-1*a*c^-2*b*c^-1*(a^-1*b^-1*a^-1)^2*a^-1*c^-1*b\
^-1*c^2*b^-1*a*c*b*a^-1*c^-1*a*b^-1*a*b*c*a ],
[ [ a^-4, (c^-2)^b, a^2*b^-1*c^-1*b, a^-1*b*c*b^-1*c^-1*a^-1,
      (a*b^-1*a*b*a)^(b^-1) ] ]];
end,
[ 672 ]],
"PG86016.28",0,1,2,672],
# 86016.29
[[1,"abcd",
function(a,b,c,d)
return [[ a^2, d^2, c^2, b^3, (c*d)^2, (a*c)^2, (d*b^-1*c*b)^2,
  (b^-1*d*b*d)^2, (c*b^-1*d*b)^2, (c*b*c*b^-1)^2, (a*d)^4,
  (b*c)^2*b*a*b*c*b^-1*a, c*b^-1*a*d*(b^-1*c)^2*b^-1*d*a*b,
  (d*b^-1*a*d*a*b)^2, (c*b*a*d*a*b^-1)^2, (b*a*d*a*b^-1*d)^2,
  (a*b*a*d*a*b^-1)^2, (a*d*a*b^-1)^3, (d*b)^6,
  d*(b^-1*c)^2*d*b*c*b*d*b*c*d*b^-1, (a*b)^7, (d*b*a*b^-1)^4,
  (a*b*a*b^-1*d*b*a*b^-1)^2, (a*b^-1*a*b)^4, (c*b*a*b^-1*d*b*a*b^-1)^2,
  a*b^-1*a*d*b^-1*d*b*a*d*b*d*a*(b^-1*d)^2*b^-1,
  d*(b^-1*a*b^-1*d*b*a)^2*d*b^-1*a*d*a, ((a*b^-1)^2*d*b*d*a*b)^2 ],
[ [ a, b, d ],
  [ c, d, d^(a^-1), a^(b^-1), c^(b^-1), a^b, (d*c^-1)^b, a^(b^-1*a^-1),
      (d*c^-1)^(b^-1*a^-1) ] ]];
end,
[ 8, 14 ]],
"PG86016.29",0,1,2,[ 8, 14 ]],
# 86016.30
[[1,"abcd",
function(a,b,c,d)
return [[ d^2, a^2, b^3, c^4, (a*d)^2, c^-1*d*c*d, (c*a*c)^2, (d*b)^3,
  (c*a)^2*b^-1*c^-2*b, c*b*c^-1*b^-1*c^-1*b*c*b^-1, c^-1*b*d*b^-1*c*b*d*b^-1,
  b^-1*d*b*c^-1*b^-1*d*b*c, a*b*c*b*c^-1*b*a*b*c*b^-1,
  a*c*b*d*b^-1*a*c*a*b*d*b^-1*c^-1*a*c^-1, (a*b)^7,
  a*b^-1*c^-2*d*b*a*b*c^-1*a*c^-1*b^-1*d*b*a*b^-1, (b*d*b^-1*a*b^-1*d*b*a)^2,
  (a*b^-1*a*b)^4, b^-1*c*b*c^-1*(a*b^-1*a*c^-1*b^-1*c*b)^2*a*b^-1*a ],
[ [ c, (d*c^-1)^(a^-1), (c*a^-1)^(b^-1), d^b, a^(b^-1*a^-1), c^(b^-1*a^-1),
      (c*a^-1)^(b*a^-1) ] ]];
end,
[ 28 ]],
"PG86016.30",0,1,2,28],
# 86016.31
[[1,"abc",
function(a,b,c)
return [[ c^2, b^3, a^4, (a*c*a)^2, (c*b)^3, (c*a^-1)^4,
  b*a*c*a^-1*b^-1*a*c*a^-1, c*b*a*b^-1*c*b*a^-1*b^-1,
  c*b^-1*a^2*b*c*b^-1*a^-2*b, b*a^-1*b^-1*a^-2*b*a*b^-1*a^-2,
  (a*b)^2*a^2*b^-1*a^-1*b*a^-2*b*a, b*a*b*a^-1*(b*a^-1*b*a)^2*b*a,
  a^-1*b^-1*a^-1*b*a*b^-1*a^-1*b^-1*a*b^-1*a^-1*b*a^2*b^-1*a*c*b^-1*a^2*b^-1*a\
^-1*(b*a)^2*b^-1*a^-1*b*c*a^-1,
  (b^-1*a*b*a^-1)^3*b*c*b^-1*a*b^-1*a^-1*(b*a*b^-1*a)^2*b*a^-1*b*c*b^-1*a,
  b^-1*(a^-1*b)^3*a*b^-1*a*(b*a*b^-1*a^-1*b*a^-1)^2*b^-1*a*b*(a*b^-1)^2*a^-1*b\
*a^-1*b^-1*a*b^-1*a^-1*b*a,
  b^-1*a*b*(a*b^-1)^2*a^-1*b*a^-1*(b^-1*a)^2*b*a^-1*b^-1*a^-1*b*a*b*(a*b*a^-1*\
b^-1)^2*a*b*a^-1*b*a*b^-1*a*b*a,
  b^-1*a^-1*b*a*b^-1*a*b*a*b^-1*(a^-1*b)^2*a*(b^-1*a^-1)^2*b^-1*a*b*(a*b^-1)^3\
*a^-1*(b*a)^2*b^-1*a^-1*b*a*b^-1*a*b*a^-1,
  b^-1*(a*b)^2*a^-1*b*a*b^-1*(a*b)^2*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a^-1*b*a*b^-1\
*a^-1*b*a^-1*(b^-1*a)^2*b*a*b*a^-1*b^-1*a^-1*b*a,
  b*a^-1*b^-1*a^-1*b*a^-1*(b^-1*a*b^-1*a^-1*(b*a)^2*b^-1*a)^2*(b*a^-1)^2*b^-1*\
a^-1*(b^-1*a*b*a*b^-1*a)^2,
  (a^-1*b*(a*b^-1)^2*a^-1*b)^2*a^-1*b^-1*a*(b*a^-1)^2*(b^-1*a^-1)^2*b*a^-1*b^-\
1*a*b*(a*b^-1)^2*a^-1*b*a*(a*b^-1)^2*a*b,
  b*(a*b^-1)^3*(a^-1*b)^2*a*b^-1*a^-1*b*(a*b*(a*b^-1)^3)^2*a^-1*((b*a)^2*b^-1*\
a)^2*(b^-1*a)^2,
  a*b*a*b^-1*(a*b)^2*(a*b^-1)^2*a^-1*b*a*b^-1*a*(b*a^-1)^3*b^-1*a*b*(a*b^-1)^2\
*a^-1*b^-1*a*b*a^-1*(b^-1*a)^2*b*a^-1*b*a*b*a^-1*b^-1*(a*b)^2,
  a*b^-1*a^-1*b^-1*a*b^-1*c*b^-1*a^-1*b*(a^-1*b^-1)^2*(a*b)^2*a*(b^-1*a^-1)^2*\
b*a^-1*b*(a*b^-1)^3*c*b^-1*a*b*a^-1*(b^-1*a)^2*b*a^-1*b*(a*b^-1)^2*a^-1*b*a*b,
  a*b^-1*a^-1*b*(a^-1*b*a*b^-1)^2*a*b^-1*a^-1*b*a^-1*b^-1*a^-1*b*(a^-1*b^-1*a*\
b*a*b^-1)^2*(a*b^-1*a*b*a^-1*b^-1)^2*a*b*a*b^-1*(a*b)^3,
  b*a*b^-1*a^-1*b^-1*a*b^-1*a^-1*(b*a)^2*b*(a^-1*b^-1*a*b^-1*a^-1*(b*a)^2*b^-1\
)^2*a*b*(a*b*a*b^-1)^3*a*b*a^-1*b^-1*(a*b)^2*a*b^-1*a,
  (a*b^-1)^2*a^-1*c*b*a^-1*b*a*b^-1*a*b*a*(b^-1*a^-1)^2*b*a^-1*b*a*b^-1*(a^-1*\
b)^2*(a^-1*b^-1)^2*a^-1*b*(a*b*(a^-1*b^-1)^2)^2*(a*b)^3*a*b^-1*c*a^-1*b^-1*a*b\
*(a*b^-1)^3*a^-1*(b*a)^2*(b^-1*a)^2*b^-1 ],
[ [ a, b ], [ c, c^(a^-1), a^-1*b*a^-2, (b*a)^2*b*a^-1*b^-1*a^-1*b*a ] ]];
end,
[ 8, 64 ]],
"PG86016.31",0,1,2,[ 8, 64 ]],
# 86016.32
[[1,"abc",
function(a,b,c)
return [[ b^3, a^4, c^4, c^-1*a^-2*c*a^-2, c^-1*b^-1*a^2*c*b^-1*c^-1*b^-1,
  a^2*c^-1*(b^-1*c)^2*b^-1, a*c^2*a*b^-1*c^-2*b, a*b*c*b^-1*a^-1*b*c*b^-1,
  b^-1*c^-1*b*c*b^-1*c*b*c^-1, b*c^2*(b*c^-2)^2,
  a^-1*b*a^-1*b^-1*a^-2*b*a*b^-1*a^-1,
  b*c^-1*a^-1*c*a^-1*c^-1*b^-1*a*c^-1*a^-1*c,
  b*c*b^-1*c^-1*a^-1*b^-1*a*c^-1*a*b*c*a,
  (b^-1*a^-1)^2*(b^-1*a)^3*b^-1*a^-1*b^-1*a,
  a*b^-1*c^2*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*c^-2*b*a^-1*(a^-1*b^-1*a^-1*b)^2*a*\
b^-1*a*b*a, ((a*b*a^-1*b^-1)^2*(a^-1*b*a*b^-1)^2)^2,
  c^-1*b*a^-1*b^-1*a*b*a^-1*b^-1*a^-1*b*a*b^-1*a*b*a*c^2*b^-1*a^-1*c*(b*a^-1*b\
^-1*a)^2*b*a*b^-1*a*c^-2*b*a^-1*b^-1*a,
  a^-1*b^-1*a^-1*b*a*b*a^-1*(b^-1*a^-1*b*a)^2*b^-1*a^-1*b^-1*a*b*a^-1*b^-1*a*b\
^-1*a^-1*(b*a)^2*(b^-1*a)^2*b*c^-2*a^-1*b,
  a*b^-1*a*b*c^-2*a^-1*b^-1*a*b*a^-1*b^-1*a*c^2*(b*a^-1*b^-1*a)^4*b*(a*b^-1)^2\
*c^-2*b^-1,
  (a*b*a*b^-1)^3*a^-1*b^-1*a^-1*b*a*b^-1*a*c^-2*b^-1*a^-1*b*a*b*(a^-1*b^-1)^2*\
c^-2*(a^-1*b)^2*a^-1*b^-1*a^-1*b,
  c^-2*a*b*a^-1*b^-1*a*b*a*b^-1*a*b*c^-2*a^-1*b^-1*(a^-1*b^-1*a*b)^2*c^-2*(a^-\
1*b^-1)^3*a*b*a^-1*b^-1*a^-1*(b*a)^2*b^-1*a*b,
  a*b^-1*c^2*a^-1*(b*a)^2*(b^-1*a^-1)^2*b*a^-1*b*a*b^-1*a*c^-2*(b^-1*a^-2*b^-1\
*a)^2*b^-1*a*b*a^-1*b^-1*a*b*(a*b^-1)^2*a*b*a*b^-1,
  (b*a^-1)^2*b^-1*a^-1*b^-1*a*b^-1*a^-1*(b*a)^3*b^-1*a*b^-1*c^2*a^-1*b^-1*a*b*\
a^-1*b^-1*a*b^-1*a^-1*(b*a)^3*b^-1*c^-2*(a^-1*b^-1*a*b)^2*(a*b^-1)^2*a,
  a^-1*b*c^-1*a^-1*b^-1*a*b*(a^-1*b^-1)^2*a*(b*a^-1)^2*b^-1*a^-1*b^-1*a*b*a*b^\
-1*a*c^2*(b*a^-1)^2*b*c*a^-1*b^-1*a*b*a^-1*b^-1*a*b^-1*a^-1*(b*a)^2*b^-1*a^-1*\
b^-1*a*b*a*b^-1*a*c^-2*b*a^-1*b,
  a*b*(a^-1*b^-1)^2*a*(b*a^-1)^2*b^-1*a^-1*b^-1*a*b*a*b^-1*a*b*a^-1*c^-1*b^-1*\
c^-1*(b*a^-1*b^-1*a)^2*(b*a)^2*b^-1*a*b^-1*(a^-1*b)^2*a*b^-1*a*c^-2*b*a^-1*b^-\
1*a*b^-1*c*b*a*b*c^-1*a^-1*b^-1,
  (b*a^-1)^2*b^-1*a^-1*b*a*b^-1*a^-1*c^-2*b^-1*(a^-1*b)^2*(a^-1*b^-1)^2*a^-1*b\
*a*b^-1*a*c^2*(b*a^-1)^2*b*c^-2*a^-1*b^-1*a*b*a^-1*b^-1*a*b^-1*(a^-1*b)^2*(a*b\
^-1)^2*a^-1*b*a*b^-1*a*c^-2*b*a^-1,
  a^-1*b*a*b^-1*c^2*a^-1*b*a^-1*c*b^-1*a^-1*b*c^-1*(a^-1*b^-1)^2*(a^-1*b^-1*a^\
-1*b)^2*a*b*(a*b^-1)^2*a*b*c^-2*a*b*a^-1*b^-1*a*b^-1*a^-1*(b*a)^2*b^-1*a^-1*b^\
-1*a*b*a*b^-1*a*c^-2*b*a^-1*b,
  c^-1*b^-1*a*b^-1*a^-1*b*c^-2*a*b*a^-1*(b^-1*a*b*a)^2*b^-1*a*c^2*(b*a)^3*b^-1\
*a^-1*b*a*b^-1*c^-2*a^-1*b*(a^-1*b^-1)^2*(a^-1*b)^2*(a*b^-1)^2*a*b*a*b^-1*a*c^\
2*b*a*c^-1,
  c^-1*b*a^-1*b*a*b^-1*c^2*a*b*(a^-1*b^-1)^2*a*(b*a^-1)^2*b^-1*a^-1*(b^-1*a*b*\
a)^2*c^-1*b*a^-1*b*a*b^-1*c^-2*a*b*a^-1*b^-1*a*b^-1*a^-1*(b*a)^2*b^-1*a^-1*b^-\
1*a*b*a*b^-1*a*c^-2*b*a^-1,
  (a^-1*b*a^-1*b^-1)^2*a^-1*b*c^-2*(a^-1*b^-1)^2*(a^-1*b^-1*a*b)^2*a*c*b^-1*a*\
b*c^-1*a*c*a*(b^-1*a*b*a^-1)^2*b*a*(b^-1*a^-1)^2*b*a^-1*b*a*b^-1*a*b*a*c^-2*b^\
-1*a*b^-1*c*b,
  a^-1*b^-1*a*b*c^-2*a^-1*b^-1*(a*b*a^-1*(b^-1*a)^2*b)^2*a*b^-1*a*b*a*c^-2*b*(\
a^-1*b^-1)^2*c^-2*(a*b*a^-1*b^-1)^2*a*b*a*b^-1*a*c^-2*b^-1*a*b*a^-1*b*c^-1*a^2\
*c^-1*b^-1,
  a^-1*b*a*b^-1*c^2*a^-1*b*a^-1*c*b^-1*a^-1*b*c^-1*a^-1*b^-1*((a^-1*b^-1)^2*a^\
-1*b)^2*a*b*a*b^-1*a^-1*b^-1*a*b*a*b^-1*a*c^-2*b*(a^-1*b^-1*a*b*a^-1*b^-1)^2*a\
^-1*b*a*b^-1*a*c^-2*b*a^-1*b^-1*a*b^-1*a^-1*b^-1*a*b,
  a*b^-1*c^2*a^-1*b*a^-1*b^-1*(a*b)^2*a*b^-1*a*c*b^-1*a*b*c^-1*a*b*a^-1*b^-1*(\
a*b)^2*(a*b^-1)^2*a*b*c^-2*a*b*a^-1*b^-1*a*b*a^-1*b*c^-2*(a*b^-1)^2*a*c^-2*(a^\
-1*b^-1*a*b)^2*c^-2*(a^-1*b^-1)^2*(a^-1*b^-1*a*b)^2*a*b^-1*a^-1*b*a*b ],
[ [ c, (c^-2)^(a^-1), a^b, ((b^-1*a)^2*b*a^-1*b^-1*a^-1*c^-1*b^-1)^(a^-1) ]
 ]];
end,
[ 336 ]],
"PG86016.32",0,1,2,336],
# 86016.33
[[1,"abc",
function(a,b,c)
return [[ a^2, c^2, b^3, (c*b^-1)^3, (a*c)^4, (c*b*a*b^-1)^2, (b*a)^7,
  a*c*a*b*a*b^-1*a*c*a*b*c*a*c*b^-1, (c*a*b^-1*a*c*a*b*a)^2,
  b*a*c*a*b^-1*c*a*b*a*b^-1*a*b*a*c*a*b^-1*a*b*a*b^-1*a*c,
  a*b^-1*a*b*a*c*(b*a)^2*c*(a*b^-1)^2*c*a*b^-1*a*c*b*a*c,
  a*c*b^-1*a*c*b*a*c*a*b^-1*a*b*a*b^-1*c*a*b*(c*a)^2*b^-1*a*b,
  c*(b^-1*a)^2*b*(a*c)^2*(b^-1*a)^2*c*a*c*b^-1*a*c*(b^-1*a*c*a)^2,
  c*(a*b)^2*a*b^-1*c*a*c*b^-1*c*a*b^-1*a*c*(a*b)^2*c*a*b*(a*b^-1)^2*a,
  (c*(b^-1*a)^2*b^-1*c*a*b*c*(a*b^-1)^2*a)^2, (a*b*a*b^-1)^8,
  (a*b^-1*a*b)^2*(a*b^-1)^2*(a*b*(a*b^-1)^2*a*b)^2*a*b*a*b^-1*(a*b)^2,
  a*c*b^-1*(a*b^-1*a*b)^3*a*b*c*(a*b*(a*b^-1)^2*a*b)^2*a*b^-1*(a*b)^2,
  (b*a)^2*c*(a*b^-1)^2*(a*b^-1*c)^2*a*b*c*b^-1*(a*b)^2*a*c*a*b^-1*a*b*(c*a)^2*\
b^-1*a*b^-1*(c*a)^2*b^-1*a*c,
  a*c*b^-1*(a*b)^2*a*c*(a*b)^2*a*b^-1*c*(a*b)^2*a*c*a*b*c*(a*b*a*b^-1)^3*a*b*c\
*a*b^-1*a*b,
  a*c*a*b*(a*b*a*b^-1)^2*c*a*b*a*b^-1*a*b*c*a*b*(a*c)^2*b*c*(a*b*a*b^-1)^2*c*a\
--> --------------------

--> maximum size reached

--> --------------------

[ zur Elbe Produktseite wechseln0.49Quellennavigators  Analyse erneut starten  ]