Polytope of Type {416}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {416}*832
Also Known As : 416-gon, {416}. if this polytope has another name.
Group : SmallGroup(832,6)
Rank : 2
Schlafli Type : {416}
Number of vertices, edges, etc : 416, 416
Order of s₀s₁ : 416
Special Properties :
   Universal
   Spherical
   Locally Spherical
   Orientable
   Self-Dual
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   {416,2} of size 1664
Vertex Figure Of :
   {2,416} of size 1664
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {208}*416
   4-fold quotients : {104}*208
   8-fold quotients : {52}*104
   13-fold quotients : {32}*64
   16-fold quotients : {26}*52
   26-fold quotients : {16}*32
   32-fold quotients : {13}*26
   52-fold quotients : {8}*16
   104-fold quotients : {4}*8
   208-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   2-fold covers : {832}*1664
Irregular Quotients (of which this is a minimal cover):
   None.

Permutation Representation (GAP) :

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

Finitely Presented Group Representation (GAP) :

F := FreeGroup("s0","s1");;
s0 := F.1;;  s1 := F.2;;  
rels := [ s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;

Permutation Representation (Magma) :

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

Finitely Presented Group Representation (Magma) :

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

References : None.
to this polytope