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