/*
www-ATLAS of Group Representations.
(A5 x U3(8):3a):2 represented as permutations on 518 points.
*/

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