Polytope of Type {12,24}

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