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