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