Polytope of Type {62,4,4}

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