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