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

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