Polytope of Type {4,60,4}

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