Polytope of Type {2,434}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,434}*1736
if this polytope has a name.
Group : SmallGroup(1736,34)
Rank : 3
Schlafli Type : {2,434}
Number of vertices, edges, etc : 2, 434, 434
Order of s₀s₁s₂ : 434
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,217}*868
   7-fold quotients : {2,62}*248
   14-fold quotients : {2,31}*124
   31-fold quotients : {2,14}*56
   62-fold quotients : {2,7}*28
   217-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope