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

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