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

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