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

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