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