The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> elemntof;
Error, Variable: 'elemntof' must have a value
gap> elementof;
true
gap> word3;
g4^-1*g1^2*g6^-1*g2^-1*g3^-1*g4^-1*g13^-1*g4^2*g13^-1*g4^-2*g13*g4*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^\
-1*g2^-1*g13^-1*g2*g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4*g13^-1*\
g4*g13^-1*g4^-1*g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*\
g4*g2*g13^-1*g4^-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-\
1*g4*g3^-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g\
4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^\
-1*g4*g13^-1*g4^-1*g13^-1*g4^-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13\
^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1\
*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g\
4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^\
-1*g4*g13^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g1\
3^-1*g2*g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4^-1*g13^-1*g4*g13^-\
1*g4^-1*g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g1\
3^-1*g4^-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^\
-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g1\
3^-1*g4^-1*g13^-1*g4^-3*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-\
1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*\
g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g1\
3^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g13^-1*g2*\
g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*\
g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g13^-1*g4^\
-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^-2*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g13^-1*g2*g3^-1*g1\
3^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g2^-1*g4^2*g2*g13^-1*g4*g13^-1*g4^-1*\
g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g13^-1*g4^\
-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^-2*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g8\
^-1*g4*g1^-2*g2*g3*g4^2
gap> word2;
g4^-1*g1^2*g6^-1*g2^-1*g3^-1*g4^-1*g13^-1*g4^2*g13^-1*g4^-2*g13*g4*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^\
-1*g2^-1*g13^-1*g2*g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4*g13^-1*\
g4*g13^-1*g4^-1*g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*\
g4*g2*g13^-1*g4^-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-\
1*g4*g3^-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g\
4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^\
-1*g4*g13^-1*g4^-1*g13^-1*g4^-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13\
^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1\
*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g\
4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^\
-1*g4*g13^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g1\
3^-1*g2*g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4^-1*g13^-1*g4*g13^-\
1*g4^-1*g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g1\
3^-1*g4^-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^\
-2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g1\
3^-1*g4^-1*g13^-1*g4^-3*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-\
1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*\
g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g1\
3^-1*g4^-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g13^-1*g2*\
g3^-1*g13^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*\
g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g13^-1*g4^\
-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^-2*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g2^-1*g3^2*g2*g13^-1*g2*g13^-1*g3^-1*g13^-1*g2^-1*g13^-1*g2*g3^-1*g1\
3^-1*g2^-1*g13^-1*g2*g13^-1*g2^-1*g13^-1*g2^-1*g4^2*g2*g13^-1*g4*g13^-1*g4^-1*\
g13^-1*g4*g2*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g2^-1*g13^-1*g4*g2*g13^-1*g4^\
-1*g2^-1*g3*g13^-1*g4*g2*g13^-1*g4*g3*g13^-1*g4^-1*g2^-1*g13^-1*g4*g3^-2*g13^-\
1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g\
13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^\
-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13^-1*g4*g13^-1*g4^-1*g13^-1*g4*g8\
^-1*g4*g1^-2*g3*g2*g4^2
gap> word4;
Error, Variable: 'word4' must have a value
gap> word1;
g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g\
13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-\
1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^\
-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g2^2*\
g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^-1*g\
4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3*g2^2\
*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g\
4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13\
*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-\
1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^2*g\
13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1\
*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-\
1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g2^2*g\
13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^-1*g4\
^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3*g2\
^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13\
*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g\
13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4\
^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g\
13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1\
*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-\
1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g2^2*g\
13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^-1*g4\
*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3*g2^2*\
g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4\
^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*\
g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1\
*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^2*g1\
3*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13\
^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*\
g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1\
*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g2^2*g1\
3*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^-1*g4^\
-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3*g2^\
2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*\
g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g1\
3*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^\
-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-2\
*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*\
g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^\
-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4\
^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g2^2\
*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^-1*\
g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3*\
g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*g\
13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4\
*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*\
g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4\
^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^\
-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g\
13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g\
2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^\
-1*g4^3*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g\
3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4\
*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*\
g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g1\
3*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*\
g4^-2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g\
4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4\
*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^\
-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1\
*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g\
2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-\
2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13\
*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^\
-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4\
*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^\
-1*g4^-3*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-\
1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13\
*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g\
13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3\
^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-\
1*g2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g\
2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*\
g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g\
13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g\
13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g1\
3^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*\
g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-\
1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2\
*g3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g1\
3^-1*g2^-1*g4^2*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1\
*g2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g\
4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1\
*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g\
13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1\
*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13\
^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g\
13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1\
*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*\
g3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13\
^-1*g2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2\
^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g\
13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g1\
3^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*\
g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^\
-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g1\
3*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*\
g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g\
3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^\
-1*g2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*\
g2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4\
*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*\
g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g1\
3*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*\
g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^\
-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g1\
3*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*\
g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g\
3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^\
-1*g2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^\
-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g1\
3*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13\
^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g\
4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13\
^-1*g4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-\
1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13\
*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g\
13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3\
^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-\
1*g2^-1*g4^-3*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g\
2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*\
g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g\
13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g\
13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-\
1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13\
*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g\
13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3\
^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-\
1*g2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-\
2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13\
*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^\
-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4\
*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^\
-1*g4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1\
*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*\
g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^\
-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1\
*g2^-1*g4^-2*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2\
^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g\
13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g1\
3^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*\
g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1\
*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*\
g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g1\
3^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^\
-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1\
*g2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2\
*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*\
g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-\
1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*\
g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-\
1*g4^3*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*\
g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g\
4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13\
^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-\
1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*\
g2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*\
g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g\
4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1\
*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g\
13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1\
*g4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g\
4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4\
*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^\
-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1\
*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g\
2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-\
2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13\
*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^\
-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4\
*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^\
-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g\
4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4\
*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^\
-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1\
*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g\
2^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g\
3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4\
*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*\
g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g1\
3*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*\
g4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4\
^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*\
g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-\
1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*\
g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2\
^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2\
*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*\
g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-\
1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*\
g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-\
1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4\
^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*\
g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-\
1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*\
g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2\
^-1*g4*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*g3\
*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g4*\
g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g\
4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13\
*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g\
4^2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^\
-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g\
13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1\
*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-1*g\
2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*g2^\
-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^-2*\
g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g13*g\
4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1\
*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g\
13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1\
*g4^-2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*\
g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g\
4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13\
^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g3^-\
1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^-1*\
g2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g2^\
-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*g1\
3*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13\
^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g\
4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13\
^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^\
-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g1\
3*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*\
g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2*g\
3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g13^\
-1*g2^-1*g4^3*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-1*g\
2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*g4*\
g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g\
13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13\
*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g\
13^-1*g4^-2*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g1\
3^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*\
g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-\
1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g2*g13^-1*g2^-1*g3^2*g2*g13*g2*g13^-1*g2^-2\
*g3^-1*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-1*g2^2*g13*g2^-1*g13^-1*g2*g13*g2^-1*g1\
3^-1*g2^-1*g4^-1*g2*g13*g2*g13^-1*g2^-1*g13*g2*g13^-1*g2^-2*g3*g2*g13*g2*g13^-\
1*g2^-2*g3*g2^2*g13*g2^-1*g13^-1*g2^-1*g3^-2*g2*g13*g2^-1*g4*g13*g4^-1*g13^-1*\
g4*g13*g4*g13*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4*g13*g4*g13*g4^-\
1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*\
g13*g4*g13*g4^-1*g13^-1*g4*g13*g4*g13^-1*g4^-1*g13^-1*g4^-1*g13*g4*g13^-1*g4^-\
1*g13^-1
gap> G;
Group( (1,2,3,4,5,6,7,8), ( 9,10,11,12,13,14,15,16), (17,18,19,20,21,22,23,24
 ), (25,26,27,28,29,30,31,32), ( 5,32)( 6,31)( 7,30)( 8,29)(13,24)(14,23)
(15,22)(16,21), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)(15,20), 
( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)(15,20), ( 3,30)( 4,29)
( 5,28)( 6,27)(11,22)(12,21)(13,20)(14,19), ( 2,29)( 3,28)( 4,27)( 5,26)
(10,21)(11,22)(12,23)(13,24), ( 1,28)( 2,27)( 3,26)( 4,25)( 9,20)(10,19)
(11,18)(12,17), ( 1,26)( 2,25)( 3,32)( 8,27)( 9,18)(10,17)(11,24)(16,19), 
( 1,32)( 2,31)( 7,26)( 8,25)( 9,24)(10,23)(15,18)(16,17), ( 1,30)( 6,25)
( 7,32)( 8,31)( 9,22)(14,17)(15,24)(16,23) )
gap> FactorPermGroupElement(G,r1);
Error, Variable: 'r1' must have a value
gap> FactorPermGroupElement(G,ir1);
g1
gap> FactorPermGroupElement(G,ir2);
g2
gap> FactorPermGroupElement(G,ir3);
g3
gap> FactorPermGroupElement(G,ir4);
g4
gap> FactorPermGroupElement(G,f1);
g5
gap> FactorPermGroupElement(G,f2);
g6
gap> FactorPermGroupElement(G,f3);
g8
gap> FactorPermGroupElement(G,f4);
g9
gap> FactorPermGroupElement(G,f5);
g10
gap> FactorPermGroupElement(G,f6);
g11
gap> FactorPermGroupElement(G,f7);
g12
gap> FactorPermGroupElement(G,f8);
g13
gap> map(G,g7);
Error, Variable: 'g7' must have a value
gap> map(G,ir1);
Error, usage: MappedWord( <word>, <old>, <new> ) at
return MappedWord( a, G.abstractGenerators, G.generators ) ... in
map( G, ir1 ) called from
main loop
brk> quit;
gap> map(ir1,G);
Error, Record: left operand must be a record at
return MappedWord( a, G.abstractGenerators, G.generators ) ... in
map( ir1, G ) called from
main loop
brk> quit;
gap> map(G,ir1);
Error, usage: MappedWord( <word>, <old>, <new> ) at
return MappedWord( a, G.abstractGenerators, G.generators ) ... in
map( G, ir1 ) called from
main loop
brk> quit;
gap> map(G,g1);
Error, Variable: 'g1' must have a value
gap> quit;