Polytope of Type {2,6,8}

s0 := (1,2);;
s1 := (  3,489)(  4,491)(  5,490)(  6,495)(  7,497)(  8,496)(  9,492)( 10,494)( 11,493)( 12,507)( 13,509)( 14,508)( 15,513)( 16,515)( 17,514)( 18,510)( 19,512)( 20,511)( 21,498)( 22,500)( 23,499)( 24,504)( 25,506)( 26,505)( 27,501)( 28,503)( 29,502)( 30,516)( 31,518)( 32,517)( 33,522)( 34,524)( 35,523)( 36,519)( 37,521)( 38,520)( 39,534)( 40,536)( 41,535)( 42,540)( 43,542)( 44,541)( 45,537)( 46,539)( 47,538)( 48,525)( 49,527)( 50,526)( 51,531)( 52,533)( 53,532)( 54,528)( 55,530)( 56,529)( 57,462)( 58,464)( 59,463)( 60,468)( 61,470)( 62,469)( 63,465)( 64,467)( 65,466)( 66,480)( 67,482)( 68,481)( 69,486)( 70,488)( 71,487)( 72,483)( 73,485)( 74,484)( 75,471)( 76,473)( 77,472)( 78,477)( 79,479)( 80,478)( 81,474)( 82,476)( 83,475)( 84,435)( 85,437)( 86,436)( 87,441)( 88,443)( 89,442)( 90,438)( 91,440)( 92,439)( 93,453)( 94,455)( 95,454)( 96,459)( 97,461)( 98,460)( 99,456)(100,458)(101,457)(102,444)(103,446)(104,445)(105,450)(106,452)(107,451)(108,447)(109,449)(110,448)(111,624)(112,626)(113,625)(114,630)(115,632)(116,631)(117,627)(118,629)(119,628)(120,642)(121,644)(122,643)(123,648)(124,650)(125,649)(126,645)(127,647)(128,646)(129,633)(130,635)(131,634)(132,639)(133,641)(134,640)(135,636)(136,638)(137,637)(138,597)(139,599)(140,598)(141,603)(142,605)(143,604)(144,600)(145,602)(146,601)(147,615)(148,617)(149,616)(150,621)(151,623)(152,622)(153,618)(154,620)(155,619)(156,606)(157,608)(158,607)(159,612)(160,614)(161,613)(162,609)(163,611)(164,610)(165,543)(166,545)(167,544)(168,549)(169,551)(170,550)(171,546)(172,548)(173,547)(174,561)(175,563)(176,562)(177,567)(178,569)(179,568)(180,564)(181,566)(182,565)(183,552)(184,554)(185,553)(186,558)(187,560)(188,559)(189,555)(190,557)(191,556)(192,570)(193,572)(194,571)(195,576)(196,578)(197,577)(198,573)(199,575)(200,574)(201,588)(202,590)(203,589)(204,594)(205,596)(206,595)(207,591)(208,593)(209,592)(210,579)(211,581)(212,580)(213,585)(214,587)(215,586)(216,582)(217,584)(218,583)(219,732)(220,734)(221,733)(222,738)(223,740)(224,739)(225,735)(226,737)(227,736)(228,750)(229,752)(230,751)(231,756)(232,758)(233,757)(234,753)(235,755)(236,754)(237,741)(238,743)(239,742)(240,747)(241,749)(242,748)(243,744)(244,746)(245,745)(246,705)(247,707)(248,706)(249,711)(250,713)(251,712)(252,708)(253,710)(254,709)(255,723)(256,725)(257,724)(258,729)(259,731)(260,730)(261,726)(262,728)(263,727)(264,714)(265,716)(266,715)(267,720)(268,722)(269,721)(270,717)(271,719)(272,718)(273,651)(274,653)(275,652)(276,657)(277,659)(278,658)(279,654)(280,656)(281,655)(282,669)(283,671)(284,670)(285,675)(286,677)(287,676)(288,672)(289,674)(290,673)(291,660)(292,662)(293,661)(294,666)(295,668)(296,667)(297,663)(298,665)(299,664)(300,678)(301,680)(302,679)(303,684)(304,686)(305,685)(306,681)(307,683)(308,682)(309,696)(310,698)(311,697)(312,702)(313,704)(314,703)(315,699)(316,701)(317,700)(318,687)(319,689)(320,688)(321,693)(322,695)(323,694)(324,690)(325,692)(326,691)(327,813)(328,815)(329,814)(330,819)(331,821)(332,820)(333,816)(334,818)(335,817)(336,831)(337,833)(338,832)(339,837)(340,839)(341,838)(342,834)(343,836)(344,835)(345,822)(346,824)(347,823)(348,828)(349,830)(350,829)(351,825)(352,827)(353,826)(354,840)(355,842)(356,841)(357,846)(358,848)(359,847)(360,843)(361,845)(362,844)(363,858)(364,860)(365,859)(366,864)(367,866)(368,865)(369,861)(370,863)(371,862)(372,849)(373,851)(374,850)(375,855)(376,857)(377,856)(378,852)(379,854)(380,853)(381,786)(382,788)(383,787)(384,792)(385,794)(386,793)(387,789)(388,791)(389,790)(390,804)(391,806)(392,805)(393,810)(394,812)(395,811)(396,807)(397,809)(398,808)(399,795)(400,797)(401,796)(402,801)(403,803)(404,802)(405,798)(406,800)(407,799)(408,759)(409,761)(410,760)(411,765)(412,767)(413,766)(414,762)(415,764)(416,763)(417,777)(418,779)(419,778)(420,783)(421,785)(422,784)(423,780)(424,782)(425,781)(426,768)(427,770)(428,769)(429,774)(430,776)(431,775)(432,771)(433,773)(434,772);;
s2 := (  3,661)(  4,660)(  5,662)(  6,655)(  7,654)(  8,656)(  9,676)( 10,675)( 11,677)( 12,652)( 13,651)( 14,653)( 15,673)( 16,672)( 17,674)( 18,667)( 19,666)( 20,668)( 21,670)( 22,669)( 23,671)( 24,664)( 25,663)( 26,665)( 27,658)( 28,657)( 29,659)( 30,688)( 31,687)( 32,689)( 33,682)( 34,681)( 35,683)( 36,703)( 37,702)( 38,704)( 39,679)( 40,678)( 41,680)( 42,700)( 43,699)( 44,701)( 45,694)( 46,693)( 47,695)( 48,697)( 49,696)( 50,698)( 51,691)( 52,690)( 53,692)( 54,685)( 55,684)( 56,686)( 57,742)( 58,741)( 59,743)( 60,736)( 61,735)( 62,737)( 63,757)( 64,756)( 65,758)( 66,733)( 67,732)( 68,734)( 69,754)( 70,753)( 71,755)( 72,748)( 73,747)( 74,749)( 75,751)( 76,750)( 77,752)( 78,745)( 79,744)( 80,746)( 81,739)( 82,738)( 83,740)( 84,715)( 85,714)( 86,716)( 87,709)( 88,708)( 89,710)( 90,730)( 91,729)( 92,731)( 93,706)( 94,705)( 95,707)( 96,727)( 97,726)( 98,728)( 99,721)(100,720)(101,722)(102,724)(103,723)(104,725)(105,718)(106,717)(107,719)(108,712)(109,711)(110,713)(111,850)(112,849)(113,851)(114,844)(115,843)(116,845)(117,865)(118,864)(119,866)(120,841)(121,840)(122,842)(123,862)(124,861)(125,863)(126,856)(127,855)(128,857)(129,859)(130,858)(131,860)(132,853)(133,852)(134,854)(135,847)(136,846)(137,848)(138,823)(139,822)(140,824)(141,817)(142,816)(143,818)(144,838)(145,837)(146,839)(147,814)(148,813)(149,815)(150,835)(151,834)(152,836)(153,829)(154,828)(155,830)(156,832)(157,831)(158,833)(159,826)(160,825)(161,827)(162,820)(163,819)(164,821)(165,796)(166,795)(167,797)(168,790)(169,789)(170,791)(171,811)(172,810)(173,812)(174,787)(175,786)(176,788)(177,808)(178,807)(179,809)(180,802)(181,801)(182,803)(183,805)(184,804)(185,806)(186,799)(187,798)(188,800)(189,793)(190,792)(191,794)(192,769)(193,768)(194,770)(195,763)(196,762)(197,764)(198,784)(199,783)(200,785)(201,760)(202,759)(203,761)(204,781)(205,780)(206,782)(207,775)(208,774)(209,776)(210,778)(211,777)(212,779)(213,772)(214,771)(215,773)(216,766)(217,765)(218,767)(219,472)(220,471)(221,473)(222,466)(223,465)(224,467)(225,487)(226,486)(227,488)(228,463)(229,462)(230,464)(231,484)(232,483)(233,485)(234,478)(235,477)(236,479)(237,481)(238,480)(239,482)(240,475)(241,474)(242,476)(243,469)(244,468)(245,470)(246,445)(247,444)(248,446)(249,439)(250,438)(251,440)(252,460)(253,459)(254,461)(255,436)(256,435)(257,437)(258,457)(259,456)(260,458)(261,451)(262,450)(263,452)(264,454)(265,453)(266,455)(267,448)(268,447)(269,449)(270,442)(271,441)(272,443)(273,499)(274,498)(275,500)(276,493)(277,492)(278,494)(279,514)(280,513)(281,515)(282,490)(283,489)(284,491)(285,511)(286,510)(287,512)(288,505)(289,504)(290,506)(291,508)(292,507)(293,509)(294,502)(295,501)(296,503)(297,496)(298,495)(299,497)(300,526)(301,525)(302,527)(303,520)(304,519)(305,521)(306,541)(307,540)(308,542)(309,517)(310,516)(311,518)(312,538)(313,537)(314,539)(315,532)(316,531)(317,533)(318,535)(319,534)(320,536)(321,529)(322,528)(323,530)(324,523)(325,522)(326,524)(327,607)(328,606)(329,608)(330,601)(331,600)(332,602)(333,622)(334,621)(335,623)(336,598)(337,597)(338,599)(339,619)(340,618)(341,620)(342,613)(343,612)(344,614)(345,616)(346,615)(347,617)(348,610)(349,609)(350,611)(351,604)(352,603)(353,605)(354,634)(355,633)(356,635)(357,628)(358,627)(359,629)(360,649)(361,648)(362,650)(363,625)(364,624)(365,626)(366,646)(367,645)(368,647)(369,640)(370,639)(371,641)(372,643)(373,642)(374,644)(375,637)(376,636)(377,638)(378,631)(379,630)(380,632)(381,553)(382,552)(383,554)(384,547)(385,546)(386,548)(387,568)(388,567)(389,569)(390,544)(391,543)(392,545)(393,565)(394,564)(395,566)(396,559)(397,558)(398,560)(399,562)(400,561)(401,563)(402,556)(403,555)(404,557)(405,550)(406,549)(407,551)(408,580)(409,579)(410,581)(411,574)(412,573)(413,575)(414,595)(415,594)(416,596)(417,571)(418,570)(419,572)(420,592)(421,591)(422,593)(423,586)(424,585)(425,587)(426,589)(427,588)(428,590)(429,583)(430,582)(431,584)(432,577)(433,576)(434,578);;
s3 := (  3,111)(  4,112)(  5,113)(  6,114)(  7,115)(  8,116)(  9,117)( 10,118)( 11,119)( 12,135)( 13,136)( 14,137)( 15,129)( 16,130)( 17,131)( 18,132)( 19,133)( 20,134)( 21,123)( 22,124)( 23,125)( 24,126)( 25,127)( 26,128)( 27,120)( 28,121)( 29,122)( 30,138)( 31,139)( 32,140)( 33,141)( 34,142)( 35,143)( 36,144)( 37,145)( 38,146)( 39,162)( 40,163)( 41,164)( 42,156)( 43,157)( 44,158)( 45,159)( 46,160)( 47,161)( 48,150)( 49,151)( 50,152)( 51,153)( 52,154)( 53,155)( 54,147)( 55,148)( 56,149)( 57,192)( 58,193)( 59,194)( 60,195)( 61,196)( 62,197)( 63,198)( 64,199)( 65,200)( 66,216)( 67,217)( 68,218)( 69,210)( 70,211)( 71,212)( 72,213)( 73,214)( 74,215)( 75,204)( 76,205)( 77,206)( 78,207)( 79,208)( 80,209)( 81,201)( 82,202)( 83,203)( 84,165)( 85,166)( 86,167)( 87,168)( 88,169)( 89,170)( 90,171)( 91,172)( 92,173)( 93,189)( 94,190)( 95,191)( 96,183)( 97,184)( 98,185)( 99,186)(100,187)(101,188)(102,177)(103,178)(104,179)(105,180)(106,181)(107,182)(108,174)(109,175)(110,176)(219,327)(220,328)(221,329)(222,330)(223,331)(224,332)(225,333)(226,334)(227,335)(228,351)(229,352)(230,353)(231,345)(232,346)(233,347)(234,348)(235,349)(236,350)(237,339)(238,340)(239,341)(240,342)(241,343)(242,344)(243,336)(244,337)(245,338)(246,354)(247,355)(248,356)(249,357)(250,358)(251,359)(252,360)(253,361)(254,362)(255,378)(256,379)(257,380)(258,372)(259,373)(260,374)(261,375)(262,376)(263,377)(264,366)(265,367)(266,368)(267,369)(268,370)(269,371)(270,363)(271,364)(272,365)(273,408)(274,409)(275,410)(276,411)(277,412)(278,413)(279,414)(280,415)(281,416)(282,432)(283,433)(284,434)(285,426)(286,427)(287,428)(288,429)(289,430)(290,431)(291,420)(292,421)(293,422)(294,423)(295,424)(296,425)(297,417)(298,418)(299,419)(300,381)(301,382)(302,383)(303,384)(304,385)(305,386)(306,387)(307,388)(308,389)(309,405)(310,406)(311,407)(312,399)(313,400)(314,401)(315,402)(316,403)(317,404)(318,393)(319,394)(320,395)(321,396)(322,397)(323,398)(324,390)(325,391)(326,392)(435,543)(436,544)(437,545)(438,546)(439,547)(440,548)(441,549)(442,550)(443,551)(444,567)(445,568)(446,569)(447,561)(448,562)(449,563)(450,564)(451,565)(452,566)(453,555)(454,556)(455,557)(456,558)(457,559)(458,560)(459,552)(460,553)(461,554)(462,570)(463,571)(464,572)(465,573)(466,574)(467,575)(468,576)(469,577)(470,578)(471,594)(472,595)(473,596)(474,588)(475,589)(476,590)(477,591)(478,592)(479,593)(480,582)(481,583)(482,584)(483,585)(484,586)(485,587)(486,579)(487,580)(488,581)(489,624)(490,625)(491,626)(492,627)(493,628)(494,629)(495,630)(496,631)(497,632)(498,648)(499,649)(500,650)(501,642)(502,643)(503,644)(504,645)(505,646)(506,647)(507,636)(508,637)(509,638)(510,639)(511,640)(512,641)(513,633)(514,634)(515,635)(516,597)(517,598)(518,599)(519,600)(520,601)(521,602)(522,603)(523,604)(524,605)(525,621)(526,622)(527,623)(528,615)(529,616)(530,617)(531,618)(532,619)(533,620)(534,609)(535,610)(536,611)(537,612)(538,613)(539,614)(540,606)(541,607)(542,608)(651,759)(652,760)(653,761)(654,762)(655,763)(656,764)(657,765)(658,766)(659,767)(660,783)(661,784)(662,785)(663,777)(664,778)(665,779)(666,780)(667,781)(668,782)(669,771)(670,772)(671,773)(672,774)(673,775)(674,776)(675,768)(676,769)(677,770)(678,786)(679,787)(680,788)(681,789)(682,790)(683,791)(684,792)(685,793)(686,794)(687,810)(688,811)(689,812)(690,804)(691,805)(692,806)(693,807)(694,808)(695,809)(696,798)(697,799)(698,800)(699,801)(700,802)(701,803)(702,795)(703,796)(704,797)(705,840)(706,841)(707,842)(708,843)(709,844)(710,845)(711,846)(712,847)(713,848)(714,864)(715,865)(716,866)(717,858)(718,859)(719,860)(720,861)(721,862)(722,863)(723,852)(724,853)(725,854)(726,855)(727,856)(728,857)(729,849)(730,850)(731,851)(732,813)(733,814)(734,815)(735,816)(736,817)(737,818)(738,819)(739,820)(740,821)(741,837)(742,838)(743,839)(744,831)(745,832)(746,833)(747,834)(748,835)(749,836)(750,825)(751,826)(752,827)(753,828)(754,829)(755,830)(756,822)(757,823)(758,824);;
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*s1*s0*s1, 
s0*s2*s0*s2, s0*s3*s0*s3, s1*s3*s1*s3, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2, 
s1*s2*s3*s2*s3*s2*s3*s2*s1*s2*s3*s2*s3*s2*s3*s2, 
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3, 
s1*s2*s3*s1*s2*s1*s2*s3*s2*s1*s2*s3*s1*s2*s1*s2*s3*s2 ];;
poly := F / rels;;
 

s0 := Sym(866)!(1,2);
s1 := Sym(866)!(  3,489)(  4,491)(  5,490)(  6,495)(  7,497)(  8,496)(  9,492)( 10,494)( 11,493)( 12,507)( 13,509)( 14,508)( 15,513)( 16,515)( 17,514)( 18,510)( 19,512)( 20,511)( 21,498)( 22,500)( 23,499)( 24,504)( 25,506)( 26,505)( 27,501)( 28,503)( 29,502)( 30,516)( 31,518)( 32,517)( 33,522)( 34,524)( 35,523)( 36,519)( 37,521)( 38,520)( 39,534)( 40,536)( 41,535)( 42,540)( 43,542)( 44,541)( 45,537)( 46,539)( 47,538)( 48,525)( 49,527)( 50,526)( 51,531)( 52,533)( 53,532)( 54,528)( 55,530)( 56,529)( 57,462)( 58,464)( 59,463)( 60,468)( 61,470)( 62,469)( 63,465)( 64,467)( 65,466)( 66,480)( 67,482)( 68,481)( 69,486)( 70,488)( 71,487)( 72,483)( 73,485)( 74,484)( 75,471)( 76,473)( 77,472)( 78,477)( 79,479)( 80,478)( 81,474)( 82,476)( 83,475)( 84,435)( 85,437)( 86,436)( 87,441)( 88,443)( 89,442)( 90,438)( 91,440)( 92,439)( 93,453)( 94,455)( 95,454)( 96,459)( 97,461)( 98,460)( 99,456)(100,458)(101,457)(102,444)(103,446)(104,445)(105,450)(106,452)(107,451)(108,447)(109,449)(110,448)(111,624)(112,626)(113,625)(114,630)(115,632)(116,631)(117,627)(118,629)(119,628)(120,642)(121,644)(122,643)(123,648)(124,650)(125,649)(126,645)(127,647)(128,646)(129,633)(130,635)(131,634)(132,639)(133,641)(134,640)(135,636)(136,638)(137,637)(138,597)(139,599)(140,598)(141,603)(142,605)(143,604)(144,600)(145,602)(146,601)(147,615)(148,617)(149,616)(150,621)(151,623)(152,622)(153,618)(154,620)(155,619)(156,606)(157,608)(158,607)(159,612)(160,614)(161,613)(162,609)(163,611)(164,610)(165,543)(166,545)(167,544)(168,549)(169,551)(170,550)(171,546)(172,548)(173,547)(174,561)(175,563)(176,562)(177,567)(178,569)(179,568)(180,564)(181,566)(182,565)(183,552)(184,554)(185,553)(186,558)(187,560)(188,559)(189,555)(190,557)(191,556)(192,570)(193,572)(194,571)(195,576)(196,578)(197,577)(198,573)(199,575)(200,574)(201,588)(202,590)(203,589)(204,594)(205,596)(206,595)(207,591)(208,593)(209,592)(210,579)(211,581)(212,580)(213,585)(214,587)(215,586)(216,582)(217,584)(218,583)(219,732)(220,734)(221,733)(222,738)(223,740)(224,739)(225,735)(226,737)(227,736)(228,750)(229,752)(230,751)(231,756)(232,758)(233,757)(234,753)(235,755)(236,754)(237,741)(238,743)(239,742)(240,747)(241,749)(242,748)(243,744)(244,746)(245,745)(246,705)(247,707)(248,706)(249,711)(250,713)(251,712)(252,708)(253,710)(254,709)(255,723)(256,725)(257,724)(258,729)(259,731)(260,730)(261,726)(262,728)(263,727)(264,714)(265,716)(266,715)(267,720)(268,722)(269,721)(270,717)(271,719)(272,718)(273,651)(274,653)(275,652)(276,657)(277,659)(278,658)(279,654)(280,656)(281,655)(282,669)(283,671)(284,670)(285,675)(286,677)(287,676)(288,672)(289,674)(290,673)(291,660)(292,662)(293,661)(294,666)(295,668)(296,667)(297,663)(298,665)(299,664)(300,678)(301,680)(302,679)(303,684)(304,686)(305,685)(306,681)(307,683)(308,682)(309,696)(310,698)(311,697)(312,702)(313,704)(314,703)(315,699)(316,701)(317,700)(318,687)(319,689)(320,688)(321,693)(322,695)(323,694)(324,690)(325,692)(326,691)(327,813)(328,815)(329,814)(330,819)(331,821)(332,820)(333,816)(334,818)(335,817)(336,831)(337,833)(338,832)(339,837)(340,839)(341,838)(342,834)(343,836)(344,835)(345,822)(346,824)(347,823)(348,828)(349,830)(350,829)(351,825)(352,827)(353,826)(354,840)(355,842)(356,841)(357,846)(358,848)(359,847)(360,843)(361,845)(362,844)(363,858)(364,860)(365,859)(366,864)(367,866)(368,865)(369,861)(370,863)(371,862)(372,849)(373,851)(374,850)(375,855)(376,857)(377,856)(378,852)(379,854)(380,853)(381,786)(382,788)(383,787)(384,792)(385,794)(386,793)(387,789)(388,791)(389,790)(390,804)(391,806)(392,805)(393,810)(394,812)(395,811)(396,807)(397,809)(398,808)(399,795)(400,797)(401,796)(402,801)(403,803)(404,802)(405,798)(406,800)(407,799)(408,759)(409,761)(410,760)(411,765)(412,767)(413,766)(414,762)(415,764)(416,763)(417,777)(418,779)(419,778)(420,783)(421,785)(422,784)(423,780)(424,782)(425,781)(426,768)(427,770)(428,769)(429,774)(430,776)(431,775)(432,771)(433,773)(434,772);
s2 := Sym(866)!(  3,661)(  4,660)(  5,662)(  6,655)(  7,654)(  8,656)(  9,676)( 10,675)( 11,677)( 12,652)( 13,651)( 14,653)( 15,673)( 16,672)( 17,674)( 18,667)( 19,666)( 20,668)( 21,670)( 22,669)( 23,671)( 24,664)( 25,663)( 26,665)( 27,658)( 28,657)( 29,659)( 30,688)( 31,687)( 32,689)( 33,682)( 34,681)( 35,683)( 36,703)( 37,702)( 38,704)( 39,679)( 40,678)( 41,680)( 42,700)( 43,699)( 44,701)( 45,694)( 46,693)( 47,695)( 48,697)( 49,696)( 50,698)( 51,691)( 52,690)( 53,692)( 54,685)( 55,684)( 56,686)( 57,742)( 58,741)( 59,743)( 60,736)( 61,735)( 62,737)( 63,757)( 64,756)( 65,758)( 66,733)( 67,732)( 68,734)( 69,754)( 70,753)( 71,755)( 72,748)( 73,747)( 74,749)( 75,751)( 76,750)( 77,752)( 78,745)( 79,744)( 80,746)( 81,739)( 82,738)( 83,740)( 84,715)( 85,714)( 86,716)( 87,709)( 88,708)( 89,710)( 90,730)( 91,729)( 92,731)( 93,706)( 94,705)( 95,707)( 96,727)( 97,726)( 98,728)( 99,721)(100,720)(101,722)(102,724)(103,723)(104,725)(105,718)(106,717)(107,719)(108,712)(109,711)(110,713)(111,850)(112,849)(113,851)(114,844)(115,843)(116,845)(117,865)(118,864)(119,866)(120,841)(121,840)(122,842)(123,862)(124,861)(125,863)(126,856)(127,855)(128,857)(129,859)(130,858)(131,860)(132,853)(133,852)(134,854)(135,847)(136,846)(137,848)(138,823)(139,822)(140,824)(141,817)(142,816)(143,818)(144,838)(145,837)(146,839)(147,814)(148,813)(149,815)(150,835)(151,834)(152,836)(153,829)(154,828)(155,830)(156,832)(157,831)(158,833)(159,826)(160,825)(161,827)(162,820)(163,819)(164,821)(165,796)(166,795)(167,797)(168,790)(169,789)(170,791)(171,811)(172,810)(173,812)(174,787)(175,786)(176,788)(177,808)(178,807)(179,809)(180,802)(181,801)(182,803)(183,805)(184,804)(185,806)(186,799)(187,798)(188,800)(189,793)(190,792)(191,794)(192,769)(193,768)(194,770)(195,763)(196,762)(197,764)(198,784)(199,783)(200,785)(201,760)(202,759)(203,761)(204,781)(205,780)(206,782)(207,775)(208,774)(209,776)(210,778)(211,777)(212,779)(213,772)(214,771)(215,773)(216,766)(217,765)(218,767)(219,472)(220,471)(221,473)(222,466)(223,465)(224,467)(225,487)(226,486)(227,488)(228,463)(229,462)(230,464)(231,484)(232,483)(233,485)(234,478)(235,477)(236,479)(237,481)(238,480)(239,482)(240,475)(241,474)(242,476)(243,469)(244,468)(245,470)(246,445)(247,444)(248,446)(249,439)(250,438)(251,440)(252,460)(253,459)(254,461)(255,436)(256,435)(257,437)(258,457)(259,456)(260,458)(261,451)(262,450)(263,452)(264,454)(265,453)(266,455)(267,448)(268,447)(269,449)(270,442)(271,441)(272,443)(273,499)(274,498)(275,500)(276,493)(277,492)(278,494)(279,514)(280,513)(281,515)(282,490)(283,489)(284,491)(285,511)(286,510)(287,512)(288,505)(289,504)(290,506)(291,508)(292,507)(293,509)(294,502)(295,501)(296,503)(297,496)(298,495)(299,497)(300,526)(301,525)(302,527)(303,520)(304,519)(305,521)(306,541)(307,540)(308,542)(309,517)(310,516)(311,518)(312,538)(313,537)(314,539)(315,532)(316,531)(317,533)(318,535)(319,534)(320,536)(321,529)(322,528)(323,530)(324,523)(325,522)(326,524)(327,607)(328,606)(329,608)(330,601)(331,600)(332,602)(333,622)(334,621)(335,623)(336,598)(337,597)(338,599)(339,619)(340,618)(341,620)(342,613)(343,612)(344,614)(345,616)(346,615)(347,617)(348,610)(349,609)(350,611)(351,604)(352,603)(353,605)(354,634)(355,633)(356,635)(357,628)(358,627)(359,629)(360,649)(361,648)(362,650)(363,625)(364,624)(365,626)(366,646)(367,645)(368,647)(369,640)(370,639)(371,641)(372,643)(373,642)(374,644)(375,637)(376,636)(377,638)(378,631)(379,630)(380,632)(381,553)(382,552)(383,554)(384,547)(385,546)(386,548)(387,568)(388,567)(389,569)(390,544)(391,543)(392,545)(393,565)(394,564)(395,566)(396,559)(397,558)(398,560)(399,562)(400,561)(401,563)(402,556)(403,555)(404,557)(405,550)(406,549)(407,551)(408,580)(409,579)(410,581)(411,574)(412,573)(413,575)(414,595)(415,594)(416,596)(417,571)(418,570)(419,572)(420,592)(421,591)(422,593)(423,586)(424,585)(425,587)(426,589)(427,588)(428,590)(429,583)(430,582)(431,584)(432,577)(433,576)(434,578);
s3 := Sym(866)!(  3,111)(  4,112)(  5,113)(  6,114)(  7,115)(  8,116)(  9,117)( 10,118)( 11,119)( 12,135)( 13,136)( 14,137)( 15,129)( 16,130)( 17,131)( 18,132)( 19,133)( 20,134)( 21,123)( 22,124)( 23,125)( 24,126)( 25,127)( 26,128)( 27,120)( 28,121)( 29,122)( 30,138)( 31,139)( 32,140)( 33,141)( 34,142)( 35,143)( 36,144)( 37,145)( 38,146)( 39,162)( 40,163)( 41,164)( 42,156)( 43,157)( 44,158)( 45,159)( 46,160)( 47,161)( 48,150)( 49,151)( 50,152)( 51,153)( 52,154)( 53,155)( 54,147)( 55,148)( 56,149)( 57,192)( 58,193)( 59,194)( 60,195)( 61,196)( 62,197)( 63,198)( 64,199)( 65,200)( 66,216)( 67,217)( 68,218)( 69,210)( 70,211)( 71,212)( 72,213)( 73,214)( 74,215)( 75,204)( 76,205)( 77,206)( 78,207)( 79,208)( 80,209)( 81,201)( 82,202)( 83,203)( 84,165)( 85,166)( 86,167)( 87,168)( 88,169)( 89,170)( 90,171)( 91,172)( 92,173)( 93,189)( 94,190)( 95,191)( 96,183)( 97,184)( 98,185)( 99,186)(100,187)(101,188)(102,177)(103,178)(104,179)(105,180)(106,181)(107,182)(108,174)(109,175)(110,176)(219,327)(220,328)(221,329)(222,330)(223,331)(224,332)(225,333)(226,334)(227,335)(228,351)(229,352)(230,353)(231,345)(232,346)(233,347)(234,348)(235,349)(236,350)(237,339)(238,340)(239,341)(240,342)(241,343)(242,344)(243,336)(244,337)(245,338)(246,354)(247,355)(248,356)(249,357)(250,358)(251,359)(252,360)(253,361)(254,362)(255,378)(256,379)(257,380)(258,372)(259,373)(260,374)(261,375)(262,376)(263,377)(264,366)(265,367)(266,368)(267,369)(268,370)(269,371)(270,363)(271,364)(272,365)(273,408)(274,409)(275,410)(276,411)(277,412)(278,413)(279,414)(280,415)(281,416)(282,432)(283,433)(284,434)(285,426)(286,427)(287,428)(288,429)(289,430)(290,431)(291,420)(292,421)(293,422)(294,423)(295,424)(296,425)(297,417)(298,418)(299,419)(300,381)(301,382)(302,383)(303,384)(304,385)(305,386)(306,387)(307,388)(308,389)(309,405)(310,406)(311,407)(312,399)(313,400)(314,401)(315,402)(316,403)(317,404)(318,393)(319,394)(320,395)(321,396)(322,397)(323,398)(324,390)(325,391)(326,392)(435,543)(436,544)(437,545)(438,546)(439,547)(440,548)(441,549)(442,550)(443,551)(444,567)(445,568)(446,569)(447,561)(448,562)(449,563)(450,564)(451,565)(452,566)(453,555)(454,556)(455,557)(456,558)(457,559)(458,560)(459,552)(460,553)(461,554)(462,570)(463,571)(464,572)(465,573)(466,574)(467,575)(468,576)(469,577)(470,578)(471,594)(472,595)(473,596)(474,588)(475,589)(476,590)(477,591)(478,592)(479,593)(480,582)(481,583)(482,584)(483,585)(484,586)(485,587)(486,579)(487,580)(488,581)(489,624)(490,625)(491,626)(492,627)(493,628)(494,629)(495,630)(496,631)(497,632)(498,648)(499,649)(500,650)(501,642)(502,643)(503,644)(504,645)(505,646)(506,647)(507,636)(508,637)(509,638)(510,639)(511,640)(512,641)(513,633)(514,634)(515,635)(516,597)(517,598)(518,599)(519,600)(520,601)(521,602)(522,603)(523,604)(524,605)(525,621)(526,622)(527,623)(528,615)(529,616)(530,617)(531,618)(532,619)(533,620)(534,609)(535,610)(536,611)(537,612)(538,613)(539,614)(540,606)(541,607)(542,608)(651,759)(652,760)(653,761)(654,762)(655,763)(656,764)(657,765)(658,766)(659,767)(660,783)(661,784)(662,785)(663,777)(664,778)(665,779)(666,780)(667,781)(668,782)(669,771)(670,772)(671,773)(672,774)(673,775)(674,776)(675,768)(676,769)(677,770)(678,786)(679,787)(680,788)(681,789)(682,790)(683,791)(684,792)(685,793)(686,794)(687,810)(688,811)(689,812)(690,804)(691,805)(692,806)(693,807)(694,808)(695,809)(696,798)(697,799)(698,800)(699,801)(700,802)(701,803)(702,795)(703,796)(704,797)(705,840)(706,841)(707,842)(708,843)(709,844)(710,845)(711,846)(712,847)(713,848)(714,864)(715,865)(716,866)(717,858)(718,859)(719,860)(720,861)(721,862)(722,863)(723,852)(724,853)(725,854)(726,855)(727,856)(728,857)(729,849)(730,850)(731,851)(732,813)(733,814)(734,815)(735,816)(736,817)(737,818)(738,819)(739,820)(740,821)(741,837)(742,838)(743,839)(744,831)(745,832)(746,833)(747,834)(748,835)(749,836)(750,825)(751,826)(752,827)(753,828)(754,829)(755,830)(756,822)(757,823)(758,824);
poly := sub<Sym(866)|s0,s1,s2,s3>;
 

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