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

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