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