Polytope of Type {466,2}

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

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

Permutation Representation (Magma) :

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

to this polytope