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

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