Polytope of Type {8,25}

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