Questions?
See the FAQ
or other info.

Polytope of Type {8,30}

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