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