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