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

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