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

G<x,y>:=PermutationGroup<231|\[
1,4,6,2,9,3,12,14,5,17,19,7,21,8,24,26,10,29,11,20,13,34,36,15,38,
16,41,28,18,45,44,32,48,22,35,23,53,25,55,57,27,60,61,31,30,65,62,33,68,70,
71,73,37,74,39,56,40,58,78,42,43,47,83,85,46,75,89,49,92,50,51,97,52,54,66,
76,102,59,105,91,81,108,63,111,64,114,116,117,67,90,80,69,122,124,125,127,72,130,99,132,
133,77,135,123,79,115,137,82,140,142,84,144,113,86,106,87,88,151,152,153,155,93,104,94,95,
159,96,162,164,98,165,100,101,148,103,171,107,172,139,109,174,110,175,112,177,146,179,134,181,168,
118,119,120,163,121,156,176,185,126,160,169,128,154,129,131,190,192,150,161,194,136,138,196,141,143,
157,145,201,147,198,149,199,203,184,158,205,187,207,208,166,193,167,191,170,211,173,213,180,182,216,
178,212,183,204,186,206,188,189,219,221,195,202,197,215,214,200,226,227,209,228,210,224,223,222,230,
217,218,220,229,225,231]
,\[
2,5,1,7,3,10,13,4,15,18,6,20,8,22,25,9,27,11,30,12,32,35,14,37,16,
39,42,17,43,46,19,47,21,49,23,51,24,54,56,26,58,28,62,29,63,31,33,66,69,34,
72,36,59,38,75,40,77,53,41,79,81,44,84,45,86,88,48,90,50,93,95,52,98,57,101,
55,100,103,106,60,107,61,109,64,112,115,65,67,118,119,68,120,123,70,126,71,128,131,73,74,
76,134,136,78,105,80,82,138,141,83,143,145,85,146,87,148,150,89,91,154,92,102,94,125,158,
96,160,163,97,111,99,166,168,156,165,104,130,151,108,173,110,161,137,140,113,178,114,180,116,117,
139,170,182,121,183,122,124,157,186,142,127,187,129,189,152,191,132,193,133,135,195,159,176,197,175,
144,199,147,185,149,179,153,204,155,202,194,206,162,164,209,167,192,169,172,171,212,214,174,215,177,
217,181,218,184,220,188,221,201,223,190,222,196,208,198,200,224,213,228,203,205,211,207,210,229,216,
230,226,219,225,231,227]
>;
print "Group G is M22 < Sym(231)";