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