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