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 >;