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