/*
www-ATLAS of Group Representations.
2.A7 represented as permutations on 240 points.
*/

G<x,y>:=PermutationGroup<240|\[
2,5,8,6,1,12,16,11,21,19,3,4,29,32,26,17,7,39,24,44,23,47,9,10,53,
35,57,60,31,20,13,33,14,69,15,72,34,75,42,36,78,18,65,30,86,88,49,92,22,97,
64,102,55,104,25,108,59,43,27,61,28,66,113,100,58,70,46,109,37,62,123,40,127,129,76,
38,135,81,96,56,41,141,89,101,145,87,45,67,122,133,107,93,48,115,156,110,99,159,50,51,
131,103,52,105,54,165,151,80,119,79,90,63,112,150,155,173,174,98,68,176,171,83,124,71,95,
180,128,73,130,74,84,183,111,157,138,186,191,77,114,132,143,153,82,200,146,85,154,158,190,139,
91,147,199,152,94,125,189,170,118,188,120,212,214,211,167,163,106,219,220,148,177,116,172,175,117,
161,121,208,198,181,126,226,140,218,182,194,204,196,134,203,195,169,144,136,137,160,168,224,142,193,
187,228,149,201,184,230,231,217,206,207,215,213,162,166,164,234,178,205,197,192,235,216,236,179,223,
185,221,229,202,209,210,238,239,222,227,225,232,237,240,233]
,\[
3,1,9,10,13,4,2,18,7,22,25,27,30,5,6,24,37,40,41,8,46,15,50,52,54,
11,58,12,63,34,64,66,57,14,70,16,74,17,77,45,80,82,19,59,20,89,90,21,95,98,
23,73,38,56,106,26,109,62,110,69,29,28,114,115,31,117,32,33,121,122,35,125,36,53,131,
133,136,137,39,84,140,142,42,43,44,96,149,150,94,130,47,103,154,48,148,49,157,101,160,78,
51,71,162,143,164,166,55,99,120,147,60,61,171,112,116,65,118,67,174,68,170,102,87,88,179,
72,183,185,81,152,187,75,176,76,145,139,193,93,79,197,123,144,105,83,201,119,85,86,198,204,
155,91,92,206,207,208,199,97,156,211,100,205,104,163,216,168,180,107,108,111,221,113,203,223,217,
190,189,124,182,215,191,126,128,127,184,129,188,132,212,134,173,135,161,175,151,138,186,141,209,177,
227,146,225,178,153,196,224,219,158,159,169,228,220,213,233,194,165,167,210,226,222,172,202,195,181,
232,192,200,231,236,235,214,218,230,238,239,229,237,240,234]
>;
print "Group G is 2.A7 < Sym(240)";