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