/*
www-ATLAS of Group Representations.
U3(5):2 represented as permutations on 525 points.
*/

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