r1 := (1, 2, 3, 4, 5, 6, 7, 8);
r2 := (9, 10, 11, 12, 13, 14, 15, 16);
r3 := (17, 18, 19, 20, 21, 22, 23, 24);
r4 := (25, 26, 27, 28, 29, 30, 31, 32);
f1 := (1, 28)(2, 27)(3, 26)(4, 25)(9, 20)(10, 19)(11, 18)(12, 17);
f2 := (2, 29)(3, 28)(4, 27)(5, 26)(10, 21)(11, 22)(12, 23)(13, 24);
f3 := (3, 30)(4, 29)(5, 28)(6, 27)(11, 22)(12, 21)(13, 20)(14, 19);
f4 := (4, 31)(5, 30)(6, 29)(7, 28)(12, 23)(13, 22)(14, 21)(15, 20);
f5 := (5, 32)(6, 31)(7, 30)(8, 29)(13, 24)(14, 23)(15, 22)(16, 21);
f6 := (6, 25)(7, 32)(8, 31)(1, 30)(14, 17)(15, 24)(16, 23)(9, 22);
f7 := (7, 26)(8, 25)(1, 32)(2, 31)(15, 18)(16, 17)(9, 24)(10, 23);
f8 := (8, 27)(1, 26)(2, 25)(3, 32)(16, 19)(9, 18)(10, 17)(11, 24);

order_of_group := 437763136697395052544000000;

geners := Set([r1,r2,r3,r4,f1,f2,f3,f4,f5,f6,f7,f8]);

g1:=r4; g2:=r3; g3:=r2; g4:=f5; g5:=f4;
g6:=f3; g7:=f2; g8:=r1;

perm_group:=Group(r1,r2,r3,r4,f1,f2,f3,f4,f5,f6,f7,f8);

flip_9_to_15:=(9,15);

elementof:=flip_9_to_15 in perm_group; 

word2:=
g3*g7^-1*g2^2*g3^-1*g4^-1*g2^-1*g4*g2^-1*g4^-1*g2*\
g4^-1*g2^-1*g4^-1*g2^2*g4^-1\
*g2^-1*g4^-1*g2^-1*g4^-1*g2*g4^-1*g2*g4^-1*g2*g4^-1*\
g2^-2*g4^-1*g2^-1*g4^-1*g2\
^-1*g4^-1*g2^-2*g4^-1*g2*g4^-1*g2*g4^-1*g2^-1*g4^-1*\
g2*g4^-1*g2*g4^-1*g3*g2^-2\
*g4^-1*g2*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*\
g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4\
^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*\
g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1\
^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*\
g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4\
^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*\
g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1\
*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*\
g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4\
^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*\
g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1\
*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*\
g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1\
*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*\
g1*g4^-1*g1*g4^-1*g1^-1*g4\
^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*\
g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1\
*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*\
g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1\
*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*\
g1*g4^-1*g1^-1*g2^-1*g4^-1*g2\
^2*g3^-1*g4^-1*g2^-1*g4^-1*g2*g4^-1*g2^-2*\
g4^-1*g2*g4^-1*g2*g4^-1*g2*g4^-1*g2^\
-2*g4^-1*g2^-1*g4^-1*g2^-1*g4^-1*g2^-2*g4^-1*\
g2*g4^-1*g3*g2^2*g3^-1*g4^-1*g2^-\
1*g4^-1*g2^-1*g4^-1*g2*g4^-1*g2^-1*g4^-1*g2^-1*\
g4^-1*g3*g4^-1*g2*g1*g4^-1*g1^-\
1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*\
g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-\
1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*\
g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-\
1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*\
g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g\
4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*\
g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-\
1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*\
g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-\
1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*\
g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g\
1^-1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*\
g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-\
1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*\
g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-\
1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*\
g1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-\
1*g4^-1*g1*g4^-1*g1^-1*g4^-1*g1^-1*g4^-1*g1*\
g4^-1*g1^-1*g4^-1*g1*g4^-1*g1*g4^-\
1*g1^-1*g4^-1*g1^-1*g4^-1*g1*g4^-1*g1^-1*g2^-1*\
g4^-1*g2*g7^-1;