Polytope of Type {430,2}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {430,2}*1720
if this polytope has a name.
Group : SmallGroup(1720,38)
Rank : 3
Schlafli Type : {430,2}
Number of vertices, edges, etc : 430, 430, 2
Order of s₀s₁s₂ : 430
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
   Flat
   Self-Petrie
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {215,2}*860
   5-fold quotients : {86,2}*344
   10-fold quotients : {43,2}*172
   43-fold quotients : {10,2}*40
   86-fold quotients : {5,2}*20
   215-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := (  2, 43)(  3, 42)(  4, 41)(  5, 40)(  6, 39)(  7, 38)(  8, 37)(  9, 36)
( 10, 35)( 11, 34)( 12, 33)( 13, 32)( 14, 31)( 15, 30)( 16, 29)( 17, 28)
( 18, 27)( 19, 26)( 20, 25)( 21, 24)( 22, 23)( 44,173)( 45,215)( 46,214)
( 47,213)( 48,212)( 49,211)( 50,210)( 51,209)( 52,208)( 53,207)( 54,206)
( 55,205)( 56,204)( 57,203)( 58,202)( 59,201)( 60,200)( 61,199)( 62,198)
( 63,197)( 64,196)( 65,195)( 66,194)( 67,193)( 68,192)( 69,191)( 70,190)
( 71,189)( 72,188)( 73,187)( 74,186)( 75,185)( 76,184)( 77,183)( 78,182)
( 79,181)( 80,180)( 81,179)( 82,178)( 83,177)( 84,176)( 85,175)( 86,174)
( 87,130)( 88,172)( 89,171)( 90,170)( 91,169)( 92,168)( 93,167)( 94,166)
( 95,165)( 96,164)( 97,163)( 98,162)( 99,161)(100,160)(101,159)(102,158)
(103,157)(104,156)(105,155)(106,154)(107,153)(108,152)(109,151)(110,150)
(111,149)(112,148)(113,147)(114,146)(115,145)(116,144)(117,143)(118,142)
(119,141)(120,140)(121,139)(122,138)(123,137)(124,136)(125,135)(126,134)
(127,133)(128,132)(129,131)(217,258)(218,257)(219,256)(220,255)(221,254)
(222,253)(223,252)(224,251)(225,250)(226,249)(227,248)(228,247)(229,246)
(230,245)(231,244)(232,243)(233,242)(234,241)(235,240)(236,239)(237,238)
(259,388)(260,430)(261,429)(262,428)(263,427)(264,426)(265,425)(266,424)
(267,423)(268,422)(269,421)(270,420)(271,419)(272,418)(273,417)(274,416)
(275,415)(276,414)(277,413)(278,412)(279,411)(280,410)(281,409)(282,408)
(283,407)(284,406)(285,405)(286,404)(287,403)(288,402)(289,401)(290,400)
(291,399)(292,398)(293,397)(294,396)(295,395)(296,394)(297,393)(298,392)
(299,391)(300,390)(301,389)(302,345)(303,387)(304,386)(305,385)(306,384)
(307,383)(308,382)(309,381)(310,380)(311,379)(312,378)(313,377)(314,376)
(315,375)(316,374)(317,373)(318,372)(319,371)(320,370)(321,369)(322,368)
(323,367)(324,366)(325,365)(326,364)(327,363)(328,362)(329,361)(330,360)
(331,359)(332,358)(333,357)(334,356)(335,355)(336,354)(337,353)(338,352)
(339,351)(340,350)(341,349)(342,348)(343,347)(344,346);;
s1 := (  1,260)(  2,259)(  3,301)(  4,300)(  5,299)(  6,298)(  7,297)(  8,296)
(  9,295)( 10,294)( 11,293)( 12,292)( 13,291)( 14,290)( 15,289)( 16,288)
( 17,287)( 18,286)( 19,285)( 20,284)( 21,283)( 22,282)( 23,281)( 24,280)
( 25,279)( 26,278)( 27,277)( 28,276)( 29,275)( 30,274)( 31,273)( 32,272)
( 33,271)( 34,270)( 35,269)( 36,268)( 37,267)( 38,266)( 39,265)( 40,264)
( 41,263)( 42,262)( 43,261)( 44,217)( 45,216)( 46,258)( 47,257)( 48,256)
( 49,255)( 50,254)( 51,253)( 52,252)( 53,251)( 54,250)( 55,249)( 56,248)
( 57,247)( 58,246)( 59,245)( 60,244)( 61,243)( 62,242)( 63,241)( 64,240)
( 65,239)( 66,238)( 67,237)( 68,236)( 69,235)( 70,234)( 71,233)( 72,232)
( 73,231)( 74,230)( 75,229)( 76,228)( 77,227)( 78,226)( 79,225)( 80,224)
( 81,223)( 82,222)( 83,221)( 84,220)( 85,219)( 86,218)( 87,389)( 88,388)
( 89,430)( 90,429)( 91,428)( 92,427)( 93,426)( 94,425)( 95,424)( 96,423)
( 97,422)( 98,421)( 99,420)(100,419)(101,418)(102,417)(103,416)(104,415)
(105,414)(106,413)(107,412)(108,411)(109,410)(110,409)(111,408)(112,407)
(113,406)(114,405)(115,404)(116,403)(117,402)(118,401)(119,400)(120,399)
(121,398)(122,397)(123,396)(124,395)(125,394)(126,393)(127,392)(128,391)
(129,390)(130,346)(131,345)(132,387)(133,386)(134,385)(135,384)(136,383)
(137,382)(138,381)(139,380)(140,379)(141,378)(142,377)(143,376)(144,375)
(145,374)(146,373)(147,372)(148,371)(149,370)(150,369)(151,368)(152,367)
(153,366)(154,365)(155,364)(156,363)(157,362)(158,361)(159,360)(160,359)
(161,358)(162,357)(163,356)(164,355)(165,354)(166,353)(167,352)(168,351)
(169,350)(170,349)(171,348)(172,347)(173,303)(174,302)(175,344)(176,343)
(177,342)(178,341)(179,340)(180,339)(181,338)(182,337)(183,336)(184,335)
(185,334)(186,333)(187,332)(188,331)(189,330)(190,329)(191,328)(192,327)
(193,326)(194,325)(195,324)(196,323)(197,322)(198,321)(199,320)(200,319)
(201,318)(202,317)(203,316)(204,315)(205,314)(206,313)(207,312)(208,311)
(209,310)(210,309)(211,308)(212,307)(213,306)(214,305)(215,304);;
s2 := (431,432);;
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, 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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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(432)!(  2, 43)(  3, 42)(  4, 41)(  5, 40)(  6, 39)(  7, 38)(  8, 37)
(  9, 36)( 10, 35)( 11, 34)( 12, 33)( 13, 32)( 14, 31)( 15, 30)( 16, 29)
( 17, 28)( 18, 27)( 19, 26)( 20, 25)( 21, 24)( 22, 23)( 44,173)( 45,215)
( 46,214)( 47,213)( 48,212)( 49,211)( 50,210)( 51,209)( 52,208)( 53,207)
( 54,206)( 55,205)( 56,204)( 57,203)( 58,202)( 59,201)( 60,200)( 61,199)
( 62,198)( 63,197)( 64,196)( 65,195)( 66,194)( 67,193)( 68,192)( 69,191)
( 70,190)( 71,189)( 72,188)( 73,187)( 74,186)( 75,185)( 76,184)( 77,183)
( 78,182)( 79,181)( 80,180)( 81,179)( 82,178)( 83,177)( 84,176)( 85,175)
( 86,174)( 87,130)( 88,172)( 89,171)( 90,170)( 91,169)( 92,168)( 93,167)
( 94,166)( 95,165)( 96,164)( 97,163)( 98,162)( 99,161)(100,160)(101,159)
(102,158)(103,157)(104,156)(105,155)(106,154)(107,153)(108,152)(109,151)
(110,150)(111,149)(112,148)(113,147)(114,146)(115,145)(116,144)(117,143)
(118,142)(119,141)(120,140)(121,139)(122,138)(123,137)(124,136)(125,135)
(126,134)(127,133)(128,132)(129,131)(217,258)(218,257)(219,256)(220,255)
(221,254)(222,253)(223,252)(224,251)(225,250)(226,249)(227,248)(228,247)
(229,246)(230,245)(231,244)(232,243)(233,242)(234,241)(235,240)(236,239)
(237,238)(259,388)(260,430)(261,429)(262,428)(263,427)(264,426)(265,425)
(266,424)(267,423)(268,422)(269,421)(270,420)(271,419)(272,418)(273,417)
(274,416)(275,415)(276,414)(277,413)(278,412)(279,411)(280,410)(281,409)
(282,408)(283,407)(284,406)(285,405)(286,404)(287,403)(288,402)(289,401)
(290,400)(291,399)(292,398)(293,397)(294,396)(295,395)(296,394)(297,393)
(298,392)(299,391)(300,390)(301,389)(302,345)(303,387)(304,386)(305,385)
(306,384)(307,383)(308,382)(309,381)(310,380)(311,379)(312,378)(313,377)
(314,376)(315,375)(316,374)(317,373)(318,372)(319,371)(320,370)(321,369)
(322,368)(323,367)(324,366)(325,365)(326,364)(327,363)(328,362)(329,361)
(330,360)(331,359)(332,358)(333,357)(334,356)(335,355)(336,354)(337,353)
(338,352)(339,351)(340,350)(341,349)(342,348)(343,347)(344,346);
s1 := Sym(432)!(  1,260)(  2,259)(  3,301)(  4,300)(  5,299)(  6,298)(  7,297)
(  8,296)(  9,295)( 10,294)( 11,293)( 12,292)( 13,291)( 14,290)( 15,289)
( 16,288)( 17,287)( 18,286)( 19,285)( 20,284)( 21,283)( 22,282)( 23,281)
( 24,280)( 25,279)( 26,278)( 27,277)( 28,276)( 29,275)( 30,274)( 31,273)
( 32,272)( 33,271)( 34,270)( 35,269)( 36,268)( 37,267)( 38,266)( 39,265)
( 40,264)( 41,263)( 42,262)( 43,261)( 44,217)( 45,216)( 46,258)( 47,257)
( 48,256)( 49,255)( 50,254)( 51,253)( 52,252)( 53,251)( 54,250)( 55,249)
( 56,248)( 57,247)( 58,246)( 59,245)( 60,244)( 61,243)( 62,242)( 63,241)
( 64,240)( 65,239)( 66,238)( 67,237)( 68,236)( 69,235)( 70,234)( 71,233)
( 72,232)( 73,231)( 74,230)( 75,229)( 76,228)( 77,227)( 78,226)( 79,225)
( 80,224)( 81,223)( 82,222)( 83,221)( 84,220)( 85,219)( 86,218)( 87,389)
( 88,388)( 89,430)( 90,429)( 91,428)( 92,427)( 93,426)( 94,425)( 95,424)
( 96,423)( 97,422)( 98,421)( 99,420)(100,419)(101,418)(102,417)(103,416)
(104,415)(105,414)(106,413)(107,412)(108,411)(109,410)(110,409)(111,408)
(112,407)(113,406)(114,405)(115,404)(116,403)(117,402)(118,401)(119,400)
(120,399)(121,398)(122,397)(123,396)(124,395)(125,394)(126,393)(127,392)
(128,391)(129,390)(130,346)(131,345)(132,387)(133,386)(134,385)(135,384)
(136,383)(137,382)(138,381)(139,380)(140,379)(141,378)(142,377)(143,376)
(144,375)(145,374)(146,373)(147,372)(148,371)(149,370)(150,369)(151,368)
(152,367)(153,366)(154,365)(155,364)(156,363)(157,362)(158,361)(159,360)
(160,359)(161,358)(162,357)(163,356)(164,355)(165,354)(166,353)(167,352)
(168,351)(169,350)(170,349)(171,348)(172,347)(173,303)(174,302)(175,344)
(176,343)(177,342)(178,341)(179,340)(180,339)(181,338)(182,337)(183,336)
(184,335)(185,334)(186,333)(187,332)(188,331)(189,330)(190,329)(191,328)
(192,327)(193,326)(194,325)(195,324)(196,323)(197,322)(198,321)(199,320)
(200,319)(201,318)(202,317)(203,316)(204,315)(205,314)(206,313)(207,312)
(208,311)(209,310)(210,309)(211,308)(212,307)(213,306)(214,305)(215,304);
s2 := Sym(432)!(431,432);
poly := sub<Sym(432)|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, 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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

to this polytope