Polytope of Type {2,472}

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

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

Permutation Representation (Magma) :

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

to this polytope