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