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