Polytope of Type {458,2}

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

to this polytope