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