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