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 >;