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

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