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

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