N:=58; X := (x^18 + 2*x^17 + x^16)*y^31 + (14*x^19 + 47*x^18 + 64*x^17 + 99*x^16 + 194*x^15 + 252*x^14 + 210*x^13 + 120*x^12 + 45*x^11 + 10*x^10 + x^9)*y^30 + (91*x^20 + 434*x^19 + 903*x^18 + 1700*x^17 + 3506*x^16 + 5132*x^15 + 4572*x^14 + 2412*x^13 + 525*x^12 - 250*x^11 - 234*x^10 - 74*x^9 - 9*x^8)*y^29 + (364*x^21 + 2275*x^20 + 6296*x^19 + 13533*x^18 + 28852*x^17 + 47052*x^16 + 47014*x^15 + 24620*x^14 + 1345*x^13 - 7823*x^12 - 5619*x^11 - 1294*x^10 + 300*x^9 + 225*x^8 + 36*x^7)*y^28 + (1001*x^22 + 7826*x^21 + 27059*x^20 + 65672*x^19 + 144501*x^18 + 256870*x^17 + 293609*x^16 + 169648*x^15 - 6698*x^14 - 85762*x^13 - 61791*x^12 - 12512*x^11 + 8896*x^10 + 5726*x^9 + 639*x^8 - 336*x^7 - 84*x^6)*y^27 + (2002*x^23 + 19019*x^22 + 79320*x^21 + 216445*x^20 + 493772*x^19 + 936739*x^18 + 1220134*x^17 + 835715*x^16 - 19214*x^15 - 531876*x^14 - 422254*x^13 - 90921*x^12 + 86900*x^11 + 68790*x^10 + 7932*x^9 - 8007*x^8 - 2646*x^7 + 168*x^6 + 126*x^5)*y^26 + (3003*x^24 + 34034*x^23 + 167563*x^22 + 512588*x^21 + 1219789*x^20 + 2425494*x^19 + 3541921*x^18 + 2941320*x^17 + 248014*x^16 - 2070446*x^15 - 1981531*x^14 - 520858*x^13 + 457836*x^12 + 469238*x^11 + 93647*x^10 - 77302*x^9 - 37980*x^8 + 1596*x^7 + 3780*x^6 + 252*x^5 - 126*x^4)*y^25 + (3432*x^25 + 45903*x^24 + 263296*x^23 + 901065*x^22 + 2249572*x^21 + 4616867*x^20 + 7388130*x^19 + 7385995*x^18 + 1843428*x^17 - 5198234*x^16 - 6524844*x^15 - 2304313*x^14 + 1489586*x^13 + 2002722*x^12 + 655190*x^11 - 343055*x^10 - 307267*x^9 - 14808*x^8 + 41994*x^7 + 8484*x^6 - 2520*x^5 - 546*x^4 + 84*x^3)*y^24 + (3003*x^26 + 47190*x^25 + 313137*x^24 + 1197856*x^23 + 3152489*x^22 + 6581646*x^21 + 11216989*x^20 + 13230572*x^19 + 6003428*x^18 - 8260414*x^17 - 14972677*x^16 - 7447500*x^15 + 2963239*x^14 + 5770400*x^13 + 2652574*x^12 - 694524*x^11 - 1342257*x^10 - 308528*x^9 + 225297*x^8 + 96984*x^7 - 12264*x^6 - 10956*x^5 + 270*x^4 + 480*x^3 - 36*x^2)*y^23 + (2002*x^27 + 37037*x^26 + 283888*x^25 + 1215159*x^24 + 3384272*x^23 + 7072183*x^22 + 12346410*x^21 + 16722103*x^20 + 11648728*x^19 - 7238482*x^18 - 23375176*x^17 - 16741743*x^16 + 2888444*x^15 + 11738207*x^14 + 6907340*x^13 - 326018*x^12 - 3223019*x^11 - 1635999*x^10 + 458070*x^9 + 557071*x^8 + 21908*x^7 - 73812*x^6 - 12600*x^5 + 5514*x^4 + 801*x^3 - 234*x^2 + 9*x)*y^22 + (1001*x^28 + 22022*x^27 + 195877*x^26 + 941820*x^25 + 2784869*x^24 + 5698486*x^23 + 9547325*x^22 + 14275008*x^21 + 14465108*x^20 - 229018*x^19 - 22902391*x^18 - 24957006*x^17 - 947785*x^16 + 17237288*x^15 + 12865048*x^14 + 1421554*x^13 - 4368685*x^12 - 3862246*x^11 - 217827*x^10 + 1462074*x^9 + 461867*x^8 - 230908*x^7 - 106622*x^6 + 11340*x^5 + 12424*x^4 - 498*x^3 - 594*x^2 + 62*x - 1)*y^21 + (364*x^29 + 9737*x^28 + 101784*x^27 + 554279*x^26 + 1745756*x^25 + 3375239*x^24 + 4665662*x^23 + 6994855*x^22 + 11334954*x^21 + 8791800*x^20 - 8741142*x^19 - 21714325*x^18 - 5885130*x^17 + 18598877*x^16 + 18831614*x^15 + 4179592*x^14 - 3571728*x^13 - 4422595*x^12 - 2102488*x^11 + 1292917*x^10 + 1487128*x^9 - 125461*x^8 - 395024*x^7 - 34738*x^6 + 43532*x^5 + 11418*x^4 - 3559*x^3 - 686*x^2 + 180*x - 7)*y^20 + (91*x^30 + 3094*x^29 + 38993*x^28 + 244200*x^27 + 822751*x^26 + 1403346*x^25 + 779867*x^24 + 77036*x^23 + 4822828*x^22 + 13947462*x^21 + 12055733*x^20 - 3316848*x^19 - 4968433*x^18 + 14710588*x^17 + 22355432*x^16 + 7749808*x^15 - 2759917*x^14 - 2792602*x^13 - 2779737*x^12 - 1277104*x^11 + 1348592*x^10 + 747726*x^9 - 514223*x^8 - 257024*x^7 + 72218*x^6 + 43754*x^5 + 2272*x^4 - 5472*x^3 - 198*x^2 + 286*x - 21)*y^19 + (14*x^31 + 665*x^30 + 10616*x^29 + 78623*x^28 + 285492*x^27 + 364393*x^26 - 749870*x^25 - 2785287*x^24 + 133126*x^23 + 13630346*x^22 + 26248646*x^21 + 18813967*x^20 + 2610232*x^19 + 6247047*x^18 + 18436992*x^17 + 10674028*x^16 - 3560620*x^15 - 3834915*x^14 - 1654568*x^13 - 3378111*x^12 - 1354175*x^11 + 1266120*x^10 + 375691*x^9 - 397105*x^8 - 20687*x^7 + 90918*x^6 + 13766*x^5 - 3696*x^4 - 4588*x^3 + 380*x^2 + 274*x - 35)*y^18 + (x^32 + 86*x^31 + 1929*x^30 + 17812*x^29 + 70871*x^28 + 34114*x^27 - 703933*x^26 - 2302376*x^25 - 970502*x^24 + 10149766*x^23 + 27024951*x^22 + 28606646*x^21 + 7899585*x^20 - 6418796*x^19 + 2346330*x^18 + 7269090*x^17 - 4255937*x^16 - 8551830*x^15 - 2196737*x^14 - 1550620*x^13 - 2990688*x^12 + 175480*x^11 + 1658805*x^10 + 217324*x^9 - 225552*x^8 + 57784*x^7 + 31692*x^6 - 9318*x^5 - 2129*x^4 - 2738*x^3 + 515*x^2 + 174*x - 35)*y^17 + (5*x^32 + 208*x^31 + 2675*x^30 + 12172*x^29 - 11703*x^28 - 304794*x^27 - 1017999*x^26 - 407588*x^25 + 6030650*x^24 + 18330172*x^23 + 22553373*x^22 + 4772526*x^21 - 19191557*x^20 - 19636442*x^19 - 4473890*x^18 - 3062126*x^17 - 9101135*x^16 - 3703980*x^15 + 2603049*x^14 + 330681*x^13 - 713278*x^12 + 1468727*x^11 + 1099303*x^10 - 241506*x^9 - 187236*x^8 + 38918*x^7 - 11186*x^6 - 9697*x^5 + 1495*x^4 - 1434*x^3 + 381*x^2 + 92*x - 21)*y^16 + (10*x^32 + 240*x^31 + 1411*x^30 - 4678*x^29 - 78689*x^28 - 274300*x^27 + 17220*x^26 + 2753302*x^25 + 8541649*x^24 + 10641124*x^23 - 1674531*x^22 - 23698896*x^21 - 30778982*x^20 - 14134996*x^19 + 773541*x^18 - 777026*x^17 - 1428275*x^16 + 4918528*x^15 + 5088552*x^14 + 241466*x^13 - 385195*x^12 + 738936*x^11 - 12940*x^10 - 455956*x^9 - 64426*x^8 + 47496*x^7 - 11214*x^6 - 1638*x^5 + 2598*x^4 - 684*x^3 + 244*x^2 + 50*x - 7)*y^15 + (10*x^32 + 110*x^31 - 639*x^30 - 12276*x^29 - 44907*x^28 + 62915*x^27 + 898336*x^26 + 2645983*x^25 + 2650051*x^24 - 4237748*x^23 - 17469843*x^22 - 23897140*x^21 - 11805686*x^20 + 6568242*x^19 + 10142459*x^18 + 3657488*x^17 + 3101651*x^16 + 4678837*x^15 + 987948*x^14 - 1999921*x^13 - 804145*x^12 + 165656*x^11 - 246776*x^10 - 201608*x^9 + 72902*x^8 + 47354*x^7 - 5332*x^6 + 767*x^5 + 1138*x^4 - 401*x^3 + 112*x^2 + 21*x - 1)*y^14 + (5*x^32 - 26*x^31 - 1085*x^30 - 4364*x^29 + 20503*x^28 + 193852*x^27 + 496389*x^26 + 38168*x^25 - 2817242*x^24 - 7827704*x^23 - 10021848*x^22 - 3043842*x^21 + 9759593*x^20 + 14149934*x^19 + 6038341*x^18 - 1033072*x^17 - 603854*x^16 - 214692*x^15 - 1927347*x^14 - 1534260*x^13 + 158184*x^12 + 393492*x^11 - 52682*x^10 - 25492*x^9 + 62100*x^8 + 14110*x^7 - 5608*x^6 - 192*x^5 - 206*x^4 - 288*x^3 + 21*x^2 + 4*x)*y^13 + (x^32 - 44*x^31 - 271*x^30 + 2837*x^29 + 25591*x^28 + 44601*x^27 - 177473*x^26 - 964738*x^25 - 1920266*x^24 - 1548050*x^23 + 1732040*x^22 + 7177816*x^21 + 9395319*x^20 + 3851896*x^19 - 3559697*x^18 - 4373979*x^17 - 1362488*x^16 - 491965*x^15 - 674945*x^14 + 99838*x^13 + 617976*x^12 + 239688*x^11 - 79262*x^10 - 30686*x^9 + 9302*x^8 - 4131*x^7 - 2354*x^6 + 381*x^5 - 218*x^4 - 119*x^3 - x^2)*y^12 - (12*x^31 - 150*x^30 - 1892*x^29 - 94*x^28 + 49032*x^27 + 175699*x^26 + 142186*x^25 - 455457*x^24 - 1499960*x^23 - 2469141*x^22 - 2619026*x^21 - 494557*x^20 + 3103920*x^19 + 3770592*x^18 + 860206*x^17 - 1030439*x^16 - 550896*x^15 - 51608*x^14 - 189440*x^13 - 184742*x^12 + 26336*x^11 + 74810*x^10 + 10226*x^9 - 1712*x^8 + 2676*x^7 - 536*x^6 - 766*x^5 - 21*x^4 + 16*x^3)*y^11 + (66*x^30 - 176*x^29 - 5434*x^28 - 14900*x^27 + 39991*x^26 + 248620*x^25 + 379155*x^24 + 42426*x^23 - 435945*x^22 - 663798*x^21 - 1116533*x^20 - 1246349*x^19 + 90048*x^18 + 1404945*x^17 + 998717*x^16 + 57000*x^15 - 173344*x^14 - 37846*x^13 + 4662*x^12 - 25246*x^11 - 8484*x^10 + 12523*x^9 + 2788*x^8 - 1609*x^7 + 156*x^6 + 273*x^5 + 19*x^4)*y^10 - (220*x^29 + 385*x^28 - 9030*x^27 - 39895*x^26 - 11364*x^25 + 232799*x^24 + 477806*x^23 + 194271*x^22 - 339136*x^21 - 389350*x^20 - 363888*x^19 - 662543*x^18 - 537524*x^17 + 26560*x^16 + 233512*x^15 + 93294*x^14 - 8860*x^13 - 10764*x^12 + 8878*x^11 + 1126*x^10 - 5812*x^9 - 48*x^8 + 1228*x^7 + 175*x^6 - 20*x^5)*y^9 + (495*x^28 + 2100*x^27 - 8159*x^26 - 61079*x^25 - 93389*x^24 + 109186*x^23 + 479375*x^22 + 476179*x^21 + 39080*x^20 - 185247*x^19 - 122875*x^18 - 178982*x^17 - 223820*x^16 - 97126*x^15 + 4938*x^14 + 15728*x^13 - 494*x^12 - 10631*x^11 - 3792*x^10 + 1573*x^9 + 72*x^8 - 315*x^7 - 45*x^6)*y^8 - (776*x^27 + 4616*x^26 + 518*x^25 - 54878*x^24 - 148360*x^23 - 94128*x^22 + 196942*x^21 + 404615*x^20 + 288808*x^19 + 114304*x^18 + 75724*x^17 + 41582*x^16 - 12424*x^15 - 21846*x^14 - 13406*x^13 - 6242*x^12 - 44*x^11 - 436*x^10 - 1262*x^9 - 315*x^8)*y^7 + (x^27 + 840*x^26 + 6074*x^25 + 11794*x^24 - 17725*x^23 - 107936*x^22 - 167155*x^21 - 78501*x^20 + 66655*x^19 + 98818*x^18 + 51743*x^17 + 27586*x^16 + 17758*x^15 + 5236*x^14 + 1813*x^13 + 1230*x^12 - 459*x^11 - 232*x^10 + 175*x^9 + 45*x^8)*y^6 - (6*x^26 + 618*x^25 + 4965*x^24 + 14856*x^23 + 14035*x^22 - 23752*x^21 - 77536*x^20 - 83790*x^19 - 39364*x^18 - 4806*x^17 + 1515*x^16 + 3254*x^15 + 5000*x^14 + 3040*x^13 + 1354*x^12 + 808*x^11 + 273*x^10 + 20*x^9)*y^5 + (15*x^25 + 325*x^24 + 2465*x^23 + 8775*x^22 + 15870*x^21 + 12190*x^20 - 4225*x^19 - 15692*x^18 - 11494*x^17 - 3007*x^16 + 47*x^15 + 354*x^14 + 479*x^13 + 210*x^12 - 21*x^11 - 19*x^10)*y^4 - (20*x^24 + 160*x^23 + 770*x^22 + 2570*x^21 + 5486*x^20 + 6992*x^19 + 4744*x^18 + 932*x^17 - 797*x^16 - 628*x^15 - 384*x^14 - 290*x^13 - 119*x^12 - 16*x^11)*y^3 + (15*x^23 + 90*x^22 + 240*x^21 + 434*x^20 + 690*x^19 + 904*x^18 + 751*x^17 + 255*x^16 - 91*x^15 - 100*x^14 - 21*x^13 + x^12)*y^2 - (6*x^22 + 38*x^21 + 99*x^20 + 136*x^19 + 109*x^18 + 66*x^17 + 53*x^16 + 44*x^15 + 21*x^14 + 4*x^13)*y + x^14*(x+1)^7; 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)];