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