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

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