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