Play with this polytope as a twisty puzzle
This page is part of the Atlas of Small Regular Polytopess0 := ( 87,130)( 88,131)( 89,132)( 90,133)( 91,134)( 92,135)( 93,136)( 94,137)( 95,138)( 96,139)( 97,140)( 98,141)( 99,142)(100,143)(101,144)(102,145)(103,146)(104,147)(105,148)(106,149)(107,150)(108,151)(109,152)(110,153)(111,154)(112,155)(113,156)(114,157)(115,158)(116,159)(117,160)(118,161)(119,162)(120,163)(121,164)(122,165)(123,166)(124,167)(125,168)(126,169)(127,170)(128,171)(129,172)(259,302)(260,303)(261,304)(262,305)(263,306)(264,307)(265,308)(266,309)(267,310)(268,311)(269,312)(270,313)(271,314)(272,315)(273,316)(274,317)(275,318)(276,319)(277,320)(278,321)(279,322)(280,323)(281,324)(282,325)(283,326)(284,327)(285,328)(286,329)(287,330)(288,331)(289,332)(290,333)(291,334)(292,335)(293,336)(294,337)(295,338)(296,339)(297,340)(298,341)(299,342)(300,343)(301,344)(345,431)(346,432)(347,433)(348,434)(349,435)(350,436)(351,437)(352,438)(353,439)(354,440)(355,441)(356,442)(357,443)(358,444)(359,445)(360,446)(361,447)(362,448)(363,449)(364,450)(365,451)(366,452)(367,453)(368,454)(369,455)(370,456)(371,457)(372,458)(373,459)(374,460)(375,461)(376,462)(377,463)(378,464)(379,465)(380,466)(381,467)(382,468)(383,469)(384,470)(385,471)(386,472)(387,473)(388,474)(389,475)(390,476)(391,477)(392,478)(393,479)(394,480)(395,481)(396,482)(397,483)(398,484)(399,485)(400,486)(401,487)(402,488)(403,489)(404,490)(405,491)(406,492)(407,493)(408,494)(409,495)(410,496)(411,497)(412,498)(413,499)(414,500)(415,501)(416,502)(417,503)(418,504)(419,505)(420,506)(421,507)(422,508)(423,509)(424,510)(425,511)(426,512)(427,513)(428,514)(429,515)(430,516)(517,603)(518,604)(519,605)(520,606)(521,607)(522,608)(523,609)(524,610)(525,611)(526,612)(527,613)(528,614)(529,615)(530,616)(531,617)(532,618)(533,619)(534,620)(535,621)(536,622)(537,623)(538,624)(539,625)(540,626)(541,627)(542,628)(543,629)(544,630)(545,631)(546,632)(547,633)(548,634)(549,635)(550,636)(551,637)(552,638)(553,639)(554,640)(555,641)(556,642)(557,643)(558,644)(559,645)(560,646)(561,647)(562,648)(563,649)(564,650)(565,651)(566,652)(567,653)(568,654)(569,655)(570,656)(571,657)(572,658)(573,659)(574,660)(575,661)(576,662)(577,663)(578,664)(579,665)(580,666)(581,667)(582,668)(583,669)(584,670)(585,671)(586,672)(587,673)(588,674)(589,675)(590,676)(591,677)(592,678)(593,679)(594,680)(595,681)(596,682)(597,683)(598,684)(599,685)(600,686)(601,687)(602,688);; s1 := ( 1,517)( 2,559)( 3,558)( 4,557)( 5,556)( 6,555)( 7,554)( 8,553)( 9,552)( 10,551)( 11,550)( 12,549)( 13,548)( 14,547)( 15,546)( 16,545)( 17,544)( 18,543)( 19,542)( 20,541)( 21,540)( 22,539)( 23,538)( 24,537)( 25,536)( 26,535)( 27,534)( 28,533)( 29,532)( 30,531)( 31,530)( 32,529)( 33,528)( 34,527)( 35,526)( 36,525)( 37,524)( 38,523)( 39,522)( 40,521)( 41,520)( 42,519)( 43,518)( 44,560)( 45,602)( 46,601)( 47,600)( 48,599)( 49,598)( 50,597)( 51,596)( 52,595)( 53,594)( 54,593)( 55,592)( 56,591)( 57,590)( 58,589)( 59,588)( 60,587)( 61,586)( 62,585)( 63,584)( 64,583)( 65,582)( 66,581)( 67,580)( 68,579)( 69,578)( 70,577)( 71,576)( 72,575)( 73,574)( 74,573)( 75,572)( 76,571)( 77,570)( 78,569)( 79,568)( 80,567)( 81,566)( 82,565)( 83,564)( 84,563)( 85,562)( 86,561)( 87,646)( 88,688)( 89,687)( 90,686)( 91,685)( 92,684)( 93,683)( 94,682)( 95,681)( 96,680)( 97,679)( 98,678)( 99,677)(100,676)(101,675)(102,674)(103,673)(104,672)(105,671)(106,670)(107,669)(108,668)(109,667)(110,666)(111,665)(112,664)(113,663)(114,662)(115,661)(116,660)(117,659)(118,658)(119,657)(120,656)(121,655)(122,654)(123,653)(124,652)(125,651)(126,650)(127,649)(128,648)(129,647)(130,603)(131,645)(132,644)(133,643)(134,642)(135,641)(136,640)(137,639)(138,638)(139,637)(140,636)(141,635)(142,634)(143,633)(144,632)(145,631)(146,630)(147,629)(148,628)(149,627)(150,626)(151,625)(152,624)(153,623)(154,622)(155,621)(156,620)(157,619)(158,618)(159,617)(160,616)(161,615)(162,614)(163,613)(164,612)(165,611)(166,610)(167,609)(168,608)(169,607)(170,606)(171,605)(172,604)(173,345)(174,387)(175,386)(176,385)(177,384)(178,383)(179,382)(180,381)(181,380)(182,379)(183,378)(184,377)(185,376)(186,375)(187,374)(188,373)(189,372)(190,371)(191,370)(192,369)(193,368)(194,367)(195,366)(196,365)(197,364)(198,363)(199,362)(200,361)(201,360)(202,359)(203,358)(204,357)(205,356)(206,355)(207,354)(208,353)(209,352)(210,351)(211,350)(212,349)(213,348)(214,347)(215,346)(216,388)(217,430)(218,429)(219,428)(220,427)(221,426)(222,425)(223,424)(224,423)(225,422)(226,421)(227,420)(228,419)(229,418)(230,417)(231,416)(232,415)(233,414)(234,413)(235,412)(236,411)(237,410)(238,409)(239,408)(240,407)(241,406)(242,405)(243,404)(244,403)(245,402)(246,401)(247,400)(248,399)(249,398)(250,397)(251,396)(252,395)(253,394)(254,393)(255,392)(256,391)(257,390)(258,389)(259,474)(260,516)(261,515)(262,514)(263,513)(264,512)(265,511)(266,510)(267,509)(268,508)(269,507)(270,506)(271,505)(272,504)(273,503)(274,502)(275,501)(276,500)(277,499)(278,498)(279,497)(280,496)(281,495)(282,494)(283,493)(284,492)(285,491)(286,490)(287,489)(288,488)(289,487)(290,486)(291,485)(292,484)(293,483)(294,482)(295,481)(296,480)(297,479)(298,478)(299,477)(300,476)(301,475)(302,431)(303,473)(304,472)(305,471)(306,470)(307,469)(308,468)(309,467)(310,466)(311,465)(312,464)(313,463)(314,462)(315,461)(316,460)(317,459)(318,458)(319,457)(320,456)(321,455)(322,454)(323,453)(324,452)(325,451)(326,450)(327,449)(328,448)(329,447)(330,446)(331,445)(332,444)(333,443)(334,442)(335,441)(336,440)(337,439)(338,438)(339,437)(340,436)(341,435)(342,434)(343,433)(344,432);; s2 := ( 1,174)( 2,173)( 3,215)( 4,214)( 5,213)( 6,212)( 7,211)( 8,210)( 9,209)( 10,208)( 11,207)( 12,206)( 13,205)( 14,204)( 15,203)( 16,202)( 17,201)( 18,200)( 19,199)( 20,198)( 21,197)( 22,196)( 23,195)( 24,194)( 25,193)( 26,192)( 27,191)( 28,190)( 29,189)( 30,188)( 31,187)( 32,186)( 33,185)( 34,184)( 35,183)( 36,182)( 37,181)( 38,180)( 39,179)( 40,178)( 41,177)( 42,176)( 43,175)( 44,217)( 45,216)( 46,258)( 47,257)( 48,256)( 49,255)( 50,254)( 51,253)( 52,252)( 53,251)( 54,250)( 55,249)( 56,248)( 57,247)( 58,246)( 59,245)( 60,244)( 61,243)( 62,242)( 63,241)( 64,240)( 65,239)( 66,238)( 67,237)( 68,236)( 69,235)( 70,234)( 71,233)( 72,232)( 73,231)( 74,230)( 75,229)( 76,228)( 77,227)( 78,226)( 79,225)( 80,224)( 81,223)( 82,222)( 83,221)( 84,220)( 85,219)( 86,218)( 87,260)( 88,259)( 89,301)( 90,300)( 91,299)( 92,298)( 93,297)( 94,296)( 95,295)( 96,294)( 97,293)( 98,292)( 99,291)(100,290)(101,289)(102,288)(103,287)(104,286)(105,285)(106,284)(107,283)(108,282)(109,281)(110,280)(111,279)(112,278)(113,277)(114,276)(115,275)(116,274)(117,273)(118,272)(119,271)(120,270)(121,269)(122,268)(123,267)(124,266)(125,265)(126,264)(127,263)(128,262)(129,261)(130,303)(131,302)(132,344)(133,343)(134,342)(135,341)(136,340)(137,339)(138,338)(139,337)(140,336)(141,335)(142,334)(143,333)(144,332)(145,331)(146,330)(147,329)(148,328)(149,327)(150,326)(151,325)(152,324)(153,323)(154,322)(155,321)(156,320)(157,319)(158,318)(159,317)(160,316)(161,315)(162,314)(163,313)(164,312)(165,311)(166,310)(167,309)(168,308)(169,307)(170,306)(171,305)(172,304)(345,518)(346,517)(347,559)(348,558)(349,557)(350,556)(351,555)(352,554)(353,553)(354,552)(355,551)(356,550)(357,549)(358,548)(359,547)(360,546)(361,545)(362,544)(363,543)(364,542)(365,541)(366,540)(367,539)(368,538)(369,537)(370,536)(371,535)(372,534)(373,533)(374,532)(375,531)(376,530)(377,529)(378,528)(379,527)(380,526)(381,525)(382,524)(383,523)(384,522)(385,521)(386,520)(387,519)(388,561)(389,560)(390,602)(391,601)(392,600)(393,599)(394,598)(395,597)(396,596)(397,595)(398,594)(399,593)(400,592)(401,591)(402,590)(403,589)(404,588)(405,587)(406,586)(407,585)(408,584)(409,583)(410,582)(411,581)(412,580)(413,579)(414,578)(415,577)(416,576)(417,575)(418,574)(419,573)(420,572)(421,571)(422,570)(423,569)(424,568)(425,567)(426,566)(427,565)(428,564)(429,563)(430,562)(431,604)(432,603)(433,645)(434,644)(435,643)(436,642)(437,641)(438,640)(439,639)(440,638)(441,637)(442,636)(443,635)(444,634)(445,633)(446,632)(447,631)(448,630)(449,629)(450,628)(451,627)(452,626)(453,625)(454,624)(455,623)(456,622)(457,621)(458,620)(459,619)(460,618)(461,617)(462,616)(463,615)(464,614)(465,613)(466,612)(467,611)(468,610)(469,609)(470,608)(471,607)(472,606)(473,605)(474,647)(475,646)(476,688)(477,687)(478,686)(479,685)(480,684)(481,683)(482,682)(483,681)(484,680)(485,679)(486,678)(487,677)(488,676)(489,675)(490,674)(491,673)(492,672)(493,671)(494,670)(495,669)(496,668)(497,667)(498,666)(499,665)(500,664)(501,663)(502,662)(503,661)(504,660)(505,659)(506,658)(507,657)(508,656)(509,655)(510,654)(511,653)(512,652)(513,651)(514,650)(515,649)(516,648);; 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*s0*s1*s2*s1,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*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*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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(688)!( 87,130)( 88,131)( 89,132)( 90,133)( 91,134)( 92,135)( 93,136)( 94,137)( 95,138)( 96,139)( 97,140)( 98,141)( 99,142)(100,143)(101,144)(102,145)(103,146)(104,147)(105,148)(106,149)(107,150)(108,151)(109,152)(110,153)(111,154)(112,155)(113,156)(114,157)(115,158)(116,159)(117,160)(118,161)(119,162)(120,163)(121,164)(122,165)(123,166)(124,167)(125,168)(126,169)(127,170)(128,171)(129,172)(259,302)(260,303)(261,304)(262,305)(263,306)(264,307)(265,308)(266,309)(267,310)(268,311)(269,312)(270,313)(271,314)(272,315)(273,316)(274,317)(275,318)(276,319)(277,320)(278,321)(279,322)(280,323)(281,324)(282,325)(283,326)(284,327)(285,328)(286,329)(287,330)(288,331)(289,332)(290,333)(291,334)(292,335)(293,336)(294,337)(295,338)(296,339)(297,340)(298,341)(299,342)(300,343)(301,344)(345,431)(346,432)(347,433)(348,434)(349,435)(350,436)(351,437)(352,438)(353,439)(354,440)(355,441)(356,442)(357,443)(358,444)(359,445)(360,446)(361,447)(362,448)(363,449)(364,450)(365,451)(366,452)(367,453)(368,454)(369,455)(370,456)(371,457)(372,458)(373,459)(374,460)(375,461)(376,462)(377,463)(378,464)(379,465)(380,466)(381,467)(382,468)(383,469)(384,470)(385,471)(386,472)(387,473)(388,474)(389,475)(390,476)(391,477)(392,478)(393,479)(394,480)(395,481)(396,482)(397,483)(398,484)(399,485)(400,486)(401,487)(402,488)(403,489)(404,490)(405,491)(406,492)(407,493)(408,494)(409,495)(410,496)(411,497)(412,498)(413,499)(414,500)(415,501)(416,502)(417,503)(418,504)(419,505)(420,506)(421,507)(422,508)(423,509)(424,510)(425,511)(426,512)(427,513)(428,514)(429,515)(430,516)(517,603)(518,604)(519,605)(520,606)(521,607)(522,608)(523,609)(524,610)(525,611)(526,612)(527,613)(528,614)(529,615)(530,616)(531,617)(532,618)(533,619)(534,620)(535,621)(536,622)(537,623)(538,624)(539,625)(540,626)(541,627)(542,628)(543,629)(544,630)(545,631)(546,632)(547,633)(548,634)(549,635)(550,636)(551,637)(552,638)(553,639)(554,640)(555,641)(556,642)(557,643)(558,644)(559,645)(560,646)(561,647)(562,648)(563,649)(564,650)(565,651)(566,652)(567,653)(568,654)(569,655)(570,656)(571,657)(572,658)(573,659)(574,660)(575,661)(576,662)(577,663)(578,664)(579,665)(580,666)(581,667)(582,668)(583,669)(584,670)(585,671)(586,672)(587,673)(588,674)(589,675)(590,676)(591,677)(592,678)(593,679)(594,680)(595,681)(596,682)(597,683)(598,684)(599,685)(600,686)(601,687)(602,688); s1 := Sym(688)!( 1,517)( 2,559)( 3,558)( 4,557)( 5,556)( 6,555)( 7,554)( 8,553)( 9,552)( 10,551)( 11,550)( 12,549)( 13,548)( 14,547)( 15,546)( 16,545)( 17,544)( 18,543)( 19,542)( 20,541)( 21,540)( 22,539)( 23,538)( 24,537)( 25,536)( 26,535)( 27,534)( 28,533)( 29,532)( 30,531)( 31,530)( 32,529)( 33,528)( 34,527)( 35,526)( 36,525)( 37,524)( 38,523)( 39,522)( 40,521)( 41,520)( 42,519)( 43,518)( 44,560)( 45,602)( 46,601)( 47,600)( 48,599)( 49,598)( 50,597)( 51,596)( 52,595)( 53,594)( 54,593)( 55,592)( 56,591)( 57,590)( 58,589)( 59,588)( 60,587)( 61,586)( 62,585)( 63,584)( 64,583)( 65,582)( 66,581)( 67,580)( 68,579)( 69,578)( 70,577)( 71,576)( 72,575)( 73,574)( 74,573)( 75,572)( 76,571)( 77,570)( 78,569)( 79,568)( 80,567)( 81,566)( 82,565)( 83,564)( 84,563)( 85,562)( 86,561)( 87,646)( 88,688)( 89,687)( 90,686)( 91,685)( 92,684)( 93,683)( 94,682)( 95,681)( 96,680)( 97,679)( 98,678)( 99,677)(100,676)(101,675)(102,674)(103,673)(104,672)(105,671)(106,670)(107,669)(108,668)(109,667)(110,666)(111,665)(112,664)(113,663)(114,662)(115,661)(116,660)(117,659)(118,658)(119,657)(120,656)(121,655)(122,654)(123,653)(124,652)(125,651)(126,650)(127,649)(128,648)(129,647)(130,603)(131,645)(132,644)(133,643)(134,642)(135,641)(136,640)(137,639)(138,638)(139,637)(140,636)(141,635)(142,634)(143,633)(144,632)(145,631)(146,630)(147,629)(148,628)(149,627)(150,626)(151,625)(152,624)(153,623)(154,622)(155,621)(156,620)(157,619)(158,618)(159,617)(160,616)(161,615)(162,614)(163,613)(164,612)(165,611)(166,610)(167,609)(168,608)(169,607)(170,606)(171,605)(172,604)(173,345)(174,387)(175,386)(176,385)(177,384)(178,383)(179,382)(180,381)(181,380)(182,379)(183,378)(184,377)(185,376)(186,375)(187,374)(188,373)(189,372)(190,371)(191,370)(192,369)(193,368)(194,367)(195,366)(196,365)(197,364)(198,363)(199,362)(200,361)(201,360)(202,359)(203,358)(204,357)(205,356)(206,355)(207,354)(208,353)(209,352)(210,351)(211,350)(212,349)(213,348)(214,347)(215,346)(216,388)(217,430)(218,429)(219,428)(220,427)(221,426)(222,425)(223,424)(224,423)(225,422)(226,421)(227,420)(228,419)(229,418)(230,417)(231,416)(232,415)(233,414)(234,413)(235,412)(236,411)(237,410)(238,409)(239,408)(240,407)(241,406)(242,405)(243,404)(244,403)(245,402)(246,401)(247,400)(248,399)(249,398)(250,397)(251,396)(252,395)(253,394)(254,393)(255,392)(256,391)(257,390)(258,389)(259,474)(260,516)(261,515)(262,514)(263,513)(264,512)(265,511)(266,510)(267,509)(268,508)(269,507)(270,506)(271,505)(272,504)(273,503)(274,502)(275,501)(276,500)(277,499)(278,498)(279,497)(280,496)(281,495)(282,494)(283,493)(284,492)(285,491)(286,490)(287,489)(288,488)(289,487)(290,486)(291,485)(292,484)(293,483)(294,482)(295,481)(296,480)(297,479)(298,478)(299,477)(300,476)(301,475)(302,431)(303,473)(304,472)(305,471)(306,470)(307,469)(308,468)(309,467)(310,466)(311,465)(312,464)(313,463)(314,462)(315,461)(316,460)(317,459)(318,458)(319,457)(320,456)(321,455)(322,454)(323,453)(324,452)(325,451)(326,450)(327,449)(328,448)(329,447)(330,446)(331,445)(332,444)(333,443)(334,442)(335,441)(336,440)(337,439)(338,438)(339,437)(340,436)(341,435)(342,434)(343,433)(344,432); s2 := Sym(688)!( 1,174)( 2,173)( 3,215)( 4,214)( 5,213)( 6,212)( 7,211)( 8,210)( 9,209)( 10,208)( 11,207)( 12,206)( 13,205)( 14,204)( 15,203)( 16,202)( 17,201)( 18,200)( 19,199)( 20,198)( 21,197)( 22,196)( 23,195)( 24,194)( 25,193)( 26,192)( 27,191)( 28,190)( 29,189)( 30,188)( 31,187)( 32,186)( 33,185)( 34,184)( 35,183)( 36,182)( 37,181)( 38,180)( 39,179)( 40,178)( 41,177)( 42,176)( 43,175)( 44,217)( 45,216)( 46,258)( 47,257)( 48,256)( 49,255)( 50,254)( 51,253)( 52,252)( 53,251)( 54,250)( 55,249)( 56,248)( 57,247)( 58,246)( 59,245)( 60,244)( 61,243)( 62,242)( 63,241)( 64,240)( 65,239)( 66,238)( 67,237)( 68,236)( 69,235)( 70,234)( 71,233)( 72,232)( 73,231)( 74,230)( 75,229)( 76,228)( 77,227)( 78,226)( 79,225)( 80,224)( 81,223)( 82,222)( 83,221)( 84,220)( 85,219)( 86,218)( 87,260)( 88,259)( 89,301)( 90,300)( 91,299)( 92,298)( 93,297)( 94,296)( 95,295)( 96,294)( 97,293)( 98,292)( 99,291)(100,290)(101,289)(102,288)(103,287)(104,286)(105,285)(106,284)(107,283)(108,282)(109,281)(110,280)(111,279)(112,278)(113,277)(114,276)(115,275)(116,274)(117,273)(118,272)(119,271)(120,270)(121,269)(122,268)(123,267)(124,266)(125,265)(126,264)(127,263)(128,262)(129,261)(130,303)(131,302)(132,344)(133,343)(134,342)(135,341)(136,340)(137,339)(138,338)(139,337)(140,336)(141,335)(142,334)(143,333)(144,332)(145,331)(146,330)(147,329)(148,328)(149,327)(150,326)(151,325)(152,324)(153,323)(154,322)(155,321)(156,320)(157,319)(158,318)(159,317)(160,316)(161,315)(162,314)(163,313)(164,312)(165,311)(166,310)(167,309)(168,308)(169,307)(170,306)(171,305)(172,304)(345,518)(346,517)(347,559)(348,558)(349,557)(350,556)(351,555)(352,554)(353,553)(354,552)(355,551)(356,550)(357,549)(358,548)(359,547)(360,546)(361,545)(362,544)(363,543)(364,542)(365,541)(366,540)(367,539)(368,538)(369,537)(370,536)(371,535)(372,534)(373,533)(374,532)(375,531)(376,530)(377,529)(378,528)(379,527)(380,526)(381,525)(382,524)(383,523)(384,522)(385,521)(386,520)(387,519)(388,561)(389,560)(390,602)(391,601)(392,600)(393,599)(394,598)(395,597)(396,596)(397,595)(398,594)(399,593)(400,592)(401,591)(402,590)(403,589)(404,588)(405,587)(406,586)(407,585)(408,584)(409,583)(410,582)(411,581)(412,580)(413,579)(414,578)(415,577)(416,576)(417,575)(418,574)(419,573)(420,572)(421,571)(422,570)(423,569)(424,568)(425,567)(426,566)(427,565)(428,564)(429,563)(430,562)(431,604)(432,603)(433,645)(434,644)(435,643)(436,642)(437,641)(438,640)(439,639)(440,638)(441,637)(442,636)(443,635)(444,634)(445,633)(446,632)(447,631)(448,630)(449,629)(450,628)(451,627)(452,626)(453,625)(454,624)(455,623)(456,622)(457,621)(458,620)(459,619)(460,618)(461,617)(462,616)(463,615)(464,614)(465,613)(466,612)(467,611)(468,610)(469,609)(470,608)(471,607)(472,606)(473,605)(474,647)(475,646)(476,688)(477,687)(478,686)(479,685)(480,684)(481,683)(482,682)(483,681)(484,680)(485,679)(486,678)(487,677)(488,676)(489,675)(490,674)(491,673)(492,672)(493,671)(494,670)(495,669)(496,668)(497,667)(498,666)(499,665)(500,664)(501,663)(502,662)(503,661)(504,660)(505,659)(506,658)(507,657)(508,656)(509,655)(510,654)(511,653)(512,652)(513,651)(514,650)(515,649)(516,648); poly := sub<Sym(688)|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*s0*s1*s2*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*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*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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.