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

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