/* www-ATLAS of Group Representations. M24 represented as permutations on 759 points. */ G:=PermutationGroup<759|\[ 2,1,5,7,3,6,4,11,12,14,8,9,18,10,20,21,23,13,26,15,16,29,17,31,32, 19,35,36,22,39,24,25,43,44,27,28,48,47,30,51,52,54,33,34,58,59,38,37,63,64, 40,41,68,42,70,71,73,45,46,77,78,79,49,50,83,84,86,53,89,55,56,93,57,95,96, 98,60,61,62,103,104,106,65,66,110,67,112,113,69,116,117,119,72,122,74,75,126,76,128,129, 131,133,80,81,137,82,139,140,142,85,145,87,88,148,149,90,91,153,92,155,156,94,159,160,162, 97,165,99,100,169,101,132,102,172,173,175,105,178,107,108,182,109,184,185,111,188,189,114,115,193, 194,171,118,197,120,121,201,202,123,124,206,125,208,209,127,212,213,215,130,217,152,134,135,222,136, 224,225,138,227,228,230,141,233,143,144,214,236,146,147,239,240,242,150,151,245,246,154,248,249,251, 157,158,255,256,258,161,261,163,164,265,266,166,167,186,168,270,170,272,273,274,276,174,279,176,177, 283,179,180,286,181,288,289,183,292,294,187,297,299,190,191,303,192,305,306,195,196,309,198,199,313, 200,315,316,318,203,204,322,205,302,324,207,327,328,330,210,211,334,335,337,216,340,218,219,220,345, 221,346,339,223,349,350,352,226,355,357,229,360,231,232,364,365,234,368,235,370,371,237,374,238,376, 377,259,241,308,243,244,383,304,247,385,386,388,250,391,252,253,395,254,397,398,369,257,400,260,403, 404,262,263,408,264,410,409,412,267,268,416,269,418,278,271,421,422,424,426,275,277,430,431,280,281, 434,282,353,436,284,438,285,440,441,287,444,445,447,290,291,451,452,293,321,295,296,457,458,298,461, 300,301,465,466,467,469,471,307,473,310,311,460,312,423,453,314,478,479,481,317,484,319,320,487,323, 489,402,325,326,493,427,495,329,332,331,500,333,502,503,505,336,507,338,510,511,341,342,389,343,515, 344,406,516,513,347,348,432,433,351,521,354,523,356,525,358,359,529,530,361,362,533,363,482,535,508, 366,367,390,539,541,542,372,373,545,387,375,548,549,551,378,379,380,555,381,497,382,558,384,560,562, 564,565,392,393,568,394,448,570,396,509,538,399,575,401,577,578,580,405,582,407,584,470,546,585,411, 587,413,414,590,415,506,417,450,485,419,420,595,429,597,425,428,600,520,602,518,435,598,437,583,439, 528,604,526,442,443,607,609,446,612,449,614,615,486,454,617,455,456,620,622,459,498,625,462,463,628, 464,552,630,632,468,635,637,472,639,474,641,475,642,476,477,644,646,480,648,483,650,651,653,654,488, 634,490,491,657,492,658,494,524,496,499,662,501,588,663,504,666,667,593,668,512,670,514,522,629,517, 673,519,603,527,675,652,531,676,532,677,678,534,680,536,537,674,540,683,684,543,686,544,640,688,547, 626,691,550,599,553,664,554,695,576,556,698,557,699,559,623,561,563,702,566,705,567,706,569,655,571, 572,606,573,574,649,708,579,581,711,712,713,586,589,631,715,591,592,594,710,596,719,720,601,616,605, 608,610,611,722,613,726,728,618,619,729,621,731,624,693,703,627,735,689,694,633,730,737,636,638,700, 725,643,690,740,645,647,742,656,744,669,659,660,661,724,665,733,747,745,671,672,749,679,750,714,701, 681,754,682,685,696,687,755,716,751,692,756,697,743,739,704,758,707,738,709,718,757,717,753,721,723, 734,759,748,727,732,736,746,741,752] ,\[ 3,4,6,8,9,1,10,2,13,15,16,17,5,19,7,22,24,25,27,28,21,11,30,12,33, 34,14,37,38,40,41,42,18,45,46,47,20,49,50,23,53,55,56,57,26,60,61,62,29,65, 66,67,31,69,32,72,74,75,76,35,36,80,81,82,39,85,87,88,90,91,92,43,94,44,97, 99,100,101,102,48,105,107,108,109,51,111,52,114,115,54,118,120,121,123,124,125,58,127,59,130, 132,134,135,136,63,138,64,141,143,144,146,147,113,68,150,151,152,70,154,71,157,158,73,161,163, 164,166,167,168,77,170,78,171,79,174,176,177,179,180,181,83,183,84,186,187,86,190,191,192,89, 195,196,142,198,199,200,93,203,204,205,95,207,96,210,211,98,214,216,145,218,219,220,221,103,223, 104,226,178,106,229,231,232,153,234,235,110,169,237,238,112,241,243,244,194,116,117,247,119,250,252, 253,254,122,257,259,260,262,263,264,126,267,268,269,128,215,129,271,131,133,275,277,278,280,281,282, 137,284,285,139,287,140,290,291,293,295,296,298,300,301,302,148,304,149,307,308,255,310,311,312,155, 314,156,317,319,320,321,159,323,160,325,326,162,329,331,332,333,165,336,338,339,341,342,343,344,172, 306,173,347,348,175,351,353,354,356,358,359,361,362,363,182,366,367,184,369,185,372,373,188,375,189, 378,379,380,349,381,382,193,384,370,197,387,389,390,392,393,394,201,396,202,246,399,360,401,402,206, 405,406,407,208,409,209,411,413,414,415,212,417,213,419,420,217,423,425,427,428,429,222,432,242,433, 224,435,225,437,424,227,439,228,442,443,230,446,448,449,450,233,453,454,455,456,431,236,459,460,462, 463,464,239,240,468,470,276,472,245,391,474,248,475,249,476,477,251,480,482,483,485,486,479,256,488, 258,490,491,492,261,494,496,497,498,499,265,501,266,504,506,400,508,509,270,512,371,513,272,514,273, 408,274,517,503,518,421,279,519,520,473,522,283,524,526,527,528,286,322,531,532,288,534,289,536,537, 434,538,292,540,294,309,543,544,297,546,547,299,550,552,553,487,554,303,556,305,557,559,352,561,563, 313,385,566,567,315,569,316,571,572,318,573,574,416,576,324,579,581,568,327,583,328,426,330,565,586, 588,589,346,334,560,335,591,337,592,593,594,340,596,355,598,599,345,601,350,451,510,603,523,562,551, 357,535,605,529,606,608,610,611,613,440,364,365,616,539,368,618,619,621,623,624,374,626,627,549,376, 629,377,631,633,634,636,577,638,383,640,386,438,388,643,410,645,398,647,649,530,395,652,397,466,548, 655,471,656,403,580,404,659,651,660,661,614,628,412,664,665,595,418,521,669,507,422,630,620,671,672, 430,602,436,674,441,570,582,444,609,445,646,679,447,500,681,452,682,666,685,515,457,687,458,689,690, 461,575,692,525,693,465,694,467,696,697,469,632,700,701,505,691,668,703,704,478,533,493,657,481,584, 495,484,653,707,489,709,710,658,607,650,678,683,714,502,684,541,716,717,511,718,516,721,722,719,723, 676,724,585,725,622,727,699,720,590,542,730,680,732,545,733,734,587,597,637,736,555,738,673,617,558, 739,695,564,711,705,741,743,735,578,648,644,712,706,745,686,746,642,748,604,662,600,698,751,752,612, 753,615,744,726,715,708,756,625,641,731,702,757,635,639,740,713,749,654,754,663,667,742,670,747,750, 675,677,729,728,755,688,759,758,737] >; print "Group G is M24 < Sym(759)";