Polytope of Type {2,430}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,430}*1720
if this polytope has a name.
Group : SmallGroup(1720,38)
Rank : 3
Schlafli Type : {2,430}
Number of vertices, edges, etc : 2, 430, 430
Order of s₀s₁s₂ : 430
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,215}*860
   5-fold quotients : {2,86}*344
   10-fold quotients : {2,43}*172
   43-fold quotients : {2,10}*40
   86-fold quotients : {2,5}*20
   215-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope