Polytope of Type {2,454}

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

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

Permutation Representation (Magma) :

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

to this polytope