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