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