/*
www-ATLAS of Group Representations.
O7(3):2 represented as permutations on 351 points.
*/

G<x,y>:=PermutationGroup<351|\[
2,1,5,7,3,6,4,8,13,10,16,17,9,14,21,11,12,24,25,27,15,22,23,18,19,
33,20,36,38,40,31,32,26,34,46,28,49,29,52,30,55,42,43,59,45,35,63,65,37,68,
69,39,72,54,41,75,77,79,44,60,83,62,47,87,48,90,92,50,51,94,96,53,99,101,56,
104,57,107,58,80,111,113,61,84,109,86,64,116,89,66,120,67,93,70,125,71,128,130,73,133,
74,136,103,76,105,117,78,108,85,110,81,146,82,148,149,88,106,151,119,91,121,122,156,124,95,
160,127,97,163,98,131,167,100,170,171,102,174,138,177,140,178,142,143,144,145,112,147,114,115,150,
118,152,185,154,155,123,157,191,159,126,195,196,129,164,199,166,132,202,169,134,135,206,173,137,175,
176,139,141,179,214,216,212,219,221,153,186,223,188,225,227,158,192,230,194,161,162,233,235,165,200,
237,168,203,240,242,172,244,208,211,210,209,182,250,180,215,181,254,218,183,257,184,222,187,224,189,
260,190,262,229,193,265,232,197,234,198,270,201,238,239,204,268,205,243,207,276,246,247,273,279,213,
282,252,253,217,255,256,220,272,259,226,261,228,263,264,231,266,285,241,284,236,295,258,248,274,275,
245,300,301,249,280,281,251,283,269,267,286,298,309,289,290,291,312,293,294,271,316,297,287,299,277,
278,302,311,304,323,320,307,308,288,310,303,292,324,328,315,296,332,334,319,306,321,322,305,313,325,
326,327,314,329,337,331,317,341,318,335,336,330,343,339,340,333,342,338,348,345,346,347,344,349,350,
351]
,\[
3,4,6,8,9,10,11,12,14,15,1,18,19,20,7,22,23,17,26,28,29,30,2,31,32,
34,35,37,39,41,42,43,44,45,47,48,50,51,53,54,56,57,58,60,61,62,64,66,67,5,
70,71,46,73,74,76,78,80,81,82,84,85,86,88,89,91,40,38,93,95,97,98,100,102,103,
105,106,108,109,110,112,77,114,13,21,115,107,117,118,119,121,122,123,124,126,127,129,131,132,134,
135,137,138,139,16,140,141,142,143,144,145,72,147,69,150,116,149,101,152,153,154,155,157,158,159,
161,162,133,164,165,166,168,169,49,172,173,175,176,52,33,179,24,180,25,94,181,178,182,27,128,
183,184,186,187,188,189,190,192,193,194,68,197,198,104,200,59,201,203,63,204,205,207,208,209,210,
211,212,213,120,215,217,218,220,222,79,87,36,224,226,83,228,229,223,90,231,232,234,136,236,125,
238,196,239,241,219,243,65,245,246,247,248,249,151,251,252,253,171,255,256,113,258,160,130,233,259,
206,261,263,111,264,214,266,267,268,269,156,271,272,273,274,275,75,199,240,277,278,55,242,280,281,
283,185,257,284,285,146,286,191,174,287,282,288,289,254,290,291,92,292,293,294,296,297,298,299,279,
202,163,302,303,304,244,305,306,301,265,307,308,310,309,148,311,96,313,314,315,317,318,99,319,167,
320,225,321,322,324,325,326,295,221,316,276,216,327,329,330,331,333,300,250,328,170,335,336,337,195,
312,338,230,339,340,341,342,343,237,177,332,344,345,346,260,347,348,334,227,235,349,262,350,270,351,
323]
>;
print "Group G is O7(3):2 < Sym(351)";