Polytope of Type {4,4,58}

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

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