/*
www-ATLAS of Group Representations.
2.S6(2) represented as permutations on 480 points.
*/

G<x,y>:=PermutationGroup<480|\[
2,4,1,3,9,12,11,13,7,19,5,8,6,28,21,29,33,36,15,41,10,35,37,47,50,
49,51,16,14,57,42,58,22,52,17,23,18,66,69,72,31,20,71,73,54,67,26,82,24,27,
25,45,84,34,93,94,32,30,101,104,107,103,105,111,112,46,38,119,43,122,39,44,40,129,97,
131,99,123,108,120,135,53,132,48,137,141,144,143,145,149,134,150,56,55,153,154,77,155,75,156,
62,161,59,63,60,170,79,61,163,171,65,64,181,182,185,187,186,188,80,68,193,78,70,195,168,
202,166,203,76,209,74,91,211,83,85,219,81,223,225,220,88,228,86,89,87,236,230,237,92,90,
243,244,96,95,100,98,255,256,233,260,109,264,102,235,261,125,267,127,268,110,106,239,269,270,262,
229,273,199,274,197,114,113,277,278,117,115,118,116,275,276,287,288,124,246,121,292,178,294,180,245,
254,128,126,212,252,207,204,301,133,304,130,206,302,307,305,308,249,309,140,136,247,310,139,311,138,
312,317,147,172,142,318,319,164,321,159,148,146,323,176,320,327,329,152,151,194,200,217,333,221,334,
337,201,339,205,158,157,291,289,341,165,160,162,345,175,346,343,169,167,174,173,295,293,179,177,190,
189,184,183,365,358,367,356,354,372,353,373,192,191,257,380,258,198,271,196,272,381,383,350,384,352,
213,208,387,215,210,388,216,214,222,218,226,224,399,392,401,389,231,227,234,238,232,403,240,400,409,
410,242,335,241,336,411,412,250,248,330,328,253,378,251,376,266,416,259,419,265,263,420,417,425,300,
426,298,283,285,396,280,395,282,429,430,433,435,434,436,281,437,279,439,438,440,441,286,284,442,445,
338,447,340,391,296,290,390,299,297,451,452,306,303,314,379,382,316,450,449,355,357,453,454,315,322,
313,458,324,459,432,462,431,460,326,325,332,331,427,428,466,348,342,464,347,344,456,468,461,469,351,
349,414,413,360,359,405,407,363,361,364,362,369,366,370,368,374,371,455,457,377,470,375,467,393,394,
386,385,398,397,444,423,443,404,402,406,421,408,474,415,473,418,446,424,422,448,479,480,463,465,477,
478,476,475,472,471]
,\[
1,5,7,4,10,2,15,3,17,20,22,24,26,6,31,8,34,9,39,30,43,45,11,48,12,
53,13,44,40,14,32,16,59,61,62,49,47,18,70,19,74,76,78,21,79,23,81,83,85,86,
88,25,91,27,28,29,97,99,102,33,68,109,35,36,37,115,117,38,121,96,124,125,127,130,41,
133,42,95,80,46,136,138,90,139,140,142,50,147,51,52,92,54,149,150,55,56,120,57,119,58,
159,162,164,166,168,60,69,71,175,63,177,179,64,65,84,66,82,67,191,192,194,196,198,200,201,
72,205,73,207,210,212,75,215,77,217,184,221,224,226,183,227,229,231,232,234,87,239,89,241,242,
93,94,247,249,251,253,98,100,259,101,256,172,255,266,103,170,104,171,105,218,222,106,107,108,176,
110,228,111,230,112,195,193,113,114,279,281,283,285,116,118,258,257,289,290,291,293,122,295,123,296,
297,141,143,126,299,128,260,129,236,214,237,261,131,132,216,134,167,135,311,312,169,137,313,190,315,
189,178,202,238,203,180,320,144,323,145,325,326,146,240,148,328,330,220,219,151,152,211,153,209,154,
338,155,340,156,199,197,157,158,342,329,327,160,161,165,163,348,349,351,319,321,173,174,355,357,181,
182,361,363,366,185,369,186,371,187,374,188,375,377,379,271,382,334,263,333,265,272,298,204,300,206,
339,337,208,243,244,213,388,387,365,367,397,398,400,223,403,225,383,384,252,405,254,233,407,235,336,
335,392,331,389,332,245,246,370,368,248,250,413,353,414,354,284,344,286,262,421,423,264,347,317,267,
318,268,269,270,426,273,425,274,275,276,386,277,385,278,358,292,356,280,294,282,416,434,433,417,446,
287,448,288,432,412,411,431,451,452,301,302,376,378,303,304,305,306,307,308,309,310,419,420,455,456,
457,314,461,316,406,322,408,324,463,465,445,447,362,364,341,415,418,343,391,390,467,345,470,346,395,
396,350,352,471,472,359,360,435,436,399,401,440,439,469,468,475,476,372,373,430,394,429,393,380,381,
427,428,449,450,478,460,477,473,474,402,462,404,424,409,422,410,466,441,442,464,453,454,437,438,458,
459,443,444,479,480]
>;
print "Group G is 2.S6(2) < Sym(480)";