/*
www-ATLAS of Group Representations.
S17 represented as permutations on 680 points.
*/

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