Polytope of Type {4,8,14,2}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,8,14,2}*1792a
if this polytope has a name.
Group : SmallGroup(1792,1035859)
Rank : 5
Schlafli Type : {4,8,14,2}
Number of vertices, edges, etc : 4, 16, 56, 14, 2
Order of s0s1s2s3s4 : 56
Order of s0s1s2s3s4s3s2s1 : 2
Special Properties :
Degenerate
Universal
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 : {4,4,14,2}*896, {2,8,14,2}*896
4-fold quotients : {2,4,14,2}*448, {4,2,14,2}*448
7-fold quotients : {4,8,2,2}*256a
8-fold quotients : {4,2,7,2}*224, {2,2,14,2}*224
14-fold quotients : {4,4,2,2}*128, {2,8,2,2}*128
16-fold quotients : {2,2,7,2}*112
28-fold quotients : {2,4,2,2}*64, {4,2,2,2}*64
56-fold quotients : {2,2,2,2}*32
Covers (Minimal Covers in Boldface) :
None in this atlas.
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);;
s4 := (449,450);;
poly := Group([s0,s1,s2,s3,s4]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2","s3","s4");;
s0 := F.1;; s1 := F.2;; s2 := F.3;; s3 := F.4;; s4 := F.5;;
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s4*s4, s0*s2*s0*s2,
s0*s3*s0*s3, s1*s3*s1*s3, s0*s4*s0*s4,
s1*s4*s1*s4, s2*s4*s2*s4, s3*s4*s3*s4,
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(450)!( 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(450)!( 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(450)!( 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(450)!( 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);
s4 := Sym(450)!(449,450);
poly := sub<Sym(450)|s0,s1,s2,s3,s4>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2,s3,s4> := Group< s0,s1,s2,s3,s4 | s0*s0, s1*s1, s2*s2,
s3*s3, s4*s4, s0*s2*s0*s2, s0*s3*s0*s3,
s1*s3*s1*s3, s0*s4*s0*s4, s1*s4*s1*s4,
s2*s4*s2*s4, s3*s4*s3*s4, 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 >;
to this polytope