Polytope of Type {976}

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

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