Polytope of Type {2,482}

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

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

Permutation Representation (Magma) :

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

to this polytope