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