Polytope of Type {968}

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

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