Polytope of Type {4,42,4}

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

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