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