Polytope of Type {876}

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

F := FreeGroup("s0","s1");;
s0 := F.1;;  s1 := F.2;;  
rels := [ s0*s0, s1*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;

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

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*s0*s1*s0*s1*s0*s1 >;