Polytope of Type {4,30,4}

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