/*
www-ATLAS of Group Representations.
U3(4):4 represented as permutations on 208 points.
*/

G<x,y>:=PermutationGroup<208|\[
2,1,5,7,3,10,4,13,15,6,18,20,8,22,9,25,17,11,29,12,31,14,34,36,16,
39,40,42,19,45,21,32,49,23,52,24,55,57,26,27,60,28,63,65,30,46,69,70,33,72,
74,35,77,54,37,81,38,84,59,41,86,88,43,91,44,85,94,95,47,48,98,50,100,51,101,
102,53,105,106,90,56,109,111,58,66,61,87,62,117,80,64,92,120,67,68,124,126,71,129,73,
75,76,133,104,78,79,107,139,82,142,83,145,147,148,146,150,89,153,154,93,157,158,159,96,160,
97,161,149,99,134,164,132,103,130,167,169,168,170,108,172,174,110,175,177,112,115,113,114,128,116,
151,176,118,119,155,185,121,122,123,125,127,189,190,131,165,191,135,137,136,138,194,140,196,141,143,
152,144,199,183,200,197,192,179,187,156,193,184,202,162,163,166,182,186,171,204,173,181,205,178,180,
201,188,203,195,198,206,208,207]
,\[
1,3,6,2,8,4,11,14,5,16,19,7,20,9,23,26,10,27,12,30,13,32,35,15,37,
17,41,18,43,21,46,48,22,50,24,53,56,25,58,59,28,61,64,29,66,68,31,33,39,73,
34,75,78,36,79,38,82,71,40,85,87,42,89,44,92,70,45,47,96,67,49,99,51,86,91,
52,103,54,107,55,108,110,57,112,60,114,62,115,118,63,76,119,65,121,123,125,69,127,72,74,
81,131,134,77,135,137,80,130,140,83,143,146,84,100,149,88,151,90,93,155,148,94,95,133,97,
138,162,98,163,101,165,102,166,104,168,105,126,106,158,173,109,156,176,111,124,113,178,122,116,180,
182,117,183,184,142,120,186,185,153,160,188,128,129,179,132,145,192,136,169,177,139,190,141,157,154,
144,161,164,147,201,150,152,187,198,171,197,159,170,194,191,195,203,167,189,172,204,174,175,196,200,
181,207,193,206,202,199,208,205]
>;
print "Group G is U3(4):4 < Sym(208)";