Polytope of Type {8,15,4}

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

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