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

G<x,y>:=PermutationGroup<100|\[
88,22,3,5,4,98,66,24,20,75,11,74,39,45,58,46,55,96,48,9,94,2,76,8,25,
42,65,28,51,86,70,71,33,78,93,56,87,67,13,83,59,26,73,44,14,16,100,19,72,77,
29,95,53,84,17,36,82,15,41,60,91,64,63,62,27,7,38,68,81,31,32,49,43,12,10,
23,50,34,97,80,69,57,40,54,85,30,37,1,99,90,61,92,35,21,52,18,79,6,89,47]
,\[
59,84,78,14,99,54,64,4,2,30,90,33,58,20,18,50,70,76,91,67,56,55,65,61,81,
68,16,92,98,3,36,46,21,28,12,72,15,17,95,80,73,39,32,26,13,5,31,25,45,88,
10,82,40,89,23,35,34,87,75,66,29,19,24,1,86,42,8,77,93,52,53,85,62,71,7,
94,100,51,27,74,96,38,48,69,47,22,49,79,11,6,41,97,9,37,60,83,57,63,43,44]
>;
print "Group G is J2:2 < Sym(100)";