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