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