Polytope of Type {38,4,4}

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

F := FreeGroup("s0","s1","s2","s3");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  s3 := F.4;;  
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s0*s2*s0*s2, 
s0*s3*s0*s3, s1*s3*s1*s3, s0*s1*s2*s1*s0*s1*s2*s1, 
s1*s2*s1*s2*s1*s2*s1*s2, s1*s2*s3*s2*s1*s2*s3*s2, 
s2*s3*s2*s3*s2*s3*s2*s3, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;
 

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

poly<s0,s1,s2,s3> := Group< s0,s1,s2,s3 | s0*s0, s1*s1, s2*s2, 
s3*s3, s0*s2*s0*s2, s0*s3*s0*s3, s1*s3*s1*s3, 
s0*s1*s2*s1*s0*s1*s2*s1, s1*s2*s1*s2*s1*s2*s1*s2, 
s1*s2*s3*s2*s1*s2*s3*s2, s2*s3*s2*s3*s2*s3*s2*s3, 
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;