/*
www-ATLAS of Group Representations.
J2 represented as permutations on 315 points.
*/

G<x,y>:=PermutationGroup<315|\[
2,1,3,6,8,4,10,5,9,7,14,16,17,11,20,12,13,23,24,15,21,25,18,19,22,
28,29,26,27,32,34,30,37,31,39,40,33,43,35,36,46,47,38,48,49,41,42,44,45,54,
56,58,60,50,63,51,65,52,67,53,69,70,55,73,57,76,59,79,61,62,83,84,64,85,86,
66,89,90,68,91,92,93,71,72,74,75,88,87,77,78,80,81,82,104,105,107,109,111,113,114,
116,118,120,94,95,122,96,124,97,126,98,128,99,100,130,101,132,102,134,103,136,106,139,108,142,
110,145,112,148,115,150,117,153,119,156,121,147,159,123,160,161,125,164,165,127,166,137,129,169,131,
151,170,133,173,155,135,174,175,138,140,141,163,162,143,144,146,183,184,149,152,172,171,154,157,158,
190,191,193,195,196,198,200,167,168,202,203,205,206,207,176,177,211,178,213,179,180,216,181,218,182,
220,185,186,222,187,188,189,221,225,227,192,230,194,233,235,197,238,199,241,201,208,204,246,248,209,
251,210,240,253,212,254,255,214,258,215,260,261,217,262,228,219,252,265,267,268,223,271,224,273,274,
226,242,229,231,232,279,257,234,259,236,237,239,264,263,243,284,244,245,287,270,247,272,249,250,289,
276,290,291,256,292,294,282,295,266,297,299,269,300,275,277,278,280,304,281,283,306,285,308,286,288,
307,309,310,293,313,296,301,298,302,303,311,312,305,314,315]
,\[
3,4,5,7,1,9,2,11,12,13,15,6,18,19,8,21,22,10,25,16,20,26,27,23,14,
17,24,30,31,33,35,36,28,38,29,41,42,44,45,39,32,43,37,34,40,50,51,52,53,55,
57,59,61,62,46,64,47,66,48,68,49,71,72,74,75,77,78,80,81,82,54,73,63,56,87,
88,58,79,67,60,93,94,95,96,97,98,65,99,100,101,102,103,69,70,106,108,110,112,76,115,
117,119,114,113,121,83,123,84,125,85,127,86,129,92,89,131,90,133,91,135,137,138,140,141,143,
144,146,147,104,149,151,152,154,155,157,158,105,139,122,107,162,163,109,145,126,111,167,168,150,130,
116,171,172,118,156,134,120,176,166,177,178,124,179,180,181,182,128,175,185,186,132,187,188,189,148,
136,192,194,142,197,199,159,201,183,203,204,153,207,208,209,210,160,212,161,214,215,164,217,165,219,
184,221,169,170,223,224,173,174,226,228,229,231,232,234,236,237,239,240,242,243,244,245,247,249,250,
190,252,191,230,211,193,256,257,195,259,196,238,216,198,263,264,200,266,202,269,270,205,272,206,275,
276,277,262,261,278,213,279,235,258,280,281,282,218,283,251,220,285,286,222,287,248,271,288,284,225,
265,227,292,233,293,254,253,241,296,298,300,246,301,302,299,303,255,260,305,297,274,307,267,308,268,
273,306,311,312,310,289,295,290,314,294,291,313,304,315,309]
>;
print "Group G is J2 < Sym(315)";