Polytope of Type {2,442}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,442}*1768
if this polytope has a name.
Group : SmallGroup(1768,52)
Rank : 3
Schlafli Type : {2,442}
Number of vertices, edges, etc : 2, 442, 442
Order of s₀s₁s₂ : 442
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,221}*884
   13-fold quotients : {2,34}*136
   17-fold quotients : {2,26}*104
   26-fold quotients : {2,17}*68
   34-fold quotients : {2,13}*52
   221-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope