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