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