LogTo("/home/math6/wdj/gap/games/rainbow/rainn1.log");
r1 := (8,7,6,5,4,3,2,1);
r2 := (16,15,14,13,12,11,10,9);
r3 := (24,23,22,21,20,19,18,17);
r4 := (32,31,30,29,28,27,26,25);
f5 := (1, 28)(2, 27)(3, 26)(4, 25)(9, 20)(10, 19)(11, 18)(12, 17);
f4 := (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);
f2 := (4, 31)(5, 30)(6, 29)(7, 28)(12, 23)(13, 22)(14, 21)(15, 20);
f1 := (5, 32)(6, 31)(7, 30)(8, 29)(13, 24)(14, 23)(15, 22)(16, 21);
f8 := (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);
f6 := (8, 27)(1, 26)(2, 25)(3, 32)(16, 19)(9, 18)(10, 17)(11, 24);
Read("/home/math6/wdj/gap/new/abstab1.g");
G:=Group(r1,r2,r3,r4,f1,f2,f2,f3,f4);
G.heuristic:=true;
NSmid_swap:=(9,17);
elementof:=NSmid_swap in G;
word1:=FactorPermGroupElement(G, NSmid_swap);
word2:=Shrink(G, word1);
word3:=Shrink(G, word2);