Polytope of Type {28,8,4}

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