abstab1.g is loaded. Functions of importance: FactorPermGroupElement, Shrink gap> elementof; true gap> word1; g4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g\ 1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g\ 4^-2*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1\ *g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-\ 1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^-3*g1^-1*g5*g1*g5^-1*g\ 4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4*g1^-1\ *g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^-2*g5*g1^-1*g5^-1*g1\ *g4^4*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^-2*g5*g1^\ -1*g5^-1*g1*g4^-3*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*\ g4^-2*g5*g1^-1*g5^-1*g1*g4^4*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g\ 5*g1*g5^-1*g4^-2*g5*g1^-1*g5^-1*g1*g4^-3*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g\ 1*g4*g1^-1*g5*g1*g5^-1*g4^-2*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1\ ^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^4*g1^-1*g5*g1*\ g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g\ 4^-3*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5\ *g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1\ *g4^-2*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^\ -1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5\ ^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^-4*g1^-1*g5*g1*g5^-1\ *g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^3*g\ 1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1\ *g5^-1*g1*g4^-3*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^\ -1*g4^-1*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4*g1^-1*\ g5*g1*g5^-1*g4^-2*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g\ 1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^4*g1^-1*g5*g1*g5^-1*g4^2*\ g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^-4*g1^-1*\ g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-\ 1*g1*g4^3*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^\ -1*g5*g1^-1*g5^-1*g1*g4^-4*g1^-1*g5*g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-\ 1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-\ 1*g1*g4*g1^-1*g5*g1*g5^-1*g4^-2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^2\ *g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5\ *g1*g5^-1*g4^2*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*\ g1*g4^2*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4^2*g5*g1^-1*g5^-1*g1*g5*g1^-1\ *g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5^-1*g1*g4*g1^-1*g5*g1*g5^-1\ *g4*g1^-1*g5*g1*g5^-1*g1^-1*g5*g1*g5^-1*g1^-1*g5*g1*g5^-1*g4*g5*g1^-1*g5^-1*g1\ *g5*g1^-1*g5^-1*g1*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5*g1*g5^-1*g4^-1*g5*g1^-1*g5\ ^-1*g1*g4*g1^-1*g5*g1*g5^-1*g4*g1^-1*g5*g1*g5^-1*g1^-1*g5*g1*g5^-1*g1^-1*g5*g1\ *g5^-1*g4*g5*g1^-1*g5^-1*g1*g5*g1^-1*g5^-1*g1*g5*g1^-1*g5^-1*g1*g4^-1*g1^-1*g5\ *g1*g5^-1*g4*g5*g1^-1*g5^-1*g1*g4^2*g1*g5*g1^2*g5^-1*g1^-1*g4*g1*g5*g1^-1*g5^-\ 1*g1^-1*g4^-1*g5*g1^-1*g5^-1*g1^2*g5*g1*g5^-1*g1^-1*g5*g1^-1*g5^-1*g1*g5*g1^-1\ *g5^-1*g1*g5*g1^-1*g5^-1*g1*g3^4*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^\ -1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5\ ^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3\ *g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1\ *g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1\ *g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5\ *g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1\ *g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5\ ^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5\ ^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5\ *g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1\ *g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1\ *g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ *g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3\ *g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1\ *g3^-4*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3\ *g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1\ *g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3\ *g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^\ -1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3^-6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-5*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3^-6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-6*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5^-1*g3*g5^-1*g3^-2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^4*g5*g3^-1*g5*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-\ 1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g\ 5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g\ 5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-\ 1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g\ 5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g\ 5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g\ 3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-2*g5*g3^-1*g5*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g\ 3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g\ 5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g\ 5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g\ 3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-5*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g\ 5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g\ 3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-\ 1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-4*g5*g3^-1*g\ 5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-\ 1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1\ *g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3\ *g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3\ *g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1\ *g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3^6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g\ 5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g\ 5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^5*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5\ *g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5\ *g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5\ ^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3\ *g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5\ *g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1\ *g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ *g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5\ *g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1\ *g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3\ *g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3\ *g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1\ *g5^-1*g3*g5^-1*g3^6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^5*g5*g3^-1*g5*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-\ 1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g\ 5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g\ 5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-\ 1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3^6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3\ *g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5\ ^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1\ *g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1\ *g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5\ *g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3\ *g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5\ *g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1\ *g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ *g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3\ *g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1\ *g3^-2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3\ *g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5\ *g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^4*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3^-2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*\ g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*\ g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^\ -1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*\ g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3^-5*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*\ g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^\ -1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-4*g5*g3^-1*g5*g3*g5^-1*g3^\ -1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*\ g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*\ g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^\ -1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^\ 2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g\ 3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-\ 1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g\ 3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-\ 1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g\ 5*g3^-1*g5^-1*g3*g5^-1*g3^6*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3\ *g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3\ *g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5\ ^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1\ *g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5\ *g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1\ *g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3\ *g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5\ *g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5\ *g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1\ *g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3\ ^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5\ *g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3\ ^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*\ g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^\ -1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*\ g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*\ g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^\ -1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*\ g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*\ g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*\ g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*\ g5*g3^-1*g5^-1*g3*g5^-1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g\ 3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-\ 1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3*g\ 5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g5*g\ 3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g\ 5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-1*g\ 5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g3^-\ 1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3^-1*g5*g\ 3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1*g3^-1*g\ 5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^2*g5*g3^-1*g5*g3*g5^-1*g3\ ^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3*g5^-1\ *g3^-1*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5*g3^-1*g5*g3\ *g5^-1*g3^-1*g5*g3^-1*g5*g3*g5^-1*g3*g5*g3^-1*g5^-1*g3*g5^-1*g3*g5*g3^-1*g5*g3\ *g5^-1*g3^-3*g6*g3^2*g5*g8*g3^2*g9*g6*g2^4*g5*g3^-1 gap> word2; g2^-1*g3*g1*g4^-1*g2*g1^-1*g3^-1*g4^3*g1^-1*g5^-1*g1*g5*g4*g5^-1*g1^-1*g5^-1*g\ 4*g5^-1*g1*g5^-1*g4^-3*g5^-1*g1^-1*g5^-1*g1*g4^-4*g5^-1*g1^-1*g5^-1*g1*g5^-1*g\ 1^-1*g5^-1*g4^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g4*g\ 1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g4*g5^-1*g1^-1*g\ 5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g4^-1*g5^-1*g1^-1*g5^-1*g4^-\ 1*g5^-1*g1*g5^-1*g4*g5^-1*g1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g\ 4^-1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g4^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g\ 1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g1^-1*g5^-1*g4*g\ 5^-1*g1*g5^-1*g4*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-\ 1*g4^-1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g4^-1*g5^-\ 1*g1*g5^-1*g4*g5^-1*g1^-1*g5^-1*g1*g4^3*g1*g5^-1*g1^2*g5^-1*g4*g5^-1*g1^-1*g5^\ -1*g4^-2*g5^-1*g1*g5^-1*g1^-1*g4^2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-\ 1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g\ 3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3^2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3\ *g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-5*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-2*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^2*\ g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-2*g1^-1*g5^-1*\ g1*g6^-1*g3^3*g8^-1*g6^-1*g9^-1*g3*g8^-1*g2^2*g6^-1*g3^3*g2 gap> word3; g2^-1*g3*g1*g4^-1*g2*g1^-1*g3^-1*g4^3*g1^-1*g5^-1*g1*g5*g4*g5^-1*g1^-1*g5^-1*g\ 4*g5^-1*g1*g5^-1*g4^-3*g5^-1*g1^-1*g5^-1*g1*g4^-4*g5^-1*g1^-1*g5^-1*g1*g5^-1*g\ 1^-1*g5^-1*g4^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g4*g\ 1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g4*g5^-1*g1^-1*g\ 5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g4^-1*g5^-1*g1^-1*g5^-1*g4^-\ 1*g5^-1*g1*g5^-1*g4*g5^-1*g1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g\ 4^-1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g4^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g\ 1^-1*g5^-1*g4*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g4^-1*g5^-1*g1^-1*g5^-1*g4*g\ 5^-1*g1*g5^-1*g4*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-\ 1*g4^-1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g1*g5^-1*g1^-1*g5^-1*g4^-1*g5^-\ 1*g1*g5^-1*g4*g5^-1*g1^-1*g5^-1*g1*g4^3*g1*g5^-1*g1^2*g5^-1*g4*g5^-1*g1^-1*g5^\ -1*g4^-2*g5^-1*g1*g5^-1*g1^-1*g4^2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-\ 1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-\ 1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g\ 3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g\ 5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g\ 3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-\ 1*g3^-1*g5^-1*g3*g5^-1*g3^2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3\ *g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-5*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ *g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1\ *g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1\ *g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3\ ^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5\ ^-1*g3^-2*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1\ *g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5\ ^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-2*g5^-1*g3^-1*g5^-1\ *g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^2*\ g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-1*g5^-1*g3^-1*g5^-1*g3*g5^-1*g3^-2*g1^-1*g5^-1*\ g1*g6^-1*g3^3*g8^-1*g6^-1*g9^-1*g3*g8^-1*g2^2*g6^-1*g2*g3^3 gap> NSmid_swap; ( 9,17) gap> quit;