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