N:=62; X := (x^20 + 4*x^19 + 6*x^18 + 4*x^17 + x^16)*y^36 + (16*x^21 + 80*x^20 + 144*x^19 + 96*x^18 - 16*x^17 - 48*x^16 - 16*x^15)*y^35 + (120*x^22 + 728*x^21 + 1604*x^20 + 1296*x^19 - 376*x^18 - 1144*x^17 - 348*x^16 + 240*x^15 + 120*x^14)*y^34 + (560*x^23 + 4040*x^22 + 10864*x^21 + 11596*x^20 - 1038*x^19 - 10940*x^18 - 2850*x^17 + 7724*x^16 + 6171*x^15 + 1442*x^14 + 441*x^13 + 364*x^12 + 91*x^11 + 14*x^10 + x^9)*y^33 + (1820*x^24 + 15400*x^23 + 50064*x^22 + 70964*x^21 + 19298*x^20 - 49894*x^19 - 6422*x^18 + 99078*x^17 + 105950*x^16 + 37447*x^15 + 3897*x^14 + 2639*x^13 - 91*x^12 - 1589*x^11 - 571*x^10 - 109*x^9 - 9*x^8)*y^32 + (4368*x^25 + 42952*x^24 + 167104*x^23 + 307556*x^22 + 213664*x^21 - 62208*x^20 + 81608*x^19 + 725908*x^18 + 961024*x^17 + 466028*x^16 + 9390*x^15 - 53816*x^14 - 29834*x^13 - 32508*x^12 - 13474*x^11 + 928*x^10 + 1315*x^9 + 360*x^8 + 36*x^7)*y^31 + (8008*x^26 + 91000*x^25 + 420056*x^24 + 977812*x^23 + 1116856*x^22 + 536064*x^21 + 919652*x^20 + 3549200*x^19 + 5458639*x^18 + 3488450*x^17 + 148471*x^16 - 947296*x^15 - 531644*x^14 - 277172*x^13 - 124584*x^12 + 32032*x^11 + 41903*x^10 + 6959*x^9 - 876*x^8 - 636*x^7 - 84*x^6)*y^30 + (11440*x^27 + 149864*x^26 + 815568*x^25 + 2346916*x^24 + 3766232*x^23 + 3659496*x^22 + 4897300*x^21 + 12594916*x^20 + 21223047*x^19 + 17162314*x^18 + 2308805*x^17 - 6548264*x^16 - 4903981*x^15 - 1678354*x^14 - 454599*x^13 + 306560*x^12 + 468611*x^11 + 111754*x^10 - 42377*x^9 - 17544*x^8 - 1806*x^7 + 588*x^6 + 126*x^5)*y^29 + (12870*x^28 + 194480*x^27 + 1242956*x^26 + 4342988*x^25 + 9046638*x^24 + 12408056*x^23 + 16876920*x^22 + 33976156*x^21 + 59530597*x^20 + 58484423*x^19 + 15702089*x^18 - 25541351*x^17 - 27246315*x^16 - 9345899*x^15 + 72587*x^14 + 2292373*x^13 + 2730134*x^12 + 1048357*x^11 - 376067*x^10 - 291091*x^9 - 13389*x^8 + 15666*x^7 + 4578*x^6 - 126*x^5 - 126*x^4)*y^28 + (11440*x^29 + 200200*x^28 + 1500928*x^27 + 6284564*x^26 + 16229184*x^25 + 28174984*x^24 + 41227700*x^23 + 71282716*x^22 + 124207004*x^21 + 142552304*x^20 + 61082448*x^19 - 61374090*x^18 - 97502326*x^17 - 43282998*x^16 + 4796544*x^15 + 13699360*x^14 + 10633169*x^13 + 5133756*x^12 - 1260590*x^11 - 2272968*x^10 - 346255*x^9 + 239888*x^8 + 64196*x^7 - 4326*x^5 - 336*x^4 + 84*x^3)*y^27 + (8008*x^30 + 163592*x^29 + 1441440*x^28 + 7170020*x^27 + 22310200*x^26 + 46613392*x^25 + 74503600*x^24 + 117242404*x^23 + 195345248*x^22 + 251999400*x^21 + 152930676*x^20 - 89633722*x^19 - 233588666*x^18 - 143988500*x^17 + 8536888*x^16 + 55082952*x^15 + 34158849*x^14 + 14205267*x^13 - 1888374*x^12 - 9014346*x^11 - 3435608*x^10 + 1237261*x^9 + 775039*x^8 - 11256*x^7 - 47810*x^6 - 11382*x^5 + 1680*x^4 + 420*x^3 - 36*x^2)*y^26 + (4368*x^31 + 105560*x^30 + 1099280*x^29 + 6467916*x^28 + 23826540*x^27 + 58270608*x^26 + 101935136*x^25 + 150941380*x^24 + 230401874*x^23 + 319928404*x^22 + 257245294*x^21 - 63270914*x^20 - 378945558*x^19 - 328330178*x^18 - 22681950*x^17 + 141795048*x^16 + 94971485*x^15 + 25424322*x^14 - 4254473*x^13 - 20122568*x^12 - 14429035*x^11 + 1440294*x^10 + 4399827*x^9 + 565648*x^8 - 441585*x^7 - 99414*x^6 + 1533*x^5 + 9156*x^4 + 291*x^3 - 234*x^2 + 9*x)*y^25 + (1820*x^32 + 53144*x^31 + 661024*x^30 + 4602364*x^29 + 19877952*x^28 + 55995804*x^27 + 106893452*x^26 + 150774792*x^25 + 196708364*x^24 + 274659182*x^23 + 285943922*x^22 + 26117604*x^21 - 402112426*x^20 - 505292608*x^19 - 125664126*x^18 + 231959246*x^17 + 207154833*x^16 + 39392877*x^15 - 22644479*x^14 - 29282071*x^13 - 29215271*x^12 - 5885647*x^11 + 11030551*x^10 + 5042233*x^9 - 1371354*x^8 - 879881*x^7 + 10689*x^6 + 46963*x^5 + 15777*x^4 - 2461*x^3 - 559*x^2 + 67*x - 1)*y^24 + (560*x^33 + 20440*x^32 + 309120*x^31 + 2562668*x^30 + 12940640*x^29 + 41637992*x^28 + 86316740*x^27 + 114848308*x^26 + 107501356*x^25 + 120351208*x^24 + 180349624*x^23 + 111004374*x^22 - 227260520*x^21 - 496666726*x^20 - 253759216*x^19 + 228908320*x^18 + 324842346*x^17 + 72824960*x^16 - 67878496*x^15 - 40361440*x^14 - 23899607*x^13 - 17654532*x^12 + 9489412*x^11 + 14709242*x^10 + 566722*x^9 - 3427398*x^8 - 521294*x^7 + 280280*x^6 + 68682*x^5 + 8260*x^4 - 7862*x^3 - 400*x^2 + 211*x - 8)*y^23 + (120*x^34 + 5800*x^33 + 109864*x^32 + 1100156*x^31 + 6525064*x^30 + 23937600*x^29 + 53601536*x^28 + 64577268*x^27 + 15335430*x^26 - 49308388*x^25 - 2237590*x^24 + 122158894*x^23 + 56655524*x^22 - 224523438*x^21 - 270627840*x^20 + 99467808*x^19 + 347695198*x^18 + 139918678*x^17 - 101929840*x^16 - 69587552*x^15 + 10264744*x^14 - 4571491*x^13 - 7966393*x^12 + 14487158*x^11 + 8972615*x^10 - 4439774*x^9 - 3086743*x^8 + 470108*x^7 + 381141*x^6 + 15662*x^5 - 7365*x^4 - 11196*x^3 + 775*x^2 + 359*x - 28)*y^22 + (16*x^35 + 1144*x^34 + 28592*x^33 + 355468*x^32 + 2511832*x^31 + 10564248*x^30 + 25433036*x^29 + 24980324*x^28 - 35115022*x^27 - 137953932*x^26 - 134475186*x^25 + 78131582*x^24 + 283481714*x^23 + 167887686*x^22 - 101853386*x^21 - 51841456*x^20 + 229513106*x^19 + 214773084*x^18 - 49970986*x^17 - 102677304*x^16 + 26929348*x^15 + 41990192*x^14 - 17588362*x^13 - 11948694*x^12 + 11374478*x^11 + 2619570*x^10 - 5135038*x^9 - 1000772*x^8 + 969485*x^7 + 167274*x^6 - 45157*x^5 - 9304*x^4 - 9565*x^3 + 2186*x^2 + 343*x - 56)*y^21 + (x^36 + 140*x^35 + 5118*x^34 + 83200*x^33 + 721193*x^32 + 3532152*x^31 + 9124312*x^30 + 5310340*x^29 - 40220478*x^28 - 130067738*x^27 - 151590246*x^26 + 46081992*x^25 + 369650910*x^24 + 449259572*x^23 + 149376102*x^22 - 105974182*x^21 + 33862980*x^20 + 223368874*x^19 + 86723786*x^18 - 89330846*x^17 - 22645118*x^16 + 58981036*x^15 + 767866*x^14 - 41591028*x^13 - 7929323*x^12 + 11497240*x^11 + 407104*x^10 - 3141476*x^9 + 443034*x^8 + 664671*x^7 - 73361*x^6 - 35709*x^5 + 1057*x^4 - 6619*x^3 + 2545*x^2 + 161*x - 70)*y^20 + (8*x^36 + 560*x^35 + 13244*x^34 + 148944*x^33 + 877064*x^32 + 2445132*x^31 - 301004*x^30 - 24582764*x^29 - 77764048*x^28 - 95469540*x^27 + 45753450*x^26 + 336428976*x^25 + 504050158*x^24 + 296759108*x^23 - 82273120*x^22 - 153313394*x^21 + 94506200*x^20 + 170509284*x^19 - 25776784*x^18 - 105953898*x^17 - 6483560*x^16 + 19180070*x^15 - 33783080*x^14 - 29007882*x^13 + 8816508*x^12 + 11433210*x^11 - 1000702*x^10 - 1563993*x^9 + 694326*x^8 + 189490*x^7 - 133702*x^6 + 5456*x^5 + 4842*x^4 - 5310*x^3 + 1892*x^2 + 7*x - 56)*y^19 + (28*x^36 + 1276*x^35 + 20864*x^34 + 157096*x^33 + 485420*x^32 - 627716*x^31 - 9993664*x^30 - 32394424*x^29 - 37804044*x^28 + 47620786*x^27 + 239433176*x^26 + 379739018*x^25 + 258014560*x^24 - 83615760*x^23 - 291083814*x^22 - 137847162*x^21 + 84651980*x^20 + 22709156*x^19 - 134740956*x^18 - 92054866*x^17 + 16448064*x^16 + 13484860*x^15 - 17229654*x^14 - 596708*x^13 + 15104382*x^12 + 5124206*x^11 - 2780476*x^10 - 725289*x^9 + 490693*x^8 - 65928*x^7 - 93025*x^6 + 22088*x^5 + 1467*x^4 - 3946*x^3 + 1135*x^2 - 19*x - 28)*y^18 + (56*x^36 + 1778*x^35 + 19372*x^34 + 71714*x^33 - 211520*x^32 - 2810173*x^31 - 9583542*x^30 - 8831191*x^29 + 34309614*x^28 + 132216459*x^27 + 202277340*x^26 + 116175145*x^25 - 129940000*x^24 - 344984626*x^23 - 308991092*x^22 - 76217138*x^21 + 33566040*x^20 - 61827326*x^19 - 92551548*x^18 + 14384200*x^17 + 63803872*x^16 + 20784396*x^15 - 4815528*x^14 + 4474924*x^13 + 6441734*x^12 - 1540092*x^11 - 2808446*x^10 - 18332*x^9 + 312098*x^8 - 107746*x^7 - 39306*x^6 + 19822*x^5 + 112*x^4 - 1830*x^3 + 620*x^2 + 4*x - 8)*y^17 + (70*x^36 + 1498*x^35 + 7994*x^34 - 35822*x^33 - 540946*x^32 - 2002709*x^31 - 750219*x^30 + 16246325*x^29 + 54255605*x^28 + 72566573*x^27 + 4310441*x^26 - 148668241*x^25 - 286416119*x^24 - 287694446*x^23 - 120845702*x^22 + 59376594*x^21 + 69146630*x^20 - 4189294*x^19 + 17955204*x^18 + 69465762*x^17 + 41114170*x^16 - 6804294*x^15 - 12634624*x^14 - 1346848*x^13 + 311532*x^12 - 2340964*x^11 - 1115384*x^10 + 477994*x^9 + 212529*x^8 - 57072*x^7 - 5288*x^6 + 11682*x^5 + 106*x^4 - 470*x^3 + 262*x^2 + 8*x - 1)*y^16 + (56*x^36 + 644*x^35 - 2840*x^34 - 68188*x^33 - 292212*x^32 + 180026*x^31 + 5050570*x^30 + 15757730*x^29 + 14754490*x^28 - 28761934*x^27 - 106765504*x^26 - 158273421*x^25 - 135032360*x^24 - 31366332*x^23 + 105289968*x^22 + 154446766*x^21 + 75334336*x^20 + 5621166*x^19 + 16044396*x^18 + 18430574*x^17 - 11753200*x^16 - 21137302*x^15 - 7838474*x^14 + 1369022*x^13 + 1141590*x^12 - 576518*x^11 + 4808*x^10 + 419616*x^9 + 80788*x^8 - 28788*x^7 - 702*x^6 + 2208*x^5 - 634*x^4 - 130*x^3 + 64*x^2 + 2*x)*y^15 + (28*x^36 - 20*x^35 - 5101*x^34 - 29646*x^33 + 59063*x^32 + 1015482*x^31 + 3089336*x^30 + 367082*x^29 - 18787160*x^28 - 47970816*x^27 - 50972477*x^26 - 9246533*x^25 + 51671340*x^24 + 108307436*x^23 + 130581664*x^22 + 72550854*x^21 - 19832000*x^20 - 44450376*x^19 - 17905908*x^18 - 10621588*x^17 - 13499488*x^16 - 4662234*x^15 + 3314652*x^14 + 3720342*x^13 + 1099196*x^12 - 307028*x^11 - 26392*x^10 + 109542*x^9 - 20244*x^8 - 16370*x^7 - 968*x^6 - 1226*x^5 - 710*x^4 - 64*x^3 + 6*x^2)*y^14 + (8*x^36 - 169*x^35 - 2046*x^34 + 6045*x^33 + 127442*x^32 + 393195*x^31 - 613084*x^30 - 6144863*x^29 - 13215312*x^28 - 4997141*x^27 + 26654874*x^26 + 55524275*x^25 + 58174144*x^24 + 45701602*x^23 + 16660308*x^22 - 33706476*x^21 - 56628332*x^20 - 26874654*x^19 + 2510984*x^18 + 3835278*x^17 + 1639086*x^16 + 3503560*x^15 + 2812146*x^14 + 989332*x^13 - 240408*x^12 - 459040*x^11 - 85232*x^10 + 3102*x^9 - 22558*x^8 + 732*x^7 + 2758*x^6 - 210*x^5 - 224*x^4 - 14*x^3)*y^13 + (x^36 - 77*x^35 + 125*x^34 + 9271*x^33 + 32285*x^32 - 152321*x^31 - 1166305*x^30 - 2081279*x^29 + 2663334*x^28 + 16171761*x^27 + 24455737*x^26 + 10674673*x^25 - 11628085*x^24 - 20563878*x^23 - 25177628*x^22 - 28841366*x^21 - 11938950*x^20 + 12507100*x^19 + 14580102*x^18 + 3983466*x^17 - 57034*x^16 - 247500*x^15 - 539404*x^14 - 337966*x^13 - 240912*x^12 - 122758*x^11 + 38950*x^10 + 13036*x^9 - 8432*x^8 + 3722*x^7 + 2338*x^6 + 224*x^5 - 14*x^4)*y^12 - (12*x^35 - 312*x^34 - 1814*x^33 + 15760*x^32 + 128996*x^31 + 150976*x^30 - 1155489*x^29 - 4546732*x^28 - 5066842*x^27 + 4940360*x^26 + 19010039*x^25 + 19059336*x^24 + 6665874*x^23 + 78920*x^22 - 2225432*x^21 - 9303380*x^20 - 10787222*x^19 - 2495346*x^18 + 2703992*x^17 + 1750814*x^16 + 642798*x^15 + 228980*x^14 - 97842*x^13 - 56792*x^12 - 32736*x^11 - 48978*x^10 - 3638*x^9 + 7570*x^8 + 74*x^7 - 448*x^6 - 42*x^5)*y^11 + (66*x^34 - 638*x^33 - 7832*x^32 + 264*x^31 + 197461*x^30 + 674279*x^29 + 200282*x^28 - 3467114*x^27 - 8216412*x^26 - 5970123*x^25 + 4355337*x^24 + 10420316*x^23 + 6424440*x^22 + 2324186*x^21 + 2294706*x^20 + 415590*x^19 - 2147906*x^18 - 1303176*x^17 + 250960*x^16 + 319012*x^15 + 139864*x^14 + 79496*x^13 - 20606*x^12 - 9486*x^11 + 14526*x^10 - 800*x^9 - 3542*x^8 - 448*x^7 + 14*x^6)*y^10 - (220*x^33 - 440*x^32 - 15829*x^31 - 47410*x^30 + 109253*x^29 + 857488*x^28 + 1618351*x^27 + 9850*x^26 - 4593653*x^25 - 7218240*x^24 - 3575093*x^23 + 1669490*x^22 + 2360377*x^21 + 814674*x^20 + 781919*x^19 + 779296*x^18 - 57959*x^17 - 292556*x^16 - 18366*x^15 + 41656*x^14 + 32052*x^13 + 44486*x^12 + 13280*x^11 - 4982*x^10 - 750*x^9 + 560*x^8 + 70*x^7)*y^9 + (495*x^32 + 1089*x^31 - 17787*x^30 - 94203*x^29 - 99039*x^28 + 444805*x^27 + 1634085*x^26 + 2040493*x^25 + 94496*x^24 - 2694041*x^23 - 3065713*x^22 - 1203651*x^21 - 90013*x^20 - 261511*x^19 - 253553*x^18 + 4291*x^17 + 2607*x^16 - 35376*x^15 + 13380*x^14 + 16214*x^13 - 2944*x^12 - 122*x^11 + 2534*x^10 + 560*x^9)*y^8 - (792*x^31 + 3696*x^30 - 8601*x^29 - 93220*x^28 - 228854*x^27 - 103178*x^26 + 615512*x^25 + 1486410*x^24 + 1444900*x^23 + 368678*x^22 - 491528*x^21 - 408942*x^20 - 75156*x^19 - 53368*x^18 - 90877*x^17 - 36820*x^16 - 15124*x^15 - 22822*x^14 - 11864*x^13 - 978*x^12 - 122*x^11 - 448*x^10 - 70*x^9)*y^7 + (924*x^30 + 5677*x^29 + 5297*x^28 - 46670*x^27 - 183091*x^26 - 284558*x^25 - 122953*x^24 + 299526*x^23 + 609839*x^22 + 510444*x^21 + 202705*x^20 + 43072*x^19 + 34905*x^18 + 15771*x^17 - 16616*x^16 - 17222*x^15 - 6944*x^14 - 3318*x^13 - 1778*x^12 - 448*x^11 - 14*x^10)*y^6 - (792*x^29 + 5550*x^28 + 12736*x^27 - 1334*x^26 - 66880*x^25 - 159390*x^24 - 192867*x^23 - 115628*x^22 + 12151*x^21 + 78368*x^20 + 56483*x^19 + 18186*x^18 + 7837*x^17 + 6946*x^16 + 2748*x^15 + 526*x^14 + 406*x^13 + 224*x^12 + 42*x^11)*y^5 + (495*x^28 + 3700*x^27 + 10858*x^26 + 13930*x^25 - 576*x^24 - 30731*x^23 - 55627*x^22 - 56965*x^21 - 34929*x^20 - 8071*x^19 + 4913*x^18 + 5187*x^17 + 3462*x^16 + 2446*x^15 + 1110*x^14 + 224*x^13 + 14*x^12)*y^4 - (220*x^27 + 1692*x^26 + 5439*x^25 + 9376*x^24 + 9116*x^23 + 4342*x^22 - 782*x^21 - 3550*x^20 - 3518*x^19 - 1378*x^18 + 437*x^17 + 526*x^16 + 46*x^15 - 64*x^14 - 14*x^13)*y^3 + (66*x^26 + 513*x^25 + 1699*x^24 + 3124*x^23 + 3521*x^22 + 2632*x^21 + 1499*x^20 + 688*x^19 + 59*x^18 - 269*x^17 - 214*x^16 - 64*x^15 - 6*x^14)*y^2 - (12*x^25 + 94*x^24 + 316*x^23 + 590*x^22 + 658*x^21 + 434*x^20 + 154*x^19 + 26*x^18 + 10*x^17 + 8*x^16 + 2*x^15)*y + x^16*(x+1)^8; q := (x+y+2)/(x-y); t:=(y-x)*(x+y)*(x+y+2)/(x^3+x^2*y+2*x^2+x*y^2+2*x*y+y^3+2*y^2-2); E:=[0,t^2-2*q*t-2,0,-(t^2-1)*(q*t+1)^2,0]; P:=[(t+1)*(q*t+1),t*(q*t+1)*(t+1)];