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