/*
www-ATLAS of Group Representations.
L2(71) represented as permutations on 72 points.
*/

G<x,y>:=PermutationGroup<72|\[
70,35,47,53,14,59,10,62,63,7,58,65,60,5,52,31,25,67,56,39,27,29,37,68,17,
30,21,38,22,26,16,51,43,48,2,69,23,28,20,55,45,49,33,50,41,54,3,34,42,44,
32,15,4,46,40,19,66,11,6,13,64,8,9,61,12,57,18,24,36,1,72,71]
,\[
71,36,48,54,15,60,11,63,64,8,59,66,61,6,53,32,26,68,57,40,28,30,38,69,18,
31,22,39,23,27,17,52,44,49,3,70,24,29,21,56,46,50,34,51,42,55,4,35,43,45,
33,16,5,47,41,20,67,12,7,14,65,9,10,62,13,58,19,25,37,2,72,1]
>;
print "Group G is L2(71) < Sym(72)";