Polytope of Type {16,62}

Play with this polytope as a twisty puzzle

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

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*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 ];;
poly := F / rels;;
 

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

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*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 >; 
 

Twisty Puzzle