/*
www-ATLAS of Group Representations.
L2(32) represented as permutations on 496 points.
*/

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