Polytope of Type {4,15,8}

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

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