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