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