gap> LogTo("c:/gap4r1/gapfiles/megaminx1.log");
LogTo: cannot log to c:/gap4r1/gapfiles/megaminx1.log at
LOG_TO( name );
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop, you can 'quit;' to quit to outer loop,
or you can return to continue
brk> brk> gap> 
gap> u  := (1,9,7,5,3)(50,40,30,200,11)(52,42,32,22,13)(2,10,8,6,4)(51,41,31,21,12);
(  1,  9,  7,  5,  3)(  2, 10,  8,  6,  4)( 11, 50, 40, 30,200)
( 12, 51, 41, 31, 21)( 13, 52, 42, 32, 22)
gap> 
gap> f  := (11,13,15,17,19)(3,200,72,62,54)(5,28,70,60,52)(12,14,16,18,20)(4,29,71,61,53);
(  3,200, 72, 62, 54)(  4, 29, 71, 61, 53)(  5, 28, 70, 60, 52)
( 11, 13, 15, 17, 19)( 12, 14, 16, 18, 20)
gap> l  := (50,52,54,56,58)(1,11,60,116,44)(3,19,68,114,42)(51,53,55,57,59)(2,20,69,115,43);
(  1, 11, 60,116, 44)(  2, 20, 69,115, 43)(  3, 19, 68,114, 42)
( 50, 52, 54, 56, 58)( 51, 53, 55, 57, 59)
gap> l  := (50,52,54,56,58)(1,11,60,116,44)(3,19,68,114,42)(51,53,55,57,59)(2,20,69,115,43);
(  1, 11, 60,116, 44)(  2, 20, 69,115, 43)(  3, 19, 68,114, 42)
( 50, 52, 54, 56, 58)( 51, 53, 55, 57, 59)
gap> r  := (200,22,24,26,28)(5,30,82,74,15)(7,38,80,72,13)(21,23,25,27,29)(6,39,81,73,14);
(  5, 30, 82, 74, 15)(  6, 39, 81, 73, 14)(  7, 38, 80, 72, 13)
( 21, 23, 25, 27, 29)( 22, 24, 26, 28,200)
gap> lb := (30,32,34,36,38)(7,40,92,84,24)(9,48,90,82,22)(31,33,35,37,39)(8,49,91,83,23);
( 7,40,92,84,24)( 8,49,91,83,23)( 9,48,90,82,22)(30,32,34,36,38)
(31,33,35,37,39)
gap> rb := (40,42,44,46,48)(9,50,114,94,34)(1,58,112,92,32)(41,43,45,47,49)(10,59,113,93,33);
(  1, 58,112, 92, 32)(  9, 50,114, 94, 34)( 10, 59,113, 93, 33)
( 40, 42, 44, 46, 48)( 41, 43, 45, 47, 49)
gap> lf := (60,62,64,66,68)(19,70,106,118,56)(17,78,104,116,54)(61,63,65,67,69)(18,79,105,117,55);
( 17, 78,104,116, 54)( 18, 79,105,117, 55)( 19, 70,106,118, 56)
( 60, 62, 64, 66, 68)( 61, 63, 65, 67, 69)
gap> rf := (70,72,74,76,78)(17,28,80,108,64)(15,26,88,106,62)(71,73,75,77,79)(16,27,89,107,63);
( 15, 26, 88,106, 62)( 16, 27, 89,107, 63)( 17, 28, 80,108, 64)
( 70, 72, 74, 76, 78)( 71, 73, 75, 77, 79)
gap> llb:=(80,82,84,86,88)(26,38,90,100,76)(24,36,98,108,74)(81,83,85,87,89)(25,37,99,109,75);
( 24, 36, 98,108, 74)( 25, 37, 99,109, 75)( 26, 38, 90,100, 76)
( 80, 82, 84, 86, 88)( 81, 83, 85, 87, 89)
gap> b  :=(90,92,94,96,98)(36,48,112,102,86)(34,46,110,100,84)(91,93,95,97,99)(35,47,111,101,85);
( 34, 46,110,100, 84)( 35, 47,111,101, 85)( 36, 48,112,102, 86)
( 90, 92, 94, 96, 98)( 91, 93, 95, 97, 99)
gap> d  :=(100,102,104,106,108)(98,110,66,78,88)(96,118,64,76,86)(101,103,105,107,109)(97,119,65,77,87);
( 64, 76, 86, 96,118)( 65, 77, 87, 97,119)( 66, 78, 88, 98,110)
(100,102,104,106,108)(101,103,105,107,109)
gap> lrb:=(110,112,114,116,118)(96,46,58,68,104)(94,44,56,66,102)(111,113,115,117,119)(95,45,57,67,103);
( 44, 56, 66,102, 94)( 45, 57, 67,103, 95)( 46, 58, 68,104, 96)
(110,112,114,116,118)(111,113,115,117,119)
gap> 
gap> 
gap> slice_u:=u*d^(-1);
(  1,  9,  7,  5,  3)(  2, 10,  8,  6,  4)( 11, 50, 40, 30,200)
( 12, 51, 41, 31, 21)( 13, 52, 42, 32, 22)( 64,118, 96, 86, 76)
( 65,119, 97, 87, 77)( 66,110, 98, 88, 78)(100,108,106,104,102)
(101,109,107,105,103)
gap> slice_f:=f*b^(-1);
(  3,200, 72, 62, 54)(  4, 29, 71, 61, 53)(  5, 28, 70, 60, 52)
( 11, 13, 15, 17, 19)( 12, 14, 16, 18, 20)( 34, 84,100,110, 46)
( 35, 85,101,111, 47)( 36, 86,102,112, 48)( 90, 98, 96, 94, 92)
( 91, 99, 97, 95, 93)
gap> slice_l:=l*llb^(-1);
(  1, 11, 60,116, 44)(  2, 20, 69,115, 43)(  3, 19, 68,114, 42)
( 24, 74,108, 98, 36)( 25, 75,109, 99, 37)( 26, 76,100, 90, 38)
( 50, 52, 54, 56, 58)( 51, 53, 55, 57, 59)( 80, 88, 86, 84, 82)
( 81, 89, 87, 85, 83)
gap> slice_r:=r*lrb^(-1);
(  5, 30, 82, 74, 15)(  6, 39, 81, 73, 14)(  7, 38, 80, 72, 13)
( 21, 23, 25, 27, 29)( 22, 24, 26, 28,200)( 44, 94,102, 66, 56)
( 45, 95,103, 67, 57)( 46, 96,104, 68, 58)(110,118,116,114,112)
(111,119,117,115,113)
gap> slice_lb:=lb*lf^(-1);
(  7, 40, 92, 84, 24)(  8, 49, 91, 83, 23)(  9, 48, 90, 82, 22)
( 17, 54,116,104, 78)( 18, 55,117,105, 79)( 19, 56,118,106, 70)
( 30, 32, 34, 36, 38)( 31, 33, 35, 37, 39)( 60, 68, 66, 64, 62)
( 61, 69, 67, 65, 63)
gap> slice_rb:=rb*rf^(-1);
(  1, 58,112, 92, 32)(  9, 50,114, 94, 34)( 10, 59,113, 93, 33)
( 15, 62,106, 88, 26)( 16, 63,107, 89, 27)( 17, 64,108, 80, 28)
( 40, 42, 44, 46, 48)( 41, 43, 45, 47, 49)( 70, 78, 76, 74, 72)
( 71, 79, 77, 75, 73)
gap> slice_gp:=Group(slice_u,slice_f,slice_l,slice_r,slice_lb,slice_rb);
<permutation group with 6 generators>
gap> Size(slice_gp);
9627755206121277812101663948800000
gap> Factorial(15)*(1/2)*4^(14)*Factorial(10)*(1/2)*6^9*3;
9627755206121277812101663948800000
gap> 
gap> #m reid has found the slice group
gap> 
gap> quit;