gap> f1:=(2,4,6,8,10)(14,23,20,17,11)(24,21,18,15,13)(25,22,19,16,12);
( 2, 4, 6, 8,10)(11,14,23,20,17)(12,25,22,19,16)(13,24,21,18,15)
gap> 
gap> rf2:=(2,1,10,13,25)(17,29,20,19,18)(9,12,14,24,3)
> (6,16,28,30,21)(23,4,7,15,27)(26,22,5,8,11);
( 1,10,13,25, 2)( 3, 9,12,14,24)( 4, 7,15,27,23)( 5, 8,11,26,22)
( 6,16,28,30,21)(17,29,20,19,18)
gap> 
gap> f2:=(9,12,14,24,3)(6,16,28,30,21)(23,4,7,15,27)(26,22,5,8,11);
( 3, 9,12,14,24)( 4, 7,15,27,23)( 5, 8,11,26,22)( 6,16,28,30,21)
gap> f3:=rf2*f1*rf2^-1;
( 1,25,23,21, 5)( 6, 9,13,26,20)( 7,10,14,30,19)( 8,12,27,29,18)
gap> f8:=rf2^2*f1*rf2^-2;
( 1,12,28,20, 4)( 2,13,27,30,22)( 3,10,11,29,21)( 5, 9,15,17,19)
gap> f7:=rf2^3*f1*rf2^-3;
( 1, 8,17,30,24)( 2, 9,16,29,23)( 3, 7,18,20,22)(10,15,28,26,25)
gap> f6:=rf2^4*f1*rf2^-4;
( 1, 7,16,11,13)( 2, 5,18,28,14)( 3, 6,17,27,25)( 4,19,29,26,24)
gap> 
gap> rf4:=(5,4,21,19,6)(11,12,13,14,27)(7,3,22,20,18)
> (10,25,26,28,15)(16,9,2,23,29)(24,30,17,8,1);
( 1,24,30,17, 8)( 2,23,29,16, 9)( 3,22,20,18, 7)( 4,21,19, 6, 5)
(10,25,26,28,15)(11,12,13,14,27)
gap> 
gap> f5:=rf4*f1*rf4^-1;
( 1, 4,20,28,12)( 2,22,30,27,13)( 3,21,29,11,10)( 5,19,17,15, 9)
gap> f10:=rf4^2*f1*rf4^-2;
( 3,24,14,12, 9)( 4,23,27,15, 7)( 5,22,26,11, 8)( 6,21,30,28,16)
gap> f9:=rf4^3*f1*rf4^-3;
( 1,13,11,16, 7)( 2,14,28,18, 5)( 3,25,27,17, 6)( 4,24,26,29,19)
gap> 
gap> g:=[];
[  ]
gap> g[1]:=f1;
( 2, 4, 6, 8,10)(11,14,23,20,17)(12,25,22,19,16)(13,24,21,18,15)
gap> g[2]:=f2;
( 3, 9,12,14,24)( 4, 7,15,27,23)( 5, 8,11,26,22)( 6,16,28,30,21)
gap> g[3]:=f3;
( 1,25,23,21, 5)( 6, 9,13,26,20)( 7,10,14,30,19)( 8,12,27,29,18)
gap> g[4]:=f6;
( 1, 7,16,11,13)( 2, 5,18,28,14)( 3, 6,17,27,25)( 4,19,29,26,24)
gap> g[5]:=f7;
( 1, 8,17,30,24)( 2, 9,16,29,23)( 3, 7,18,20,22)(10,15,28,26,25)
gap> g[6]:=f8;
( 1,12,28,20, 4)( 2,13,27,30,22)( 3,10,11,29,21)( 5, 9,15,17,19)
gap> g[7]:=f5;
( 1, 4,20,28,12)( 2,22,30,27,13)( 3,21,29,11,10)( 5,19,17,15, 9)
gap> g[8]:=f10;
( 3,24,14,12, 9)( 4,23,27,15, 7)( 5,22,26,11, 8)( 6,21,30,28,16)
gap> g[9]:=f9;
( 1,13,11,16, 7)( 2,14,28,18, 5)( 3,25,27,17, 6)( 4,24,26,29,19)
gap> 
gap> c:=[1];
[ 1 ]
gap> 
gap> for i in [1..9]  do
>   for j in [1..9] do
>     c[9*(i-1)+j]:=g[i]*g[j]^-1;
>   od;
> od;
gap> 
gap> C:=Group(c,c[1]);
Group( ( 2,23,20,17, 8,10)( 3,24,30,28,16, 9)( 4,21,18, 7)( 5,22,19, 6)
(11,12,25,26)(13,14,27,15), ( 1, 5,21,29,27,12)( 2, 4,20,17,11,10)
( 6,18,15, 9)( 7,19,16, 8)(13,24,23,26)(14,25,22,30), ( 1,13,26,29,19, 7)
( 2,24,21, 5)( 3,25,22, 4)( 6, 8,10,14,23,20)(11,28,18,15)(12,27,17,16), 
( 1,24,21, 7, 3,22,19, 9, 2, 4, 6)( 8,25,20)(10,23,18)(11,14,29,16,12,26,28,
 15,13,30,17), ( 1, 4, 6, 8, 3,21,18, 9, 5,19,16)( 2,20,15)(10,22,17)
(11,14,23,28,12,25,30,27,13,24,29), ( 1,12,25, 2)( 3,10,13,24)( 4, 6, 8,11,14,
 23)( 5, 9,15,27,30,22)(16,28,20,19)(17,29,21,18), ( 2, 7,15,13, 3, 9,12,25,
  5, 8,10)( 4,16,14)( 6,11,24)(17,26,22,19,28,30,21,18,27,23,20), 
( 1, 7,16,12, 3, 6, 8,10, 5,18,15)( 2,19,11)( 4,17,13)(14,23,20,27,25,22,29,
 26,24,21,28), ( 2,10, 8,17,20,23)( 3, 9,16,28,30,24)( 4, 7,18,21)
( 5, 6,19,22)(11,26,25,12)(13,15,27,14), ( 1, 5,18,29,27,25)( 3, 6,16,28,14,24
 )( 4,19,30,23)( 7,15,12,10)( 8,11,13, 9)(20,26,22,21), ( 1,13,11,29,19, 4)
( 2,14,26,22)( 3, 9,12,28,30,21)( 5, 8,16,18)( 6, 7,15,17)(23,24,25,27), 
( 1,24,22, 5)( 2,23, 4, 3)( 6, 9,12,14,30,21)( 7,10,25,26,20,18)( 8,11,28,17)
(15,27,29,16), ( 1, 4, 7, 9)( 2,22,19,17,15,13)( 3, 5, 8,10)( 6,16,12,14,24,21
 )(11,26,30,29)(20,28,27,23), ( 1,12,14,24,10,11,26, 2,13,27,23)( 3,15,30)
( 4, 7,17,19, 5, 8,29,21, 6,16,20)( 9,28,22), ( 3,12,24, 9,14)( 4,15,23, 7,27)
( 5,11,22, 8,26)( 6,28,21,16,30), ( 1, 7,15,25, 3, 9,12, 2, 5, 8,13)( 4,16,14)
( 6,11,24)(17,27,23,19,29,26,22,18,28,30,21), ( 1,12,27,29,21, 5)
( 2,10,11,17,20, 4)( 6, 9,15,18)( 7, 8,16,19)(13,26,23,24)(14,30,22,25), 
( 1,25,27,29,18, 5)( 3,24,14,28,16, 6)( 4,23,30,19)( 7,10,12,15)( 8, 9,13,11)
(20,21,22,26), ( 1,27,19)( 2,14,30, 4,24,26,20, 3,25,23,21)( 5,13,29)
( 6, 9,11,16, 7,10,28,18, 8,12,17), ( 1,26,18)( 2,23,21, 5,24,30,19, 3,22,20,
  6)( 7,25,29)( 8,12,27,16, 9,13,28,15,10,14,17), ( 1,25,23,29,18, 8)
( 2,22,30,17,15, 9)( 3,21,19, 7)( 4,20, 6, 5)(10,14,27,11)(12,13,26,28), 
( 1,25,23, 3,10,14,22, 2,13,26, 4)( 5,12,30)( 6,15,17,19, 7,11,29,18, 8,28,20)
( 9,27,21), ( 1,25, 4, 7,10,24, 3, 9,13,22, 5)( 6,12,23)( 8,14,21)
(11,26,20,16,28,30,19,15,27,29,18), ( 1, 3, 6, 9)( 2, 5, 7,10)( 4,19,16,11,13,
 24)( 8,12,25,23,21,18)(14,30,29,28)(17,27,26,20), ( 1, 7,19,29,26,13)
( 2, 5,21,24)( 3, 4,22,25)( 6,20,23,14,10, 8)(11,15,18,28)(12,16,17,27), 
( 1, 4,19,29,11,13)( 2,22,26,14)( 3,21,30,28,12, 9)( 5,18,16, 8)( 6,17,15, 7)
(23,27,25,24), ( 1,19,27)( 2,21,23,25, 3,20,26,24, 4,30,14)( 5,29,13)
( 6,17,12, 8,18,28,10, 7,16,11, 9), ( 1, 3, 6, 8)( 2, 5, 7, 9)( 4,19,16,11,13,
 24)(10,25,22,20,18,15)(14,23,29,28)(17,27,26,30), ( 1, 7,16,10, 3, 6,15, 9,
  5,18,12)( 2,19,11)( 4,17,13)(14,22,30,27,25,21,29,26,24,20,28), 
( 1, 7,16,29,26,24)( 2, 9,15,17,30,22)( 3, 6,19,21)( 4, 5,18,20)(10,11,27,25)
(12,28,14,13), ( 1,15,27,25, 9,12,14, 2, 8,11,13)( 3,16,26)( 4,19,29,22, 5,18,
 30,21, 6,17,23)( 7,28,24), ( 1,16,13, 7,11)( 2,18,14, 5,28)( 3,17,25, 6,27)
( 4,29,24,19,26), ( 1, 6, 4, 2, 9,19,22, 3, 7,21,24)( 8,20,25)(10,18,23)
(11,17,30,13,15,28,26,12,16,29,14), ( 1, 5,22,24)( 2, 3, 4,23)( 6,21,30,14,12,
 9)( 7,18,20,26,25,10)( 8,17,28,11)(15,16,29,27), ( 1,18,26)( 2, 6,20,22, 3,
 19,30,24, 5,21,23)( 7,29,25)( 8,17,14,10,15,28,13, 9,16,27,12), ( 1, 8, 6, 3)
( 2, 9, 7, 5)( 4,24,13,11,16,19)(10,15,18,20,22,25)(14,28,29,23)
(17,30,26,27), ( 1, 8,15,12)( 2, 5,19,17,27,13)( 3, 7,18,28,26,25)
( 4,20,30,24)( 9,16,11,10)(21,29,23,22), ( 1, 8,19, 5, 9,16,21, 3, 7,18, 4)
( 2,15,20)(10,17,22)(11,29,23,13,27,30,24,12,28,26,25), ( 1,11,26,25,10,27,23,
 2,12,14,24)( 3,15,30)( 4, 7,18,20, 5, 8,17,21, 6,16,29)( 9,28,22), 
( 1, 8,27,25,10,15,14, 2, 9,11,13)( 3,16,26)( 4,19,29,23, 5,18,20,22, 6,17,30)
( 7,28,24), ( 1,16,19, 5, 9,18,21, 3, 8, 6, 4)( 2,15,20)(10,17,22)
(11,29,24,13,27,30,25,12,28,23,14), ( 1, 9, 7, 4)( 2,13,15,17,19,22)
( 3,10, 8, 5)( 6,21,24,14,12,16)(11,29,30,26)(20,23,27,28), ( 1, 8,18,29,23,25
 )( 2, 9,15,17,30,22)( 3, 7,19,21)( 4, 5, 6,20)(10,11,27,14)(12,28,26,13), 
( 1,12,18, 5, 9,15, 6, 3,10,16, 7)( 2,11,19)( 4,13,17)(14,28,20,24,26,29,21,
 25,27,30,22), ( 1,12,15, 8)( 2,13,27,17,19, 5)( 3,25,26,28,18, 7)
( 4,24,30,20)( 9,10,11,16)(21,22,23,29), ( 1,28, 4,12,20)( 2,27,22,13,30)
( 3,11,21,10,29)( 5,15,19, 9,17), ( 1,14,24, 3,10,26,22, 2,13,23, 4)( 5,12,30)
( 6,16,28,20, 7,15,17,19, 8,11,29)( 9,27,21), ( 1,12,14, 2)( 3,10,13,25)
( 4, 7,16,11,26,24)( 5, 9,15,27,30,22)( 6,17,29,21)(18,28,20,19), 
( 1, 2,25,12)( 3,24,13,10)( 4,23,14,11, 8, 6)( 5,22,30,27,15, 9)(16,19,20,28)
(17,18,21,29), ( 1,23,27,13, 2,26,11,10,24,14,12)( 3,30,15)( 4,20,16, 6,21,29,
 8, 5,19,17, 7)( 9,22,28), ( 1, 4,26,13, 2,22,14,10, 3,23,25)( 5,30,12)
( 6,20,28, 8,18,29,11, 7,19,17,15)( 9,21,27), ( 1,24,26,29,16, 7)
( 2,22,30,17,15, 9)( 3,21,19, 6)( 4,20,18, 5)(10,25,27,11)(12,13,14,28), 
( 1, 4,18, 7, 3,21,16, 9, 5,19, 8)( 2,20,15)(10,22,17)(11,25,26,28,12,24,30,
 27,13,23,29), ( 1,20,12, 4,28)( 2,30,13,22,27)( 3,29,10,21,11)
( 5,17, 9,19,15), ( 1, 7,15,12)( 2, 5,19,17,27,13)( 3, 6,16,28,14,24)
( 4,20,30,23)( 8,11,10, 9)(21,29,26,22), ( 1,19,27)( 2,22,30,25, 3,21,26,24,
  4,20,14)( 5,29,13)( 6,17,15, 9,18,28,12, 7,16,11,10), ( 2,10, 8, 5,25,12, 9,
 3,13,15, 7)( 4,14,16)( 6,24,11)(17,20,23,27,18,21,30,28,19,22,26), 
( 3,14, 9,24,12)( 4,27, 7,23,15)( 5,26, 8,22,11)( 6,30,16,21,28), 
( 1, 5,22,13, 9, 3,24,10, 7, 4,25)( 6,23,12)( 8,21,14)(11,18,29,27,15,19,30,
 28,16,20,26), ( 1,13,11, 8, 2,14,12, 9,25,27,15)( 3,26,16)( 4,23,17, 6,21,30,
 18, 5,22,29,19)( 7,24,28), ( 1,24,14,12, 2,23,27,10,25,26,11)( 3,30,15)
( 4,29,16, 6,21,17, 8, 5,20,18, 7)( 9,22,28), ( 1, 4,23,13, 2,22,26,10, 3,24,
 14)( 5,30,12)( 6,29,11, 8,19,17,15, 7,20,28,16)( 9,21,27), ( 1,12,15, 7)
( 2,13,27,17,19, 5)( 3,24,14,28,16, 6)( 4,23,30,20)( 8, 9,10,11)
(21,22,26,29), ( 1, 7,19,29,26,13)( 2, 5,22,24)( 3, 4,23,25)( 6,21,30,14,12, 9
 )( 8,18,28,11)(15,16,17,27), ( 1,15,18, 5,10, 8, 6, 3,12,16, 7)( 2,11,19)
( 4,13,17)(14,28,21,24,26,29,22,25,27,20,23), ( 1,13, 8, 5, 2,12, 9, 3,25,15,
  7)( 4,14,16)( 6,24,11)(17,21,30,28,18,22,26,29,19,23,27), ( 1, 9, 6, 3)
( 2,10, 7, 5)( 4,24,13,11,16,19)( 8,18,21,23,25,12)(14,28,29,30)
(17,20,26,27), ( 1,11, 7,13,16)( 2,28, 5,14,18)( 3,27, 6,25,17)
( 4,26,19,24,29), ( 1,13,11, 9, 2,14,15,10,25,27, 8)( 3,26,16)( 4,30,17, 6,22,
 20,18, 5,23,29,19)( 7,24,28), ( 1, 2,14,12)( 3,25,13,10)( 4,24,26,11,16, 7)
( 5,22,30,27,15, 9)( 6,21,29,17)(18,19,20,28), ( 1,27,19)( 2,14,20, 4,24,26,
 21, 3,25,30,22)( 5,13,29)( 6,10,11,16, 7,12,28,18, 9,15,17), ( 1,13,26,29,19,
 7)( 2,24,22, 5)( 3,25,23, 4)( 6, 9,12,14,30,21)( 8,11,28,18)(15,27,17,16) )
gap> IsSimple(C);
false
gap> rf4:=(5,4,21,19,6)(11,12,13,14,27)(7,3,22,20,18)
> (10,25,26,28,15)(16,9,2,23,29)(24,30,17,8,1);
( 1,24,30,17, 8)( 2,23,29,16, 9)( 3,22,20,18, 7)( 4,21,19, 6, 5)
(10,25,26,28,15)(11,12,13,14,27)
gap> 
gap> f5:=rf4*f1*rf4^-1;
( 1, 4,20,28,12)( 2,22,30,27,13)( 3,21,29,11,10)( 5,19,17,15, 9)
gap> f10:=rf4^2*f1*rf4^-2;
( 3,24,14,12, 9)( 4,23,27,15, 7)( 5,22,26,11, 8)( 6,21,30,28,16)
gap> f9:=rf4^3*f1*rf4^-3;
( 1,13,11,16, 7)( 2,14,28,18, 5)( 3,25,27,17, 6)( 4,24,26,29,19)
gap> f4:=(7,3,22,20,18)(10,25,26,28,15)(16,9,2,23,29)(24,30,17,8,1);
( 1,24,30,17, 8)( 2,23,29,16, 9)( 3,22,20,18, 7)(10,25,26,28,15)
gap> f11:=rf4^2*f2*rf4^-2;
( 1, 5,21,23,25)( 6,20,26,13, 9)( 7,19,30,14,10)( 8,18,29,27,12)
gap> f12:=rf4^3*f2*rf4^-3;
( 2,10, 8, 6, 4)(11,17,20,23,14)(12,16,19,22,25)(13,15,18,21,24)
gap> 
gap> g:=[];
[  ]
gap> g[1]:=f1;
( 2, 4, 6, 8,10)(11,14,23,20,17)(12,25,22,19,16)(13,24,21,18,15)
gap> g[2]:=f2;
( 3, 9,12,14,24)( 4, 7,15,27,23)( 5, 8,11,26,22)( 6,16,28,30,21)
gap> g[3]:=f3;
( 1,25,23,21, 5)( 6, 9,13,26,20)( 7,10,14,30,19)( 8,12,27,29,18)
gap> g[4]:=f6;
( 1, 7,16,11,13)( 2, 5,18,28,14)( 3, 6,17,27,25)( 4,19,29,26,24)
gap> g[5]:=f7;
( 1, 8,17,30,24)( 2, 9,16,29,23)( 3, 7,18,20,22)(10,15,28,26,25)
gap> g[6]:=f8;
( 1,12,28,20, 4)( 2,13,27,30,22)( 3,10,11,29,21)( 5, 9,15,17,19)
gap> g[7]:=f5;
( 1, 4,20,28,12)( 2,22,30,27,13)( 3,21,29,11,10)( 5,19,17,15, 9)
gap> g[8]:=f10;
( 3,24,14,12, 9)( 4,23,27,15, 7)( 5,22,26,11, 8)( 6,21,30,28,16)
gap> g[9]:=f9;
( 1,13,11,16, 7)( 2,14,28,18, 5)( 3,25,27,17, 6)( 4,24,26,29,19)
gap> g[10]:=f4;
( 1,24,30,17, 8)( 2,23,29,16, 9)( 3,22,20,18, 7)(10,25,26,28,15)
gap> g[11]:=f11;
( 1, 5,21,23,25)( 6,20,26,13, 9)( 7,19,30,14,10)( 8,18,29,27,12)
gap> g[12]:=f12;
( 2,10, 8, 6, 4)(11,17,20,23,14)(12,16,19,22,25)(13,15,18,21,24)
gap> 
gap> c:=[1];
[ 1 ]
gap> 
gap> for i in [1..12]  do
>   for j in [1..12] do
>     c[12*(i-1)+j]:=g[i]*g[j]^-1;
>   od;
> od;
gap> 
gap> C:=Group(c,c[1]);
Group( ( 2,23,20,17, 8,10)( 3,24,30,28,16, 9)( 4,21,18, 7)( 5,22,19, 6)
(11,12,25,26)(13,14,27,15), ( 1, 5,21,29,27,12)( 2, 4,20,17,11,10)
( 6,18,15, 9)( 7,19,16, 8)(13,24,23,26)(14,25,22,30), ( 1,13,26,29,19, 7)
( 2,24,21, 5)( 3,25,22, 4)( 6, 8,10,14,23,20)(11,28,18,15)(12,27,17,16), 
( 1,24,21, 7, 3,22,19, 9, 2, 4, 6)( 8,25,20)(10,23,18)(11,14,29,16,12,26,28,
 15,13,30,17), ( 1, 4, 6, 8, 3,21,18, 9, 5,19,16)( 2,20,15)(10,22,17)
(11,14,23,28,12,25,30,27,13,24,29), ( 1,12,25, 2)( 3,10,13,24)( 4, 6, 8,11,14,
 23)( 5, 9,15,27,30,22)(16,28,20,19)(17,29,21,18), ( 2, 7,15,13, 3, 9,12,25,
  5, 8,10)( 4,16,14)( 6,11,24)(17,26,22,19,28,30,21,18,27,23,20), 
( 1, 7,16,12, 3, 6, 8,10, 5,18,15)( 2,19,11)( 4,17,13)(14,23,20,27,25,22,29,
 26,24,21,28), ( 1, 8,15,13)( 2, 4, 6,17,11,14)( 3, 7,18,28,26,25)
( 9,16,12,10)(19,29,23,22)(20,30,24,21), ( 1,25,22, 7,10, 2, 4, 9,13,24, 5)
( 6,12,23)( 8,14,21)(11,30,19,16,27,29,18,15,26,20,17), ( 2, 6,10, 4, 8)
(11,23,17,14,20)(12,22,16,25,19)(13,21,15,24,18), ( 2,10, 8,17,20,23)
( 3, 9,16,28,30,24)( 4, 7,18,21)( 5, 6,19,22)(11,26,25,12)(13,15,27,14), 
( 1, 5,18,29,27,25)( 3, 6,16,28,14,24)( 4,19,30,23)( 7,15,12,10)( 8,11,13, 9)
(20,26,22,21), ( 1,13,11,29,19, 4)( 2,14,26,22)( 3, 9,12,28,30,21)
( 5, 8,16,18)( 6, 7,15,17)(23,24,25,27), ( 1,24,22, 5)( 2,23, 4, 3)
( 6, 9,12,14,30,21)( 7,10,25,26,20,18)( 8,11,28,17)(15,27,29,16), 
( 1, 4, 7, 9)( 2,22,19,17,15,13)( 3, 5, 8,10)( 6,16,12,14,24,21)(11,26,30,29)
(20,28,27,23), ( 1,12,14,24,10,11,26, 2,13,27,23)( 3,15,30)( 4, 7,17,19, 5, 8,
 29,21, 6,16,20)( 9,28,22), ( 3,12,24, 9,14)( 4,15,23, 7,27)( 5,11,22, 8,26)
( 6,28,21,16,30), ( 1, 7,15,25, 3, 9,12, 2, 5, 8,13)( 4,16,14)( 6,11,24)
(17,27,23,19,29,26,22,18,28,30,21), ( 1, 8,11,25,10,15,27, 2, 9,12,14)
( 3,16,26)( 4,18,20,22, 5,17,30,21, 6,29,23)( 7,28,24), ( 1,25,23, 4,10,14,24,
 3,13,26,22)( 5,12,30)( 6,16,28,19, 7,15,29,18, 8,11,20)( 9,27,21), 
( 2, 4, 7,13,24, 3, 9,25,22, 5,10)( 6,12,23)( 8,14,21)(11,26,19,16,28,30,18,
 15,27,20,17), ( 1,12,27,29,21, 5)( 2,10,11,17,20, 4)( 6, 9,15,18)
( 7, 8,16,19)(13,26,23,24)(14,30,22,25), ( 1,25,27,29,18, 5)( 3,24,14,28,16, 6
 )( 4,23,30,19)( 7,10,12,15)( 8, 9,13,11)(20,21,22,26), ( 1,27,19)
( 2,14,30, 4,24,26,20, 3,25,23,21)( 5,13,29)( 6, 9,11,16, 7,10,28,18, 8,12,17
 ), ( 1,26,18)( 2,23,21, 5,24,30,19, 3,22,20, 6)( 7,25,29)( 8,12,27,16, 9,13,
 28,15,10,14,17), ( 1,25,23,29,18, 8)( 2,22,30,17,15, 9)( 3,21,19, 7)
( 4,20, 6, 5)(10,14,27,11)(12,13,26,28), ( 1,25,23, 3,10,14,22, 2,13,26, 4)
( 5,12,30)( 6,15,17,19, 7,11,29,18, 8,28,20)( 9,27,21), ( 1,25, 4, 7,10,24, 3,
 9,13,22, 5)( 6,12,23)( 8,14,21)(11,26,20,16,28,30,19,15,27,29,18), 
( 1, 3, 6, 9)( 2, 5, 7,10)( 4,19,16,11,13,24)( 8,12,25,23,21,18)(14,30,29,28)
(17,27,26,20), ( 1,10,14,24)( 2, 9,13,25)( 3, 7,15,28,26,22)( 5, 8,12,27,23,21
 )( 6,16,29,20)(17,30,19,18), ( 1,23, 5,25,21)( 6,13,20, 9,26)( 7,14,19,10,30)
( 8,27,18,12,29), ( 1,22,19, 7, 2, 4, 6, 9,24,21, 5)( 8,25,20)(10,23,18)
(11,14,30,16,12,27,29,15,13,26,17), ( 1, 7,19,29,26,13)( 2, 5,21,24)
( 3, 4,22,25)( 6,20,23,14,10, 8)(11,15,18,28)(12,16,17,27), ( 1, 4,19,29,11,13
 )( 2,22,26,14)( 3,21,30,28,12, 9)( 5,18,16, 8)( 6,17,15, 7)(23,27,25,24), 
( 1,19,27)( 2,21,23,25, 3,20,26,24, 4,30,14)( 5,29,13)( 6,17,12, 8,18,28,10,
  7,16,11, 9), ( 1, 3, 6, 8)( 2, 5, 7, 9)( 4,19,16,11,13,24)(10,25,22,20,18,15
 )(14,23,29,28)(17,27,26,30), ( 1, 7,16,10, 3, 6,15, 9, 5,18,12)( 2,19,11)
( 4,17,13)(14,22,30,27,25,21,29,26,24,20,28), ( 1, 7,16,29,26,24)
( 2, 9,15,17,30,22)( 3, 6,19,21)( 4, 5,18,20)(10,11,27,25)(12,28,14,13), 
( 1,15,27,25, 9,12,14, 2, 8,11,13)( 3,16,26)( 4,19,29,22, 5,18,30,21, 6,17,23)
( 7,28,24), ( 1,16,13, 7,11)( 2,18,14, 5,28)( 3,17,25, 6,27)( 4,29,24,19,26), 
( 1,18,26)( 2, 5,20,22, 3, 6,30,24, 4,19,23)( 7,29,25)( 8,17,27,10,15,28,14,
  9,16,11,13), ( 1,10,14, 2)( 3, 9,13,25)( 4, 7,16,11,26,24)( 5, 8,12,27,23,21
 )( 6,17,29,20)(18,28,30,19), ( 1, 7,12,25, 3, 8,10, 2, 5,15,13)( 4,16,14)
( 6,11,24)(17,27,22,19,29,26,21,18,28,23,20), ( 1, 6, 4, 2, 9,19,22, 3, 7,21,
 24)( 8,20,25)(10,18,23)(11,17,30,13,15,28,26,12,16,29,14), ( 1, 5,22,24)
( 2, 3, 4,23)( 6,21,30,14,12, 9)( 7,18,20,26,25,10)( 8,17,28,11)
(15,16,29,27), ( 1,18,26)( 2, 6,20,22, 3,19,30,24, 5,21,23)( 7,29,25)
( 8,17,14,10,15,28,13, 9,16,27,12), ( 1, 8, 6, 3)( 2, 9, 7, 5)( 4,24,13,11,16,
 19)(10,15,18,20,22,25)(14,28,29,23)(17,30,26,27), ( 1, 8,15,12)
( 2, 5,19,17,27,13)( 3, 7,18,28,26,25)( 4,20,30,24)( 9,16,11,10)
(21,29,23,22), ( 1, 8,19, 5, 9,16,21, 3, 7,18, 4)( 2,15,20)(10,17,22)
(11,29,23,13,27,30,24,12,28,26,25), ( 1,11,26,25,10,27,23, 2,12,14,24)
( 3,15,30)( 4, 7,18,20, 5, 8,17,21, 6,16,29)( 9,28,22), ( 1, 8,27,25,10,15,14,
 2, 9,11,13)( 3,16,26)( 4,19,29,23, 5,18,20,22, 6,17,30)( 7,28,24), 
( 1,17,24, 8,30)( 2,16,23, 9,29)( 3,18,22, 7,20)(10,28,25,15,26), 
( 1,12,27,29,21, 5)( 2,13,26,23)( 3,10,15,28,20,22)( 6, 9,16,18)( 7, 8,17,19)
(14,30,24,25), ( 1,10,13,24)( 2, 9,12,25)( 3, 7,15,28,26,22)( 4, 6, 8,11,14,23
 )(16,29,20,19)(17,30,21,18), ( 1,16,19, 5, 9,18,21, 3, 8, 6, 4)( 2,15,20)
(10,17,22)(11,29,24,13,27,30,25,12,28,23,14), ( 1, 9, 7, 4)( 2,13,15,17,19,22)
( 3,10, 8, 5)( 6,21,24,14,12,16)(11,29,30,26)(20,23,27,28), ( 1, 8,18,29,23,25
 )( 2, 9,15,17,30,22)( 3, 7,19,21)( 4, 5, 6,20)(10,11,27,14)(12,28,26,13), 
( 1,12,18, 5, 9,15, 6, 3,10,16, 7)( 2,11,19)( 4,13,17)(14,28,20,24,26,29,21,
 25,27,30,22), ( 1,12,15, 8)( 2,13,27,17,19, 5)( 3,25,26,28,18, 7)
( 4,24,30,20)( 9,10,11,16)(21,22,23,29), ( 1,28, 4,12,20)( 2,27,22,13,30)
( 3,11,21,10,29)( 5,15,19, 9,17), ( 1,14,24, 3,10,26,22, 2,13,23, 4)( 5,12,30)
( 6,16,28,20, 7,15,17,19, 8,11,29)( 9,27,21), ( 1,12,14, 2)( 3,10,13,25)
( 4, 7,16,11,26,24)( 5, 9,15,27,30,22)( 6,17,29,21)(18,28,20,19), 
( 1,12,26,25,10,11,23, 2,13,27,24)( 3,15,30)( 4, 8,17,19, 5,16,29,21, 7,18,20)
( 9,28,22), ( 1,27,19)( 2,26,20, 4,25,23,21, 3,14,30,22)( 5,13,29)
( 6, 9,15,17, 7,10,11,18, 8,12,28), ( 1,25,22, 4)( 2,24,21, 3)( 5, 9,13,27,30,
 19)( 6, 8,10,14,23,20)(11,29,18,15)(12,28,17,16), ( 1, 2,25,12)( 3,24,13,10)
( 4,23,14,11, 8, 6)( 5,22,30,27,15, 9)(16,19,20,28)(17,18,21,29), 
( 1,23,27,13, 2,26,11,10,24,14,12)( 3,30,15)( 4,20,16, 6,21,29, 8, 5,19,17, 7)
( 9,22,28), ( 1, 4,26,13, 2,22,14,10, 3,23,25)( 5,30,12)( 6,20,28, 8,18,29,11,
 7,19,17,15)( 9,21,27), ( 1,24,26,29,16, 7)( 2,22,30,17,15, 9)( 3,21,19, 6)
( 4,20,18, 5)(10,25,27,11)(12,13,14,28), ( 1, 4,18, 7, 3,21,16, 9, 5,19, 8)
( 2,20,15)(10,22,17)(11,25,26,28,12,24,30,27,13,23,29), ( 1,20,12, 4,28)
( 2,30,13,22,27)( 3,29,10,21,11)( 5,17, 9,19,15), ( 1, 7,15,12)
( 2, 5,19,17,27,13)( 3, 6,16,28,14,24)( 4,20,30,23)( 8,11,10, 9)
(21,29,26,22), ( 1,19,27)( 2,22,30,25, 3,21,26,24, 4,20,14)( 5,29,13)
( 6,17,15, 9,18,28,12, 7,16,11,10), ( 1, 4,22,24)( 2, 3,21,23)( 5,19,30,27,13,
 9)( 7,18,20,26,25,10)( 8,17,28,12)(11,15,16,29), ( 1, 4, 6, 9)
( 2,22,19,17,15,13)( 3, 5, 7,10)( 8,12,25,23,21,18)(11,14,30,29)
(20,28,27,26), ( 1, 6, 8,10, 3,18,15, 9, 5,16,12)( 2,19,11)( 4,17,13)
(14,23,20,28,25,22,30,27,24,21,29), ( 2,10, 8, 5,25,12, 9, 3,13,15, 7)
( 4,14,16)( 6,24,11)(17,20,23,27,18,21,30,28,19,22,26), ( 3,14, 9,24,12)
( 4,27, 7,23,15)( 5,26, 8,22,11)( 6,30,16,21,28), ( 1, 5,22,13, 9, 3,24,10, 7,
 4,25)( 6,23,12)( 8,21,14)(11,18,29,27,15,19,30,28,16,20,26), ( 1,13,11, 8, 2,
 14,12, 9,25,27,15)( 3,26,16)( 4,23,17, 6,21,30,18, 5,22,29,19)( 7,24,28), 
( 1,24,14,12, 2,23,27,10,25,26,11)( 3,30,15)( 4,29,16, 6,21,17, 8, 5,20,18, 7)
( 9,22,28), ( 1, 4,23,13, 2,22,26,10, 3,24,14)( 5,30,12)( 6,29,11, 8,19,17,15,
 7,20,28,16)( 9,21,27), ( 1,12,15, 7)( 2,13,27,17,19, 5)( 3,24,14,28,16, 6)
( 4,23,30,20)( 8, 9,10,11)(21,22,26,29), ( 1, 7,19,29,26,13)( 2, 5,22,24)
( 3, 4,23,25)( 6,21,30,14,12, 9)( 8,18,28,11)(15,16,17,27), ( 1, 8, 5, 3)
( 2, 9, 7, 4)( 6,21,24,14,12,16)(10,15,18,20,22,25)(11,17,30,26)
(23,27,28,29), ( 1,25,23,29,18, 8)( 3,24,30,28,16, 9)( 4,21,19, 7)
( 5,22,20, 6)(10,14,27,15)(11,12,13,26), ( 2, 4,20,17,11,10)( 3,21,30,28,12, 9
 )( 5,19,16, 8)( 6,18,15, 7)(13,24,23,27)(14,25,22,26), ( 1,15,18, 5,10, 8, 6,
 3,12,16, 7)( 2,11,19)( 4,13,17)(14,28,21,24,26,29,22,25,27,20,23), 
( 1,13, 8, 5, 2,12, 9, 3,25,15, 7)( 4,14,16)( 6,24,11)(17,21,30,28,18,22,26,
 29,19,23,27), ( 1, 9, 6, 3)( 2,10, 7, 5)( 4,24,13,11,16,19)( 8,18,21,23,25,12
 )(14,28,29,30)(17,20,26,27), ( 1,11, 7,13,16)( 2,28, 5,14,18)( 3,27, 6,25,17)
( 4,26,19,24,29), ( 1,13,11, 9, 2,14,15,10,25,27, 8)( 3,26,16)( 4,30,17, 6,22,
 20,18, 5,23,29,19)( 7,24,28), ( 1, 2,14,12)( 3,25,13,10)( 4,24,26,11,16, 7)
( 5,22,30,27,15, 9)( 6,21,29,17)(18,19,20,28), ( 1,27,19)( 2,14,20, 4,24,26,
 21, 3,25,30,22)( 5,13,29)( 6,10,11,16, 7,12,28,18, 9,15,17), ( 1,13,26,29,19,
 7)( 2,24,22, 5)( 3,25,23, 4)( 6, 9,12,14,30,21)( 8,11,28,18)(15,27,17,16), 
( 1,13,11,29,19, 4)( 2,14,26,23)( 3,10,15,28,20,22)( 5, 9,16,18)( 6, 7, 8,17)
(24,25,27,30), ( 1,26,18)( 2,30,19, 4,24,20, 6, 3,23,21, 5)( 7,25,29)
( 8,12,27,17, 9,13,11,16,10,14,28), ( 1,24,26,29,16, 7)( 2,23,20,17, 8,10)
( 3,22,19, 6)( 4,21,18, 5)(11,12,25,27)(13,14,28,15), ( 1,13,15, 8)
( 2,14,11,17, 6, 4)( 3,25,26,28,18, 7)( 9,10,12,16)(19,22,23,29)
(20,21,24,30), ( 1,14,12, 9, 2,27,15,10,25,11, 8)( 3,26,16)( 4,23,29, 6,21,30,
 17, 5,22,20,18)( 7,24,28), ( 1,24,14,10)( 2,25,13, 9)( 3,22,26,28,15, 7)
( 5,21,23,27,12, 8)( 6,20,29,16)(17,18,19,30), ( 1,26,18)( 2,23,19, 4,24,30,
  6, 3,22,20, 5)( 7,25,29)( 8,13,11,16, 9,14,28,15,10,27,17), ( 1,30, 8,24,17)
( 2,29, 9,23,16)( 3,20, 7,22,18)(10,26,15,25,28), ( 1,24,27,13, 2,23,11,10,25,
 26,12)( 3,30,15)( 4,20,18, 7,21,29,16, 5,19,17, 8)( 9,22,28), ( 1,24,22, 4)
( 2,23,21, 3)( 5, 9,13,27,30,19)( 7,10,25,26,20,18)( 8,12,28,17)
(11,29,16,15), ( 1, 3, 5, 8)( 2, 4, 7, 9)( 6,16,12,14,24,21)(10,25,22,20,18,15
 )(11,26,30,17)(23,29,28,27), ( 1, 4,19,29,11,13)( 2,23,26,14)( 3,22,20,28,15,
 10)( 5,18,16, 9)( 6,17, 8, 7)(24,30,27,25), ( 1,24,19, 7, 3,22, 6, 9, 2,21, 5
 )( 8,25,20)(10,23,18)(12,27,29,16,13,26,28,15,14,30,17), ( 1,21,18, 7, 3,19,
 16, 9, 4, 6, 8)( 2,20,15)(10,22,17)(11,14,23,29,12,25,26,28,13,24,30), 
( 1, 5,24,13, 9, 4, 2,10, 7,22,25)( 6,23,12)( 8,21,14)(11,17,20,26,15,18,29,
 27,16,19,30), ( 1,22,26,13, 3,24,14,10, 4,23,25)( 5,30,12)( 6,20,11, 8,18,29,
 15, 7,19,28,16)( 9,21,27), ( 1,21,25, 5,23)( 6,26, 9,20,13)( 7,30,10,19,14)
( 8,29,12,18,27), ( 1, 2,14,10)( 3,25,13, 9)( 4,24,26,11,16, 7)
( 5,21,23,27,12, 8)( 6,20,29,17)(18,19,30,28), ( 1, 5,21,29,27,12)
( 2,23,26,13)( 3,22,20,28,15,10)( 6,18,16, 9)( 7,19,17, 8)(14,25,24,30), 
( 1,19,27)( 2,22,30,14, 3,21,23,25, 4,20,26)( 5,29,13)( 6,28,12, 8,18,11,10,
  7,17,15, 9), ( 1, 9, 6, 4)( 2,13,15,17,19,22)( 3,10, 7, 5)( 8,18,21,23,25,12
 )(11,29,30,14)(20,26,27,28), ( 1, 8,18,29,23,25)( 3, 9,16,28,30,24)
( 4, 7,19,21)( 5, 6,20,22)(10,15,27,14)(11,26,13,12), ( 1,18,26)
( 2, 5,21,23, 3, 6,20,24, 4,19,30)( 7,29,25)( 8,28,14,10,16,11,13, 9,17,27,12
 ), ( 1, 5,21, 2, 9, 6,22, 3, 7,19,24)( 8,20,25)(10,18,23)(12,17,30,14,15,28,
 26,13,16,29,27), ( 1, 5,18,29,27,25)( 2, 4, 6,17,11,14)( 7,16,12,10)
( 8,15,13, 9)(19,30,23,22)(20,26,24,21), ( 2, 8, 4,10, 6)(11,20,14,17,23)
(12,19,25,16,22)(13,18,24,15,21), ( 2,10, 5,22,25, 9, 3,24,13, 7, 4)( 6,23,12)
( 8,21,14)(11,17,20,27,15,18,30,28,16,19,26), ( 1, 5,21,24, 9, 6, 4, 2, 7,19,
 22)( 8,20,25)(10,18,23)(11,17,26,13,15,29,27,12,16,30,14), ( 1,13,15, 5, 2,
 10, 8, 3,25,12, 7)( 4,14,16)( 6,24,11)(17,20,23,28,18,21,26,29,19,22,27), 
( 1,24,13,10)( 2,25,12, 9)( 3,22,26,28,15, 7)( 4,23,14,11, 8, 6)(16,19,20,29)
(17,18,21,30), ( 1, 4,22,25)( 2, 3,21,24)( 5,19,30,27,13, 9)( 6,20,23,14,10, 8
 )(11,15,18,29)(12,16,17,28), ( 1,12,16, 5, 9,15,18, 3,10, 8, 6)( 2,11,19)
( 4,13,17)(14,29,21,24,27,30,22,25,28,20,23), ( 2,10,11,17,20, 4)
( 3, 9,12,28,30,21)( 5, 8,16,19)( 6, 7,15,18)(13,27,23,24)(14,26,22,25), 
( 1, 7,16,29,26,24)( 2,10, 8,17,20,23)( 3, 6,19,22)( 4, 5,18,21)(11,27,25,12)
(13,15,28,14), ( 1, 8, 6, 4, 9,16,19, 3, 7,18,21)( 2,15,20)(10,17,22)
(11,30,24,13,28,26,25,12,29,23,14), ( 1,25,27,29,18, 5)( 2,14,11,17, 6, 4)
( 7,10,12,16)( 8, 9,13,15)(19,22,23,30)(20,21,24,26) )
gap> N:=Size(C);
10712468422656000
gap> 10712468422656000;
10712468422656000
gap> #same as in slicee1.log
gap> quit;