Questions?
See the FAQ
or other info.

# Polytope of Type {112,8}

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

```
Finitely Presented Group Representation (GAP) :
```F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s2*s1*s0*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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*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*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*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*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*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*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*s0*s1 ];;
poly := F / rels;;

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

```
Finitely Presented Group Representation (Magma) :
```poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s0*s1*s2*s1*s0*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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*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*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*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*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*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*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*s0*s1 >;

```
References : None.
to this polytope