Polytope of Type {24,12}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {24,12}*1728s
if this polytope has a name.
Group : SmallGroup(1728,31593)
Rank : 3
Schlafli Type : {24,12}
Number of vertices, edges, etc : 72, 432, 36
Order of s0s1s2 : 8
Order of s0s1s2s1 : 6
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Orientable
Related Polytopes :
Facet
Vertex Figure
Dual
Petrial
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {12,12}*864i, {24,6}*864g
3-fold quotients : {8,12}*576a
4-fold quotients : {12,6}*432h
6-fold quotients : {8,6}*288, {4,12}*288
12-fold quotients : {4,6}*144
24-fold quotients : {4,6}*72
27-fold quotients : {8,4}*64a
54-fold quotients : {4,4}*32, {8,2}*32
108-fold quotients : {2,4}*16, {4,2}*16
216-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1,217)( 2,224)( 3,222)( 4,223)( 5,221)( 6,219)( 7,220)( 8,218)
( 9,225)( 10,235)( 11,242)( 12,240)( 13,241)( 14,239)( 15,237)( 16,238)
( 17,236)( 18,243)( 19,226)( 20,233)( 21,231)( 22,232)( 23,230)( 24,228)
( 25,229)( 26,227)( 27,234)( 28,244)( 29,251)( 30,249)( 31,250)( 32,248)
( 33,246)( 34,247)( 35,245)( 36,252)( 37,262)( 38,269)( 39,267)( 40,268)
( 41,266)( 42,264)( 43,265)( 44,263)( 45,270)( 46,253)( 47,260)( 48,258)
( 49,259)( 50,257)( 51,255)( 52,256)( 53,254)( 54,261)( 55,271)( 56,278)
( 57,276)( 58,277)( 59,275)( 60,273)( 61,274)( 62,272)( 63,279)( 64,289)
( 65,296)( 66,294)( 67,295)( 68,293)( 69,291)( 70,292)( 71,290)( 72,297)
( 73,280)( 74,287)( 75,285)( 76,286)( 77,284)( 78,282)( 79,283)( 80,281)
( 81,288)( 82,298)( 83,305)( 84,303)( 85,304)( 86,302)( 87,300)( 88,301)
( 89,299)( 90,306)( 91,316)( 92,323)( 93,321)( 94,322)( 95,320)( 96,318)
( 97,319)( 98,317)( 99,324)(100,307)(101,314)(102,312)(103,313)(104,311)
(105,309)(106,310)(107,308)(108,315)(109,352)(110,359)(111,357)(112,358)
(113,356)(114,354)(115,355)(116,353)(117,360)(118,370)(119,377)(120,375)
(121,376)(122,374)(123,372)(124,373)(125,371)(126,378)(127,361)(128,368)
(129,366)(130,367)(131,365)(132,363)(133,364)(134,362)(135,369)(136,325)
(137,332)(138,330)(139,331)(140,329)(141,327)(142,328)(143,326)(144,333)
(145,343)(146,350)(147,348)(148,349)(149,347)(150,345)(151,346)(152,344)
(153,351)(154,334)(155,341)(156,339)(157,340)(158,338)(159,336)(160,337)
(161,335)(162,342)(163,406)(164,413)(165,411)(166,412)(167,410)(168,408)
(169,409)(170,407)(171,414)(172,424)(173,431)(174,429)(175,430)(176,428)
(177,426)(178,427)(179,425)(180,432)(181,415)(182,422)(183,420)(184,421)
(185,419)(186,417)(187,418)(188,416)(189,423)(190,379)(191,386)(192,384)
(193,385)(194,383)(195,381)(196,382)(197,380)(198,387)(199,397)(200,404)
(201,402)(202,403)(203,401)(204,399)(205,400)(206,398)(207,405)(208,388)
(209,395)(210,393)(211,394)(212,392)(213,390)(214,391)(215,389)(216,396)
(433,757)(434,764)(435,762)(436,763)(437,761)(438,759)(439,760)(440,758)
(441,765)(442,775)(443,782)(444,780)(445,781)(446,779)(447,777)(448,778)
(449,776)(450,783)(451,766)(452,773)(453,771)(454,772)(455,770)(456,768)
(457,769)(458,767)(459,774)(460,784)(461,791)(462,789)(463,790)(464,788)
(465,786)(466,787)(467,785)(468,792)(469,802)(470,809)(471,807)(472,808)
(473,806)(474,804)(475,805)(476,803)(477,810)(478,793)(479,800)(480,798)
(481,799)(482,797)(483,795)(484,796)(485,794)(486,801)(487,811)(488,818)
(489,816)(490,817)(491,815)(492,813)(493,814)(494,812)(495,819)(496,829)
(497,836)(498,834)(499,835)(500,833)(501,831)(502,832)(503,830)(504,837)
(505,820)(506,827)(507,825)(508,826)(509,824)(510,822)(511,823)(512,821)
(513,828)(514,838)(515,845)(516,843)(517,844)(518,842)(519,840)(520,841)
(521,839)(522,846)(523,856)(524,863)(525,861)(526,862)(527,860)(528,858)
(529,859)(530,857)(531,864)(532,847)(533,854)(534,852)(535,853)(536,851)
(537,849)(538,850)(539,848)(540,855)(541,649)(542,656)(543,654)(544,655)
(545,653)(546,651)(547,652)(548,650)(549,657)(550,667)(551,674)(552,672)
(553,673)(554,671)(555,669)(556,670)(557,668)(558,675)(559,658)(560,665)
(561,663)(562,664)(563,662)(564,660)(565,661)(566,659)(567,666)(568,676)
(569,683)(570,681)(571,682)(572,680)(573,678)(574,679)(575,677)(576,684)
(577,694)(578,701)(579,699)(580,700)(581,698)(582,696)(583,697)(584,695)
(585,702)(586,685)(587,692)(588,690)(589,691)(590,689)(591,687)(592,688)
(593,686)(594,693)(595,703)(596,710)(597,708)(598,709)(599,707)(600,705)
(601,706)(602,704)(603,711)(604,721)(605,728)(606,726)(607,727)(608,725)
(609,723)(610,724)(611,722)(612,729)(613,712)(614,719)(615,717)(616,718)
(617,716)(618,714)(619,715)(620,713)(621,720)(622,730)(623,737)(624,735)
(625,736)(626,734)(627,732)(628,733)(629,731)(630,738)(631,748)(632,755)
(633,753)(634,754)(635,752)(636,750)(637,751)(638,749)(639,756)(640,739)
(641,746)(642,744)(643,745)(644,743)(645,741)(646,742)(647,740)(648,747);;
s1 := ( 1,658)( 2,659)( 3,660)( 4,666)( 5,664)( 6,665)( 7,662)( 8,663)
( 9,661)( 10,649)( 11,650)( 12,651)( 13,657)( 14,655)( 15,656)( 16,653)
( 17,654)( 18,652)( 19,667)( 20,668)( 21,669)( 22,675)( 23,673)( 24,674)
( 25,671)( 26,672)( 27,670)( 28,685)( 29,686)( 30,687)( 31,693)( 32,691)
( 33,692)( 34,689)( 35,690)( 36,688)( 37,676)( 38,677)( 39,678)( 40,684)
( 41,682)( 42,683)( 43,680)( 44,681)( 45,679)( 46,694)( 47,695)( 48,696)
( 49,702)( 50,700)( 51,701)( 52,698)( 53,699)( 54,697)( 55,712)( 56,713)
( 57,714)( 58,720)( 59,718)( 60,719)( 61,716)( 62,717)( 63,715)( 64,703)
( 65,704)( 66,705)( 67,711)( 68,709)( 69,710)( 70,707)( 71,708)( 72,706)
( 73,721)( 74,722)( 75,723)( 76,729)( 77,727)( 78,728)( 79,725)( 80,726)
( 81,724)( 82,739)( 83,740)( 84,741)( 85,747)( 86,745)( 87,746)( 88,743)
( 89,744)( 90,742)( 91,730)( 92,731)( 93,732)( 94,738)( 95,736)( 96,737)
( 97,734)( 98,735)( 99,733)(100,748)(101,749)(102,750)(103,756)(104,754)
(105,755)(106,752)(107,753)(108,751)(109,793)(110,794)(111,795)(112,801)
(113,799)(114,800)(115,797)(116,798)(117,796)(118,784)(119,785)(120,786)
(121,792)(122,790)(123,791)(124,788)(125,789)(126,787)(127,802)(128,803)
(129,804)(130,810)(131,808)(132,809)(133,806)(134,807)(135,805)(136,766)
(137,767)(138,768)(139,774)(140,772)(141,773)(142,770)(143,771)(144,769)
(145,757)(146,758)(147,759)(148,765)(149,763)(150,764)(151,761)(152,762)
(153,760)(154,775)(155,776)(156,777)(157,783)(158,781)(159,782)(160,779)
(161,780)(162,778)(163,847)(164,848)(165,849)(166,855)(167,853)(168,854)
(169,851)(170,852)(171,850)(172,838)(173,839)(174,840)(175,846)(176,844)
(177,845)(178,842)(179,843)(180,841)(181,856)(182,857)(183,858)(184,864)
(185,862)(186,863)(187,860)(188,861)(189,859)(190,820)(191,821)(192,822)
(193,828)(194,826)(195,827)(196,824)(197,825)(198,823)(199,811)(200,812)
(201,813)(202,819)(203,817)(204,818)(205,815)(206,816)(207,814)(208,829)
(209,830)(210,831)(211,837)(212,835)(213,836)(214,833)(215,834)(216,832)
(217,496)(218,497)(219,498)(220,504)(221,502)(222,503)(223,500)(224,501)
(225,499)(226,487)(227,488)(228,489)(229,495)(230,493)(231,494)(232,491)
(233,492)(234,490)(235,505)(236,506)(237,507)(238,513)(239,511)(240,512)
(241,509)(242,510)(243,508)(244,523)(245,524)(246,525)(247,531)(248,529)
(249,530)(250,527)(251,528)(252,526)(253,514)(254,515)(255,516)(256,522)
(257,520)(258,521)(259,518)(260,519)(261,517)(262,532)(263,533)(264,534)
(265,540)(266,538)(267,539)(268,536)(269,537)(270,535)(271,442)(272,443)
(273,444)(274,450)(275,448)(276,449)(277,446)(278,447)(279,445)(280,433)
(281,434)(282,435)(283,441)(284,439)(285,440)(286,437)(287,438)(288,436)
(289,451)(290,452)(291,453)(292,459)(293,457)(294,458)(295,455)(296,456)
(297,454)(298,469)(299,470)(300,471)(301,477)(302,475)(303,476)(304,473)
(305,474)(306,472)(307,460)(308,461)(309,462)(310,468)(311,466)(312,467)
(313,464)(314,465)(315,463)(316,478)(317,479)(318,480)(319,486)(320,484)
(321,485)(322,482)(323,483)(324,481)(325,631)(326,632)(327,633)(328,639)
(329,637)(330,638)(331,635)(332,636)(333,634)(334,622)(335,623)(336,624)
(337,630)(338,628)(339,629)(340,626)(341,627)(342,625)(343,640)(344,641)
(345,642)(346,648)(347,646)(348,647)(349,644)(350,645)(351,643)(352,604)
(353,605)(354,606)(355,612)(356,610)(357,611)(358,608)(359,609)(360,607)
(361,595)(362,596)(363,597)(364,603)(365,601)(366,602)(367,599)(368,600)
(369,598)(370,613)(371,614)(372,615)(373,621)(374,619)(375,620)(376,617)
(377,618)(378,616)(379,577)(380,578)(381,579)(382,585)(383,583)(384,584)
(385,581)(386,582)(387,580)(388,568)(389,569)(390,570)(391,576)(392,574)
(393,575)(394,572)(395,573)(396,571)(397,586)(398,587)(399,588)(400,594)
(401,592)(402,593)(403,590)(404,591)(405,589)(406,550)(407,551)(408,552)
(409,558)(410,556)(411,557)(412,554)(413,555)(414,553)(415,541)(416,542)
(417,543)(418,549)(419,547)(420,548)(421,545)(422,546)(423,544)(424,559)
(425,560)(426,561)(427,567)(428,565)(429,566)(430,563)(431,564)(432,562);;
s2 := ( 1,329)( 2,328)( 3,330)( 4,326)( 5,325)( 6,327)( 7,332)( 8,331)
( 9,333)( 10,347)( 11,346)( 12,348)( 13,344)( 14,343)( 15,345)( 16,350)
( 17,349)( 18,351)( 19,338)( 20,337)( 21,339)( 22,335)( 23,334)( 24,336)
( 25,341)( 26,340)( 27,342)( 28,356)( 29,355)( 30,357)( 31,353)( 32,352)
( 33,354)( 34,359)( 35,358)( 36,360)( 37,374)( 38,373)( 39,375)( 40,371)
( 41,370)( 42,372)( 43,377)( 44,376)( 45,378)( 46,365)( 47,364)( 48,366)
( 49,362)( 50,361)( 51,363)( 52,368)( 53,367)( 54,369)( 55,383)( 56,382)
( 57,384)( 58,380)( 59,379)( 60,381)( 61,386)( 62,385)( 63,387)( 64,401)
( 65,400)( 66,402)( 67,398)( 68,397)( 69,399)( 70,404)( 71,403)( 72,405)
( 73,392)( 74,391)( 75,393)( 76,389)( 77,388)( 78,390)( 79,395)( 80,394)
( 81,396)( 82,410)( 83,409)( 84,411)( 85,407)( 86,406)( 87,408)( 88,413)
( 89,412)( 90,414)( 91,428)( 92,427)( 93,429)( 94,425)( 95,424)( 96,426)
( 97,431)( 98,430)( 99,432)(100,419)(101,418)(102,420)(103,416)(104,415)
(105,417)(106,422)(107,421)(108,423)(109,248)(110,247)(111,249)(112,245)
(113,244)(114,246)(115,251)(116,250)(117,252)(118,266)(119,265)(120,267)
(121,263)(122,262)(123,264)(124,269)(125,268)(126,270)(127,257)(128,256)
(129,258)(130,254)(131,253)(132,255)(133,260)(134,259)(135,261)(136,221)
(137,220)(138,222)(139,218)(140,217)(141,219)(142,224)(143,223)(144,225)
(145,239)(146,238)(147,240)(148,236)(149,235)(150,237)(151,242)(152,241)
(153,243)(154,230)(155,229)(156,231)(157,227)(158,226)(159,228)(160,233)
(161,232)(162,234)(163,302)(164,301)(165,303)(166,299)(167,298)(168,300)
(169,305)(170,304)(171,306)(172,320)(173,319)(174,321)(175,317)(176,316)
(177,318)(178,323)(179,322)(180,324)(181,311)(182,310)(183,312)(184,308)
(185,307)(186,309)(187,314)(188,313)(189,315)(190,275)(191,274)(192,276)
(193,272)(194,271)(195,273)(196,278)(197,277)(198,279)(199,293)(200,292)
(201,294)(202,290)(203,289)(204,291)(205,296)(206,295)(207,297)(208,284)
(209,283)(210,285)(211,281)(212,280)(213,282)(214,287)(215,286)(216,288)
(433,761)(434,760)(435,762)(436,758)(437,757)(438,759)(439,764)(440,763)
(441,765)(442,779)(443,778)(444,780)(445,776)(446,775)(447,777)(448,782)
(449,781)(450,783)(451,770)(452,769)(453,771)(454,767)(455,766)(456,768)
(457,773)(458,772)(459,774)(460,788)(461,787)(462,789)(463,785)(464,784)
(465,786)(466,791)(467,790)(468,792)(469,806)(470,805)(471,807)(472,803)
(473,802)(474,804)(475,809)(476,808)(477,810)(478,797)(479,796)(480,798)
(481,794)(482,793)(483,795)(484,800)(485,799)(486,801)(487,815)(488,814)
(489,816)(490,812)(491,811)(492,813)(493,818)(494,817)(495,819)(496,833)
(497,832)(498,834)(499,830)(500,829)(501,831)(502,836)(503,835)(504,837)
(505,824)(506,823)(507,825)(508,821)(509,820)(510,822)(511,827)(512,826)
(513,828)(514,842)(515,841)(516,843)(517,839)(518,838)(519,840)(520,845)
(521,844)(522,846)(523,860)(524,859)(525,861)(526,857)(527,856)(528,858)
(529,863)(530,862)(531,864)(532,851)(533,850)(534,852)(535,848)(536,847)
(537,849)(538,854)(539,853)(540,855)(541,680)(542,679)(543,681)(544,677)
(545,676)(546,678)(547,683)(548,682)(549,684)(550,698)(551,697)(552,699)
(553,695)(554,694)(555,696)(556,701)(557,700)(558,702)(559,689)(560,688)
(561,690)(562,686)(563,685)(564,687)(565,692)(566,691)(567,693)(568,653)
(569,652)(570,654)(571,650)(572,649)(573,651)(574,656)(575,655)(576,657)
(577,671)(578,670)(579,672)(580,668)(581,667)(582,669)(583,674)(584,673)
(585,675)(586,662)(587,661)(588,663)(589,659)(590,658)(591,660)(592,665)
(593,664)(594,666)(595,734)(596,733)(597,735)(598,731)(599,730)(600,732)
(601,737)(602,736)(603,738)(604,752)(605,751)(606,753)(607,749)(608,748)
(609,750)(610,755)(611,754)(612,756)(613,743)(614,742)(615,744)(616,740)
(617,739)(618,741)(619,746)(620,745)(621,747)(622,707)(623,706)(624,708)
(625,704)(626,703)(627,705)(628,710)(629,709)(630,711)(631,725)(632,724)
(633,726)(634,722)(635,721)(636,723)(637,728)(638,727)(639,729)(640,716)
(641,715)(642,717)(643,713)(644,712)(645,714)(646,719)(647,718)(648,720);;
poly := Group([s0,s1,s2]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;; s1 := F.2;; s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1,
s2*s0*s1*s2*s1*s0*s1*s2*s1*s2*s0*s1*s2*s1*s0*s1*s2*s1,
s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1,
s0*s1*s2*s1*s2*s1*s0*s1*s0*s1*s2*s1*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1,
s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(864)!( 1,217)( 2,224)( 3,222)( 4,223)( 5,221)( 6,219)( 7,220)
( 8,218)( 9,225)( 10,235)( 11,242)( 12,240)( 13,241)( 14,239)( 15,237)
( 16,238)( 17,236)( 18,243)( 19,226)( 20,233)( 21,231)( 22,232)( 23,230)
( 24,228)( 25,229)( 26,227)( 27,234)( 28,244)( 29,251)( 30,249)( 31,250)
( 32,248)( 33,246)( 34,247)( 35,245)( 36,252)( 37,262)( 38,269)( 39,267)
( 40,268)( 41,266)( 42,264)( 43,265)( 44,263)( 45,270)( 46,253)( 47,260)
( 48,258)( 49,259)( 50,257)( 51,255)( 52,256)( 53,254)( 54,261)( 55,271)
( 56,278)( 57,276)( 58,277)( 59,275)( 60,273)( 61,274)( 62,272)( 63,279)
( 64,289)( 65,296)( 66,294)( 67,295)( 68,293)( 69,291)( 70,292)( 71,290)
( 72,297)( 73,280)( 74,287)( 75,285)( 76,286)( 77,284)( 78,282)( 79,283)
( 80,281)( 81,288)( 82,298)( 83,305)( 84,303)( 85,304)( 86,302)( 87,300)
( 88,301)( 89,299)( 90,306)( 91,316)( 92,323)( 93,321)( 94,322)( 95,320)
( 96,318)( 97,319)( 98,317)( 99,324)(100,307)(101,314)(102,312)(103,313)
(104,311)(105,309)(106,310)(107,308)(108,315)(109,352)(110,359)(111,357)
(112,358)(113,356)(114,354)(115,355)(116,353)(117,360)(118,370)(119,377)
(120,375)(121,376)(122,374)(123,372)(124,373)(125,371)(126,378)(127,361)
(128,368)(129,366)(130,367)(131,365)(132,363)(133,364)(134,362)(135,369)
(136,325)(137,332)(138,330)(139,331)(140,329)(141,327)(142,328)(143,326)
(144,333)(145,343)(146,350)(147,348)(148,349)(149,347)(150,345)(151,346)
(152,344)(153,351)(154,334)(155,341)(156,339)(157,340)(158,338)(159,336)
(160,337)(161,335)(162,342)(163,406)(164,413)(165,411)(166,412)(167,410)
(168,408)(169,409)(170,407)(171,414)(172,424)(173,431)(174,429)(175,430)
(176,428)(177,426)(178,427)(179,425)(180,432)(181,415)(182,422)(183,420)
(184,421)(185,419)(186,417)(187,418)(188,416)(189,423)(190,379)(191,386)
(192,384)(193,385)(194,383)(195,381)(196,382)(197,380)(198,387)(199,397)
(200,404)(201,402)(202,403)(203,401)(204,399)(205,400)(206,398)(207,405)
(208,388)(209,395)(210,393)(211,394)(212,392)(213,390)(214,391)(215,389)
(216,396)(433,757)(434,764)(435,762)(436,763)(437,761)(438,759)(439,760)
(440,758)(441,765)(442,775)(443,782)(444,780)(445,781)(446,779)(447,777)
(448,778)(449,776)(450,783)(451,766)(452,773)(453,771)(454,772)(455,770)
(456,768)(457,769)(458,767)(459,774)(460,784)(461,791)(462,789)(463,790)
(464,788)(465,786)(466,787)(467,785)(468,792)(469,802)(470,809)(471,807)
(472,808)(473,806)(474,804)(475,805)(476,803)(477,810)(478,793)(479,800)
(480,798)(481,799)(482,797)(483,795)(484,796)(485,794)(486,801)(487,811)
(488,818)(489,816)(490,817)(491,815)(492,813)(493,814)(494,812)(495,819)
(496,829)(497,836)(498,834)(499,835)(500,833)(501,831)(502,832)(503,830)
(504,837)(505,820)(506,827)(507,825)(508,826)(509,824)(510,822)(511,823)
(512,821)(513,828)(514,838)(515,845)(516,843)(517,844)(518,842)(519,840)
(520,841)(521,839)(522,846)(523,856)(524,863)(525,861)(526,862)(527,860)
(528,858)(529,859)(530,857)(531,864)(532,847)(533,854)(534,852)(535,853)
(536,851)(537,849)(538,850)(539,848)(540,855)(541,649)(542,656)(543,654)
(544,655)(545,653)(546,651)(547,652)(548,650)(549,657)(550,667)(551,674)
(552,672)(553,673)(554,671)(555,669)(556,670)(557,668)(558,675)(559,658)
(560,665)(561,663)(562,664)(563,662)(564,660)(565,661)(566,659)(567,666)
(568,676)(569,683)(570,681)(571,682)(572,680)(573,678)(574,679)(575,677)
(576,684)(577,694)(578,701)(579,699)(580,700)(581,698)(582,696)(583,697)
(584,695)(585,702)(586,685)(587,692)(588,690)(589,691)(590,689)(591,687)
(592,688)(593,686)(594,693)(595,703)(596,710)(597,708)(598,709)(599,707)
(600,705)(601,706)(602,704)(603,711)(604,721)(605,728)(606,726)(607,727)
(608,725)(609,723)(610,724)(611,722)(612,729)(613,712)(614,719)(615,717)
(616,718)(617,716)(618,714)(619,715)(620,713)(621,720)(622,730)(623,737)
(624,735)(625,736)(626,734)(627,732)(628,733)(629,731)(630,738)(631,748)
(632,755)(633,753)(634,754)(635,752)(636,750)(637,751)(638,749)(639,756)
(640,739)(641,746)(642,744)(643,745)(644,743)(645,741)(646,742)(647,740)
(648,747);
s1 := Sym(864)!( 1,658)( 2,659)( 3,660)( 4,666)( 5,664)( 6,665)( 7,662)
( 8,663)( 9,661)( 10,649)( 11,650)( 12,651)( 13,657)( 14,655)( 15,656)
( 16,653)( 17,654)( 18,652)( 19,667)( 20,668)( 21,669)( 22,675)( 23,673)
( 24,674)( 25,671)( 26,672)( 27,670)( 28,685)( 29,686)( 30,687)( 31,693)
( 32,691)( 33,692)( 34,689)( 35,690)( 36,688)( 37,676)( 38,677)( 39,678)
( 40,684)( 41,682)( 42,683)( 43,680)( 44,681)( 45,679)( 46,694)( 47,695)
( 48,696)( 49,702)( 50,700)( 51,701)( 52,698)( 53,699)( 54,697)( 55,712)
( 56,713)( 57,714)( 58,720)( 59,718)( 60,719)( 61,716)( 62,717)( 63,715)
( 64,703)( 65,704)( 66,705)( 67,711)( 68,709)( 69,710)( 70,707)( 71,708)
( 72,706)( 73,721)( 74,722)( 75,723)( 76,729)( 77,727)( 78,728)( 79,725)
( 80,726)( 81,724)( 82,739)( 83,740)( 84,741)( 85,747)( 86,745)( 87,746)
( 88,743)( 89,744)( 90,742)( 91,730)( 92,731)( 93,732)( 94,738)( 95,736)
( 96,737)( 97,734)( 98,735)( 99,733)(100,748)(101,749)(102,750)(103,756)
(104,754)(105,755)(106,752)(107,753)(108,751)(109,793)(110,794)(111,795)
(112,801)(113,799)(114,800)(115,797)(116,798)(117,796)(118,784)(119,785)
(120,786)(121,792)(122,790)(123,791)(124,788)(125,789)(126,787)(127,802)
(128,803)(129,804)(130,810)(131,808)(132,809)(133,806)(134,807)(135,805)
(136,766)(137,767)(138,768)(139,774)(140,772)(141,773)(142,770)(143,771)
(144,769)(145,757)(146,758)(147,759)(148,765)(149,763)(150,764)(151,761)
(152,762)(153,760)(154,775)(155,776)(156,777)(157,783)(158,781)(159,782)
(160,779)(161,780)(162,778)(163,847)(164,848)(165,849)(166,855)(167,853)
(168,854)(169,851)(170,852)(171,850)(172,838)(173,839)(174,840)(175,846)
(176,844)(177,845)(178,842)(179,843)(180,841)(181,856)(182,857)(183,858)
(184,864)(185,862)(186,863)(187,860)(188,861)(189,859)(190,820)(191,821)
(192,822)(193,828)(194,826)(195,827)(196,824)(197,825)(198,823)(199,811)
(200,812)(201,813)(202,819)(203,817)(204,818)(205,815)(206,816)(207,814)
(208,829)(209,830)(210,831)(211,837)(212,835)(213,836)(214,833)(215,834)
(216,832)(217,496)(218,497)(219,498)(220,504)(221,502)(222,503)(223,500)
(224,501)(225,499)(226,487)(227,488)(228,489)(229,495)(230,493)(231,494)
(232,491)(233,492)(234,490)(235,505)(236,506)(237,507)(238,513)(239,511)
(240,512)(241,509)(242,510)(243,508)(244,523)(245,524)(246,525)(247,531)
(248,529)(249,530)(250,527)(251,528)(252,526)(253,514)(254,515)(255,516)
(256,522)(257,520)(258,521)(259,518)(260,519)(261,517)(262,532)(263,533)
(264,534)(265,540)(266,538)(267,539)(268,536)(269,537)(270,535)(271,442)
(272,443)(273,444)(274,450)(275,448)(276,449)(277,446)(278,447)(279,445)
(280,433)(281,434)(282,435)(283,441)(284,439)(285,440)(286,437)(287,438)
(288,436)(289,451)(290,452)(291,453)(292,459)(293,457)(294,458)(295,455)
(296,456)(297,454)(298,469)(299,470)(300,471)(301,477)(302,475)(303,476)
(304,473)(305,474)(306,472)(307,460)(308,461)(309,462)(310,468)(311,466)
(312,467)(313,464)(314,465)(315,463)(316,478)(317,479)(318,480)(319,486)
(320,484)(321,485)(322,482)(323,483)(324,481)(325,631)(326,632)(327,633)
(328,639)(329,637)(330,638)(331,635)(332,636)(333,634)(334,622)(335,623)
(336,624)(337,630)(338,628)(339,629)(340,626)(341,627)(342,625)(343,640)
(344,641)(345,642)(346,648)(347,646)(348,647)(349,644)(350,645)(351,643)
(352,604)(353,605)(354,606)(355,612)(356,610)(357,611)(358,608)(359,609)
(360,607)(361,595)(362,596)(363,597)(364,603)(365,601)(366,602)(367,599)
(368,600)(369,598)(370,613)(371,614)(372,615)(373,621)(374,619)(375,620)
(376,617)(377,618)(378,616)(379,577)(380,578)(381,579)(382,585)(383,583)
(384,584)(385,581)(386,582)(387,580)(388,568)(389,569)(390,570)(391,576)
(392,574)(393,575)(394,572)(395,573)(396,571)(397,586)(398,587)(399,588)
(400,594)(401,592)(402,593)(403,590)(404,591)(405,589)(406,550)(407,551)
(408,552)(409,558)(410,556)(411,557)(412,554)(413,555)(414,553)(415,541)
(416,542)(417,543)(418,549)(419,547)(420,548)(421,545)(422,546)(423,544)
(424,559)(425,560)(426,561)(427,567)(428,565)(429,566)(430,563)(431,564)
(432,562);
s2 := Sym(864)!( 1,329)( 2,328)( 3,330)( 4,326)( 5,325)( 6,327)( 7,332)
( 8,331)( 9,333)( 10,347)( 11,346)( 12,348)( 13,344)( 14,343)( 15,345)
( 16,350)( 17,349)( 18,351)( 19,338)( 20,337)( 21,339)( 22,335)( 23,334)
( 24,336)( 25,341)( 26,340)( 27,342)( 28,356)( 29,355)( 30,357)( 31,353)
( 32,352)( 33,354)( 34,359)( 35,358)( 36,360)( 37,374)( 38,373)( 39,375)
( 40,371)( 41,370)( 42,372)( 43,377)( 44,376)( 45,378)( 46,365)( 47,364)
( 48,366)( 49,362)( 50,361)( 51,363)( 52,368)( 53,367)( 54,369)( 55,383)
( 56,382)( 57,384)( 58,380)( 59,379)( 60,381)( 61,386)( 62,385)( 63,387)
( 64,401)( 65,400)( 66,402)( 67,398)( 68,397)( 69,399)( 70,404)( 71,403)
( 72,405)( 73,392)( 74,391)( 75,393)( 76,389)( 77,388)( 78,390)( 79,395)
( 80,394)( 81,396)( 82,410)( 83,409)( 84,411)( 85,407)( 86,406)( 87,408)
( 88,413)( 89,412)( 90,414)( 91,428)( 92,427)( 93,429)( 94,425)( 95,424)
( 96,426)( 97,431)( 98,430)( 99,432)(100,419)(101,418)(102,420)(103,416)
(104,415)(105,417)(106,422)(107,421)(108,423)(109,248)(110,247)(111,249)
(112,245)(113,244)(114,246)(115,251)(116,250)(117,252)(118,266)(119,265)
(120,267)(121,263)(122,262)(123,264)(124,269)(125,268)(126,270)(127,257)
(128,256)(129,258)(130,254)(131,253)(132,255)(133,260)(134,259)(135,261)
(136,221)(137,220)(138,222)(139,218)(140,217)(141,219)(142,224)(143,223)
(144,225)(145,239)(146,238)(147,240)(148,236)(149,235)(150,237)(151,242)
(152,241)(153,243)(154,230)(155,229)(156,231)(157,227)(158,226)(159,228)
(160,233)(161,232)(162,234)(163,302)(164,301)(165,303)(166,299)(167,298)
(168,300)(169,305)(170,304)(171,306)(172,320)(173,319)(174,321)(175,317)
(176,316)(177,318)(178,323)(179,322)(180,324)(181,311)(182,310)(183,312)
(184,308)(185,307)(186,309)(187,314)(188,313)(189,315)(190,275)(191,274)
(192,276)(193,272)(194,271)(195,273)(196,278)(197,277)(198,279)(199,293)
(200,292)(201,294)(202,290)(203,289)(204,291)(205,296)(206,295)(207,297)
(208,284)(209,283)(210,285)(211,281)(212,280)(213,282)(214,287)(215,286)
(216,288)(433,761)(434,760)(435,762)(436,758)(437,757)(438,759)(439,764)
(440,763)(441,765)(442,779)(443,778)(444,780)(445,776)(446,775)(447,777)
(448,782)(449,781)(450,783)(451,770)(452,769)(453,771)(454,767)(455,766)
(456,768)(457,773)(458,772)(459,774)(460,788)(461,787)(462,789)(463,785)
(464,784)(465,786)(466,791)(467,790)(468,792)(469,806)(470,805)(471,807)
(472,803)(473,802)(474,804)(475,809)(476,808)(477,810)(478,797)(479,796)
(480,798)(481,794)(482,793)(483,795)(484,800)(485,799)(486,801)(487,815)
(488,814)(489,816)(490,812)(491,811)(492,813)(493,818)(494,817)(495,819)
(496,833)(497,832)(498,834)(499,830)(500,829)(501,831)(502,836)(503,835)
(504,837)(505,824)(506,823)(507,825)(508,821)(509,820)(510,822)(511,827)
(512,826)(513,828)(514,842)(515,841)(516,843)(517,839)(518,838)(519,840)
(520,845)(521,844)(522,846)(523,860)(524,859)(525,861)(526,857)(527,856)
(528,858)(529,863)(530,862)(531,864)(532,851)(533,850)(534,852)(535,848)
(536,847)(537,849)(538,854)(539,853)(540,855)(541,680)(542,679)(543,681)
(544,677)(545,676)(546,678)(547,683)(548,682)(549,684)(550,698)(551,697)
(552,699)(553,695)(554,694)(555,696)(556,701)(557,700)(558,702)(559,689)
(560,688)(561,690)(562,686)(563,685)(564,687)(565,692)(566,691)(567,693)
(568,653)(569,652)(570,654)(571,650)(572,649)(573,651)(574,656)(575,655)
(576,657)(577,671)(578,670)(579,672)(580,668)(581,667)(582,669)(583,674)
(584,673)(585,675)(586,662)(587,661)(588,663)(589,659)(590,658)(591,660)
(592,665)(593,664)(594,666)(595,734)(596,733)(597,735)(598,731)(599,730)
(600,732)(601,737)(602,736)(603,738)(604,752)(605,751)(606,753)(607,749)
(608,748)(609,750)(610,755)(611,754)(612,756)(613,743)(614,742)(615,744)
(616,740)(617,739)(618,741)(619,746)(620,745)(621,747)(622,707)(623,706)
(624,708)(625,704)(626,703)(627,705)(628,710)(629,709)(630,711)(631,725)
(632,724)(633,726)(634,722)(635,721)(636,723)(637,728)(638,727)(639,729)
(640,716)(641,715)(642,717)(643,713)(644,712)(645,714)(646,719)(647,718)
(648,720);
poly := sub<Sym(864)|s0,s1,s2>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1,
s2*s0*s1*s2*s1*s0*s1*s2*s1*s2*s0*s1*s2*s1*s0*s1*s2*s1,
s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s2*s0*s1*s2*s0*s1,
s0*s1*s2*s1*s2*s1*s0*s1*s0*s1*s2*s1*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1,
s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1 >;
References : None.
to this polytope