Polytope of Type {446,2}

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

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

Permutation Representation (Magma) :

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

to this polytope