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

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