/*
www-ATLAS of Group Representations.
M22 represented as permutations on 462 points.
*/

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