Polytope of Type {422}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {422}*844
Also Known As : 422-gon, {422}. if this polytope has another name.
Group : SmallGroup(844,3)
Rank : 2
Schlafli Type : {422}
Number of vertices, edges, etc : 422, 422
Order of s₀s₁ : 422
Special Properties :
   Universal
   Spherical
   Locally Spherical
   Orientable
   Self-Dual
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   {422,2} of size 1688
Vertex Figure Of :
   {2,422} of size 1688
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {211}*422
   211-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   2-fold covers : {844}*1688
Permutation Representation (GAP) :

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

Finitely Presented Group Representation (GAP) :

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

Finitely Presented Group Representation (Magma) :

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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.
to this polytope