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