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