Polytope of Type {482,2}

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

to this polytope