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