Polytope of Type {2,416}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,416}*1664
if this polytope has a name.
Group : SmallGroup(1664,6808)
Rank : 3
Schlafli Type : {2,416}
Number of vertices, edges, etc : 2, 416, 416
Order of s₀s₁s₂ : 416
Order of s₀s₁s₂s₁ : 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,208}*832
   4-fold quotients : {2,104}*416
   8-fold quotients : {2,52}*208
   13-fold quotients : {2,32}*128
   16-fold quotients : {2,26}*104
   26-fold quotients : {2,16}*64
   32-fold quotients : {2,13}*52
   52-fold quotients : {2,8}*32
   104-fold quotients : {2,4}*16
   208-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope