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