Polytope of Type {4,15,8}

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

F := FreeGroup("s0","s1","s2","s3");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  s3 := F.4;;  
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s0*s2*s0*s2, 
s0*s3*s0*s3, s1*s3*s1*s3, s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s0*s1*s2*s0*s1, s1*s2*s1*s2*s3*s2*s1*s2*s1*s2*s3*s2, 
s3*s1*s2*s3*s2*s3*s1*s2*s3*s1*s2*s3*s2*s3*s1*s2, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;
 

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

poly<s0,s1,s2,s3> := Group< s0,s1,s2,s3 | s0*s0, s1*s1, s2*s2, 
s3*s3, s0*s2*s0*s2, s0*s3*s0*s3, s1*s3*s1*s3, 
s0*s1*s0*s1*s0*s1*s0*s1, s0*s1*s2*s1*s0*s1*s2*s0*s1, 
s1*s2*s1*s2*s3*s2*s1*s2*s1*s2*s3*s2, 
s3*s1*s2*s3*s2*s3*s1*s2*s3*s1*s2*s3*s2*s3*s1*s2, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;