LogTo("/home/math6/wdj/gap/games/rainbow/rain10.log"); ir1 := (1, 2, 3, 4, 5, 6, 7, 8); ir2 := (9, 10, 11, 12, 13, 14, 15, 16); ir3 := (17, 18, 19, 20, 21, 22, 23, 24); ir4 := (25, 26, 27, 28, 29, 30, 31, 32); 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); order_of_group := 437763136697395052544000000; Read("/home/math6/wdj/gap/new/abstab.g"); G:=Group(ir1,ir2,ir3,ir4,f1,f2,f2,f3,f4); mid_swap:=(9,10); elementof:=mid_swap in G; word1:=FactorPermGroupElement(G, mid_swap); word2:=Shrink(G, word1); word3:=Shrink(G, word2);