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