Part of the Atlas of Small Regular Polytopes

Polytope of Type {3,6,16}

Atlas Canonical Name {3,6,16}*1728b

Overview

Group
SmallGroup(1728,31412)
Rank
4
Schläfli Type
{3,6,16}
Vertices, edges, …
3, 27, 144, 48
Order of s0s1s2s3
48
Order of s0s1s2s3s2s1
6
Also known as
if this polytope has a name.

Special Properties

  • Universal
  • Orientable
  • Flat

Quotients maximal quotients in bold

2-fold

4-fold

9-fold

18-fold

36-fold

72-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.

P/N, where N=<s1*s3*s2*s1*s2*s3> of order 3

32 facets

3 vertex figures

P/N, where N=<(s1*s2*s3*s2)^2> of order 3

16 facets

3 vertex figures

Representations

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

References

None.

to this polytope.