Overview
- Group
- SmallGroup(1728,31593)
- Rank
- 3
- Schläfli Type
- {24,12}
- Vertices, edges, …
- 72, 432, 36
- Order of s0s1s2
- 8
- Order of s0s1s2s1
- 6
- Also known as
- if this polytope has a name.
Special Properties
- Compact Hyperbolic Quotient
- Locally Spherical
- Orientable
Quotients maximal quotients in bold
2-fold
3-fold
4-fold
6-fold
12-fold
24-fold
27-fold
54-fold
108-fold
216-fold
Covers minimal covers in bold
None in this atlas.
Irregular Quotients of which this is a minimal cover
Click an entry to reveal its facets and vertex figures.
Representations
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, s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*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*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*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, s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*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*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s2*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.