/*
www-ATLAS of Group Representations.
O10+(2):2 represented as permutations on 527 points.
*/

G<x,y>:=PermutationGroup<527|\[
1,2,3,4,5,6,7,9,8,11,10,12,15,17,13,20,14,18,19,16,26,28,23,31,25,
21,27,22,29,30,24,40,33,43,35,46,48,38,39,32,41,54,34,44,45,36,60,37,49,64,
51,67,53,42,55,72,74,76,59,47,80,82,84,50,65,88,52,68,92,94,96,56,99,57,102,
58,77,106,79,61,110,62,113,63,85,117,87,66,121,123,91,69,93,70,129,71,97,98,73,100,
101,75,103,139,105,78,107,144,109,81,111,112,83,151,153,116,86,118,119,120,89,122,90,124,125,
165,127,128,95,170,172,132,133,176,135,136,180,138,104,140,141,186,143,108,190,146,193,148,196,150,
114,152,115,154,155,204,206,158,159,210,161,213,215,164,126,166,167,220,169,130,171,131,173,174,228,
134,177,178,233,137,181,182,238,240,185,142,187,188,189,145,191,248,147,194,195,149,254,198,257,200,
260,239,203,156,226,157,207,243,268,160,211,212,162,231,163,216,217,276,219,168,278,222,242,224,262,
205,227,175,229,280,214,232,179,234,290,292,237,183,202,184,241,223,208,244,245,299,247,192,249,304,
291,252,253,197,255,309,199,258,259,201,261,225,263,317,319,321,267,209,269,298,271,272,323,274,275,
218,277,221,279,230,281,282,283,334,285,286,287,338,289,235,251,236,293,294,344,346,297,270,246,300,
301,349,303,250,305,306,353,308,256,310,356,358,313,360,315,363,264,366,265,369,266,322,273,324,372,
326,327,328,329,371,331,332,379,284,335,336,337,288,339,340,376,386,373,295,390,296,393,348,302,350,
351,370,307,354,400,311,403,312,406,314,361,401,316,364,365,318,367,368,320,352,330,325,343,417,383,
341,377,422,333,425,395,426,375,384,412,342,432,388,389,345,436,392,347,438,381,396,397,442,399,355,
362,402,357,404,405,359,407,408,409,410,454,385,413,456,415,434,374,459,461,420,421,378,465,424,380,
382,469,428,471,472,431,387,475,416,435,391,437,394,439,440,441,398,443,444,445,463,447,481,449,450,
466,485,453,411,455,414,457,458,418,473,419,462,446,464,423,451,467,468,427,470,429,430,460,474,433,
476,477,478,479,503,448,482,483,484,452,486,487,488,489,490,491,492,493,494,495,496,497,515,499,500,
501,502,480,504,505,506,507,508,509,510,511,512,513,514,498,516,517,518,519,520,521,522,523,524,525,
526,527]
,\[
2,3,4,5,6,7,8,1,10,12,13,14,16,18,19,21,22,23,24,25,27,29,30,32,33,
34,35,36,37,38,39,41,42,44,45,47,49,50,51,52,53,55,56,57,58,59,61,62,63,65,
66,68,69,70,71,73,75,77,78,79,81,83,85,86,87,89,90,91,93,95,97,98,100,101,103,
104,105,107,108,109,111,112,114,115,116,118,119,120,122,124,125,126,127,128,130,131,132,133,134,135,
136,137,138,140,141,142,143,145,146,147,148,149,150,152,154,155,156,157,158,159,160,161,162,163,164,
166,167,168,169,171,173,174,175,177,178,179,181,182,183,184,185,187,188,189,191,192,194,195,197,198,
199,200,201,202,203,205,207,208,209,211,212,214,216,217,218,60,219,221,222,223,224,225,226,227,229,
230,231,232,234,235,236,237,239,241,242,243,20,244,245,246,247,249,250,251,252,253,255,256,258,259,
240,261,262,263,264,265,266,267,269,270,94,271,272,31,273,274,275,48,254,277,279,280,281,282,206,
283,193,284,285,215,286,287,288,289,291,293,257,294,295,96,296,228,17,297,298,300,301,302,303,292,
305,260,306,307,308,310,311,312,238,313,314,315,316,318,320,322,323,74,324,325,278,26,326,327,40,
328,329,330,331,332,165,333,153,335,336,337,43,339,299,340,341,106,342,343,345,347,46,348,268,99,
204,350,304,351,352,121,354,290,355,319,357,359,129,361,362,364,365,367,368,370,84,366,9,371,373,
374,375,376,210,377,378,28,54,380,11,381,382,383,384,82,385,387,388,389,391,392,394,344,395,396,
80,397,398,399,401,402,404,405,407,360,390,408,196,409,410,64,411,412,413,321,414,415,416,418,419,
420,421,423,424,417,248,427,428,429,430,431,433,170,434,435,346,139,437,439,440,441,113,443,444,445,
446,447,448,449,450,309,451,186,452,453,76,455,369,457,436,220,458,460,462,463,123,464,466,372,467,
468,358,470,88,144,473,474,476,477,172,478,479,480,117,338,459,233,349,15,472,386,353,482,213,483,
484,92,102,486,110,471,487,475,488,489,422,490,491,400,492,363,493,403,494,469,495,496,379,497,498,
499,500,501,502,454,485,504,505,151,506,438,442,507,508,509,510,317,511,512,513,514,67,516,465,180,
517,176,518,519,190,334,72,520,521,522,425,356,456,461,426,523,406,524,515,525,432,276,526,527,393,
503,481]
>;
print "Group G is O10+(2):2 < Sym(527)";