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

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