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

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