Polytope of Type {8,56}

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