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

G<x,y>:=PermutationGroup<7|\[
1,3,2,7,5,6,4]
,\[
7,2,1,5,6,4,3]
>;
print "Group G is L3(2) < Sym(7)";