Polytope of Type {2,446}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,446}*1784
if this polytope has a name.
Group : SmallGroup(1784,12)
Rank : 3
Schlafli Type : {2,446}
Number of vertices, edges, etc : 2, 446, 446
Order of s₀s₁s₂ : 446
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,223}*892
   223-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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