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

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