Polytope of Type {62,4,4}

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

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