gap> r:=(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20);
( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19,20)
gap> f:=(1,4)(2,3);
(1,4)(2,3)
gap> G:=Group(r,f);;
gap> Size(G);
2432902008176640000
gap> g1:=(1,2) in G;
true
gap> Read("d:/gap/gap3r4p3/lib/abstab.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> g2:=FactorPermGroupElement(G,g1);
Error, operations: power of boolean and integer is not defined at
id := arg[1] ^ 0 ... in
Group( elm ) called from
FactorPermGroupElement( G, g1 ) called from
main loop
brk> quit;
gap> g1:=(1,2);
(1,2)
gap> g2:=FactorPermGroupElement(G,g1);
g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^\
2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2\
*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^\
2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2\
*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^\
-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^\
-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g\
1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^\
-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1\
*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2\
*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-\
1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*\
g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*\
g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1\
^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*\
g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1\
*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^\
-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*\
g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g\
1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-\
1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*\
g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*\
g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2\
^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g\
2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-\
1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-\
1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*\
g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g\
1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^\
2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1\
*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1\
*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1\
*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*\
g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1\
^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*\
g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-\
1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1\
*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2\
*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1\
*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*\
g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^\
-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1\
*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g\
2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-\
1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2\
*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2\
*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2\
*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1\
*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-\
1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2\
*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*\
g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^\
-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-\
1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1\
^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1\
*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2\
*g1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*\
g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g\
2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1\
*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-\
1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g\
1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*\
g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g\
2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2\
*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1\
*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g\
2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1\
^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g\
2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2\
^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*\
g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*\
g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g\
1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g\
2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2\
^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-1
gap> g3:=Shrink(G,g2);
g1*g2^-2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g\
1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3\
*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-\
1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-4*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^4*g2^-1*g1^-2
gap> g4:=Shrink(G,g3);
g1*g2^-2*g1^-2*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1
gap> g5:=Shrink(G,g4);
g1*g2^-2*g1^-2*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1
gap> h1:=(1,2,3);
(1,2,3)
gap> h1 in G;
true
gap> h2:=FactorPermGroupElement(G,h1);
g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^\
2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2\
*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^\
2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2\
*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^\
-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^\
-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g\
1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^\
-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1\
*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2\
*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-\
1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*\
g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*\
g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1\
^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*\
g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1\
*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^\
-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*\
g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g\
1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-\
1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*\
g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*\
g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2\
^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g\
2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-\
1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-\
1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*\
g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g\
1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^\
2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1\
*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1\
*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1\
*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*\
g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1\
^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*\
g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-\
1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1\
*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2\
*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1\
*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*\
g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^\
-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1\
*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g\
2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-\
1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2\
*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2\
*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2\
*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1\
*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-\
1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2\
*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*\
g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^\
-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-\
1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1\
^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1\
*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2\
*g1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*\
g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g\
2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1\
*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*\
g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-\
1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g\
1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*\
g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g\
1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g\
2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2\
*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1\
*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g\
2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1\
^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g\
2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2\
^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*\
g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*\
g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g\
1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g\
2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g\
1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g\
2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2\
^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-\
1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*\
g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-\
1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g\
2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3\
*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1\
*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g1^-1*g2^-\
1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^\
-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^\
-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g\
1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-\
1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g\
2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g\
1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*\
g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2\
*g1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-2*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2\
*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g\
2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2\
^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g\
2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1\
*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-\
1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*\
g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2\
*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g\
2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2\
*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*\
g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^\
-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^\
-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^\
-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1\
^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*\
g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g\
1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*\
g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2\
*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1\
^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*\
g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g\
1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*\
g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2\
*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1\
^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*\
g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g\
1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-\
2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-\
1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*\
g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^\
-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3\
*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-\
1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1\
*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1*g2*g1^3*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2\
^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1\
*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1\
^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-1*g2*g1*g2*g1^2*g2^-1*g1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g\
1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*\
g1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-\
3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2\
*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2\
*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2*g1*g2*\
g1^-1*g2*g1^-1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1*g2*\
g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1^3*g2*g1*g2*g1^-2*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*\
g2*g1^-1*g2*g1*g2*g1*g2*g1*g2*g1*g2*g1^-1*g2*g1^-1*g2*g1*g2*g1*g2*g1^-2*g2^-1*\
g1^-1*g2^-1*g1^2*g2
gap> h3:=Shrink(G,h2);
g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g\
1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1\
^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g\
1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^\
-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^\
2*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-3*g2^-\
1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1\
*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2\
^-1*g1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2\
^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^\
-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^-1\
*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*\
g1^-2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^\
-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1*\
g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^2*g\
2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-2*g2^-1*g1^-3*g2^-1\
*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1
gap> h4:=Shrink(G,h3);
g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g\
1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1\
^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g\
1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-\
1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*\
g1^3*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1*g2^-1
gap> h5:=Shrink(G,h4);
g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g\
1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1\
^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g\
1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-\
1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*\
g1^3*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1*g2^-1
gap> h6:=Shrink(G,h5);
g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^\
-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g\
2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^\
-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g\
1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g\
2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g\
1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1\
^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g\
1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1\
*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^-1*\
g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^\
-2*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-\
1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2\
^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-\
1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g\
2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g\
1^-1*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*\
g1^3*g2^-1*g1^2*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1\
*g2^-1*g1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-1*g2\
^-1*g1*g2^-1
gap> quit;