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

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