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

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