/*
www-ATLAS of Group Representations.
Sz(8) represented as permutations on 520 points.
*/

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