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