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