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

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