Polytope of Type {984}

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

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

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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 >;