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

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