/*
www-ATLAS of Group Representations.
A16 represented as permutations on 120 points.
*/

G<x,y>:=PermutationGroup<120|\[
16,1,17,18,19,20,21,22,23,24,25,26,27,28,29,2,30,31,32,33,34,35,36,37,38,
39,40,41,42,3,4,5,6,7,8,9,10,11,12,13,14,15,43,44,45,46,47,48,49,50,
51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,
76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,
101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120]
,\[
2,3,4,5,6,7,8,9,10,11,12,13,14,15,1,30,31,32,33,34,35,36,37,38,39,
40,41,42,16,43,44,45,46,47,48,49,50,51,52,53,54,17,55,56,57,58,59,60,61,62,
63,64,65,18,66,67,68,69,70,71,72,73,74,75,19,76,77,78,79,80,81,82,83,84,20,
85,86,87,88,89,90,91,92,21,93,94,95,96,97,98,99,22,100,101,102,103,104,105,23,106,
107,108,109,110,24,111,112,113,114,25,115,116,117,26,118,119,27,120,28,29]
>;
print "Group G is A16 < Sym(120)";