f:=[1]; f[1]:=(1,2,3,4,5); f[2]:=(1,6,7,8,2); f[3]:=(2,8,9,10,3); f[4]:=(3,10,11,12,4); f[5]:=(5,4,12,13,14); f[6]:=(1,5,14,15,6); f[7]:=(16,20,7,6,15); f[8]:=(7,20,19,9,8); f[9]:=(11,10,9,17,18); f[10]:=(12,11,18,17,13); f[11]:=(15,14,13,17,16); f[12]:=(16,17,18,19,20); c:=[[1]]; for i in [1..12] do for j in [1..12] do c[i][j]:=f[i]*f[j]^-1; od; od; a:=Concatenation(c); C:=Group(a,a[1]);