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