Polytope of Type {4,28,8}

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

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