Polytope of Type {4,4,62}

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

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