Polytope of Type {2,458}

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

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

Permutation Representation (Magma) :

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

to this polytope