/*
www-ATLAS of Group Representations.
2.L3(4) represented as permutations on 112 points.
*/

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