Polytope of Type {478,2}

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

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