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

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