alias( om = RootOf(Z_^2 + Z_ + 1 = 0) ); X7o := 1/2*T*(-37211008315279441*u^8+60391817653397958*u^7+794751834816072*u^6+ 5334794754896376*u^5+154332704094660*u^4-2787242152030812*u^3+8406660013013304* T-5604440008675536*u+8406660013013304)*(29523992125252326847*o*u^8-\ 10068175657461682278*o*u^7+6450462064811132561*u^8+4519290437413900596*o*u^6+ 684408562783462188*u^7-2055236552449233552*o*u^5+1029092313876662322*u^6+ 909388484904776940*o*u^4+172053645762482316*u^5-689919364323566244*o*u^3+ 206213641012465380*u^4+277248215939377536*o*u^2-80740155295051812*u^3-\ 410725389207221424*o*u+45979283336480928*u^2+226979820351359208*T+ 453959640702718416*o-172937005981987968*u-226979820351359208)*( 29523992125252326847*o*u^8-10068175657461682278*o*u^7+23073530060441194286*u^8+ 4519290437413900596*o*u^6-10752584220245144466*u^7-2055236552449233552*o*u^5+ 3490198123537238274*u^6+909388484904776940*o*u^4-2227290198211715868*u^5-\ 689919364323566244*o*u^3+703174843892311560*u^4+277248215939377536*o*u^2-\ 609179209028514432*u^3-410725389207221424*o*u+231268932602896608*u^2-\ 226979820351359208*T+453959640702718416*o-237788383225233456*u+ 680939461054077624)*(42*T-37*u-21)*(96299605170540653*o*u^8+193831018693913412* o*u^7+1290362035580229898*u^8+94020315871843368*o*u^6-297814763382883110*u^7+ 59195892375940320*o*u^5+227964875705734356*u^6+31121750948417892*o*u^4-\ 72169628877195003*u^5+7617599521024122*o*u^3+31872821851706850*u^4+ 2745031840983936*o*u^2-31368048005311101*u^3+1372515920491968*u^2+ 28372477543919901*T-28372477543919901*o-28372477543919901)*(96299605170540653*o *u^8+193831018693913412*o*u^7-1194062430409689245*u^8+94020315871843368*o*u^6+ 491645782076796522*u^7+59195892375940320*o*u^5-133944559833890988*u^6+ 31121750948417892*o*u^4+131365521253135323*u^5+7617599521024122*o*u^3-\ 751070903288958*u^4+2745031840983936*o*u^2+38985647526335223*u^3+ 1372515920491968*u^2-28372477543919901*T-28372477543919901*o)/(-\ 37211008315279441*u^8+60391817653397958*u^7+794751834816072*u^6+ 5334794754896376*u^5+154332704094660*u^4-2787242152030812*u^3+8406660013013304* T+2802220004337768*u+8406660013013304)/(53790894657137765167*o*u^8-\ 21857912535889865358*o*u^7+54094779014400924797*u^8+7864775766766210824*o*u^6-\ 18921713547156218064*u^7-3655063085183746992*o*u^5+7572933550913674104*u^6+ 1231877595513658716*o*u^4-2804135442103381428*u^5-859130969949933156*o*u^3+ 770334801880157892*u^4+277248215939377536*o*u^2-354973738051920204*u^3-\ 410725389207221424*o*u+45979283336480928*u^2+226979820351359208*T+ 453959640702718416*o+54042814369371240*u-226979820351359208)/( 53790894657137765167*o*u^8-21857912535889865358*o*u^7-303884357263159630*u^8+ 7864775766766210824*o*u^6-2936198988733647294*u^7-3655063085183746992*o*u^5+ 291842215852536720*u^6+1231877595513658716*o*u^4-850927643080365564*u^5-\ 859130969949933156*o*u^3+461542793633500824*u^4+277248215939377536*o*u^2-\ 504157231898012952*u^3-410725389207221424*o*u+231268932602896608*u^2-\ 226979820351359208*T+453959640702718416*o-464768203576592664*u+ 680939461054077624)/(42*T-16*u-21)/(96299605170540653*o*u^8+193831018693913412* o*u^7+1290362035580229898*u^8+94020315871843368*o*u^6-297814763382883110*u^7+ 59195892375940320*o*u^5+227964875705734356*u^6+31121750948417892*o*u^4-\ 72169628877195003*u^5+7617599521024122*o*u^3+31872821851706850*u^4+ 2745031840983936*o*u^2-31368048005311101*u^3+1372515920491968*u^2+ 28372477543919901*T-28372477543919901*o-28372477543919901*u-28372477543919901)/ (96299605170540653*o*u^8+193831018693913412*o*u^7-1194062430409689245*u^8+ 94020315871843368*o*u^6+491645782076796522*u^7+59195892375940320*o*u^5-\ 133944559833890988*u^6+31121750948417892*o*u^4+131365521253135323*u^5+ 7617599521024122*o*u^3-751070903288958*u^4+2745031840983936*o*u^2+ 38985647526335223*u^3+1372515920491968*u^2-28372477543919901*T-\ 28372477543919901*o+28372477543919901*u): Y7o := -1/2*(T-1)*(-37211008315279441*u^8+60391817653397958*u^7+794751834816072 *u^6+5334794754896376*u^5+154332704094660*u^4-2787242152030812*u^3+ 8406660013013304*T-5604440008675536*u-16813320026026608)*(5551830077742851159*o *u^8-12771849362412310758*o*u^7+3820988670929825914*u^8-116058224702497644*o*u^ 6-11932836893289220986*u^7-3067219184231217456*o*u^5-476433346811027634*u^6-\ 607651563808195956*o*u^4-2961756951909297444*u^5-912942308420015076*o*u^3-\ 529246502310261960*u^4-277248215939377536*o*u^2-779038947172891440*u^3-\ 410725389207221424*o*u-231268932602896608*u^2-226979820351359208*T-\ 453959640702718416*o-237788383225233456*u-453959640702718416)*( 5551830077742851159*o*u^8-12771849362412310758*o*u^7+1730841406813025245*u^8-\ 116058224702497644*o*u^6-839012469123089772*u^7-3067219184231217456*o*u^5+ 360375122108529990*u^6-607651563808195956*o*u^4-105462232321920012*u^5-\ 912942308420015076*o*u^3-78405061497933996*u^4-277248215939377536*o*u^2-\ 133903361247123636*u^3-410725389207221424*o*u-45979283336480928*u^2+ 226979820351359208*T-453959640702718416*o-172937005981987968*u)*(42*T-37*u-21)* (96299605170540653*o*u^8+193831018693913412*o*u^7+1290362035580229898*u^8+ 94020315871843368*o*u^6-297814763382883110*u^7+59195892375940320*o*u^5+ 227964875705734356*u^6+31121750948417892*o*u^4-72169628877195003*u^5+ 7617599521024122*o*u^3+31872821851706850*u^4+2745031840983936*o*u^2-\ 31368048005311101*u^3+1372515920491968*u^2+28372477543919901*T-\ 28372477543919901*o-28372477543919901)*(96299605170540653*o*u^8+ 193831018693913412*o*u^7-1194062430409689245*u^8+94020315871843368*o*u^6+ 491645782076796522*u^7+59195892375940320*o*u^5-133944559833890988*u^6+ 31121750948417892*o*u^4+131365521253135323*u^5+7617599521024122*o*u^3-\ 751070903288958*u^4+2745031840983936*o*u^2+38985647526335223*u^3+ 1372515920491968*u^2-28372477543919901*T-28372477543919901*o)/(-\ 37211008315279441*u^8+60391817653397958*u^7+794751834816072*u^6+ 5334794754896376*u^5+154332704094660*u^4-2787242152030812*u^3+8406660013013304* T+2802220004337768*u-16813320026026608)/(5551830077742851159*o*u^8-\ 12771849362412310758*o*u^7+3820988670929825914*u^8-116058224702497644*o*u^6-\ 11932836893289220986*u^7-3067219184231217456*o*u^5-476433346811027634*u^6-\ 607651563808195956*o*u^4-2961756951909297444*u^5-912942308420015076*o*u^3-\ 529246502310261960*u^4-277248215939377536*o*u^2-779038947172891440*u^3-\ 410725389207221424*o*u-231268932602896608*u^2-226979820351359208*T-\ 453959640702718416*o-464768203576592664*u-453959640702718416)/( 5551830077742851159*o*u^8-12771849362412310758*o*u^7+1730841406813025245*u^8-\ 116058224702497644*o*u^6-839012469123089772*u^7-3067219184231217456*o*u^5+ 360375122108529990*u^6-607651563808195956*o*u^4-105462232321920012*u^5-\ 912942308420015076*o*u^3-78405061497933996*u^4-277248215939377536*o*u^2-\ 133903361247123636*u^3-410725389207221424*o*u-45979283336480928*u^2+ 226979820351359208*T-453959640702718416*o+54042814369371240*u)/(42*T-16*u-21)/( 96299605170540653*o*u^8+193831018693913412*o*u^7+1290362035580229898*u^8+ 94020315871843368*o*u^6-297814763382883110*u^7+59195892375940320*o*u^5+ 227964875705734356*u^6+31121750948417892*o*u^4-72169628877195003*u^5+ 7617599521024122*o*u^3+31872821851706850*u^4+2745031840983936*o*u^2-\ 31368048005311101*u^3+1372515920491968*u^2+28372477543919901*T-\ 28372477543919901*o-28372477543919901*u-28372477543919901)/(96299605170540653*o *u^8+193831018693913412*o*u^7-1194062430409689245*u^8+94020315871843368*o*u^6+ 491645782076796522*u^7+59195892375940320*o*u^5-133944559833890988*u^6+ 31121750948417892*o*u^4+131365521253135323*u^5+7617599521024122*o*u^3-\ 751070903288958*u^4+2745031840983936*o*u^2+38985647526335223*u^3+ 1372515920491968*u^2-28372477543919901*T-28372477543919901*o+28372477543919901* u): T7o := [[-1/9*u^2+42898/83349*u^3-866815/2722734*u^4-30036161/220541454*u^5-\ 594361069658/340405734249*u^6-134249533905847/28594081676916*u^7-\ 45516646876757089/12609990019519956*u^8+125182316867611565165/ 8171273532648931488*u^9-1, 1/9*u^2+42898/83349*u^3+175807/2722734*u^4-34280363/ 220541454*u^5-164472642172/340405734249*u^6-151438734031525/28594081676916*u^7-\ 2626434701367167/12609990019519956*u^8+81472152746827556537/8171273532648931488 *u^9+2, -29/1701*u^3+820/9261*u^4+10763899/31505922*u^5+314994503/514596726*u^6 +102406736293/291776343642*u^7+192729158468261/85782245030748*u^8-\ 451284910123088435/145915598797302348*u^9+3/14*u+1/2], [(-85596149209891019047/ 2042818383162232872*o-409911020456880819263/4085636766324465744)*u^9+(-\ 109912488474224866013/453959640702718416*o-3071647745984985623/ 56744955087839802)*u^8+(12716223279209113/128673367546122*o+375882421268167/ 36763819298892)*u^7+(-47414291956163/1361622936996*o-12731958522229/ 1361622936996)*u^6+(165033327299/9262741068*o+858124300/330812181)*u^5+(-\ 198400547/36756909*o-157572323/73513818)*u^4+(204725/55566*o+43280/83349)*u^3+( -1427/1323*o-730/1323)*u^2+(8/7*o+2/21)*u-2*o+1, (-57212985700388636453/ 2042818383162232872*o-1258675327959788891/21617125747748496)*u^9+( 12534368967317404651/453959640702718416*o+17850025932652371467/ 453959640702718416)*u^8+(-7989255239756825/128673367546122*o-16133110842264497/ 257346735092244)*u^7+(-1808754035971/1361622936996*o+1523641334203/680811468498 )*u^6+(-132129737287/9262741068*o-131259663683/9262741068)*u^5+(-105503018/ 36756909*o-83449697/73513818)*u^4+(-91957/23814*o-569515/166698)*u^3+(-1427/ 1323*o-697/1323)*u^2+(-8/7*o-22/21)*u-2-2*o, (-54443471784767438/ 9457492514639967*o+7751311188722705417/4085636766324465744)*u^9+(-\ 9566255928728965/8106422155405686*o-5058952461770533483/113489910175679604)*u^8 +(-485583004047004/64336683773061*o+742473413129473/64336683773061)*u^7+(-\ 229928016713/97258781214*o-370335580591/50430479148)*u^6+(-4919528359/ 2315685267*o+6799122412/2315685267)*u^5+(-4031525/5250987*o-67195781/73513818)* u^4+(10280/9261-22378/83349*o)*u^3+u^2*(-128/1323*o-64/1323)+2/3*u+o+1], [( 85596149209891019047/2042818383162232872*o-26524302448566531241/ 453959640702718416)*u^9+(109912488474224866013/453959640702718416*o+ 85339306506344981029/453959640702718416)*u^8+(-12716223279209113/ 128673367546122*o-22801269609541057/257346735092244)*u^7+(17341166716967/ 680811468498+47414291956163/1361622936996*o)*u^6+(-165033327299/9262741068*o-\ 141005846899/9262741068)*u^5+(198400547/36756909*o+239228771/73513818)*u^4+(-\ 204725/55566*o-527615/166698)*u^3+(1427/1323*o+697/1323)*u^2+(-8/7*o-22/21)*u+2 *o+3, (57212985700388636453/2042818383162232872*o-123463665583622827493/ 4085636766324465744)*u^9+(-12534368967317404651/453959640702718416*o+ 332228560333435426/28372477543919901)*u^8+(7989255239756825/128673367546122*o-\ 154600362750847/257346735092244)*u^7+(1618678901459/453874312332+1808754035971/ 1361622936996*o)*u^6+(132129737287/9262741068*o+217518401/2315685267)*u^5+( 105503018/36756909*o+127556339/73513818)*u^4+(91957/23814*o+12364/27783)*u^3+( 1427/1323*o+730/1323)*u^2+(8/7*o+2/21)*u+2*o, (54443471784767438/ 9457492514639967*o+31270890999742238633/4085636766324465744)*u^9+( 9566255928728965/8106422155405686*o-4925024878768327973/113489910175679604)*u^8 +(485583004047004/64336683773061*o+175436631025211/9190954824723)*u^7+( 229928016713/97258781214*o-6780068441975/1361622936996)*u^6+(4919528359/ 2315685267*o+11718650771/2315685267)*u^5+(4031525/5250987*o-10754431/73513818)* u^4+(16414/11907+22378/83349*o)*u^3+u^2*(128/1323*o+64/1323)+2/3*u-o], [-1+( 265634725978146204425/680939461054077624*o-855129355074896682703/ 1361878922108155248)*u^9+(-499944141437602363/3088160821106928*o+ 3364362736663516325/18914985029279934)*u^8+(193567492112188/3063651608241*o-\ 2359758036478277/42891122515374)*u^7+(-177965812849/6947055801*o+4209722164852/ 340405734249)*u^6+(1062267769/110270727*o-1829266951/441082908)*u^5+(-2205383/ 500094*o+12390095/24504606)*u^4+(14003/7938*o+4448/27783)*u^3+(-o-1/3)*u^2+2/3* u*o, (318464115265430117/1985246242140168*o+437501567993419968625/ 680939461054077624)*u^9+(-891525174653296850/28372477543919901*o-\ 125555575500398968447/453959640702718416)*u^8+(-3381471595218622/64336683773061 *o+17400997786811257/257346735092244)*u^7+(-180577886664835/4084868810988+ 49336517907079/4084868810988*o)*u^6+(-215896849555/9262741068*o+5662640563/ 9262741068)*u^5+(314096633/73513818*o-352250663/73513818)*u^4+(-88681/11907*o-\ 515167/166698)*u^3+(1513/1323*o-256/1323)*u^2+(-22/7*o-12/7)*u-2-2*o, (-\ 780383248897904133407/1361878922108155248*o-59896511178058188631/ 1361878922108155248)*u^9+(10323394469943241663/113489910175679604+ 3749750473983241001/16212844310811372*o)*u^8+(-8289942603430657/128673367546122 *o-2198972522543341/36763819298892)*u^7+(27329672779720/1021217202747+ 9895540065863/583552687284*o)*u^6+(3836941231/2315685267*o-14402821963/ 2315685267)*u^5+(-14178701/10501974*o+170854367/73513818)*u^4+(156400/83349*o+ 12776/11907)*u^3+(-1048/1323*o-524/1323)*u^2+(4/3+2/3*o)*u-o], [(-\ 4475000099594642698677481/320447386614204713543904*o-9281738826030913566548239/ 160223693307102356771952)*u^9+(-25338346392372627609049/272489274331806729204-\ 40685497674014521181543/272489274331806729204*o)*u^8+(36131454396097903103/ 617889510956477844*o+16478676170134640419/617889510956477844)*u^7+(-\ 4369606275457876/350277500542221-7709192371046534/350277500542221*o)*u^6+( 17260538701471/1588560093162*o+3215610502723/794280046581)*u^5+(-15186243829/ 3602177082*o-6234796697/3602177082)*u^4+(13237793/4084101*o+3069079/4084101)*u^ 3+(-10784/9261*o-4177/9261)*u^2+(40/21*o+8/21)*u-2*o+1, ( 2211899489530130694312743/320447386614204713543904*o-525129558030309323665519/ 160223693307102356771952)*u^9+(-1499537043544803323027/272489274331806729204-\ 7590429059192836859341/272489274331806729204*o)*u^8+(35486593311722244589/ 617889510956477844*o+1892221393365386033/617889510956477844)*u^7+(-\ 438189309385718/350277500542221-10902197410786/350277500542221*o)*u^6+( 21597169100369/1588560093162*o+199893287807/794280046581)*u^5+(9480781045/ 3602177082*o+1941827513/3602177082)*u^4+(16270795/4084101*o+1855937/4084101)*u^ 3+(10784/9261*o+4177/9261)*u^2+(40/21*o+8/21)*u+2*o, 1/2+(-\ 90057078403539889859897/40055923326775589192988*o-188671628168596978837519/ 40055923326775589192988)*u^9+(1709643423555538367/1853668532869433532*o+ 3861887982370396429/1853668532869433532)*u^8+(-77946308194613407/ 102981585159412974*o-121783767885834959/102981585159412974)*u^7+(168999154465/ 4765680279486*o+367104455233/2382840139743)*u^6+(-182265733789/529520031054*o-\ 275604653531/529520031054)*u^5+(-145933/12252303*o-126173/12252303)*u^4+u^3*(-\ 48446/1361367*o-130561/1361367)+u*(1/2+2/21*o)], [(96516161869961144693/ 680939461054077624*o+81209236190360048665/680939461054077624)*u^9+( 111750241142144914591/453959640702718416+22232508207275079167/ 113489910175679604*o)*u^8+(7706224008333551/128673367546122*o+31971286657833749 /257346735092244)*u^7+(203886761998771/4084868810988+52658517325649/ 4084868810988*o)*u^6+(-37019284415/9262741068*o+148073648771/9262741068)*u^5+(-\ 204873581/73513818*o+399963569/73513818)*u^4+(-446027/83349*o-173303/166698)*u^ 3+(-1513/1323*o+256/1323)*u^2+(-22/7*o-12/7)*u+2*o+3, 2+(-31955995726368935111/ 340469730527038812*o-1028456416657929216343/1361878922108155248)*u^9+( 29825936873483447/3088160821106928*o-8772674864882850461/37829970058559868)*u^8 +(142174568830949/6127303216482*o-1623877093650655/21445561257687)*u^7+( 92151454478/6947055801*o-7021874315252/340405734249)*u^6+(832935583/110270727*o -2567008147/441082908)*u^5+(1873045/500094*o-28921315/24504606)*u^4+(14003/7938 *o+4448/27783)*u^3+(o+1/3)*u^2+2/3*u*o, (-411318861611640548207/ 1361878922108155248*o+473248204574966307365/1361878922108155248)*u^9+(-\ 4696279357536091657/113489910175679604-3429715841260601537/16212844310811372*o) *u^8+(-10957594959759251/128673367546122*o-9383405000812379/257346735092244)*u^ 7+(-33362123770231/1021217202747-15102565244435/583552687284*o)*u^6+(-\ 10224623518/2315685267*o-18085301978/2315685267)*u^5+(4919885/10501974*o-\ 254404103/73513818)*u^4+(111644/83349*o+67054/83349)*u^3+(1048/1323*o+524/1323) *u^2+(4/3+2/3*o)*u+o+1], [(-96516161869961144693/680939461054077624*o-\ 3826731419900274007/170234865263519406)*u^9+(22820208313044597923/ 453959640702718416-22232508207275079167/113489910175679604*o)*u^8+( 2365548377309521/36763819298892-7706224008333551/128673367546122*o)*u^7+( 75614122336561/2042434405494-52658517325649/4084868810988*o)*u^6+(37019284415/ 9262741068*o+13220923799/661624362)*u^5+(204873581/73513818*o+302418575/ 36756909)*u^4+(446027/83349*o+718751/166698)*u^3+(1513/1323*o+1769/1323)*u^2+( 22/7*o+10/7)*u-2*o+1, 2+(31955995726368935111/340469730527038812*o-\ 128661776250350496557/194554131729736464)*u^9+(-36552170366332090747/ 151319880234239472-29825936873483447/3088160821106928*o)*u^8+(-142174568830949/ 6127303216482*o-4242976169117953/42891122515374)*u^7+(-92151454478/6947055801*o -11537295584674/340405734249)*u^6+(-832935583/110270727*o-5898750479/441082908) *u^5+(-1873045/500094*o-60350260/12252303)*u^4+(-14003/7938*o-89125/55566)*u^3+ (-o-2/3)*u^2+u*(-2/3-2/3*o), (411318861611640548207/1361878922108155248*o+ 221141766546651713893/340469730527038812)*u^9+(9655865765644059551/ 56744955087839802+3429715841260601537/16212844310811372*o)*u^8+( 1790254988386589/36763819298892+10957594959759251/128673367546122*o)*u^7+(-\ 27730538369879/4084868810988+15102565244435/583552687284*o)*u^6+(10224623518/ 2315685267*o-7860678460/2315685267)*u^5+(-4919885/10501974*o-144421649/36756909 )*u^4+(-111644/83349*o-130/243)*u^3+(-1048/1323*o-524/1323)*u^2+(-2/3*o+2/3)*u- o], [-1+(-265634725978146204425/680939461054077624*o-198056972433027013079/ 194554131729736464)*u^9+(51412164823750646387/151319880234239472+ 499944141437602363/3088160821106928*o)*u^8+(-193567492112188/3063651608241*o-\ 5069702926048909/42891122515374)*u^7+(177965812849/6947055801*o+12930046994453/ 340405734249)*u^6+(-1062267769/110270727*o-6078338027/441082908)*u^5+(2205383/ 500094*o+60226931/12252303)*u^4+(-14003/7938*o-89125/55566)*u^3+(o+2/3)*u^2+u*( -2/3-2/3*o), (-318464115265430117/1985246242140168*o+164134188228688719247/ 340469730527038812)*u^9+(-111291172705946218847/453959640702718416+ 891525174653296850/28372477543919901*o)*u^8+(30926884167685745/257346735092244+ 3381471595218622/64336683773061*o)*u^7+(-114957202285957/2042434405494-\ 49336517907079/4084868810988*o)*u^6+(215896849555/9262741068*o+110779745059/ 4631370534)*u^5+(-314096633/73513818*o-333173648/36756909)*u^4+(88681/11907*o+ 726367/166698)*u^3+(-1513/1323*o-1769/1323)*u^2+(22/7*o+10/7)*u+2*o, ( 780383248897904133407/1361878922108155248*o+90060842214980743097/ 170234865263519406)*u^9+(-3981214711984861336/28372477543919901-\ 3749750473983241001/16212844310811372*o)*u^8+(1187077549057927/257346735092244+ 8289942603430657/128673367546122*o)*u^7+(40049910657839/4084868810988-\ 9895540065863/583552687284*o)*u^6+(-3836941231/2315685267*o-18239763194/ 2315685267)*u^5+(14178701/10501974*o+135052637/36756909)*u^4+(-156400/83349*o-\ 66968/83349)*u^3+(1048/1323*o+524/1323)*u^2+(-2/3*o+2/3)*u+o+1], [( 4475000099594642698677481/320447386614204713543904*o-14088477552467184434418997 /320447386614204713543904)*u^9+(7673575640820946786247/136244637165903364602+ 40685497674014521181543/272489274331806729204*o)*u^8+(-4913194556490815671/ 154472377739119461-36131454396097903103/617889510956477844*o)*u^7+( 3339586095588658/350277500542221+7709192371046534/350277500542221*o)*u^6+(-\ 17260538701471/1588560093162*o-10829317696025/1588560093162)*u^5+(15186243829/ 3602177082*o+4475723566/1801088541)*u^4+(-13237793/4084101*o-10168714/4084101)* u^3+(10784/9261*o+6607/9261)*u^2+(-40/21*o-32/21)*u+2*o+3, (-\ 2211899489530130694312743/320447386614204713543904*o-3262158605590749341643781/ 320447386614204713543904)*u^9+(3045446007824016768157/136244637165903364602+ 7590429059192836859341/272489274331806729204*o)*u^8+(-8398592979589214639/ 154472377739119461-35486593311722244589/617889510956477844*o)*u^7+(-\ 427287111974932/350277500542221+10902197410786/350277500542221*o)*u^6+(-\ 21597169100369/1588560093162*o-21197382524755/1588560093162)*u^5+(-9480781045/ 3602177082*o-3769476766/1801088541)*u^4+(-16270795/4084101*o-14414858/4084101)* u^3+(-10784/9261*o-6607/9261)*u^2+(-40/21*o-32/21)*u-2-2*o, 1/2+( 90057078403539889859897/40055923326775589192988*o-49307274882528544488811/ 20027961663387794596494)*u^9+(-1709643423555538367/1853668532869433532*o+ 1076122279407429031/926834266434716766)*u^8+(77946308194613407/ 102981585159412974*o-21918729845610776/51490792579706487)*u^7+(-168999154465/ 4765680279486*o+565209756001/4765680279486)*u^6+(182265733789/529520031054*o-\ 46669459871/264760015527)*u^5+(145933/12252303*o+19760/12252303)*u^4+u^3*(48446 /1361367*o-82115/1361367)+u*(-2/21*o+17/42)]]: X7 := subs(o=om,X7o); Y7 := subs(o=om,Y7o); T7 := subs(o=om,T7o); # # Check that [X7,Y7] is a solution up to $O(u^9)$. # for k from 1 to 9 do for j from 1 to 3 do xx[j] := convert(series( subs( T = T7[k,j], X7 ), u,10),polynom); yy[j] := convert(series( subs( T = T7[k,j], Y7 ), u,10),polynom); od; print( [[k]], factor(xx[1]-xx[2]), factor(xx[2]-xx[3]), factor(yy[1]-yy[2]), factor(yy[2]-yy[3]) ); od: