Polytope of Type {4,54,4}

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

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