/*
www-ATLAS of Group Representations.
4a.L3(4) represented as permutations on 480 points.
*/

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