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