Polytope of Type {30,4,8}

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

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