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