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

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