diff --git a/grp/perf13.grp b/grp/perf13.grp
index 3ec2ef900b..35bd9203ac 100644
--- a/grp/perf13.grp
+++ b/grp/perf13.grp
@@ -3422,64 +3422,12 @@ a*b*a*c^2*b^-1*a^-1*b,
 )^2*a*b*c*a^-1*b^-1*d*b*d*c*b^-1*a^2*d*c^-1*b^-1*d*a*b^-1*d*b*a^-1*b*c^-1, 
   b*d*b*a^2*b^-1*a*b*a*c^2*b^-1*a^-1*c*a*c^2*(b^-1*a)^2*c*a*b^-1*a*b*a*c^2*b^-\
 1*c^-1*b^-1*a^-1*d*b*d*a^2*b*a*c^2*b^-1*a*b^-1*a^-1*b^-1*a*c^-1*b*d*a^-3*b ],
-[ [ d, b^-4, (b^-4)^(a^-1), d^(c^-1*a^-1), d^(c*a^-1), (d*a*d^-1*a^-1)^(a^-1),
-      (d*b*d^-1*b^-1)^(a^-1), d^(b^-1*a), (b^-4)^a, a^-1*c*a*c*d^-1*a^-1, 
-      (c*a^-1*b*a)^a, a^-1*d*a^2*d^-1*a^-1, (d*a^-1*d^-1*a)^a, 
-      a^-1*d*c*a*c*a^-1, (d*c^-1*d^-1*c)^a, d^(a*b^-1), b^2*a*b*c, 
-      b*c*b^-1*a*b^-1*a^-1, (b*c^-1)^2*d^-1*a^-1, (d*a*d^-1*a^-1)^(b^-1), 
-      (d*c*d^-1*c^-1)^(b^-1), b*d*c^-1*b*c^-1*a^-1, b^-1*a^-1*b^-1*c^-1*a^-2, 
-      b^-1*c^-1*b*c^-1*a^2, (d*a*d^-1*a^-1)^b, (d*c*d^-1*c^-1)^b, 
-      (d*c^-1*d^-1*c)^b, c*a*c*d^-1*a^-2, c*a*d*c*a^-2, c*a^-2*d^-1*c*a, 
-      (b^-4)^(c^-1), c^3*d^-1*c, d^(c^-2), c*d*a^-2*c*a, c*d*c^3, 
-      c^-1*a^2*c^-1*d^-1*a^-1, c^-1*a^-1*b^-1*d^-1*c*b, c^-1*b*a*c^2*a, 
-      c^-1*b*c^-1*a^-2*c^-1, (b^-4)^c, d^(c^2), d^(a^-3), 
-      a^2*b^-1*a*d^-1*c^-1*b^-1, (b^-4)^(a^-2), a^2*c^3*a^-1*c^-1, 
-      a^2*d*b^-1*a*c^-1*b^-1, (d*c*d^-1*c^-1)^(a^-2), d^(c^-1*b^-1*a^-1), 
-      d^(c*b^-1*a^-1), (d*a*d^-1*a^-1)^(b^-1*a^-1), a*b^-1*a^2*c*b*c, 
-      (a*b^-1)^2*a*d^-1*b^-1, (b^-1*a*c*a^-1*b^-2)^(a^-1), d^(c^-1*b*a^-1), 
-      (b^-1*c^-1*a*d^-1*b^-2)^(a^-1), (b^-1*d*c^-1*a*b^-2)^(a^-1), 
-      (c*a*b^-1*a^-1*c*b^-1)^(a^-1), (c*a*c*a^-1*d^-1*a^-1)^(a^-1), 
-      (c*b*c*b^-1*a^-2)^(a^-1), (b^-4)^(c^-1*a^-1), a*c*b^-1*c^-3*b^-1, 
-      (c^4*d^-1)^(a^-1), (c^-1*a^2*d^-1*c^-1*a^-1)^(a^-1), a*c^-1*a^-1*c^3*a, 
-      a*c^-1*b*a*b*a^-1*b, a*c^-1*(b*c)^2*c, (b^-4)^(c*a^-1), 
-      (d*c^-1*a^2*c^-1*a^-1)^(a^-1), a^-2*b*a^-1*c^-1*b^-1*c^-1, 
-      (b^-4)^(a^2), a^-2*b^-1*c*a*c^2*a^-1, a^-2*b^-1*c^-1*a*b^-1*c, 
-      a^-2*c^-1*a^3*c*a^-1, a^-2*c^-3*a*c, d^(c*a^2), 
-      a^-1*b*a*b*a^-2*b^-1*a^-1, a^-1*b*a*b^-1*c*b^-2*a^-1, 
-      a^-1*b*a*c^-1*b*a^-3, a^-1*b*a^-2*d^-1*b^-1*c*a^-1, 
-      (a^-1*b)^2*d^-1*a^-1*b, a^-1*b^2*a^-2*c^-1*b*a^-1, 
-      a^-1*b*c*b*a^-1*c^-1*b^-1, (a^-1*b*c^-1)^2*c^-1, a^-1*b^-1*a^2*c^-1*a*b,
-      (b^-1*a*b*a^-1*c)^a, a^-1*b^-1*a*(c^-1*b^-1)^2*a^-1, 
-      a^-1*b^-1*a^-2*b*a*b*a^-1, (b^-1*a^-1*c*b^-1*c)^a, 
-      a^-1*b^-1*a^-1*c^-1*a^-2*b, a^-1*b^-1*c*a^2*d^-1*b, 
-      a^-1*b^-1*c*a^-1*c*b*c*a^-1, a^-1*b^-1*c*b*a*b*a^-2, 
-      a^-1*b^-1*c*d*a^2*b, a^-1*b^-1*c^-1*b*a^-1*c*b, a^-1*b^-1*c^-2*a*c*b, 
-      a^-1*c*b^-1*a^-1*c^-1*b^-1*a^-2, (b^-4)^(c^-1*a), 
-      a^-1*(c*b^-1)^2*a^-1*b^-1, a^-1*c^2*a*(c*a^-1)^2, 
-      a^-1*c^2*a^-1*d^-1*b^-1*c, (a^-1*b*c*a^-1)^(c*a), (b^-4)^(c*a), 
-      (d*b*a*d^-1*a^-1*b^-1)^a, (d*b*c*d^-1*c^-1*b^-1)^a, a^-1*d*b^-1*c*a^2*b,
-      (d*b^-1*c^-1*d^-1*c*b)^a, (b*a^2)^2*c, b*a^2*b^-1*a^-1*b^-1*a^2, 
-      (a^2*c^-1*a^-1*c^-1)^(b^-1), b*a*b^-1*a^2*b*c^-1*a^-1, 
-      (b^-4)^(a^-1*b^-1), (a*c*a^-2*c)^(b^-1), d^(c^-1*a^-1*b^-1), 
-      b*a*c^-1*b*c^-1*a^-1*c, b*a*c^-1*b^-1*a*c*b*a^-1, 
-      b*a^-2*b*c^-1*b^-1*c^-1*a, b*a^-2*b^-1*c^-1*a*b, (a^-2*c*a*c)^(b^-1), 
-      (a^-1*b*c^-1*a*b^-1)^(b^-1), (b^-4)^(a*b^-1), 
-      (a^-1*b^-1*c^-1*b*c^-1*a^-1)^(b^-1), (a^-1*c*a*c*d^-1*a^-1)^(b^-1), 
-      (a^-1*c*d*a*c*a^-1)^(b^-1), (a^-1*c^-1*a^2*c^-1)^(b^-1), 
-      b*a^-1*c^-1*a^-1*b*c*a^2, b*a^-1*(c^-1*b)^2*a^-2, 
-      b^2*a^-2*c^-1*a*b*a^-1, (b*a^-1*b*a*c)^(b^-1), b*(b*c^-1)^2*a^-1*c*a, 
-      b^2*c^-1*b^-1*c^-1*a*b*a^-1, b*c*a*b*c^-1*b^-1*a^-2, 
-      (c*b*a*d^-1*c^-1*b^-1)^(b^-1), b*c*b^3*a*b^-1*a^-1, (b*c)^2*b^-2*a^2, 
-      (c^2*a^-1*c^-1*b*a^-1)^(b^-1), b*c^2*b*a*b*c^-1, (c^2*d*c^2)^(b^-1), 
-      b*c^-1*b^-1*a*b^-1*c^2*a^-1, (d*a^-2*d^-1*a^2)^(b^-1), 
-      (d*a^-1*c*a*c*a^-1)^(b^-1), b^-1*a^2*b*a^2*b^-1*a^-1, 
-      b^-1*a^2*b^-1*a^-1*c*b^-2, (a^2*c^-1*a^-1*c^-1)^b, 
-      b^-1*a*b*c*b^-1*a^-1*b*a^-1, (b^-4)^(a^-1*b), (a*c*a^-2*c)^b, 
-      b^-1*a*c*b*c*a^-1*c^-1, b^-1*a*c^-1*b^-1*c*a^-1*b^-1*a^-1, 
-      (a^-2*c*a*c)^b, b^-1*a^-1*b^3*c^-1*a^-2, (a^-1*c*a*c*d^-1*a^-1)^b ] ]];
+[ [ a, d, d^(b^-1), b^-4, d^(c^-1), d^c, (c^-1*a^-1)^(b^-2), b^(c^-1*b^-1),
+      d^(c*b^-1), b^-1*a*b^-1*d^-1*a*b^-1, d^(c*b), c^-2*a*c*a*c^-1,
+      (b^-4)^(a*b^-1) ] ]];
 end,
-[ 768 ]],
-"PG61440.79",0,2,1,768],
+[ 320 ]],
+"PG61440.79",0,2,1,320],
 # 61440.80
 [[1,"abcde",
 function(a,b,c,d,e)
diff --git a/grp/perf15.grp b/grp/perf15.grp
index 228294fbe8..f05bfb40ed 100644
--- a/grp/perf15.grp
+++ b/grp/perf15.grp
@@ -14121,40 +14121,12 @@ e^-1*f, b^-1*c^-1*b*c*f*(f*b)^2*e^-1*b*a^-1*f^-1*a*e^-1*f*c^-1*f*b*e*b^-1*f*e,
 -1, 
   b^-1*f^2*b*a*d*f*d^-1*f*b*f^-1*a*b*e*b^-1*e*c^-1*d*c*a*f^-1*a*(b^-2*e^-1)^2*\
 b^-1*a^-1*f*b^-1*d*b^-1*e*b^-2 ],
-[ [ (e^-2)^(a^-1), a^-1*c^-1*b, (d^-2)^a, (e^-2)^a, (d^-2)^(c^-1), 
-      (e^-2)^(c^-1), (e^-2)^c, d^-1*e^2*d^-1, d^-1*f^2*d^-1, e*b*e^-1*b^-1, 
-      e*b^-1*e^-1*b, e^-1*f^2*e^-1, f*d*f*d^-1, (d^-2)^(b^-1*a^-1), 
-      a*c*a^-1*e^-1*b^-1, (e^-2)^(c^-1*a^-1), (e^-2)^(c*a^-1), 
-      (d^-1*f^2*d^-1)^(a^-1), (e*b*e^-1*b^-1)^(a^-1), (f*d*f*d^-1)^(a^-1), 
-      a^-1*b*a*c*b*a^-1, (d^-2)^(b^-1*a), (f^-2)^(b^-1*a), 
-      a^-1*b^-1*c*b^-1*c^-1, a^-1*c*b*c^-2, b*a*c^-1*e^-1*d*a^-1, 
-      b*a*e*a*c^-1, b*a*e^-1*a*c^-1, b*a^-1*b^-1*c*b*a, b*a^-1*c^-1*e*d^-1, 
-      (d^-2)^(a*b^-1), (e^-2)^(a*b^-1), (d^-2)^(c^-1*b^-1), 
-      (e^-2)^(c^-1*b^-1), b*c^-1*a^-1*f^-1*e^-1*a^-1, (e^-2)^(c*b^-1), 
-      (d*b*a^-1*c^-1)^(b^-1), (e^-2)^(a^-1*b), b^-1*a^-1*d*f^-1*c, 
-      b^-1*a^-1*f*d^-1*c, (e^-2)^(c*b), b^-1*d*b^2*d*b^-1, b^-1*d*f*a*c*a^-1, 
-      b^-1*d^-1*c^-1*a*b^-2, b^-1*f*a*c*d*a^-1, b^-1*f*c*a*f, 
-      b^-1*f^-1*a*c*d^-1*a^-1, b^-1*f^-1*c*a*f^-1, c*a*b^-1*a*e^-1*a^-1, 
-      c*a*c^2*e*b, c*a*c^-1*f*d^-1*a, c*a*e*c^2*b, c*a*f*b^-1*f, 
-      (d^-2)^(b^-1*c^-1), (f^-2)^(b^-1*c^-1), c*b^-1*a^-1*b*f*a^-1, 
-      (c*b^-1)^2*c^-1*b^-1, c^2*b*c^-2*b^-1, c^2*(d*b)^2, c^2*(d^-1*b)^2, 
-      c^2*e*c*a*b, c*d*a*c^-1*f*a, c*d*c^-1*a^-1*d^-1*a, 
-      (e*b^-1*e^-1*b)^(c^-1), c*f*c^-1*a*f^-1*a^-1, (f*d*f*d^-1)^(c^-1), 
-      c*f^-1*c^-1*a*f*a^-1, c^-1*a^-1*d*f^-1*c*a^-1, c^-1*a^-1*d^-1*f*c*a^-1, 
-      (e^-2)^(a*c), c^-1*a^-1*f*d*c*a^-1, c^-1*a^-1*f^-1*d^-1*c*a^-1, 
-      (c^-1*b)^2*c*b, c^-1*b*d*a^-1*b*a^-1, c^-1*b*d^-1*a^-1*b*a^-1, 
-      (f^-2)^(b^-1*c), c^-1*(b^-1*c)^2*b^-1, (f^-2)^(b*c), c^-2*a^-1*c*f^-1*b,
-      c^-2*b*c^2*b^-1, c^-2*b^-1*c^2*b, c^-2*(d*b^-1)^2, 
-      c^-2*d^-1*a^-1*c^-1*b^-1, c^-2*e^-1*b^-1*a^-1*c^-1, (c^-1*f*b*a^-1)^c, 
-      c^-2*f^-1*a^-1*c*b, c^-1*d*b^-1*d^-1*b^-1*c^-1, c^-1*e*a*b*f^-1, 
-      c^-1*e*c*a^-1*c*b^-1, c^-1*f*a*c*d^-1*a, c^-1*f*c*a*f*a^-1, 
-      c^-1*f^-1*c*a*f^-1*a^-1, d*a*c*d*c^-1*a^-1, (d*a)^2*d^-1*a, 
-      (e^-2)^(a^-1*d^-1), d*a^-1*d^-1*a^-1*d*a^-1, d*a^-1*e*c*d*b^-1, 
-      d*a^-1*e^-1*c*d*b^-1, d*b*a^-1*f^-1*e^-1*c^-1, d*b^2*d*b^-2, 
-      d*b*c*a*b^-2 ] ]];
-end,
-[ 1536 ]],
-"PG122880.219",0,4,1,1536],
+[ [ a, d, (f*e^-1)^(b^-1), (f^-1*e^-1)^(b^-1), (f*e)^b, (f^-1*e)^b,
+      (d^-2)^(c^-1), (f^-1*a)^c, (f^-1*a)^(e^-1), f^-1*c*a^-1*c^-1,
+      (e*d)^(a^-1*b^-1), b^2*a^-1*c^2, b^2*c^-1*e^-1*c^-1 ] ]];
+end,
+[ 640 ]],
+"PG122880.219",0,4,1,640],
 # 122880.220
 [[1,"abcde",
 function(a,b,c,d,e)
diff --git a/grp/perf17.grp b/grp/perf17.grp
index 566b5db39b..52a243e28e 100644
--- a/grp/perf17.grp
+++ b/grp/perf17.grp
@@ -3595,11 +3595,11 @@ f^-1*c*d^-2,
 *c^-1*b^-1*c*e^-1*f^-1*e, 
   a*d^-1*a^-1*e*d^-2*f*b^-2*a*f*d^-1*e^-1*d^-1*a^-1*d*(f*b^-1)^2*e*f*e*f^-1*a\
 ^-1*c*a^-1*d^-1*f^-2*d^-1*f^-1*b^-2*c*d^-2 ],
-[ [ b^-2, (d^-2)^(a^-1), (d^-2)^a, (d^-2)^(b^-1), (b^-2)^(c^-1), (b^-2)^c, 
-      d*a^-1*d^-1*a, d*c*d^-1*c^-1, e*c*e*c^-1, e*c^-1*e^-1*c ] ]];
+[ [ f*d, f^-1*d^-1, (e*d)^(a^-1), (e^-1*d^-1)^(a^-1), (f*d^-1)^(a^-1),
+      (e*d)^a, b^2*d^-1, b*c*f^-1*a, b*c^-1*d^-1*a ] ]];
 end,
-[ 1920 ]],
-"PG245760.48",0,2,1,1920],
+[ 96 ]],
+"PG245760.48",0,2,1,96],
 # 245760.49
 [[1,"abcdef",
 function(a,b,c,d,e,f)
@@ -8311,19 +8311,14 @@ a^-1*b^-1*a^-1*e*f^-1*d^2*a^-1*d^-1,
   b^-1*d^-1*a*f*e*a^-1*e*d^-1*b*e*d^-1*a*f^-1*d*f^-1*c*f^-1*c^-1*e^-1*f^-1*a^\
 -1*f^-1*d*a^-1*b^-1*a^-1*b*a^-1*b^-1*d^-1*(e^-1*a^-1)^2*e^-1*d^-2*a^-1*e*d^-2\
  ],
-[ [ c^-2, d, e, f, a*b*a, a^-1*b*d^-1*a^-1 ], 
-  [ c^-1*a^-1, (e^-1*d^-1)^a, (e*d)^(b^-1), b^-4, (e^-1*d)^b, 
-      e^-1*a*c^-1*d^-1, f*a*f^-1*a^-1, f*c^-2*e^-1, f*d^-1*f*d, f^-1*c^-2*e, 
-      (b^-4)^(a^-1), a*d^-1*c^-1*e^-1*d, (f*c^2*e^-1)^(a^-1), a*f*d*c*d, 
-      a*f^-1*d*a^-1*d^-1, (b^-4)^a, a^-1*c*a*e^-1*f^-1, (c*e^-1*c)^a, 
-      a^-1*c^-1*a^-1*e^-1*f^-1*a^-1, a^-1*d^-1*a*f^-1*d, 
-      (d^-1*c*e^-1*c^-1)^a, a^-1*f*a*e^-1*c*a^-1, a^-1*f*a^-1*e^-1*c^-1, 
-      b*a^-1*c^-1*f*b, b^2*e*c^-1*e^-1*a^-1, b*c*f*a*b, (c^-1*d*f*a)^(b^-1), 
-      b*d*b^-1*f^-1*c*a^-1, (d^-1*a^-1*c^-1*d^-1)^(b^-1), b*d^-1*b*c*f*a^-1 
-     ] ]];
-end,
-[ 40, 1920 ]],
-"PG245760.111",0,4,1,[ 40, 1920 ]],
+[ [ b^-1*a^-1, d^-2, e^-2, f, a*b^-1*d^-1, a*d*c, (c^-2)^a, b*a*e^-1*a,
+      b*c^-1*e^-1, b*e*c^-1, (c*a^-1)^2, (b*c*a*c*b)^a ],
+  [ b^-2, (b^-2)^(a^-1), (d^-2)^(a^-1), (b^-2)^a, (d^-2)^a, (c*a)^2,
+      (b^-2)^c, d^-1*b^2*d^-1, (b^-2)^(e^-1), e*c*e*c^-1, a*b*a^-1*c*b^-1,
+      (b^-2)^(e*a), c*e*b*d^-1*b^-1*a, c^-1*d*e*c^-1*d ] ]];
+end,
+[ 40, 768 ]],
+"PG245760.111",0,4,1,[ 40, 768 ]],
 # 245760.112
 [[1,"abcdef",
 function(a,b,c,d,e,f)
diff --git a/grp/perf19.grp b/grp/perf19.grp
index 0ea89d781b..581d8556f6 100644
--- a/grp/perf19.grp
+++ b/grp/perf19.grp
@@ -427,10 +427,10 @@ return [[ e^2, d^2, b^4, b^-1*d*b*d, b*e*c*e*c^-1*b, b^-1*a^-1*d*a^-1*b^-1*d,
 ^-1)^2*d*b*c^-1, 
   a^-1*c*b*c^-1*b*c*a^-1*b*a^-1*(b^-1*c)^2*b^-1*c^-1*b^-1*a^-1*b^-1*(c*b)^2*c*\
 a*b*c*(b^-1*a^-1)^2*b^-1*c^-1*a^-2*b ],
-[ [ e, e^(a^-1), e^a, b*e*b, a*b*a^2*b^-1, a*c^2*a^-1*c ] ]];
+[ [ d, e, a^-1*d*e^-1*a^-1, a*b*c^2*a, (b*a^-3)^(c^-1) ] ]];
 end,
-[ 2304 ]],
-"PG368640.12",0,4,3,2304],
+[ 1280 ]],
+"PG368640.12",0,4,3,1280],
 # 368640.13
 [[1,"abcde",
 function(a,b,c,d,e)
diff --git a/grp/perf20.grp b/grp/perf20.grp
index e3cc484185..2ab33e7090 100644
--- a/grp/perf20.grp
+++ b/grp/perf20.grp
@@ -5801,10 +5801,11 @@ return [[ f^2, e^2, a^3, c^2*d^-2, d^-2*b^2, d^4, d^4, (e*f)^2, f*d*f*d^-1,
   e*a^-1*b^-1*e*b*a^-1*e*a^-1*f*d*a^-1*e*b^-1*e*b*a*d*f, 
   (c^-1*f)^2*e*c^-1*b^-1*e*b*e*a*f*a*c*b^-1*e*b*e*a^-1, 
   c*d^-1*f*b*c^-1*d^-1*c*e*b*a*f*a^-1*b^-1*e*b^-1*a^-1*d*c*a^-1*f*d^-1 ],
-[ [ (d*b)^a, e*b*e^-1*d, a*f*a^-1*e^-1*b^-1, d*f*a^-1*b*e^-1*a ] ]];
+[ [ (f*a^-1)^(b^-1*a^-1), a*d*a*f^-1*c^-1, (e*a*f^-1*b^-1)^a,
+      c*b*a*e^-1*a*b^-1 ] ]];
 end,
-[ 3840 ]],
-"PG491520.94",0,2,1,3840],
+[ 1280 ]],
+"PG491520.94",0,2,1,1280],
 # 491520.95
 [[1,"abcdef",
 function(a,b,c,d,e,f)
diff --git a/grp/perf22.grp b/grp/perf22.grp
index 9243cd7b37..96c845293e 100644
--- a/grp/perf22.grp
+++ b/grp/perf22.grp
@@ -4469,21 +4469,15 @@ a*d*b^-1,
 ^-1*b*a*b^-1*c*f*c^-1*b*a^-1, 
   e*f^-1*d*b*e*b^-1*d^-1*a*e*a^-1*f*b^-1*a*f^-1*a^-1*b^-1*d*e*d^-1*b*f*d^-2*b^\
 2*c*f^-1*c^-1*b*e*f^-1*a*e*a^-1 ],
-[ [ e, f, a^3, f^(a^-1), (c^-2)^a, (c^-2)^(b^-1), e^(b^-1), f^(b^-1), b^-4, 
-      (c*a^-1)^2, c^2*b^-2, e^(c^-1), (c^-1*a^-1)^2, d*a*d^-1*a, 
-      d*a^-1*d^-1*a^-1, d*b*d^-1*b^-1, (b^-1*c^2*b^-1)^(a^-1), 
-      (c^-2)^(d^-1*a^-1), a^-1*b*d*c*b^-1*a^-1 ], 
-  [ b^-2, (b^-2)^(a^-1), (b^-2)^a, c^-4, (b^-2)^(a^-2), a*c*a*c^-1*f, 
-      (c^-4)^(a^-1), a*d^-2*a^2, (c^-4)^a, a^-1*d^2*f^-1*c^-1, 
-      a^-1*e*f^-1*c*e^-1, (b^-2)^(a^-1*b^-1), (b^-2)^(a*b^-1), 
-      b*a^-1*c^-1*b^-1*d^-1, (c^-4)^(b^-1), (d^-1*a^-1*d*a^-1)^(b^-1), 
-      b*d^-1*b*a*d^-1*a, (b^-2)^(a^-1*c^-1), c*a*f^-1*c*a^-2, c*a^-2*f^-1*c*a,
-      c*e*c^-1*a^-1*e^-1*a, (b^-2)^(a^-1*d^-1), d*a*e*d^-1*e^-1*a, 
-      (b^-2)^(a*d^-1), (d*c)^3, d*(c*d^-1)^2*c, (c^-4)^(d^-1), (d*c^-1)^3, 
-      d*(c^-1*d^-1)^2*c^-1, d*e*d*f^-1*c^-2 ] ]];
+[ [ a^-2*d, b*e*c^-1*a^-1, b^-4, b^-1*f^2*b^-1, c^-4, d*a^-1*f^-1*a^-1,
+      (c*b^-1)^(d^-1), (c*b^-1)^d, d^-1*e*f^-1*c, e*c*f*d^-1,
+      b*a^-1*d*b^-1*c^-1*a, b*c*d*f^-1*c*a, (c^-1*a^-1*f*c^-1)^(b^-1) ],
+  [ e, f, e^(a^-1), f^(a^-1), e^a, e^(b^-1), f^(b^-1), b^-4, b^-1*c^2*b^-1,
+      c*a*c^-1*a, c^2*b^-2, d*a^-1*d^-1*a^-1, d*b*d*b^-1, d^-1*c^2*d^-1,
+      a^-1*c*d*c*b^-1*a^-1 ] ]];
 end,
-[ 144, 3840 ]],
-"PG737280.51",0,8,3,[ 144, 3840 ]],
+[ 1024, 144 ]],
+"PG737280.51",0,8,3,[ 1024, 144 ]],
 # 737280.52
 [[1,"abcdef",
 function(a,b,c,d,e,f)
diff --git a/grp/perf23.grp b/grp/perf23.grp
index 09bbb05c37..3d4013e30d 100644
--- a/grp/perf23.grp
+++ b/grp/perf23.grp
@@ -38408,37 +38408,12 @@ c*b^-2*c^-1*g^-1*c*g^-1*a^-1,
 -1*g*a*b*e^-2*a*g*a^-1*e*b^-1*e^-1*b*d, 
   g^-1*e^-1*a^-1*g*a^-1*b*a^-1*g*a*b*f*g^-1*f^-1*e^-1*a^-1*b*f*g*f^-1*a^-1*g^\
 -1*a*b*a^-3*f^-1*g*f*b^-2*g*a^-1*e*a*c^-1*b^-2*c ],
-[ [ (d^-2)^a, c^-4, (d*c)^2, d^-1*f^-1*c*a^-1, e*d^-1*e^-1*d^-1, 
-      e^-1*c^2*e^-1, e^-1*c^-2*e^-1, e^-1*d^-1*e*d^-1, e^-4, f*a^-1*e*a, 
-      f^-1*b^2*f^-1, (g*f)^2, (d^-2)^(a^-2), (a*c)^2*g^-1, (c^-4)^(a^-1), 
-      ((d*c)^2)^(a^-1), ((d*c^-1)^2)^(a^-1), a*d*g*a^-1*d, 
-      ((d^-1*c)^2)^(a^-1), (e*d*e*d^-1)^(a^-1), a*e^2*a^-1*g^-1, 
-      (e^-1*b^-1*d*b)^(a^-1), a*e^-2*a^-1*g^-1, a*f*e*g*c, a*f*g*e^-1*c^-1, 
-      a*g*a^-1*c^-2, a^-2*e^-1*f^-1*c, (c^-4)^a, (c^-1*g^2*c^-1)^a, 
-      a^-1*e*a^-1*d^-1*c, a^-1*e*c*a*g^-1, a^-1*e*c^-1*a*g^-1, 
-      (e^2*g^-1*d^-1)^a, (e*g*e*d^-1)^a, (c^-2)^(e*a), (e^-2*g^-1*d^-1)^a, 
-      (e^-1*g*e^-1*d^-1)^a, (c^-2)^(f^-1*a), (d^-2)^(f^-1*a), 
-      (f^2*c^-1*e)^a, (g*d*g*d^-1)^a, ((g*d^-1)^2)^a, (g*f^-1*c^-1*f)^a, 
-      b^2*c*e*f*a^-1, b^2*c^-1*a^-1*c*a^-1, b^2*d*f*c^-1*a^-1, 
-      (c^-4)^(b^-1), ((d*c)^2)^(b^-1), (e*d^-1*e*d)^(b^-1), 
-      (e^-1*d*f^-1)^(b^-1), (f^-1*e*g*d)^(b^-1), (g*a^-1*f*a)^(b^-1), 
-      (g*d*e*f)^(b^-1), (g^-1*e^-1*d*f)^(b^-1), b^-1*a*e^2*a^-1*b^-1, 
-      b^-1*a*e^-2*a^-1*b^-1, b^-1*c*a*e^-1*f^-1*b^-1, 
-      b^-1*c*g^-1*a*d^-1*b^-1, b^-1*c^-1*a*d*g^-1*b^-1, 
-      b^-1*d*a^-1*g*c^-1*b^-1, ((d*c)^2)^b, ((d*c^-1)^2)^b, (d*e*f^-1)^b, 
-      b^-1*d^-1*e^-1*g*f*b^-1, b^-1*e*c^2*e*b^-1, b^-1*e*c^-2*e*b^-1, 
-      b^-1*e*g*e^-1*g*b^-1, b^-1*e^-1*b*c^-1*a^2, b^-1*e^-1*c^2*e^-1*b^-1, 
-      (e^-4)^b, b^-1*e^-1*g*d*f*b^-1, b^-1*f^-1*d^-1*g*e*b^-1, 
-      (f^-1*e*g^-1*d)^b, b^-1*f^-1*g*e*d*b^-1, b^-1*g*d^-1*a^-1*c*b^-1, 
-      b^-1*g*e*g*e^-1*b^-1, (g^-1*a^-1*f*a)^b, (g^-1*d*e*f)^b, c*a^2*d^-1*f, 
-      (c^-2)^(a^-1*c^-1), (d^-2)^(a^-1*c^-1), c*a^-1*b*e^-1*g^-1*b^-1, 
-      c*b^-1*d^-1*b^-1*f^-1*a^-1, (b^-1*f^2*b^-1)^(c^-1), 
-      c*d*a^-1*d^-1*c^-1*a^-1, c*f*a^-1*b*f^-1*b, c*f^-1*d^-1*a*f*a, 
-      c*f^-1*e*a*g*a, c*f^-1*e^-1*g*a^2, c^-1*a*c*a*d^-1, 
-      c^-1*a^-1*b*d^-1*f^-1*b ] ]];
+[ [ b^-2, a^2*g, b*f^-1*c^-1*a^-1, c*d*g, c^-4, e^-1*b*a^-1*c,
+      a*b*c*e^-1*b^-1, a*b*c^-1*e*b^-1, a*b*f^-1*g^-1*d, a*c*d*a*g^-1,
+      (b*d^-1*f*a)^a, b*c^2*f^-1*c*a^-1 ] ]];
 end,
-[ 7680 ]],
-"PG983040.387",0,2,1,7680],
+[ 1024 ]],
+"PG983040.387",0,2,1,1024],
 # 983040.388
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
@@ -85568,23 +85543,13 @@ a*b*c^-1*f*a*c*f*b^-1*a^-1*f*e*a*b*c^-1,
   f*c*b^-1*a^-1*e*f*a*b*c^-2*a^-1*c*a^-1*e^-1*f*a*d^-1*b*c*f*b^-1*a^-1*e*f*a*\
 (b*c^-1)^2*e^-1*c*e*a^-1*c*b^-1*a^-1*e^-1*f*a*b*c^-1*e^-1 ],
 [ [ d, f, d^(a^-1), a^-2*f^-1*a^-1, d^a, d^(b^-1), f^(b^-1), b^-4, c*a*e*b ],
-  [ d^-1*e^2*d^-1, a^2*f*a*e^-1, a*d*e*a^-1*d, (b*a)^3, (b*a^-1)^3, 
-      (b^-1*a)^3, (b^-1*a^-1)^3, b^-3*d^-2*b^-1, b^-1*e*b^2*e^-1*b^-1, 
-      (b^-1*e*b^-1)^2, b^-1*f*b^-2*f^-1*b^-1, c*b^2*c^-1*f^-1, 
-      (b^-2*f^-1)^(c^-1), c*b^-1*c^-1*a*d^-1*b^-1, c^-1*a*c^-1*b^-1*c*a^-1, 
-      c^-1*a^-1*b*a*e, c^-1*b*a*f^-1*b^-1*a^-1, c^-1*b*a^-1*d^-1*c^-1*b^-1, 
-      c^-1*b^2*c*f^-1, (b^-2*f^-1)^c, c^-1*b^-1*c*d^-1*a*b, 
-      c^-1*b^-1*d^-1*a^-1*c*b^-1, c^-1*e*a^-1*e^-1*b^-1*a, e*a*c*e*a*c^-1, 
-      e*b*a*c^-1*b*a^-1, e*b^2*e^-1*b^-2, (e*b^-2)^2, e*c*a^-1*e*c^-1*a^-1, 
-      a^2*c^-1*e*a^2*c^-1, (a*e^-1*c^-1*a*c)^(a^-1), ((b*a^-1)^3)^(a^-1), 
-      (b*c*b*e^-1*c^-1*a^-1)^(a^-1), a*b*f*b*d^-1*a^-1*f^-1, 
-      a*b^-1*a^-2*c^-1*b*e^-1, ((b^-1*a^-1)^3)^(a^-1), 
-      (b^-3*d^-2*b^-1)^(a^-1), (b^-1*e*b^2*e^-1*b^-1)^(a^-1), 
-      ((b^-1*e*b^-1)^2)^(a^-1), a*c*b*e^-1*c^-1*a^-1*c, 
-      a*c*b^-1*a^-1*c^-1*a*c^-1, a*c*d*e*a*c*f^-1 ] ]];
-end,
-[ 384, 6144 ]],
-"PG983040.828",0,4,1,[ 384, 6144 ]],
+  [ b*c^-1*e^-1, b^-1*d*f^-1*b^-1, c^-1*e*f^-1*c^-1, d*a^-1*e*b,
+      d^-1*a^-1*e^-1*b, e*b*c*d, (c*b*e*b)^(a^-1), (c*b^-1*e^-1*b^-1)^(a^-1),
+      a*c^-1*e*a*c^-1, a^-2*c*d^-1*c^-1*a^-1, a^-1*b^-1*a^-1*b*e^-1,
+      a^-1*b^-1*c*e^-1*b, (d*f*b^2)^a ] ]];
+end,
+[ 384, 1280 ]],
+"PG983040.828",0,4,1,[ 384, 1280 ]],
 # 983040.829
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -95068,14 +95033,13 @@ return [[ d^2, e^2, a^3, c*e*c^-1*e, c^4, (c^-1*d*c^-1)^2, b^-1*d*b^2*d*b^-1,
   b^-1*a^-1*c^-1*a^-1*b^-1*c*a^-1*c*a*c^-1*a^-1*e*b*c*b*c^-1*b^-1*(c*a)^2*b*a\
 *e*a*c^-2*e*b*a*c^-2*e*a^-1*b^-1*a*b*e*b^-1*c*b^-1*a^-1*e*c^-1*a^-1*b*e*b^-1*\
 c^-1 ],
-[ [ (d*c*d^-1*c)^a, c^(a^-1*b^-1), (b*a^-1)^3, (b^-1*a)^3, (c^-2)^(a^-1*b), 
-      b^-2*d*b^-1*d^-1*b^-1, (c^-2)^(a^-1*c^-1), c*a^-1*d*c*d^-1*a^-1, 
-      c^-1*b^-1*a*c*b^-1*a^-1, a*(b*a^-1)^2*b*a, (c^-2)^(b^(a^-1)), 
-      (b^-2*d*b^-1*d^-1*b^-1)^(a^-1), (c*a*b*a*c*b)^(a^-1), 
-      a*c*b^-1*c*a*b^-1*d^-1, a*d*b^-1*c^-1*b^-1*a*b ] ]];
+[ [ e*a*c^-2, a^-1*b*d*a*c^-1*a^-1, a^-1*c*b*e^-1*b^-1*a^-1,
+      b*a*c^-1*e^-1*b*a^-1, (b*a^-1)^3, b^2*c^-1*b^2*a, b^-1*a*b*c*a*b^-1,
+      (b^-1*a)^3, b^-1*a*d*e^-1*c^-1, b^-2*c^-1*b^-2*a, b^-2*d*b^-1*d^-1*b^-1,
+      b^-1*c*b^-2*a^-1*b^-1, b^-1*d*c^-1*a^-1*b^-1*a^-1, c*a*d*c*a*b ] ]];
 end,
-[ 7680 ]],
-"PG983040.931",0,4,1,7680],
+[ 1024 ]],
+"PG983040.931",0,4,1,1024],
 # 983040.932
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -101141,12 +101105,12 @@ b*a, c^-1*b^-1*e*a^3*c*e*b*c*a*b^-1*a^2*b*a^-2*b^-1*a^-1*e*b^-1*e*b*e,
 d*b^-1*e, 
   a*b^-1*c^-1*e*a^3*e*c^-1*d*c*a^-3*c*d*b^-1*a*e*b*e*a*b*a^2*b^-1*a^-2*b*e*a^\
 -1*b*a^2*b^-1*a^-1*e*b ],
-[ [ e, c*a*c^-1*a, e^(b^-1*a^-1), (d*a*d^-1*a^-1)^(a^-1), (d*a^-1*d^-1*a)^a, 
-      (d*c^-1*d^-1*c)^a, (b*a^-1)^3, e^(a*b^-1), ((c^-1*a)^2)^(b^-1), 
-      b*d*b^-1*a*d^-1*a^-1, (c^-1*a)^(d^-1*b^-1), b^-1*c^-1*a*b*c*a^-1 ] ]];
+[ [ d, e, (e*d^-1)^(a^-1), e^a, d^(b^-1), d^(a^-2), (b*e*b*a^-1)^(a^-1),
+      d^(a^2), (b^-1*e*b^-1*a)^a, a^-1*d*a^2*d^-1*a^-1, (d*b*d^-1*b^-1)^a,
+      (b*a^-1)^3, b^2*a*b^-2*a, b^3*d^-1*b, a*c^-1*a^-1*d*c^-1*b^-2 ] ]];
 end,
-[ 7680 ]],
-"PG983040.1005",0,4,1,7680],
+[ 5120 ]],
+"PG983040.1005",0,4,1,5120],
 # 983040.1006
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -101427,22 +101391,15 @@ a*b^-1*a^-2*c*b*a^-2*b^-1,
   a*b*d*a^-1*d^-1*(a^-1*b^-1)^2*a*b^-1*c*a^-1*b*a^2*b^-1*a^-1*b*c^-1*a*b^-1*c\
 ^-1*a*b*a^-2*b^-1*a*b^-1*c*b^-1*d^-1*b^-1*a*b*a^-2*b*c*a*b*a^-2*b^-1*a*b^-1*c\
 ^-1*b^-1*a^-1*b*a^2*b*d^-1*b*c*a*b*a^-2*b^-1*a*b^-1*c^-1*b^-1 ],
-[ [ (c^-2)^a, (b*a^-1)^3, (a^-1*c*d)^(b^-1), (c^-1*b^2*c^-1)^(b^-1), 
-      (b^-1*a)^3, b^-3*d^-2*b^-1, ((c^-1*a)^2)^b, (c^-1*b^2*c^-1)^b, 
-      c*a*c*d^-2*a, ((b*a^-1)^3)^(a^-1), (c*a*c^-1*a)^(b^-1*a^-1), 
-      (b^-1*a*c^2*a^-1*b^-1)^(a^-1), (b^-2*a^-1*c*b^-2)^(a^-1), 
-      (b^-3*d^-2*b^-1)^(a^-1), a*c*b*a^-1*d*c*b, a^-2*b*a^3*b^-1*a^-1, 
-      a^-2*b^-1*a^3*b*a^-1, a^-1*b*a^3*b^-1*a^-2, a^-1*b^2*c*b^-2*a^-2, 
-      a^-1*b^-1*c*b*c*b^-1*a^-2, a^-1*b^-1*c^-1*b*c^-1*b^-1*a^-2, 
-      ((c*b)^3)^a, a^-1*c*(b^-1*a^-1)^2*b^-1, (c*(b^-1*c^-1)^2*b^-1)^a, 
-      b*a^3*b^-1*a^-3, (b*a^2)^2*b*a^-1, (a^-1*b^-2*d^-1*c^-1)^(b^-1), 
-      b*a^-1*d*(b*c^-1)^2, b^2*a*c*b^-2*c^-1*a^-1, b^2*a*c^-1*b^2*c*a^-1, 
-      b^2*c*a^-1*b^-2*c*a^-1, (b^2*c^-1*a^-1)^2, 
-      b*c*b^-1*a^-1*d^-1*b*d^-1*a^-1, b^-1*a^2*b^-1*a^-1*b^-1*c^-1, 
-      b^-1*a^2*d*b^-1*c*b*a^-1, b^-1*a^-1*b^-1*a^2*b^-1*c^-1 ] ]];
-end,
-[ 7680 ]],
-"PG983040.1009",0,4,1,7680],
+[ [ a, (a^3)^(b^-1), (b*a^-1)^2*b, (b^-1*a)^((a^-1)^(b^-1)),
+      b^2*c^-1*a^-1*b^2*c, (c*b^2*a^-1*c^-1*a^-1)^(b^-1),
+      (c^-1*b^-2*a*c*a)^(b^-1), b*c^-1*b^-1*c*b*a^-1*c^-1,
+      b^-2*c^-1*a^-1*b^-2*c, b^-2*(c^-1*b)^2*c^-1*b^-1,
+      c*a^2*(b^-1*c^-1)^2*b^-1, c*b^-1*c*b*a*c*a*b^-1,
+      c^-1*a^-1*b^-1*a^3*b*c^-1, c^-1*b*d*b*a^-1*c^-1*b^-2 ] ]];
+end,
+[ 5120 ]],
+"PG983040.1009",0,4,1,5120],
 # 983040.1010
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -111462,28 +111419,16 @@ d*e*d^-1*e^-1*d^-1*b^-1*c^-1*b^-1*f*a*g^-1*c^-1*f*a*d*e*d^-1*e^-1*g^-1,
   d*e*d^-1*e^-1*c*f*a*g*a^-1*f*b*c*b^-1*c^-1*d*e*d^-1*e^-1*c^-1*f*a*g^-1*a^-1\
 *f*b^-1*c^-1*g^-1*d*e*d^-1*e^-1*c^-1*f*a*g^-1*a^-1*f*b^-1*c^-1*b*a^-1*c^-1*(g\
 *f)^2*a^-1*g^-1*b^-1*c^-1*b^-1*c*b*f*a*g*c*f*a*d*e*d^-1*e^-1*c^-1 ],
-[ [ b^-2, c*a^-1, e^-2, g*f^-1, (e^-2)^(a^-1), (g*e)^(b^-1), d*a*d^-1*a^-1, 
-      d*a^-1*d^-1*a, d*c*d*a^-1, d^2*e^-1, d^-1*a^-1*g^-1*a, 
-      (g*e^-1)^(b^-1*a^-1), (e*d^-1*e^-1*d)^(a^-1), a*e*f*a^-1*f^-1, 
-      (e^-1*d^-1)^(b^-1*a), (g*d^-1)^(b^-1*a), (e*d)^(a^-1*b^-1), 
-      (e^-1*d^-1)^(a^-1*b^-1), (g*d^-1)^(a^-1*b^-1), (a^-1*c*e^-1)^(b^-1), 
-      (a^-1*e*c^-1)^(b^-1), f^(a*b^-1), (e*d^-1)^((b^-1)^a), 
-      (e*d^-1)^(a*b^-1*a), a^-1*b*d*f*b^-1*a^-1*e^-1*a^-1 ], 
-  [ e^-2, d*a*d^-1*a^-1, (e^-2)^(d^-1), d^-1*a*d*c^-1, (e^-2)^d, g*e*g*e^-1, 
-      (f*e)^(b^-1*a^-1), (e^-2)^(c^-1*a^-1), (e^-2)^(c*a^-1), 
-      (d^-1*a^-1*d*c^-1)^(a^-1), a*e*g*f^-1*c^-1, a*f*e^-1*c*f^-1, 
-      a*f*g*e^-1*c^-1, (g*e)^(b^-1*a), (c^-1*d^2)^a, (d*f*e*c^-1)^a, 
-      a^-1*d^-1*a*c^-1*d^-1*a^-1, (d^-1*f*e)^a, (e*d*f^-1)^a, 
-      (e*d^-1*f^-1*c)^a, (e^2*g^-1*d^-1)^a, (e*f*g^-1*c^-1)^a, 
-      (g^-1*e)^(a^-1*b^-1), (a^-1*c*e^-1)^(b^-1), (g*e^-1)^(d^-1*b^-1), 
-      b*d^-1*b^-1*a*f^-1*a^-1, (g^-1*e^-1)^(d*b^-1), (e*d^-1*e*d)^(b^-1), 
-      (e^-1*d*g*d^-1)^(b^-1), (e^-1*d^-1*e^-1*d)^(b^-1), 
-      (f*g^-1*f^-1*e^-1)^(b^-1), b^-1*d*e^-1*d^-1*e^-1*b^-1, (e*d^-1*e*d)^b, 
-      c*b*c*b^-1*c^-1*b^-1, (b^-1*e^-1*f^-1*b^-1)^(c^-1), c*d^2*c*e^-1, 
-      d^-1*a^-1*b*d*b^-1*a, g*a*b*e*b^-1*a^-1 ] ]];
-end,
-[ 240, 3840 ]],
-"PG983040.1111",0,4,1,[ 240, 3840 ]],
+[ [ b^-2, d^-2, e, f, g*d^-1, (d^-2)^(a^-1), e^(a^-1), (f*d^-1)^(a^-1),
+      g^(a^-1), (d^-2)^a, (c*a)^(b^-1*a), f^(b^-1*c^-1),
+      (f*d^-1)^(b^-1*c^-1*a^-1) ],
+  [ f, b^-1*f*d*a^-1, c*b*d^-1, d*e*b*a^-1, d*e^-1*b^-1*a^-1, d*f*b*c^-1,
+      e*d*g*d^-1, e*d^-1*g*d, e^-1*d^-1*g^-1*d, g*d*b*a^-1, g*e*g^-1*e^-1,
+      a*b*a*d^-1*c, a*e*g*e^-1*c^-1, a^-1*b*a*e*b^-1*a^-1*g^-1*a^-1,
+      a^-1*b*d*b*a^-1*d*c ] ]];
+end,
+[ 60, 1280 ]],
+"PG983040.1111",0,4,1,[ 60, 1280 ]],
 # 983040.1112
 [[1,"abcdefgh",
 function(a,b,c,d,e,f,g,h)
@@ -112803,32 +112748,12 @@ f^-1*c^-1*f*e*g*a^-1*c*f^-1*c*d*f*(a^-1*g)^2*b,
   a^-1*c^-1*h^-1*a^-1*b*c^-1*b*d^-1*c^-1*e*g*c^-1*b*c*b*e^-1*d^-1*c^-1*f^-1*c\
 *d*f^-2*g*e^-1*d^-1*g*d^-1*c*f*a^-1*f^-1*c*d*f*g*c*a*b*c^-1*b*c*b*e^-1*c^-1*e\
  ],
-[ [ f^-2, (e^-2)^(a^-1), (d^-2)^(c^-1), d^-1*e^2*d^-1, (f^-2)^(e^-1), 
-      e^-1*f*h*e^-1, f*h*d^-2, (e^-2)^(b^-1*a^-1), (h*g^-1)^(b^-1*a^-1), 
-      (f^-2)^(c^-1*a^-1), (d*c*g^-1*c^-1)^(a^-1), (e*c*h*c^-1)^(a^-1), 
-      (e^-2)^(g^-1*a^-1), ((h*d)^2)^(a^-1), (e^-2)^(h^-1*a^-1), 
-      ((h^-1*d^-1)^2)^(a^-1), a^-1*d*a^-1*e*f^-1*a^-1, 
-      a^-1*d^-1*a^-1*e*f*a^-1, a^-1*e^-1*h^-1*a^-1*d*a^-1, (f*e*f^-1*e)^a, 
-      (f^2*d^-2)^a, (f^-1*e*f*e)^a, (e^-2)^(a^-1*b^-1), (d^-2)^(c^-1*b^-1), 
-      b*d*b*f^-1*d^-1, b*d*e*b^-1*g^-1, (f^-2)^(d^-1*b^-1), b*d^-1*b*f^-1*d, 
-      (d^-1*f*h^-1*d^-1)^(b^-1), (e*d^-1*e^-1*d)^(b^-1), 
-      (f*d^-1*h^-1*d)^(b^-1), (f*e*f*e^-1)^(b^-1), (f*e^-1*f^-1*e)^(b^-1), 
-      (f^-1*d*h*d^-1)^(b^-1), (g*d*g^-1*d^-1)^(b^-1), (h*a*e^-1*a^-1)^(b^-1),
-      (e^-1*d^-1)^(b^-1*c^-1), (h*g^-1)^(b^-1*c^-1), c*d*c*e^-2, 
-      c*e*c*f^-1*g^-1, c*e^-1*c*g^-1*f^-1, (f*d*f)^(c^-1), ((f*e)^2)^(c^-1), 
-      ((f^-1*e)^2)^(c^-1), (g*f*g^-1*f^-1)^(c^-1), c*h*a*c*h^-1*a, 
-      (e^-2)^(a^-1*d^-1), d*b*d*b^-1*f^-1, d*b*d^-1*b^-1*h^-1, 
-      (f^-2)^(b^-1*d^-1), d*f*g*a^-1*f^-1*a, d*g*f*b^-1*e*b^-1, 
-      (h*a*e^-1*a^-1)^(d^-1), (e^-2)^(a^-1*d), d^-1*b*d*b^-1*h, 
-      d^-1*b*e^2*b^-1*d^-1, d^-1*b*f*h*b^-1*d^-1, (g*a*d^-1*a^-1)^d, 
-      d^-1*g*c*h^-1*f*c^-1, e*b*a^-1*f*a*b^-1, f*b*a^-1*h^-1*a*b^-1, 
-      f*b*c*h^-1*c^-1*b^-1, (e^-1*d^-1)^(a^-1*b^-1*a^-1), 
-      (d^-2)^((b^-1)^(a^-1)), (e*d)^(c^-1*b^-1*a^-1), 
-      (d*a*d*a^-1)^(b^-1*a^-1), a*(b*d)^2*a^-1*d^-1, a*(b*d^-1)^2*a^-1*d, 
-      a*b*d^-1*e*b^-1*a^-1*g^-1, (f^-1*c*g^-1*a^-1)^(b^-1*a^-1) ] ]];
+[ [ a, b, f^-2, (f^-2)^(c^-1), c^-1*d^2*c^-1, c^-1*e^2*c^-1, d^2*c^-2,
+      (e^-2)^(d^-1), e*g*c*d^-1, (b*a^-1)^(h^-1), c^-1*b*d^2*b^-1*c^-1,
+      d*a^-1*e*f^-1*b^-1*c ] ]];
 end,
-[ 7680 ]],
-"PG983040.1123",0,4,1,7680],
+[ 1024 ]],
+"PG983040.1123",0,4,1,1024],
 # 983040.1124
 [[1,"abcdef",
 function(a,b,c,d,e,f)
@@ -113669,20 +113594,14 @@ g*d^-1*b*g,
   d*a*f^-1*e*a^-1*e^-1*b^-1*g^-1*f*g*d^-1*b^-1*f*e^-1*a^-1*e*f^-1*d*e^-1*f*a*\
 f*g*b*(g*f)^2*d*f*b*e*a*e^-1*f*a^-1*b^-1*g*b^-1*e^-1*g*a*e^-1*f*a^-1*g^-1*f*e\
 *a^-1*g^-1*f^-1*g^-1*b*d^-1*f^-1*b*e*a*e^-1*f ],
-[ [ d, e, f, d^(a^-1), e^(a^-1), a^-2*g^-1*a^-1, a^-1*d*a^-2, a^-1*g*a^-2, 
-      b^2*g^-1 ], 
-  [ g^-1*f^-1, b^-1*g^2*b^-1, e^2*d^-2, e^-1*c*f*a^-1, f*e*g*e, 
-      f*e^-1*g*e^-1, g*a^-1*f*a, (e*d)^(b^-1*a^-1), (b^-1*f^2*b^-1)^(a^-1), 
-      (g*f^-1)^(c^-1*a^-1), a*e*a^2*f, (e*c*f^-1*c^-1)^(a^-1), 
-      (e^-4)^(a^-1), (f*d^-1*f^-1*d^-1)^(a^-1), (f*e^-1)^(c^-1*a), 
-      a^-1*c*f^-1*a^-1*g^-1*a^-1, (f*e^-1)^(c*a), a^-1*d*a^-1*f^-1*c^-1, 
-      a^-1*d^-1*a*e^-1*c*a^-1, (f^-1*e)^(d*a), (e*c*e^-1*c)^a, 
-      (e*d^-1*f^-1*d^-1)^a, (e^-4)^a, (e^-1*f^-1*d^-2)^a, ((f^-1*e)^2)^a, 
-      (g*e^-1*g*f^-1)^a, (c*f^-1*d*a)^(b^-1), b*d*f^-1*b^-1*c^-1*a^-1, 
-      (d^-1*a^-1*c^-1*d^-1)^(b^-1), b*d^-1*g*f*b ] ]];
-end,
-[ 120, 3840 ]],
-"PG983040.1131",0,4,1,[ 120, 3840 ]],
+[ [ d, e, f, (d^-2)^(a^-1), (e*d^-1)^(a^-1), (e^-1*d^-1)^(a^-1), g^(a^-1),
+      a^-2*d^-1*a^-1, d^a, g^a, b^2*g^-1 ],
+  [ b^-2, b*f*e^-1*a, c*f^-1*g^-1*b^-1, (b^-2)^(d^-1), d*c*d*c^-1,
+      e*c*e^-1*d, e^-4, b^(f^-1), f^-1*a*g^-1*c^-1, (b^-2)^f, a*b*d*a^-1*e,
+      a*c*e^-1*a*g^-1, a*d*b*e*d, a*e^-1*a*e*b^-1 ] ]];
+end,
+[ 120, 512 ]],
+"PG983040.1131",0,4,1,[ 120, 512 ]],
 # 983040.1132
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
@@ -118861,36 +118780,16 @@ f*e*d*b*d*c^-1*e*f*c*a*c^-2*e,
   b*c^2*e*b^-1*a^-1*c^-1*f*c^-1*a*b^-1*a*c^2*a^-1*e*b*a^-1*e*c^-2*e^-1*(c*a^-\
 1)^2*b*f*b*a*c^-2*a^-1*c^-1*b^-2*c^-2*a^-1*c*a^-1*e*b^-1*a^-1*b*a^-2*f*e*c^-2\
 *e^-1*c^-1*a^-1*c^-1*b*f*e*f*e^-1 ],
-[ [ (c^-2)^b, d^(c^-1), (b^-1*d*e^-1*b^-1)^(a^-1), a*d*f*a^-1*e, 
-      (e*f*b^-2)^(a^-1), a*f*a^-1*e*d^-1, (f*b*c^-1*b)^(a^-1), 
-      (f*c*b^-1*c)^(a^-1), a^-2*b*d^-1*b^-1*a^-1, a^-1*c^-1*b*a^-1*c, 
-      (c^-1*e^2*c^-1)^a, (a^-1*f*a^-2)^(b^-1), b*d*b^-1*a^-3, 
-      (c^-2)^(e^-1*b^-1), c^(e*b^-1), b*f*b*f^-1*d^-1, c^(d^-1*b), 
-      b^-1*d*e*b*f^-1, b^-1*d*e^-1*f^-1*d^-1*b^-1, b^-1*e*c^2*f^-1*b^-1, 
-      b^-1*e^-1*f*e^-2*b^-1, c*a^2*e^-1*c*a^-1, c*a*c^-1*a^-1*e*a^-1, 
-      d^(a*c^-1), c*a^-1*e*c^-1*a^2, (c*b)^2*c^-1*b, (c*b^-1)^3, 
-      c*e*b^-1*c*e^-1, d^(e^-1*c^-1), (e^-1*b^-1*e*b)^(c^-1), 
-      c*e^-1*c^-1*f^-1*e, c*f*b*c*d^-1, c*f*c*d^-1*e, 
-      c^-1*a^-1*b^-1*f^-1*c^-1*a^-1, d^(a*c), c^-1*a^-1*e*c^-1*d^-1*a^-1, 
-      c^-1*a^-1*e^-1*b^-1*a*c^-1, c^-1*e*b^-1*c^-1*e^-1, c^-1*e*c*e^-1*f^-1, 
-      d^(e^-1*c), c^-1*e^-1*b*c*b^-2, (e^-1*b^-1*e*b)^c, 
-      c^-1*e^-1*c^-1*b^-1*c^-1*b, d*a*e*d^-1*e^-1*a^-1, d*a*f*a^-1*e^-1, 
-      (d*a^-1)^2*d^-1*a^-1, d*b*f*b*f^-1, d*b^-1*c*e*c^-1*b^-1, 
-      d*c*d*b^-1*f^-1*c, d*e^2*a*d^-1*a^-1, (e^-1*b^-1*c^-1*b^-1)^(d^-1), 
-      d*f*b*c^-1*f^-1*b, d*f*c^-1*e^-1*f^-1*c^-1, (e*a)^3, 
-      e*a^-1*d*a*e^-1*d^-1, e*b*c*f^-1*d^-1*b, e*b*d*b^-1*e*d^-1, 
-      e*b*e*c^-1*e*b, (b^-1*f*e*b^-1)^(e^-1), e*c*a*c^-1*e*a, 
-      e*c^2*d^-1*e^-1*d^-1, e*c*e*d^-1*b*c^-1, e*c^-1*e*d^-1*b*c, e*d*e*a^3, 
-      e*d*e^-1*a^-1*d^-1*a, e^2*a*d^-1*a^-1*d^-1, e*f*e^-1*b^-1*c*b^-1, 
-      e^-1*a^-1*d*a*e*d^-1, (e^-1*a^-1)^3, e^-1*b*c*e^-1*b^-1*d^-1, 
-      e^-1*b*d*b^-1*e^-1*d^-1, e^-1*c*a*c*e^-1*a, e^-1*c*e*c^-1*f^-1, 
-      e^-1*c^-1*b*c*f^-1*e^-1, e^-1*d*f*d^-1*f^-1*e^-1, 
-      e^-1*f*d*f^-1*d^-1*e^-1, e^-1*f*e*b^-1*c^-1*b^-1, 
-      f*b^-1*c*d^-1*b^-1*d^-1 ], 
-  [ b, c*a, c^-1*a, (b^-2)^(a^-1), (b^-2)^(a^-2), (e*a)^3 ] ]];
-end,
-[ 3840, 192 ]],
-"PG983040.1176",0,4,1,[ 3840, 192 ]],
+[ [ c*a, d, e^-2, f*e^-1, a^3, (c^-2)^(a^-1), (e*b)^(a^-1), (e^-1*b)^(a^-1),
+      a^-1*d*c, (e^-2)^(b^-1), (e^-2)^b, b^-1*f*e^-1*b^-1, c^-1*b^2*a,
+      e*a*b^-1*a^-1 ],
+  [ (c^-2)^b, d^(c^-1), (b^-1*d*e^-1*b^-1)^(a^-1), a*d*f*a^-1*e,
+      (e*f*b^-2)^(a^-1), a*f*a^-1*e*d^-1, (f*b*c^-1*b)^(a^-1),
+      (f*c*b^-1*c)^(a^-1), a^-2*b*d^-1*b^-1*a^-1, a^-1*c^-1*b*a^-1*c,
+      (c^-2)^(e^-1*b^-1), c*a^2*e^-1*c*a^-1, d^(a*c^-1), d^(a*c) ] ]];
+end,
+[ 80, 3840 ]],
+"PG983040.1176",0,4,1,[ 80, 3840 ]],
 # 983040.1177
 [[1,"abcdef",
 function(a,b,c,d,e,f)
@@ -120453,27 +120352,14 @@ e*c*f*a^-1*d^-1*c^-1*d*c*b^-1*f*b*d^-1*e^2*c*d*e,
 a^-1*e*a*f^2*c^-1*d*c*b*f*b^-1*d^-1*e*c^-1*d*e*c*e^-1*f^-1, 
   a^-1*d^2*f^-1*a*f*e^-1*b^-1*d*b*e^-1*a^-1*e*a*c^-1*d*c*f*(d*e^-1*c)^2*d^-1*\
 c*f^-1*c*a^3*f^-1*d^-1*c^-1*d*e*c*e^-2*c^-1*f^-1*c*a^3*e*c^-1*d*e*c*e^-1 ],
-[ [ c^-1*b, e^-2, f, (d^-2)^(a^-1), a^-2*d^-1*a^-1, (d^-2)^a, f^a, b*c*e^-1, 
-      (e^-2)^(b^-1), b^-4, b^-1*d*e^-1*b^-1, b^-1*e*d*b^-1, d*a*d^-1*a^-1, 
-      d*b*e^-1*b^-1, (d*b^-1)^2, d*e*b^-2 ], 
-  [ d*b*e*b^-1, f*b*f*b^-1, a*b*a*b^-1*a, a*b*a^-1*b^-1*e, (b*f^-1*e)^(a^-1),
-      (e^-2)^(c^-1*a^-1), (a*c^-1)^2*b, (e^-2)^(c*a^-1), a*d*f^-1*a^-1*b^-1, 
-      a*d^-1*a*f^-1*a, a*d^-1*e^-1*a^-1*d^-1, (e^-1*a*d^-1*a^-1)^(a^-1), 
-      a*f*a^-1*e*d, (f*e^-1*f^-1*b)^(a^-1), a^-2*b*a^-1*e^-1, 
-      a^-1*b*a*d^-1*f^-1, (e*b*e*b^-1)^a, b*a*b^-2*d*a^-1, 
-      b*a*c*e^-1*c^-1*a^-1, b*a^-1*d^-1*f*b^-1*a, b*a^-1*e*b*d*a, b^2*d^2*f, 
-      b*c*a*c^-1*d^-1*a, b*d*a*f*b*a^-1, b*d*b*e^-1*f^-1, 
-      b*d^-1*b^-1*a^-1*b*a, b*e*d*a*d^-1*a^-1, b*e^-1*b*d*f^-1, 
-      b^-1*a^-2*b^-1*e^-1*a^-1, b^-1*a^-1*b^-1*f*d*a, 
-      b^-1*a^-1*d^-1*a^-1*b*a^-1, b^-1*a^-1*f^-1*b^-1*d*a, b^-1*(c*e)^2*b^-1,
-      b^-1*c*e^-1*c^-1*e^-1*b^-1, b^-1*(c^-1*d)^2, b^-1*(c^-1*d^-1)^2, 
-      b^-1*d*a^-1*f^-1*d^-1*a, b^-1*d*c^-1*d^-1*c^-1, b^-1*d^-1*c^-1*d*c^-1, 
-      b^-1*e*a^-1*d*e*a, b^-1*f*e*a^-1*d^-1*a, c*a^-2*e*c^-1*a, 
-      c*a^-1*c^-1*a^-1*f^-1*b^-1, c*a^-1*e*a*c*b^-1, c*a^-1*e^-1*a*c*b^-1 ] 
- ]];
+[ [ c^-1*b, e^-2, f, (d^-2)^(a^-1), a^-2*d^-1*a^-1, (d^-2)^a, f^a, b*c*e^-1,
+      (e^-2)^(b^-1), b^-4, d*b*e^-1*b^-1, (d*b^-1)^2, d*e*b^-2 ],
+  [ b^-1*f*d, c*b*d^-1*a, c*e^-1*d^-1*b^-1, c^-1*d^-1*b^-1*a, c^-1*e^-1*b^-2,
+      d*a*b^-1*a, d^-1*a^2*d^-1, d^-1*a^-1*e*b^-1, d^-1*b*f, d^-1*c^2*b,
+      (f^-1*d^-1*c*a^-1)^(a^-1), a^-1*b*e^-1*c^-1*e*a^-1 ] ]];
 end,
-[ 160, 3840 ]],
-"PG983040.1188",0,4,1,[ 160, 3840 ]],
+[ 160, 512 ]],
+"PG983040.1188",0,4,1,[ 160, 512 ]],
 # 983040.1189
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -124950,26 +124836,17 @@ b*d*b*a^-1*e*b^2*d*g*d^-1,
   c^-1*e*a*b^-1*d*b^-1*d^-1*c^-1*a*g*c*a^-1*e^-1*a*c*e^-1*a*d^-1*b*d*b*c^-1*a\
 *g*c*a^-1*e^-1*a*b^-1*g*f^-1*b^2*c^-2*a*f*a^-1*b^-1*d^-1*c^-1*f^-1*d^-2*c^-1*\
 a*f*a^-1*f*d^-1 ],
-[ [ e^-2, (e^-2)^(a^-1), (g*b^-1)^(a^-1), (e^-2)^a, (e^-2)^(b^-1), (e^-2)^b, 
-      (e^-2)^(c^-1), (g*d)^(c^-1), c^-4, (e^-2)^c, (g*d^-1)^c, 
-      d*b*d^-1*b^-1, d*b^-1*d*b, e*b^-1*e^-1*b^-1, a^3*b^-1*f^-1, 
-      (e^-2)^(a^-2), a^2*f*b*a, (b^-1*d^-1*e^-1)^(a^-1), (e^-2)^(c^-1*a^-1), 
-      (c^-4)^(a^-1), (e^-2)^(c*a^-1), (e^-2)^(a^2), a^-1*b*d*a*b^-1, 
-      (e^-2)^(b^-1*a), (e^-2)^(c^-1*a), (c^-4)^a, (e^-2)^(c*a), 
-      (e*b*e^-1*b)^a, a^-1*f*b*a^-1*d*a^-1, (e^-2)^(a^-1*b^-1), 
-      (g*b)^(a^-1*b^-1), (e^-2)^(b^-2), (e^-2)^(c^-1*b^-1), b*c*f*c*f^-1, 
-      (e^-2)^(c*b^-1), (e^-2)^(a^-1*b), (e^-2)^(a*b), 
-      b^-1*c*a^-1*e^-1*c^-1*a^-1, (e^-2)^(c^-1*b), b^-1*c^-1*a*e^-1*c*a, 
-      (e^-2)^(c*b), b^-1*f*a^2*d*a, (e^-2)^(a^-1*c^-1), c*a^-1*e*c^-1*a^-1*b,
-      c*a^-1*e^-1*c^-1*a^-1*b, (e^-2)^(b^-1*c^-1), (e^-2)^(b*c^-1), 
-      c*d*c^-1*e^-1*d^-1*b, c*d^2*e^-1*c*b, c*f*a*f^-1*c*a, 
-      c*f^-1*a^-1*c*e^-1*a^-1 ], 
-  [ c*b^-1, d^-2, g, a^-2*f^-1*a^-1, a^-1*c*f^-1*a^-1, a^-1*f*a^-2, 
-      a^-1*f^-1*b, b*a*c*a, b*a^-1*b^-1*a, b*c*b^-1*a, a*d*a^-1*c*e^-1, 
-      a*e*a*b*e ] ]];
-end,
-[ 3840, 512 ]],
-"PG983040.1237",0,4,1,[ 3840, 512 ]],
+[ [ a^-2, g, b*c^-1*b^-1*a^-1, (g*c^-1)^(b^-1), c^2*e*a^-1, c^-2*e*a^-1,
+      d^-1*a^-1*f^-1*d^-1, (d^-1*a^-1*f^-1*d^-1)^(a^-1),
+      (d^-1*e^2*d^-1)^(b^-1), (f*b*e^-1*b^-1)^(b^-1), b^-1*e*c^-1*e*b*a^-1,
+      b^-1*e^-1*c^-1*e^-1*b*a^-1, c*a*d*f^-1*c^-1*a^-1, c*b^-1*a^-1*d*c ],
+  [ d^-2, f*a, f^-1*a^-1, a^-1*e^2*a^-1, g^(b^-1), c*a*c*a^-1, (d*b)^(c^-1),
+      b*e*b^-1*a^-1*e^-1*a^-1, c*e^-1*a^-1*c*d^-1, (d*b^-1)^(a^-1*c),
+      c^-1*a*e*b^-1*e^-1*c^-1, c^-1*a*e^-1*b^-1*e*c^-1, c^-1*b*a^-1*c*e,
+      c^-1*e*a*e*b^-1*c^-1 ] ]];
+end,
+[ 1280, 1280 ]],
+"PG983040.1237",0,4,1,[ 1280, 1280 ]],
 # 983040.1238
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
@@ -127282,34 +127159,13 @@ c^-1*a^-1*c*a^-1*e*a^4*f^-2*g*e^-2*g,
 *a*c^-1*a*c^2*d*g*b*a^-1*g*a^-2*d^-1*e*g*e*d, 
   g^-1*a*c^-1*a*c*a^-1*c^-1*a^-1*c*a^-1*g^-1*a^-1*(f*g*a*c^-1*a*c)^2*a*f*g*a^\
 -1*f^-1*c^-1*a^-1*c*a^-1*g^-1*f^2*a*f*g*c^2*a*(d*e^-1)^2 ],
-[ [ f^a, b^-4, (g*f^-1)^b, c^-4, d^-1*c^-2*d^-1, f*c^-1*f^-1*c, 
-      f^-1*c*f*c^-1, (g*c)^2, g*c^-1*g^-1*c, g^2*c^-2, g^-1*b^-1*g*b, 
-      (g^-1*c^-1)^2, f^(a^-2), a^2*g*a*g^-1, a^2*g^-1*a*g, a*e^2*a^2, 
-      (e^-1*b^-1*d*b^-1)^(a^-1), a*f*a^2*f, (d^-1*c)^(b^-1*a), 
-      a^-1*d*c*a^-1*c, (d^-1*b*e*b)^a, (e^-1*c*b*c)^a, a^-1*g*a^-2*g^-1, 
-      (g^-2)^(a^-1*b^-1), (f^-2)^(a*b^-1), b^2*f*a*e^-1*a^-1, 
-      b*c^-1*b^-1*a^-1*g*a, (c^-4)^(b^-1), (c^-1*f^2*c^-1)^(b^-1), 
-      (c^-1*g^2*c^-1)^(b^-1), (d*f*d*c)^(b^-1), (d^-1*b^-1*e*b^-1)^(b^-1), 
-      b*d^-1*e*c*b, (d^-1*f^-1*d^-1*c^-1)^(b^-1), (e^2*g^-1*c^-1)^(b^-1), 
-      (e^-1*g*e^-1*c^-1)^(b^-1), (e^-1*g^-1*e^-1*c)^(b^-1), 
-      (f*c*f^-1*c^-1)^(b^-1), (f*g^-1*d^2)^(b^-1), (f^-1*c^2*f^-1)^(b^-1), 
-      ((f^-1*c^-1)^2)^(b^-1), (f^-1*d*g*d^-1)^(b^-1), (f^-1*g*d^2)^(b^-1), 
-      (g*b*g^-1*b^-1)^(b^-1), (g*c*g^-1*c^-1)^(b^-1), (g*d*g^-1*d)^(b^-1), 
-      (g^-1*c^2*g^-1)^(b^-1), (f^-2)^(a*b), b^-1*c*b^-1*e^-1*d, 
-      (g*f^-1)^(c^-1*b), b^-1*c^-1*b^-1*d*e^-1, (c^-4)^b, (c^-1*f*g*c^-1)^b, 
-      b^-1*d*b*e^-1*b^-2, (f*c*f^-1*c^-1)^b, (f*d^-1*g^-1*d^-1)^b, 
-      c*a*c^-1*f*d*a, c*b*c*d^-1*e, c*b*c^-1*e*d^-1, (b^-4)^(c^-1), 
-      c*d^-1*a^-1*b^-1*c^-1*a^-1, c*d^-1*e*c^-1*f^-1, c*e*c*d^-1*b^-2, 
-      c*e*c^-1*d*b^-2, c^-1*b*a*c^-1*e^-1*a, c^-1*b*c*e*d^-1, 
-      c^-1*b*d^-1*b*e*c^-1, (b^-4)^c, c^-1*b^-1*c^2*b*c^-1, 
-      c^-1*b^-1*c^-2*b*c^-1, c^-1*b^-1*e^-1*b^-1*d*c^-1, 
-      c^-1*d*a^-1*c*e^-1*a^-1, c^-1*d^-1*a^-1*c*e*a^-1, c^-1*d^-1*b*e*b*c^-1,
-      (c^-1*e*c^-1)^2, c^-1*e^-1*b^-1*d*b^-1*c^-1, c^-1*e^-1*c*d*b^-2, 
-      d*a*c*a*f*c^-1, d*b^2*c^-1*e^-1*c, d*b^-1*a^-1*c^-1*a^-1*b^-1, 
-      d*b^-2*c*e*c^-1, d*b^-1*d*e^-1*d^-1*b^-1, d*c*a^-1*f*c*a^-1 ] ]];
+[ [ f^-2, g, (g^-2)^(a^-1), (f*c^-1)^a, a^-1*g*a^-2, (g^-2)^(b^-1), (f^-2)^b,
+      (g^-2)^b, (f^-2)^(c^-1), d*b*e^-1*b, a*c^2*a^-1*f^-1,
+      (d*a^-1*d^-1*c)^(a^-1), (d*b*e^-1*b)^(a^-1), (f*c*f^-1*c)^(b^-1),
+      d^-1*b*c^-1*e^-1*a*b ] ]];
 end,
-[ 7680 ]],
-"PG983040.1257",0,4,1,7680],
+[ 3840 ]],
+"PG983040.1257",0,4,1,3840],
 # 983040.1258
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
diff --git a/grp/perf24.grp b/grp/perf24.grp
index a0cc556144..676c3b332e 100644
--- a/grp/perf24.grp
+++ b/grp/perf24.grp
@@ -4728,112 +4728,14 @@ e^-1*d*e*d*e^-1*a^3*d,
   c^-1*a^-1*c*e*a^-1*d*e*d^-1*e^-1*a*d*b*d^-1*b^-1*(e*d)^2*e^-1*d*a*b^-1*d^-1\
 *b*e*d*e*a^-1*b*d^-1*b*d*e^-1*d*c^-1*b*e*a*e^-1*d^-1*e*a*e*d*b^-1*c*a^-1*b*e*\
 a*e^-1*d^-1*e*a*e*d*b^-1 ],
-[ [ c*a^-1, c^-1*b^-1, d*a^-1, d^-1*a^-1, e, a^3, a*c*b*a^-1, a*e*a^-1, 
-      a^-1*e*a, b*a*c^-1*a, a^-1*b*c*a*c*b*a ], 
-  [ c^-4, c^-1*d*a*c^-1, (d*b^-1)^2, (d^-1*b)^2, a*c^-4*a^-1, 
-      a*(d*b^-1)^2*a^-1, a*(d^-1*b)^2*a^-1, a^-1*c^-4*a, a^-1*d*b*a^-1*d^-1, 
-      a^-1*(d*b^-1)^2*a, a^-1*d*c*a*b, a^-1*(d^-1*b)^2*a, (b*a)^3, 
-      b*c^-4*b^-1, b*(d*b^-1)^2*b^-1, (b^-1*a^-1)^3, b^-3*e^-2*b^-1, 
-      b^-1*c*b*a*b^-1*a, b^-1*c^-4*b, b^-1*d^-1*e*a^-1*e^-1, 
-      b^-1*e*b^2*e^-1*b^-1, (b^-1*e*b^-1)^2, c*b^-1*c^-1*d^-1*e^-1*b, 
-      c*(d*b^-1)^2*c^-1, c*(d^-1*b)^2*c^-1, (c*e*a)^2, c*e*c^-1*a*e^-1*a^-1, 
-      c^-1*b*d^-1*b*a*c^-1, c^-1*(d^-1*b)^2*c, c^-1*e*c*a*e*a^-1, 
-      (c^-1*e*c^-1)^2, c^-1*e^-1*b^-1*c^-1*d^-1*b^-1, d*c*a^-1*b^-1*a*b^-1, 
-      d*c^-4*d^-1, (d*c^-1)^3, d*(d*b^-1)^2*d^-1, d*e*a^-1*e*c^-1*d^-1, 
-      d*e*c*e^-1*d*a^-1, d^-1*b^-1*d*b^-1*d^-2, (d^-1*c)^2*a*c^-1, 
-      d^-1*c^-4*d, (e*a*c)^2, e*a^-1*c*e^-1*c^-1*a, e*a^-1*c^-1*e*c*a, 
-      e*b^2*e^-1*b^-2, e*b*d*b*c^-1*b^-1, (e*b^-2)^2, e*c*a*e*a^-1*c^-1, 
-      e*c*b^-1*c^-1*b*d, e*c^2*e*c^-2, e*c^-1*a*e^-1*a^-1*c, (e*c^-1*a^-1)^2,
-      (e*c^-2)^2, e*(d*b^-1)^2*e^-1, e*(d^-1*b)^2*e^-1, 
-      a^2*b^-1*c^-1*a*d*c^-1, a^2*(d^-1*b)^2*a^-2, a*b*c^-4*b^-1*a^-1, 
-      a*b*(d*b^-1)^2*b^-1*a^-1, a*b*d^2*a^2*b, a*(b^-1*a^-1)^3*a^-1, 
-      a*b^-1*a^-1*e^-1*c^-1*b*a^-1, a*b^-3*e^-2*b^-1*a^-1, 
-      a*b^-1*c*a^-2*c^-1*b^-1, a*b^-1*c^-4*b*a^-1, 
-      a*b^-1*c^-1*d*b*e*b^-1*a^-1, a*b^-1*e*b^2*e^-1*b^-1*a^-1, 
-      a*(b^-1*e*b^-1)^2*a^-1, a*b^-1*e^-1*d*b^-1*c*b*a^-1, a*c*a*c^-1*d*c*b, 
-      a*c*(d*b^-1)^2*c^-1*a^-1, a*c*(d^-1*b)^2*c^-1*a^-1, 
-      a*c*e*c^-1*a*e^-1*a^-2, a*c^-1*b^-1*a*d^-1*c*a^-2, 
-      a*c^-1*(d*b^-1)^2*c*a^-1, a*c^-1*d^-1*b*a^-1*c*a^-2, 
-      a*c^-1*e*c*a*e*a^-2, a*(c^-1*e*c^-1)^2*a^-1, a*c^-1*e^-1*c*a*e^-1*a^-2,
-      a*d*c*a^2*c*b^-1*a^-1, a*d*c^-1*a*d*b*a, a*d*c^-4*d^-1*a^-1, 
-      a*(d*c^-1)^3*a^-1, a*d^-1*b^-1*d*b^-1*d^-2*a^-1, a*(d^-1*c)^3*a^-1, 
-      a*d^-1*c^-4*d*a^-1, a*(e*a*c)^2*a^-1, a*e*b^2*e^-1*b^-2*a^-1, 
-      a*(e*b^-2)^2*a^-1, a*e*b^-1*c^-1*b^2*d*a^-1, a*e*c*a*e*a^-1*c^-1*a^-1, 
-      a*e*c*b*c*d^-1*b*a^-1, a*e*c^2*e*c^-2*a^-1, 
-      a*e*c^-1*a*e^-1*a^-1*c*a^-1, a*(e*c^-1*a^-1)^2*a^-1, a*(e*c^-2)^2*a^-1,
-      a*e*(d*b^-1)^2*e^-1*a^-1, a*e*(d^-1*b)^2*e^-1*a^-1, 
-      a*e^-1*b*d*c^-1*b^-1*c*a^-1, a^-2*c^-4*a^2, a^-2*(d^-1*b)^2*a^2, 
-      a^-2*e*b*c^-1*b*e^-1, a^-1*b*a*b^-1*d*c^-2*a^-1, 
-      a^-1*b*a*d^-1*b*c^-2*a^-1, a^-1*b*c*a*e*b*c, a^-1*b*c^-4*b^-1*a, 
-      a^-1*b*(d*b^-1)^2*b^-1*a, a^-1*b*e^-1*c*a*b*c, a^-1*b^-3*e^-2*b^-1*a, 
-      a^-1*b^-1*c^-4*b*a, a^-1*b^-1*d^2*c*a^-1*c^-1, 
-      a^-1*b^-1*(d^-1*b)^2*b*a, a^-1*b^-1*e*b^2*e^-1*b^-1*a, 
-      a^-1*(b^-1*e*b^-1)^2*a, a^-1*b^-1*e^-1*b^2*e*b^-1*a, 
-      a^-1*(b^-1*e^-1*b^-1)^2*a, a^-1*c*a^-2*c*d*b, (a^-1*c)^2*d^-1*c*d*a^-1,
-      a^-1*c*a^-1*d*c^-1*d^-2*a^-1, a^-1*c*b*d^-1*c*b^-1*c^-1*a, 
-      a^-1*c*d*b^-1*c*b^-1*c^-1*a, a^-1*c*d*c^2*a*c*a^-1, 
-      a^-1*c*d*c^-2*a*c*a^-1, a^-1*c*d*e*c*a^-1*e^-1*a^-1, 
-      a^-1*c*(d^-1*b)^2*c^-1*a, a^-1*c^-1*a*d^-1*b*c*a^2, 
-      a^-1*c^-1*(d*b^-1)^2*c*a, a^-1*c^-1*(d^-1*b)^2*c*a, 
-      a^-1*c^-1*d^-1*c*b*c^-2*a, a^-1*(c^-1*e*c^-1)^2*a, a^-1*d*a*b*a*d*b, 
-      a^-1*d*a*d^-1*b^-1*c^-1*d^-1*a^-1, a^-1*d*c^-3*a*b, a^-1*(d*c^-1)^3*a, 
-      a^-1*d^2*b^-1*d*a^-1*d^-1, a^-1*d^2*c*d*a*c*a^-1, 
-      a^-1*d^2*c^-1*a^-1*d^-1*c^-1*a^-1, a^-1*d*e*b*e*a*b, a^-1*d*e*c*a*e*b, 
-      a^-1*d^-1*b^-1*d*b^-1*d^-2*a, a^-1*(d^-1*c)^3*a, 
-      a^-1*d^-1*c^-1*a^-1*c^-2*b^-1*a^-1, a^-1*d^-1*c^-4*d*a, 
-      a^-1*d^-1*e*a*c^-1*e^-1*b^-1*a^-1, a^-1*(e*a*c)^2*a, 
-      a^-1*e*a*e*(c^-1*a^-1)^2, a^-1*e*a^-1*b*e*a^-1*d^-1*a^-1, 
-      a^-1*e*a^-1*c^-1*e*c*a^2, a^-1*e*b^2*e^-1*b^-2*a, 
-      a^-1*e*b*d*c^-1*e*d*a, a^-1*e*b*e^-1*d^-1*a*b^-1, a^-1*(e*b^-2)^2*a, 
-      a^-1*e*b^-1*c*a*e*c*a^-1, a^-1*e*b^-1*d^-1*c^-1*d^-1*b^-1*a, 
-      a^-1*e*b^-1*e*d^-1*a*b, a^-1*e*b^-1*e^-1*c*a*c*a^-1, 
-      a^-1*e*c*a*e*a^-1*c^-1*a, a^-1*e*c^2*e*c^-2*a, 
-      a^-1*e*c^-1*a*e^-1*a^-1*c*a, a^-1*(e*c^-2)^2*a, 
-      a^-1*e*(d*b^-1)^2*e^-1*a, a^-1*e^-1*a*b^-1*c*a^-1*b^-1, 
-      a^-1*e^-1*b*d*c^-1*e^-1*d*a, a^-1*e^-1*b^-1*c^-1*d^-1*c^-1*b^-1*a, 
-      a^-1*e^-1*(d*b^-1)^2*e*a, b*a^2*c*b^-1*d^-1*e*a, 
-      b*a^2*c^-1*a^-1*e^-1*b*a^-1, b*a^2*e*a*c*b*a^-1, 
-      b*a*b^-1*d*c^-1*e*b*a^-1, b*a*c^-4*a^-1*b^-1, 
-      b*a*c^-1*e*d^-1*b^-2*a^-1, b*a*d*b^-1*d*a*b*a, 
-      b*a*d^-1*b*c^-1*e*b*a^-1, b*a*e^-1*a*c^-1*a^-1*b*a^-1, 
-      b*a^-1*b^-1*c^-1*d^-1*a*e^-1, b*a^-1*b^-1*d^-1*a^-1*d^-1*b^-1, 
-      b*a^-1*c*b^-1*d^-1*e^-1*a^-2, b*a^-1*c^-1*b*a^-1*e*d^-1, 
-      b*a^-1*c^-4*a*b^-1, b*a^-1*(d*b^-1)^2*a*b^-1, b*a^-1*(d^-1*b)^2*a*b^-1,
-      b*a^-1*e*a*c*b*a^2, b*(b*a)^3*b^-1, b^2*a^-1*d*b*d*b^-1*a, 
-      b^2*c^-1*a^-1*e^-1*b*c^-1, b^2*c^-1*b^-1*c^-1*a*b^-1*a, b^2*c^-4*b^-2, 
-      b^2*c^-1*d*e*a*c, b^2*d^-1*c*d^-1*a^-1*e^-1, 
-      b^2*d^-1*c^-1*b^-1*a*e*a^-1, b^2*d^-1*e*a^-1*e*b^-1, 
-      b*c*a*c^2*d^-1*e^-1*a, b*c*a*c^-2*d^-1*e^-1*a, b*c*a^-1*c*a*b*d*a, 
-      b*c*b^2*e*c*d^-1*a^-1, b*c*b^-2*e^-1*c*d^-1*a^-1, 
-      b*c*b^-1*c^-1*a^-1*e^-1*c*a, b*c*b^-1*e*a*c^-2*a, 
-      b*c^2*a*c^-1*e^-1*b^-1, b*c*(d*b^-1)^2*c^-1*b^-1, 
-      b*c*d*c^-1*e*d^-1*c*a^-1, b*c*(d^-1*b)^2*c^-1*b^-1, 
-      b*c*d^-1*c^-1*e^-1*d^-1*c^-1*a^-1, b*c*d^-1*e^-1*c^-1*b*c*a^-1, 
-      b*(c*e*a)^2*b^-1, b*c*e*c^-1*a*e^-1*a^-1*b^-1, 
-      b*c*e^-1*b^-2*c*d^-1*a^-1, b*c^-1*a^-1*b*a^-1*e*b^-1*a, 
-      b*c^-1*b^2*e*c^-1*d^-1*a^-1, b*c^-1*b^-2*e^-1*c^-1*d^-1*a^-1, 
-      b*c^-1*(d*b^-1)^2*c*b^-1, b*c^-1*d*c^-1*e*d*c*a^-1, 
-      b*c^-1*d^-1*a^-1*e^-1*c^-2*a, b*c^-1*(d^-1*b)^2*c*b^-1, 
-      b*c^-1*d^-1*c*e*a*c^-1*a, b*c^-1*d^-1*c^-1*e*d*c^-1*a^-1, 
-      b*c^-1*d^-1*e^-1*(c*a^-1)^2, b*c^-1*e*b^2*c^-1*d^-1*a^-1, 
-      b*c^-1*e*c*a*e*a^-1*b^-1, b*(c^-1*e*c^-1)^2*b^-1, 
-      b*c^-1*e^-1*b^-2*c^-1*d^-1*a^-1, b*c^-1*e^-1*d^-1*b*a^-1*d^-1*a, 
-      b*d*a^2*b^-1*c^-1*d, b*d*a*c^-1*d^-1*e^-1*c*a, 
-      b*d*b*a^-1*c*a^-1*d^-1*a^-1, b*d*b*c^-1*a*b^-1*a^2, 
-      b*d*c*b^-1*c^-1*d^-1*a^-1*b^-1, b*d*c*e*c^-1*b^-1*c*b^-1, 
-      b*d*c^-1*a*b^-1*e*c^-1*a^-1, b*d*c^-4*d^-1*b^-1, b*(d*c^-1)^3*b^-1, 
-      b*d*c^-1*d^-1*e^-1*a*c^-1*a, b*d*c^-1*e^-1*(c*b^-1)^2, 
-      b*d^-1*b^-1*c*b^-1*d^-1*c*b^-1, b*d^-1*c*a*e^-1*b^-1*c*a^-1, 
-      b*d^-1*c*e*b*d*c*a^-1, b*d^-1*c^-1*b*e*d^-1*c^-1*a^-1, 
-      b*d^-1*c^-4*d*b^-1, b*d^-1*e*c*a*b^-1*c*a^-1, 
-      b*e*a^-1*c*e^-1*c^-1*a*b^-1, b*e*a^-1*c^-1*e*c*a*b^-1, 
-      b*e*c*a*e*a^-1*c^-1*b^-1, b*e*c^2*e*c^-2*b^-1, 
-      b*e*c^-1*a*e^-1*a^-1*c*b^-1, b*(e*c^-1*a^-1)^2*b^-1, b*(e*c^-2)^2*b^-1,
-      b*e^-1*c*d*b*c^-1*b^-1*a^-1, b^-1*a*c*e*c*b^-1*e*a^-1, 
-      b^-1*a*c^-4*a^-1*b, b^-1*a*c^-1*e*c^-1*b^-1*e^-1*a^-1 ] ]];
+[ [ a, d, e, b*c*b ],
+  [ b^-1*c^-1*a^2, c^-4, d*b*d*c^-1, (d*b^-1)^2, d*c^-1*a^-2,
+      d^-1*a^-1*d^-1*b, (d^-1*b)^2, e*a*e^-1*c, (d*a^-1)^(b*a^-1),
+      a*c^-1*a*b*a, (e^-1*d*b^-1*e^-1)^a, (c^-4)^(b^-1),
+      d^-1*b^-1*d*b^-1*d^-2 ] ]];
 end,
-[ 18, 10240 ]],
-"PG1105920.44",0,12,3,[ 18, 10240 ]],
+[ 18, 1024 ]],
+"PG1105920.44",0,12,3,[ 18, 1024 ]],
 # 1105920.45
 [[1,"abcdef",
 function(a,b,c,d,e,f)
diff --git a/grp/perf25.grp b/grp/perf25.grp
index 327857fb97..e1c37429a2 100644
--- a/grp/perf25.grp
+++ b/grp/perf25.grp
@@ -9809,8 +9809,7 @@ return [[ e^2, c^2, f^2, d^3, b^-1*e*b*e, b^-1*f*b*f, (c*f)^2, c*d*c*d^-1,
   a*e*a^-2*e*a, (e*d^-1)^3, a^-2*f*a^2*f, (e*f)^3, (c*b^-1)^3, 
   d*c*f*a*f*d^-1*c*a, a^2*b^-2*a^-1*f*a^-1*b^-1*f, a*f*b^2*a^-1*f*a^-1*b*a, 
   a*e*a^-1*e*f*a^-1*f*e*a*e, a^-1*((a^-1*e)^2*f)^2, (a^-1*f)^2*a^-8, 
-  c*b^-1*c*a^-1*b^-1*a^-1*c*b*c*a^-1*b*a^-1, 
-  a^-1*c*b^2*(c*a^-1)^2*b*a^-1*b^-1*c, c*a^-5*c*a^5, 
+  c*b^-1*c*a^-1*b^-1*a^-1*c*b*c*a^-1*b*a^-1, a^-1*c*b^2*(c*a^-1)^2*b*a^-1*b^-1*c, c*a^-5*c*a^5, 
   b^-1*a^-4*b^-1*c*b*a*b^-1*a*c*b^2*c ],
 [ [ b^-1*a, c*b^-1, d, e, f ], [ b^-2, c*b^-1, d, e, f, a^2*b^-1 ] ]];
 end,
@@ -9872,10 +9871,10 @@ return [[ d^3, c*f*c^-1*f^-1, c^2*f^2, e*c^2*e, (e^-1*c^-1)^2, e^2*c^-2,
   e*a^-5*e^-1*d^-1*a^-1*e^2*a^-3*e^-1*a^-1*f*d*e*a^3*e*a^2*d^-1*f*e*d, 
   (a^-1*e)^2*f^-1*d^-1*a^-1*(a^-1*e^-1)^2*a^-1*f*e^-1*a*e*d^-1*(a^-1*e^-1)^2*\
 d^-1*f*a^-3*d*e^-1*a^-1*e*f*e^-1*a*e*d^-1 ],
-[ [ a^-4, b*c*b, d^-1*e*f ] ]];
+[ [ d, a^-4, b*c*b, a*e*a*d^-1*e ] ]];
 end,
-[ 4608 ]],
-"PG1267200.15",0,2,[ 1, 5 ],4608]];
+[ 960 ]],
+"PG1267200.15",0,2,[ 1, 5 ],960]];
 
 PERFGRP[368]:=[# 1270080.1
 [[1,"abcd",
diff --git a/grp/perf26.grp b/grp/perf26.grp
index 4676ed08ab..6dd4af885b 100644
--- a/grp/perf26.grp
+++ b/grp/perf26.grp
@@ -316,11 +316,11 @@ return [[ f^2, g^2, a^3, e*c*e*c^-1, d^-2*b^2, c^-2*d^2, b^-1*d*b*d,
   c*a^-1*g*e^-1*g*c*a*f*e*g*a^-1*e^-1*g*a^-1*f*e, 
   c^-1*g*e*f*g*e^-1*c^-1*f*e^-1*c*g*e^-1*g*c*e*a*f*e*f*a^-1*e^-1*f*e*f*a^-1 
  ],
-[ [ a*f*a^-1, b*g*b, c*g*c, a*e*f*e^-1*a^-1, a^-1*b*a^-1*f^-1*c^-1, 
-      a*b*c*b*e*d*c^-1*a*b^-1*a^-1 ] ]];
+[ [ f^(a^-1), b^2*f^-1, b*f*b, c*d*g^-1*a, b*a*d*c*e*g^-1*d^-1*c^-1*b^-1*a^-1
+     ] ]];
 end,
-[ 8960 ]],
-"PG1290240.10",0,2,8,8960],
+[ 3840 ]],
+"PG1290240.10",0,2,8,3840],
 # 1290240.11
 [[1,"abcdef",
 function(a,b,c,d,e,f)
@@ -10410,13 +10410,11 @@ b*d*a*(b^-1*d*b^-2*a*d*a^-1)^2*a^-1*d^-1*a^-2*b^2*d^-1*b^-2*c^-2*(a^2*d)^2*a^\
   b^-1*d*b*a^-1*b*a*d*b^-2*a*d*c*a^-2*d*a^-1*b^2*d^-1*b^-2*a^-1*c^-1*a*b^-1*d\
 ^-1*b*a^-1*b^-1*d^-1*a^-2*b^2*d^-1*(b*a)^2*a*d^-1*a^-1*b^2*d^-1*b*c^-1*d^-1*c\
 *a^2*c*b^2*d^-1*b*a*b^-1*a*d^-1*b^-1*a*b^-1*d*b^-2*a*d*a^-2*c ],
-[ [ b^-1*(a*d)^2*a^-2*b, c*b*d*a^-1*d^-1*a*b^-1*c^-1, 
-      d*a^-1*b^-1*a^-1*d^-1*a*b*a, d*b*a*b*d^-1*b^-1*a^-1*b^-1, 
-      a^2*b^-1*a*d*c*b*a^-1*b, a^2*b^-1*d*a^-1*d^-1*b*a^-1*b, 
-      a*b^-2*c*(d*b)^2*a^-1 ] ]];
+[ [ (d*a*d*a^-1)^(a^-1), (d*a^-1*d*a)^a, b*d*b^-1*d^-1*c^-1*a^-1,
+      (a^-1*d*c)^(b*a^-1), (d*a*d*a^-1)^(b*a^-1) ] ]];
 end,
-[ 21120 ]],
-"PG1351680.3",0,2,5,21120],
+[ 8448 ]],
+"PG1351680.3",0,2,5,8448],
 # 1351680.4
 [[1,"abcdef",
 function(a,b,c,d,e,f)
diff --git a/grp/perf28.grp b/grp/perf28.grp
index 386b03c6c4..765cebaa04 100644
--- a/grp/perf28.grp
+++ b/grp/perf28.grp
@@ -183,11 +183,10 @@ return [[ f^2, g^2, a^3, c^4, b^2*c^-2, d^2*c^2, d*b*d^-1*b, c^-2*d^2,
 *b*a^-1, 
   c*e^-1*d*a*e^-1*a*b^-1*e^-1*c*e^-1*c^-1*d^-1*b*f*a*e*d*a^-1*e*d*e*c^-1*f*a^\
 -1*e^-1*d^-1*e^-1*a^-1*d ],
-[ [ b^-1*a^-1, d*e^-1*g^-1*b^-1, f*e*g^-1*e^-1, a^-1*b*d*c*b^-1*a, 
-      e*a^-1*d*e*c^-1*a^-1*e*c^-1 ] ]];
+[[f, b^2*g^-1, a^-1*c*f*d*c^-1*a^-1, (f*b*c^-1*b^-1)^a, b*a*f*c*d^-1*a^-1 ]]];
 end,
-[ 7680 ]],
-"PG1382400.5",0,4,[ 1, 3 ],7680],
+[ 2400 ]],
+"PG1382400.5",0,4,[ 1, 3 ],2400],
 # 1382400.6
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
diff --git a/grp/perf31.grp b/grp/perf31.grp
index 22453fa70f..fc18eee725 100644
--- a/grp/perf31.grp
+++ b/grp/perf31.grp
@@ -1142,86 +1142,12 @@ return [[ f^2, g^2, e^2, a^3, d^3, b^4, (d*f)^2, f*g*f*d^-1*g*d,
   d^-1*g*d*e*b^-1*c^-1*b*c*b*c^-1*a*c*e*g*a^-1*e*a^-1*c^-1*e*b^-1*g*b, 
   (a*g*c^-1*g*f*g*c*a^-1*b^-1*g*b*f)^2, 
   b*e*a*b^-1*g*b*a*d*e*c^-1*g*c*e*d^-1*a*e*b^-1*e*a^-1*b^-1*g*b*a*g*e ],
-[ [ e, c^-4, g*c*b*a^-1, a*b*d^-1*f^-1*c^-1, a*c^-4*a^-1, a*d^-1*g*f^-1*a^-1,
-      a^-1*c^-4*a, (b*a)^3, b*a^-1*f*d*a*b^-1, b^2*f*d*b^-2, b*c^-4*b^-1, 
-      (b^-1*a^-1)^3, b^-1*c^-1*b^-1*g^-1*c^-1*a^-1, b^-1*f*b*a^-1*f^-1*a, 
-      c*a^-1*f*c^-1*f^-1*a^-1, c*b*c^-1*g^-1*a*c^-1, c*b^-1*a^-1*f^-1*d, 
-      c*f*c^-1*a^-1*f^-1*a, c*f*g*c*d, c^-1*a*f*c*f^-1*a, (c^-1*b)^3, 
-      c^-1*f*a*f^-1*c*a, c^-1*f*a^-1*f^-1*c*a^-1, c^-1*f*c^-2*f^-1*c^-1, 
-      d*c^-4*d^-1, d^-1*c^-4*d, f*a*b^-1*f^-1*b*a^-1, f*a*c*f^-1*c^-1*a^-1, 
-      f*a*f*c*a*c^-1, f*a^-1*c*a^-1*f^-1*c^-1, f*b*a^-1*d*a*b^-1, 
-      f*b*c*f^-1*c^-1*b^-1, f*c*a*c^-1*f^-1*a, f*c*b^-1*f^-1*b*c^-1, 
-      f*c^2*f^-1*c^-2, f*c^-1*a^-1*f^-1*a*c, f*c^-1*b^-1*f^-1*b*c, 
-      g*a*b*f^-1*d*c, g*b^-1*d^-1*f^-1*g^-1*b^-1, g*d^-1*f*a*b*c, 
-      g*e*f*c^-1*d*c^-1, a*b*a^-1*f*c^-1*d*a^-1, a*b^2*d*b*c^-1*d^-1, 
-      a*b*c*b^-1*d^-1*b*d, a*b*c*d^-1*b^-1*d*b, a*b*c^-1*a*f^-1*d*a^-1, 
-      (a*b^-1)^2*a*e^-1*b, a*b^-1*a*e*b*a*b^-1, a*(b^-1*a^-1)^2*b^-1*a, 
-      a*(c*a^-1*c)^2, a*c*a^-1*c^-2*a^-1*c, a*c*b^-1*f*d*b*c^-1*a^-1, 
-      a*c^2*a*c^-1*a^-1*c^-1, a*c^-1*a*d*b*a^-1*d^-1, 
-      a*c^-1*a^-1*c^-1*a*c^-2, a*c^-1*a^-1*f*c*a*f^-1, a*(c^-1*b)^3*a^-1, 
-      a*c^-1*d^-1*b^-1*c^-1*f^-1*b^-1, a*c^-1*d^-1*c^-1*b*f^-1*c, 
-      a*c^-1*f*c^-2*f^-1*c^-1*a^-1, a*d*c^-4*d^-1*a^-1, 
-      a*d^-1*b^-1*f*g^-1*a^-1*c^-1*a^-1, a*d^-1*c*a*b^-1*f^-1*a^-1, 
-      a*e*a*b*e^-1*b^-1*a, a*e*b*(a*b^-1)^2, a*e*b*f*c*f^-1*g^-1, 
-      a*e*d*b*a^-1*d^-1*c*a^-1, a*e*f*b*f^-1*c*g^-1, a*f*a*b^-1*f^-1*b*a, 
-      a*f*a*c*f^-1*c^-1*a, (a*f)^2*c^-1*a^-1*c, 
-      a*f*a^-1*c*a^-1*f^-1*c^-1*a^-1, a*f*b*c*f^-1*c^-1*b^-1*a^-1, 
-      a*f*b*f*c*e^-1*g^-1, a*f*c*b^-1*d*b*c^-1*a^-1, a*f*c^2*f^-1*c^-2*a^-1, 
-      a*f*c^-1*a^-1*c*a*f^-1, a*f*c^-1*b^-1*f^-1*b*c*a^-1, 
-      a*f*c^-1*f*a^-1*c*a, a*g*a*b*c^-1*a^-1*b^-1, a*g*a^-1*d^-1*c*b*d*a^-1, 
-      a^-1*b*a*e*b^-1*a*b^-1*a^-1, a^-1*b*a*f*c*d*b^-1, 
-      (a^-1*b)^2*a^-1*e^-1*b^-1, a^-1*b*a^-1*e*b*a^-1*b^-1, 
-      a^-1*b*c*a^-1*f^-1*d*b^-1, a^-1*b*c^-4*b^-1*a, a^-1*b*d^-1*a*d*c*b^-1, 
-      a^-1*b*e*a^-1*b^-1*a^-1*b, a^-1*b*f*b*a*d*g^-1, 
-      a^-1*b*g*c^-1*a^-1*b^-1*g^-1, a^-1*b^-1*a*b^-1*e^-1*a*b*a^-1, 
-      a^-1*b^-1*a^-1*b*e^-1*a^-1*b, a^-1*b^-1*c^-4*b*a, a^-1*c*a*c*a^-1*c^-2,
-      a^-1*c*a*f*a*f^-1*c^-1, a^-1*(c*b)^3*a, a^-1*(c*b^-1)^3*a, 
-      a^-1*c^2*a*(c^-1*a^-1)^2, a^-1*c^2*a^-1*c*a*c, a^-1*c*f*b^-1*a*f^-1*b, 
-      (a^-1*c^-1)^2*a*c^-2*a^-1, a^-1*c^-1*a^-1*f*c*a*f^-1*a^-1, 
-      a^-1*(c^-1*b)^3*a, a^-1*c^-1*b^-1*a*c^-2*b, a^-1*(c^-1*b^-1)^3*a, 
-      a^-1*c^-1*f*c^-2*f^-1*c^-1*a, a^-1*d*a*c*d*b^-1*f^-1*a^-1, 
-      a^-1*d*b*d*b^-1*a*f^-1, a^-1*d*c*d*f^-1*a^-1*b^-1*a^-1, 
-      a^-1*d*c^-4*d^-1*a, a^-1*d^-1*b*f*d^-1*b^-1*d*a, a^-1*d^-1*c^-4*d*a, 
-      a^-1*e*a*f*d*a^-1*e^-1*a, a^-1*e*a^-1*c^-2*b^-1*c, 
-      a^-1*e*a^-1*d*b^-1*c^-1*d^-1, a^-1*e*a^-1*f*b^-1*c^-1*f^-1, 
-      a^-1*e*b^-1*a*b*a*b^-1*a^-1, a^-1*e*c*b*e^-1*b^-1*c^-1*a, 
-      a^-1*e*c*f*d*c^-1*e^-1*a, a^-1*e*c^-4*e^-1*a, 
-      a^-1*f*a^-1*c*a^-1*f^-1*c^-1*a, a^-1*f*a^-1*c^-1*f^-1*a*c, 
-      a^-1*f*b*a^-1*f^-1*a*b^-1*a, a^-1*f*b*c*f^-1*c^-1*b^-1*a, 
-      a^-1*f*b*f*d^-1*b^-1*f^-1*a, a^-1*f*c*b^-1*f^-1*b*c^-1*a, 
-      a^-1*f*c^2*f^-1*c^-2*a, a^-1*f*c^-1*a^-1*c*a*f^-1*a^-1, 
-      a^-1*f*c^-1*b^-1*f^-1*b*c*a, b*a*c*f*d*c^-1*a^-1*b^-1, 
-      b*(a*c^-1)^2*e^-1*b, b*a*c^-1*b^-1*a*c*b^-1*a^-1, b*a*c^-4*a^-1*b^-1, 
-      b*a*d^-1*g*c^-1*b^-1*d*a, b*a*e*b^2*a^-1*b, 
-      b*a^-1*b*c^-1*a*c^-1*b*a^-1, b*(a^-1*c)^2*e^-1*b, b*a^-1*c^-4*a*b^-1, 
-      b*a^-1*c^-1*f*a*d*b^-1*a, b*a^-1*d*c*d^-1*a*b^-1*a, b*(b*a)^3*b^-1, 
-      b^2*a*d^-1*b^-2*d*a^-1, b^2*a*f*b^-1*f^-1*c, b^2*a^-1*d*b^-2*d^-1*a, 
-      b^2*c*a^-1*c^-1*b^-1*c, b^2*d^-1*a*f^-1*b^-1*c, b^2*d^-1*c*f^-1*e^-1*c,
-      b*c*a*g*c*b^-1*c^-1*a, b*c*a^-1*b^-1*a*e^-1*g^-1, 
-      b*c*a^-1*f*c^-1*f^-1*a^-1*b^-1, b*c*f*c*f^-1*e^-1*b, 
-      b*(c^-1*a)^2*e^-1*b, b*c^-1*a*f*c*d*a*b^-1, 
-      b*c^-1*a^-1*g*b*e^-1*g^-1*a, b*c^-1*b*d*a*d^-1*b^-1*a^-1, 
-      b*c^-1*b*f*c^-1*a^-1*d, b*c^-1*d^-1*b*d*a*c^-1, b*c^-1*g*d*c*b^-1*d^-1,
-      b*d*a*d^-1*b^-1*c^-1*a*b^-1, b*d*a*f*a^-1*d^-1*b^-1, 
-      b*d*a^-1*c^-1*a*d^-1*b^-1*a, b*d*b*c*g^-1*b*d^-1*a^-1, 
-      b*d*c*b*f^-1*d^-1*c*a^-1, b*d*c^-4*d^-1*b^-1, 
-      b*d*c^-1*f*a^-1*d^-1*b^-1*a, b*d*c^-1*g*b^-1*c^-1*d^-1*a^-1, 
-      b*d^-1*a^-1*c^-1*f^-1*a*b^-1*a, b*d^-1*c*f*d^-1*c^-1*d*b^-1, 
-      b*d^-1*c^-4*d*b^-1, b*d^-1*f*b^-1*a^-1*f^-1*d*a, 
-      b*d^-1*f*c*e^-1*a^-1*b*a, b*d^-1*f*g*a^-1*b^-1*c^-1*a, 
-      b*e*a^-1*b*e^-1*a^-1*b^-1*a^-1, b*e*c*a*c^-1*b*c*a, b*e*c*f*c*f^-1*b, 
-      b*e*c^-1*f*c^-1*f^-1*b, b*e*d*c^-1*b^-1*c*d^-1*a^-1, 
-      b*e*f*a^-1*f^-1*b*c*a, b*e*f*b*f^-1*c^-2, b*e*f*c*f^-1*c*b, 
-      b*f*a*b^-1*f^-1*b*a^-1*b^-1, b*f*a*c*d*c^-1*a^-1*b^-1, 
-      b*f*a*f*c*a*c^-1*b^-1, b*f*a^-1*b^-1*f^-1*c^-1*g^-1*a, 
-      b*f*a^-1*c*a^-1*f^-1*c^-1*b^-1, b*f*b*a^-1*f^-1*a*b^-2, 
-      b*f*b*c*f^-1*c^-1*b^-2, (b*f)^2*c*e^-1*c, b*f*b^-1*c^-1*b^-1*a^-1*d, 
-      b*f*c*b^-1*f^-1*b*c^-1*b^-1, b*f*c^2*f^-1*c^-2*b^-1, 
-      b*f*c^-1*a^-1*f^-1*a*c*b^-1, b*f*c^-1*b^-1*f^-1*b*c*b^-1, 
-      b*f*g*d^-1*b*a^-1*d^-1*a, b*g*a^-1*b*a*g^-1*c*a^-1 ] ]];
+[ [ d, e, f, g, a^-1*g*d^-1*a^-1, f^(b^-1), (c^-2)^b, b^-1*d*b^-1*a^-1,
+      b^-1*f*b^-1*a^-1, c^2*e^-1*a^-1, c^-2*e^-1*a^-1, f^(b*a^-1),
+      (g*d)^(b*a^-1), a*c*a^-1*d*c, (b^-2)^(c^-1*a^-1) ] ]];
 end,
-[ 36864 ]],
-"PG1843200.19",0,2,[ 1, 1 ],36864],
+[ 640 ]],
+"PG1843200.19",0,2,[ 1, 1 ],640],
 # 1843200.20
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
@@ -1287,18 +1213,12 @@ return [[ g^2, a^3, d^3, e^4, e^2*f^2, (e*b)^2, b^4, d*f^-1*d*f, (b^-1*e)^2,
 c^-1*d^-1, (g*b*g*b^-1*d*(g*b)^2*c*e^-1*g*e*c^-1*d^-1)^2, 
   b^-1*a*g*a^-1*b^-1*c*e^-1*(g*b^-1)^2*c^-1*a^-1*f*c*(b*g)^2*c^-1*f*a*g*b^-1*\
 f^-2*g*b*a*g*a*c^-1*a^-1*e*c*g*b*g*b^-1 ],
-[ [ c^-4, d*f*g^-1*b^-1, (f*c)^2, (f*c^-1)^2, a*c^-4*a^-1, a*c^-1*g*a^-1*b, 
-      a*e*f^-1*c^-1*e^-1*a^-1, a*(f*c)^2*a^-1, a*(f*c^-1)^2*a^-1, 
-      a^-1*b^-1*c^-1*b*c, a^-1*c^-4*a, a^-1*(f*c)^2*a, a^-1*(f*c^-1)^2*a, 
-      (b*a)^3, b*a*f^-1*a*d^-1*a, b*c^-4*b^-1, b*d*e*b*d^-1*b^-1, 
-      b*d*g*f*g^-1, b*(f*c)^2*b^-1, b*(f*c^-1)^2*b^-1, 
-      b*f^-1*a^-1*d^-1*g^-1*a, b^-1*a*d^-1*c^-1*d*a^-1, (b^-1*a^-1)^3, 
-      b^-1*c*d*e^-1*f^-1*a, b^-1*c^-1*d^-1*a*d, b^-1*d*c*d^-1*g^-1*a, 
-      b^-1*d*e*b*d^-1*b, b^-1*d*f^-1*a^-1*c^-1*b^-1, b^-1*(f*c)^2*b, 
-      b^-1*f*g*e^-1*f^-1, b^-1*g*a^-1*g^-1*c^-1 ] ]];
+[ [ g^a, b*f*e*a, c^-4, d^-1*c*d*c, (c^-2)^(e^-1), (f*c)^2, (f*c^-1)^2,
+      f^-1*g*b^-1*d^-1, g*b*g^-1*b, g*d*f*b, a*d*a^-1*b^-1*f^-1,
+      a*d*g*a^-1*d^-1, a^-1*b*c*b^-1*d*a^-1, (c^-4)^a, ((f*c^-1)^2)^a ] ]];
 end,
-[ 36864 ]],
-"PG1843200.20",0,2,[ 1, 1 ],36864],
+[ 1920 ]],
+"PG1843200.20",0,2,[ 1, 1 ],1920],
 # 1843200.21
 [[1,"abcde",
 function(a,b,c,d,e)
@@ -2829,10 +2749,10 @@ return [[ c^2, e^2, f^2, b^2, a^3, g^4, c*g^-1*c*g, b*g^-1*b*g, (a^-1*c)^2,
   c*e*d*c*a^-1*d^-1*a*e*d*a*d^-1*a^-1, (e*a*d^3*a^-1)^2, 
   c*e*d^-1*g^-1*d*e*c*e*d^-1*g*d*e, d*e*d^-1*g^-1*d*(e*d^-1)^2*g*d*e, 
   a^-1*d*a^-1*(e*d^-1)^3*d^-1*e*a^-1*e ],
-[ [ a^-1*c*b^-1, b*g^2, d^2*e*a^-1*f^-1*a ] ]];
+[ [ a, b, c, e*d*e*g*f^-1*g*d^2 ] ]];
 end,
-[ 36864 ]],
-"PG1843200.51",0,2,[ 1, 1 ],36864],
+[ 6144 ]],
+"PG1843200.51",0,2,[ 1, 1 ],6144],
 # 1843200.52
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)
@@ -2851,10 +2771,10 @@ return [[ e^2, f^2, a^3, c^2*b^2, b*g^-2*b, c^4, g*b*g^-1*b^-1,
   (e*f)^2*e*a*e*a^-1*e*f, f*e*f*c*e*a^-1*f*a*c*e, a^-1*e*a^-1*e*(d^-1*a*f)^2,
   a^-1*d^-3*a*d^-1*a^-1*d^-1*a*d^-1, e*a*e*b*a*e*a^-1*e*d^-1*b^-1*a^-1*d, 
   e*d^2*a*d*b*e*b^-1*d^3*a^-1 ],
-[ [ c*b*f^-1*b, a*f*b*c^-1*b^-1*a^-1, d*c^-1*e*d^-1*e^-1 ] ]];
+[ [ b*d^-1*g*a^-1, d*b^-1*d*a^-1, e*d*b*a, (f*b*c^-1*b^-1)^a ] ]];
 end,
-[ 36864 ]],
-"PG1843200.52",0,2,[ 1, 1 ],36864],
+[ 1920 ]],
+"PG1843200.52",0,2,[ 1, 1 ],1920],
 # 1843200.53
 [[1,"abcdefg",
 function(a,b,c,d,e,f,g)