/*
www-ATLAS of Group Representations.
6.A6 represented as permutations on 432 points.
*/

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