Polytope of Type {2,470}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,470}*1880
if this polytope has a name.
Group : SmallGroup(1880,38)
Rank : 3
Schlafli Type : {2,470}
Number of vertices, edges, etc : 2, 470, 470
Order of s₀s₁s₂ : 470
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,235}*940
   5-fold quotients : {2,94}*376
   10-fold quotients : {2,47}*188
   47-fold quotients : {2,10}*40
   94-fold quotients : {2,5}*20
   235-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope