/*
www-ATLAS of Group Representations.
U3(8):3c represented as permutations on 513 points.
*/

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