Polytope of Type {2,436}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,436}*1744
if this polytope has a name.
Group : SmallGroup(1744,36)
Rank : 3
Schlafli Type : {2,436}
Number of vertices, edges, etc : 2, 436, 436
Order of s₀s₁s₂ : 436
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,218}*872
   4-fold quotients : {2,109}*436
   109-fold quotients : {2,4}*16
   218-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.

Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

to this polytope