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

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