Polytope of Type {2,478}

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

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

Permutation Representation (Magma) :

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

to this polytope