Polytope of Type {2,494}

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