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