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

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