Polytope of Type {4,158}

s0 := (317,396)(318,397)(319,398)(320,399)(321,400)(322,401)(323,402)(324,403)(325,404)(326,405)(327,406)(328,407)(329,408)(330,409)(331,410)(332,411)(333,412)(334,413)(335,414)(336,415)(337,416)(338,417)(339,418)(340,419)(341,420)(342,421)(343,422)(344,423)(345,424)(346,425)(347,426)(348,427)(349,428)(350,429)(351,430)(352,431)(353,432)(354,433)(355,434)(356,435)(357,436)(358,437)(359,438)(360,439)(361,440)(362,441)(363,442)(364,443)(365,444)(366,445)(367,446)(368,447)(369,448)(370,449)(371,450)(372,451)(373,452)(374,453)(375,454)(376,455)(377,456)(378,457)(379,458)(380,459)(381,460)(382,461)(383,462)(384,463)(385,464)(386,465)(387,466)(388,467)(389,468)(390,469)(391,470)(392,471)(393,472)(394,473)(395,474)(475,554)(476,555)(477,556)(478,557)(479,558)(480,559)(481,560)(482,561)(483,562)(484,563)(485,564)(486,565)(487,566)(488,567)(489,568)(490,569)(491,570)(492,571)(493,572)(494,573)(495,574)(496,575)(497,576)(498,577)(499,578)(500,579)(501,580)(502,581)(503,582)(504,583)(505,584)(506,585)(507,586)(508,587)(509,588)(510,589)(511,590)(512,591)(513,592)(514,593)(515,594)(516,595)(517,596)(518,597)(519,598)(520,599)(521,600)(522,601)(523,602)(524,603)(525,604)(526,605)(527,606)(528,607)(529,608)(530,609)(531,610)(532,611)(533,612)(534,613)(535,614)(536,615)(537,616)(538,617)(539,618)(540,619)(541,620)(542,621)(543,622)(544,623)(545,624)(546,625)(547,626)(548,627)(549,628)(550,629)(551,630)(552,631)(553,632);;
s1 := (  1,475)(  2,553)(  3,552)(  4,551)(  5,550)(  6,549)(  7,548)(  8,547)(  9,546)( 10,545)( 11,544)( 12,543)( 13,542)( 14,541)( 15,540)( 16,539)( 17,538)( 18,537)( 19,536)( 20,535)( 21,534)( 22,533)( 23,532)( 24,531)( 25,530)( 26,529)( 27,528)( 28,527)( 29,526)( 30,525)( 31,524)( 32,523)( 33,522)( 34,521)( 35,520)( 36,519)( 37,518)( 38,517)( 39,516)( 40,515)( 41,514)( 42,513)( 43,512)( 44,511)( 45,510)( 46,509)( 47,508)( 48,507)( 49,506)( 50,505)( 51,504)( 52,503)( 53,502)( 54,501)( 55,500)( 56,499)( 57,498)( 58,497)( 59,496)( 60,495)( 61,494)( 62,493)( 63,492)( 64,491)( 65,490)( 66,489)( 67,488)( 68,487)( 69,486)( 70,485)( 71,484)( 72,483)( 73,482)( 74,481)( 75,480)( 76,479)( 77,478)( 78,477)( 79,476)( 80,554)( 81,632)( 82,631)( 83,630)( 84,629)( 85,628)( 86,627)( 87,626)( 88,625)( 89,624)( 90,623)( 91,622)( 92,621)( 93,620)( 94,619)( 95,618)( 96,617)( 97,616)( 98,615)( 99,614)(100,613)(101,612)(102,611)(103,610)(104,609)(105,608)(106,607)(107,606)(108,605)(109,604)(110,603)(111,602)(112,601)(113,600)(114,599)(115,598)(116,597)(117,596)(118,595)(119,594)(120,593)(121,592)(122,591)(123,590)(124,589)(125,588)(126,587)(127,586)(128,585)(129,584)(130,583)(131,582)(132,581)(133,580)(134,579)(135,578)(136,577)(137,576)(138,575)(139,574)(140,573)(141,572)(142,571)(143,570)(144,569)(145,568)(146,567)(147,566)(148,565)(149,564)(150,563)(151,562)(152,561)(153,560)(154,559)(155,558)(156,557)(157,556)(158,555)(159,317)(160,395)(161,394)(162,393)(163,392)(164,391)(165,390)(166,389)(167,388)(168,387)(169,386)(170,385)(171,384)(172,383)(173,382)(174,381)(175,380)(176,379)(177,378)(178,377)(179,376)(180,375)(181,374)(182,373)(183,372)(184,371)(185,370)(186,369)(187,368)(188,367)(189,366)(190,365)(191,364)(192,363)(193,362)(194,361)(195,360)(196,359)(197,358)(198,357)(199,356)(200,355)(201,354)(202,353)(203,352)(204,351)(205,350)(206,349)(207,348)(208,347)(209,346)(210,345)(211,344)(212,343)(213,342)(214,341)(215,340)(216,339)(217,338)(218,337)(219,336)(220,335)(221,334)(222,333)(223,332)(224,331)(225,330)(226,329)(227,328)(228,327)(229,326)(230,325)(231,324)(232,323)(233,322)(234,321)(235,320)(236,319)(237,318)(238,396)(239,474)(240,473)(241,472)(242,471)(243,470)(244,469)(245,468)(246,467)(247,466)(248,465)(249,464)(250,463)(251,462)(252,461)(253,460)(254,459)(255,458)(256,457)(257,456)(258,455)(259,454)(260,453)(261,452)(262,451)(263,450)(264,449)(265,448)(266,447)(267,446)(268,445)(269,444)(270,443)(271,442)(272,441)(273,440)(274,439)(275,438)(276,437)(277,436)(278,435)(279,434)(280,433)(281,432)(282,431)(283,430)(284,429)(285,428)(286,427)(287,426)(288,425)(289,424)(290,423)(291,422)(292,421)(293,420)(294,419)(295,418)(296,417)(297,416)(298,415)(299,414)(300,413)(301,412)(302,411)(303,410)(304,409)(305,408)(306,407)(307,406)(308,405)(309,404)(310,403)(311,402)(312,401)(313,400)(314,399)(315,398)(316,397);;
s2 := (  1,160)(  2,159)(  3,237)(  4,236)(  5,235)(  6,234)(  7,233)(  8,232)(  9,231)( 10,230)( 11,229)( 12,228)( 13,227)( 14,226)( 15,225)( 16,224)( 17,223)( 18,222)( 19,221)( 20,220)( 21,219)( 22,218)( 23,217)( 24,216)( 25,215)( 26,214)( 27,213)( 28,212)( 29,211)( 30,210)( 31,209)( 32,208)( 33,207)( 34,206)( 35,205)( 36,204)( 37,203)( 38,202)( 39,201)( 40,200)( 41,199)( 42,198)( 43,197)( 44,196)( 45,195)( 46,194)( 47,193)( 48,192)( 49,191)( 50,190)( 51,189)( 52,188)( 53,187)( 54,186)( 55,185)( 56,184)( 57,183)( 58,182)( 59,181)( 60,180)( 61,179)( 62,178)( 63,177)( 64,176)( 65,175)( 66,174)( 67,173)( 68,172)( 69,171)( 70,170)( 71,169)( 72,168)( 73,167)( 74,166)( 75,165)( 76,164)( 77,163)( 78,162)( 79,161)( 80,239)( 81,238)( 82,316)( 83,315)( 84,314)( 85,313)( 86,312)( 87,311)( 88,310)( 89,309)( 90,308)( 91,307)( 92,306)( 93,305)( 94,304)( 95,303)( 96,302)( 97,301)( 98,300)( 99,299)(100,298)(101,297)(102,296)(103,295)(104,294)(105,293)(106,292)(107,291)(108,290)(109,289)(110,288)(111,287)(112,286)(113,285)(114,284)(115,283)(116,282)(117,281)(118,280)(119,279)(120,278)(121,277)(122,276)(123,275)(124,274)(125,273)(126,272)(127,271)(128,270)(129,269)(130,268)(131,267)(132,266)(133,265)(134,264)(135,263)(136,262)(137,261)(138,260)(139,259)(140,258)(141,257)(142,256)(143,255)(144,254)(145,253)(146,252)(147,251)(148,250)(149,249)(150,248)(151,247)(152,246)(153,245)(154,244)(155,243)(156,242)(157,241)(158,240)(317,476)(318,475)(319,553)(320,552)(321,551)(322,550)(323,549)(324,548)(325,547)(326,546)(327,545)(328,544)(329,543)(330,542)(331,541)(332,540)(333,539)(334,538)(335,537)(336,536)(337,535)(338,534)(339,533)(340,532)(341,531)(342,530)(343,529)(344,528)(345,527)(346,526)(347,525)(348,524)(349,523)(350,522)(351,521)(352,520)(353,519)(354,518)(355,517)(356,516)(357,515)(358,514)(359,513)(360,512)(361,511)(362,510)(363,509)(364,508)(365,507)(366,506)(367,505)(368,504)(369,503)(370,502)(371,501)(372,500)(373,499)(374,498)(375,497)(376,496)(377,495)(378,494)(379,493)(380,492)(381,491)(382,490)(383,489)(384,488)(385,487)(386,486)(387,485)(388,484)(389,483)(390,482)(391,481)(392,480)(393,479)(394,478)(395,477)(396,555)(397,554)(398,632)(399,631)(400,630)(401,629)(402,628)(403,627)(404,626)(405,625)(406,624)(407,623)(408,622)(409,621)(410,620)(411,619)(412,618)(413,617)(414,616)(415,615)(416,614)(417,613)(418,612)(419,611)(420,610)(421,609)(422,608)(423,607)(424,606)(425,605)(426,604)(427,603)(428,602)(429,601)(430,600)(431,599)(432,598)(433,597)(434,596)(435,595)(436,594)(437,593)(438,592)(439,591)(440,590)(441,589)(442,588)(443,587)(444,586)(445,585)(446,584)(447,583)(448,582)(449,581)(450,580)(451,579)(452,578)(453,577)(454,576)(455,575)(456,574)(457,573)(458,572)(459,571)(460,570)(461,569)(462,568)(463,567)(464,566)(465,565)(466,564)(467,563)(468,562)(469,561)(470,560)(471,559)(472,558)(473,557)(474,556);;
poly := Group([s0,s1,s2]);;

F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, 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*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

s0 := Sym(632)!(317,396)(318,397)(319,398)(320,399)(321,400)(322,401)(323,402)(324,403)(325,404)(326,405)(327,406)(328,407)(329,408)(330,409)(331,410)(332,411)(333,412)(334,413)(335,414)(336,415)(337,416)(338,417)(339,418)(340,419)(341,420)(342,421)(343,422)(344,423)(345,424)(346,425)(347,426)(348,427)(349,428)(350,429)(351,430)(352,431)(353,432)(354,433)(355,434)(356,435)(357,436)(358,437)(359,438)(360,439)(361,440)(362,441)(363,442)(364,443)(365,444)(366,445)(367,446)(368,447)(369,448)(370,449)(371,450)(372,451)(373,452)(374,453)(375,454)(376,455)(377,456)(378,457)(379,458)(380,459)(381,460)(382,461)(383,462)(384,463)(385,464)(386,465)(387,466)(388,467)(389,468)(390,469)(391,470)(392,471)(393,472)(394,473)(395,474)(475,554)(476,555)(477,556)(478,557)(479,558)(480,559)(481,560)(482,561)(483,562)(484,563)(485,564)(486,565)(487,566)(488,567)(489,568)(490,569)(491,570)(492,571)(493,572)(494,573)(495,574)(496,575)(497,576)(498,577)(499,578)(500,579)(501,580)(502,581)(503,582)(504,583)(505,584)(506,585)(507,586)(508,587)(509,588)(510,589)(511,590)(512,591)(513,592)(514,593)(515,594)(516,595)(517,596)(518,597)(519,598)(520,599)(521,600)(522,601)(523,602)(524,603)(525,604)(526,605)(527,606)(528,607)(529,608)(530,609)(531,610)(532,611)(533,612)(534,613)(535,614)(536,615)(537,616)(538,617)(539,618)(540,619)(541,620)(542,621)(543,622)(544,623)(545,624)(546,625)(547,626)(548,627)(549,628)(550,629)(551,630)(552,631)(553,632);
s1 := Sym(632)!(  1,475)(  2,553)(  3,552)(  4,551)(  5,550)(  6,549)(  7,548)(  8,547)(  9,546)( 10,545)( 11,544)( 12,543)( 13,542)( 14,541)( 15,540)( 16,539)( 17,538)( 18,537)( 19,536)( 20,535)( 21,534)( 22,533)( 23,532)( 24,531)( 25,530)( 26,529)( 27,528)( 28,527)( 29,526)( 30,525)( 31,524)( 32,523)( 33,522)( 34,521)( 35,520)( 36,519)( 37,518)( 38,517)( 39,516)( 40,515)( 41,514)( 42,513)( 43,512)( 44,511)( 45,510)( 46,509)( 47,508)( 48,507)( 49,506)( 50,505)( 51,504)( 52,503)( 53,502)( 54,501)( 55,500)( 56,499)( 57,498)( 58,497)( 59,496)( 60,495)( 61,494)( 62,493)( 63,492)( 64,491)( 65,490)( 66,489)( 67,488)( 68,487)( 69,486)( 70,485)( 71,484)( 72,483)( 73,482)( 74,481)( 75,480)( 76,479)( 77,478)( 78,477)( 79,476)( 80,554)( 81,632)( 82,631)( 83,630)( 84,629)( 85,628)( 86,627)( 87,626)( 88,625)( 89,624)( 90,623)( 91,622)( 92,621)( 93,620)( 94,619)( 95,618)( 96,617)( 97,616)( 98,615)( 99,614)(100,613)(101,612)(102,611)(103,610)(104,609)(105,608)(106,607)(107,606)(108,605)(109,604)(110,603)(111,602)(112,601)(113,600)(114,599)(115,598)(116,597)(117,596)(118,595)(119,594)(120,593)(121,592)(122,591)(123,590)(124,589)(125,588)(126,587)(127,586)(128,585)(129,584)(130,583)(131,582)(132,581)(133,580)(134,579)(135,578)(136,577)(137,576)(138,575)(139,574)(140,573)(141,572)(142,571)(143,570)(144,569)(145,568)(146,567)(147,566)(148,565)(149,564)(150,563)(151,562)(152,561)(153,560)(154,559)(155,558)(156,557)(157,556)(158,555)(159,317)(160,395)(161,394)(162,393)(163,392)(164,391)(165,390)(166,389)(167,388)(168,387)(169,386)(170,385)(171,384)(172,383)(173,382)(174,381)(175,380)(176,379)(177,378)(178,377)(179,376)(180,375)(181,374)(182,373)(183,372)(184,371)(185,370)(186,369)(187,368)(188,367)(189,366)(190,365)(191,364)(192,363)(193,362)(194,361)(195,360)(196,359)(197,358)(198,357)(199,356)(200,355)(201,354)(202,353)(203,352)(204,351)(205,350)(206,349)(207,348)(208,347)(209,346)(210,345)(211,344)(212,343)(213,342)(214,341)(215,340)(216,339)(217,338)(218,337)(219,336)(220,335)(221,334)(222,333)(223,332)(224,331)(225,330)(226,329)(227,328)(228,327)(229,326)(230,325)(231,324)(232,323)(233,322)(234,321)(235,320)(236,319)(237,318)(238,396)(239,474)(240,473)(241,472)(242,471)(243,470)(244,469)(245,468)(246,467)(247,466)(248,465)(249,464)(250,463)(251,462)(252,461)(253,460)(254,459)(255,458)(256,457)(257,456)(258,455)(259,454)(260,453)(261,452)(262,451)(263,450)(264,449)(265,448)(266,447)(267,446)(268,445)(269,444)(270,443)(271,442)(272,441)(273,440)(274,439)(275,438)(276,437)(277,436)(278,435)(279,434)(280,433)(281,432)(282,431)(283,430)(284,429)(285,428)(286,427)(287,426)(288,425)(289,424)(290,423)(291,422)(292,421)(293,420)(294,419)(295,418)(296,417)(297,416)(298,415)(299,414)(300,413)(301,412)(302,411)(303,410)(304,409)(305,408)(306,407)(307,406)(308,405)(309,404)(310,403)(311,402)(312,401)(313,400)(314,399)(315,398)(316,397);
s2 := Sym(632)!(  1,160)(  2,159)(  3,237)(  4,236)(  5,235)(  6,234)(  7,233)(  8,232)(  9,231)( 10,230)( 11,229)( 12,228)( 13,227)( 14,226)( 15,225)( 16,224)( 17,223)( 18,222)( 19,221)( 20,220)( 21,219)( 22,218)( 23,217)( 24,216)( 25,215)( 26,214)( 27,213)( 28,212)( 29,211)( 30,210)( 31,209)( 32,208)( 33,207)( 34,206)( 35,205)( 36,204)( 37,203)( 38,202)( 39,201)( 40,200)( 41,199)( 42,198)( 43,197)( 44,196)( 45,195)( 46,194)( 47,193)( 48,192)( 49,191)( 50,190)( 51,189)( 52,188)( 53,187)( 54,186)( 55,185)( 56,184)( 57,183)( 58,182)( 59,181)( 60,180)( 61,179)( 62,178)( 63,177)( 64,176)( 65,175)( 66,174)( 67,173)( 68,172)( 69,171)( 70,170)( 71,169)( 72,168)( 73,167)( 74,166)( 75,165)( 76,164)( 77,163)( 78,162)( 79,161)( 80,239)( 81,238)( 82,316)( 83,315)( 84,314)( 85,313)( 86,312)( 87,311)( 88,310)( 89,309)( 90,308)( 91,307)( 92,306)( 93,305)( 94,304)( 95,303)( 96,302)( 97,301)( 98,300)( 99,299)(100,298)(101,297)(102,296)(103,295)(104,294)(105,293)(106,292)(107,291)(108,290)(109,289)(110,288)(111,287)(112,286)(113,285)(114,284)(115,283)(116,282)(117,281)(118,280)(119,279)(120,278)(121,277)(122,276)(123,275)(124,274)(125,273)(126,272)(127,271)(128,270)(129,269)(130,268)(131,267)(132,266)(133,265)(134,264)(135,263)(136,262)(137,261)(138,260)(139,259)(140,258)(141,257)(142,256)(143,255)(144,254)(145,253)(146,252)(147,251)(148,250)(149,249)(150,248)(151,247)(152,246)(153,245)(154,244)(155,243)(156,242)(157,241)(158,240)(317,476)(318,475)(319,553)(320,552)(321,551)(322,550)(323,549)(324,548)(325,547)(326,546)(327,545)(328,544)(329,543)(330,542)(331,541)(332,540)(333,539)(334,538)(335,537)(336,536)(337,535)(338,534)(339,533)(340,532)(341,531)(342,530)(343,529)(344,528)(345,527)(346,526)(347,525)(348,524)(349,523)(350,522)(351,521)(352,520)(353,519)(354,518)(355,517)(356,516)(357,515)(358,514)(359,513)(360,512)(361,511)(362,510)(363,509)(364,508)(365,507)(366,506)(367,505)(368,504)(369,503)(370,502)(371,501)(372,500)(373,499)(374,498)(375,497)(376,496)(377,495)(378,494)(379,493)(380,492)(381,491)(382,490)(383,489)(384,488)(385,487)(386,486)(387,485)(388,484)(389,483)(390,482)(391,481)(392,480)(393,479)(394,478)(395,477)(396,555)(397,554)(398,632)(399,631)(400,630)(401,629)(402,628)(403,627)(404,626)(405,625)(406,624)(407,623)(408,622)(409,621)(410,620)(411,619)(412,618)(413,617)(414,616)(415,615)(416,614)(417,613)(418,612)(419,611)(420,610)(421,609)(422,608)(423,607)(424,606)(425,605)(426,604)(427,603)(428,602)(429,601)(430,600)(431,599)(432,598)(433,597)(434,596)(435,595)(436,594)(437,593)(438,592)(439,591)(440,590)(441,589)(442,588)(443,587)(444,586)(445,585)(446,584)(447,583)(448,582)(449,581)(450,580)(451,579)(452,578)(453,577)(454,576)(455,575)(456,574)(457,573)(458,572)(459,571)(460,570)(461,569)(462,568)(463,567)(464,566)(465,565)(466,564)(467,563)(468,562)(469,561)(470,560)(471,559)(472,558)(473,557)(474,556);
poly := sub<Sym(632)|s0,s1,s2>;

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