N:=64;
X := x^20*y^32
        - x^6*(28*x^15 - 4*x^14 - 7*x^13 - 7*x^12 - 6*x^11 - 6*x^10 - 5*x^9 - 5*x^8 - 4*x^7 - 4*x^6 - 3*x^5 - 3*x^4 - 2*x^3 - 2*x^2 - x - 1)*y^31
        + x^6*(378*x^16 - 84*x^15 - 141*x^14 - 84*x^13 - 11*x^12 + 18*x^11 + 60*x^10 + 60*x^9 + 80*x^8 + 60*x^7 + 67*x^6 + 36*x^5 + 39*x^4 + 6*x^3 + 14*x^2 - 12*x + 10)*y^30
        + x^6*(x^27 + 3*x^26 + 9*x^25 + 19*x^24 + 39*x^23 + 69*x^22 + 119*x^21 + 189*x^20 + 294*x^19 + 434*x^18 - 2646*x^17 + 1638*x^16 + 2408*x^15 + 1348*x^14 + 333*x^13 + 131*x^12 - 139*x^11 + 99*x^10 - 56*x^9 + 224*x^8 - 27*x^7 + 235*x^6 - 86*x^5 + 234*x^4 - 96*x^3 + 292*x^2 - 153*x + 45)*y^29
        - x^6*(15*x^28 + 34*x^27 + 84*x^26 + 120*x^25 + 185*x^24 + 190*x^23 + 230*x^22 + 200*x^21 + 340*x^20 + 620*x^19 - 18875*x^18 + 6780*x^17 + 11526*x^16 - 1116*x^15 - 10204*x^14 - 9736*x^13 - 8637*x^12 - 4058*x^11 - 3485*x^10 + 140*x^9 - 1495*x^8 + 1446*x^7 - 1638*x^6 + 1824*x^5 - 1814*x^4 + 2884*x^3 - 2072*x^2 + 672*x - 120)*y^28
        + x^6*(105*x^29 + 165*x^28 + 289*x^27 + 33*x^26 - 237*x^25 - 1121*x^24 - 1447*x^23 - 1767*x^22 + 669*x^21 + 5873*x^20 - 78246*x^19 + 46218*x^18 + 82563*x^17 + 3447*x^16 - 38068*x^15 - 12432*x^14 + 13212*x^13 + 40992*x^12 + 35961*x^11 + 43293*x^10 + 19350*x^9 + 27638*x^8 - 1761*x^7 + 18259*x^6 - 13336*x^5 + 23484*x^4 - 17416*x^3 + 7084*x^2 - 1638*x + 210)*y^27
        - (455*x^36 + 420*x^35 + 180*x^34 - 2068*x^33 - 3554*x^32 - 6060*x^31 - 2692*x^30 + 2696*x^29 + 23352*x^28 + 55652*x^27 - 239550*x^26 + 197160*x^25 + 351483*x^24 - 76724*x^23 - 273069*x^22 - 122122*x^21 + 4337*x^20+ 50388*x^19 - 46150*x^18 - 69820*x^17 - 179271*x^16 - 106240*x^15 - 200780*x^14 - 38748*x^13 - 174437*x^12 + 83952*x^11 - 142137*x^10 + 33622*x^9 - 22091*x^8 - 1296*x^7 - 1967*x^6 - 714*x^5 - 273*x^4 - 92*x^3 - 27*x^2 - 6*x - 1)*y^26
        + (1365*x^37 + 455*x^36 - 2100*x^35 - 9540*x^34 - 9270*x^33 - 6238*x^32 + 18236*x^31 + 38500*x^30 + 93446*x^29 + 167190*x^28 - 734022*x^27 + 415438*x^26 + 968264*x^25 - 655132*x^24 - 1185401*x^23 - 245571*x^22 + 506424*x^21 + 588540*x^20 + 251204*x^19 + 222944*x^18 + 59988*x^17 + 481040*x^16 + 188989*x^15 + 778195*x^14 + 7038*x^13 + 1013446*x^12 - 256347*x^11 + 464091*x^10 + 47578*x^9 + 90394*x^8 + 35394*x^7 + 18522*x^6 + 8015*x^5 + 3217*x^4 + 1119*x^3 + 349*x^2 + 80*x + 16)*y^25
        - (3003*x^38 - 546*x^37 - 9373*x^36 - 22008*x^35 - 3138*x^34 + 26612*x^33 + 83748*x^32 + 74448*x^31 + 106818*x^30 + 202088*x^29 - 1978296*x^28 + 586304*x^27 + 2546720*x^26 - 1990680*x^25 - 3023735*x^24 + 566860*x^23 + 2805120*x^22 + 1565420*x^21 - 437645*x^20 - 1184280*x^19 - 1563522*x^18 - 545060*x^17 - 1599102*x^16 + 8328*x^15 - 2783942*x^14 + 1185144*x^13 - 3217799*x^12 + 146952*x^11 - 1019208*x^10 - 401288*x^9 - 318383*x^8 - 170340*x^7 - 89735*x^6 - 41210*x^5 - 17595*x^4 - 6264*x^3 - 2116*x^2 - 480*x - 120)*y^24
        + (5005*x^39 - 3003*x^38 - 22113*x^37 - 28665*x^36 + 41930*x^35 + 114810*x^34 + 150950*x^33 - 26526*x^32 - 86874*x^31 + 271854*x^30 - 3553274*x^29 + 1583658*x^28 + 7307237*x^27 - 3075363*x^26 - 5430402*x^25 + 4184162*x^24 + 8739038*x^23 + 1997082*x^22 - 3593892*x^21 - 3829408*x^20 - 1150512*x^19 + 2897724*x^18 + 1433704*x^17 + 5627868*x^16 - 2341423*x^15 + 9710553*x^14 - 4244514*x^13 + 5654442*x^12 + 1016212*x^11 + 1834308*x^10 + 1105652*x^9 + 798768*x^8 + 472644*x^7 + 268336*x^6 + 127809*x^5 + 59541*x^4 + 21143*x^3 + 8099*x^2 + 1680*x + 560)*y^23
        + (x^42 + 10*x^41 - 6370*x^40 + 6040*x^39 + 36498*x^38 + 18168*x^37 - 124909*x^36 - 197712*x^35 - 42944*x^34 + 470376*x^33 + 541000*x^32 - 709360*x^31 + 4728440*x^30 - 2778700*x^29 - 13738887*x^28 + 8231564*x^27 + 16063876*x^26 - 3693640*x^25 - 11271414*x^24 + 8392612*x^23 + 18149577*x^22 + 12258662*x^21 + 94533*x^20 - 6280328*x^19 + 142913*x^18 - 4217514*x^17 + 16987520*x^16 - 13210228*x^15 + 21942440*x^14 - 4300304*x^13 + 5896404*x^12 + 2837872*x^11 + 2909188*x^10 + 1976512*x^9 + 1478558*x^8 + 883000*x^7 + 559865*x^6 + 262790*x^5 + 141745*x^4 + 46540*x^3 + 22386*x^2 + 3640*x + 1820)*y^22
        - (6*x^43 + 54*x^42 - 6106*x^41 + 7974*x^40 + 46245*x^39 - 5049*x^38 - 199824*x^37 - 179556*x^36 + 304091*x^35 + 1034769*x^34 + 599856*x^33 - 2394316*x^32 + 4224312*x^31 - 3247904*x^30 - 20028616*x^29 + 15438624*x^28 + 29316661*x^27 - 13311337*x^26 - 33139305*x^25 + 3245681*x^24 + 13204093*x^23 - 9232233*x^22 - 34996341*x^21 - 32157619*x^20 - 9204723*x^19 - 10943809*x^18 + 29429242*x^17 - 40382034*x^16 + 31577213*x^15 - 23935169*x^14 - 3314940*x^13 - 5647168*x^12 - 3746862*x^11 - 3919434*x^10 - 2494107*x^9 - 2176877*x^8 - 1144953*x^7 - 903443*x^6 - 357731*x^5 - 262581*x^4 - 63843*x^3 - 48685*x^2 - 4368*x - 4368)*y^21
        + (15*x^44 + 120*x^43 - 4320*x^42 + 7380*x^41 + 44931*x^40 - 27620*x^39 - 230274*x^38 - 81864*x^37 + 624309*x^36 + 1111736*x^35 - 338406*x^34 - 4883720*x^33 + 3098961*x^32 + 172236*x^31 - 21188690*x^30 + 22530936*x^29 + 42354867*x^28 - 28579488*x^27 - 57474261*x^26 + 18056394*x^25 + 45846014*x^24 + 11460152*x^23 - 17442591*x^22 + 14486806*x^21 + 56964206*x^20 + 39644136*x^19 + 86019816*x^18 - 58963560*x^17 + 65716104*x^16 - 28008184*x^15 + 4456424*x^14 + 6654420*x^13 + 7875956*x^12 + 3328640*x^11 + 4830075*x^10 + 1948810*x^9 + 2835650*x^8 + 867384*x^7 + 1284139*x^6 + 244398*x^5 + 423819*x^4 + 30888*x^3 + 88088*x^2 + 8008)*y^20
        - (20*x^45 + 140*x^44 - 2252*x^43 + 4424*x^42 + 31942*x^41 - 37678*x^40 - 207293*x^39 + 18463*x^38 + 716888*x^37 + 722604*x^36 - 1331421*x^35 - 5534161*x^34 + 4163584*x^33 + 8167180*x^32 - 16990315*x^31 + 21171985*x^30 + 45011800*x^29 - 46985440*x^28 - 78622868*x^27 + 42392012*x^26 + 80595967*x^25 - 1094693*x^24 - 63832125*x^23 - 22180945*x^22 + 13123833*x^21 - 49301587*x^20 + 7054953*x^19 - 202448379*x^18 + 25352190*x^17 - 71968842*x^16 - 19603012*x^15 + 1360268*x^14 + 4225596*x^13 - 8671888*x^12 - 581035*x^11 - 6465375*x^10 + 208185*x^9 - 3849611*x^8 + 340051*x^7 - 1869385*x^6 + 245355*x^5 - 655545*x^4 + 88517*x^3 - 135707*x^2 + 11440*x - 11440)*y^19
        + (15*x^46 + 90*x^45 - 905*x^44 + 1332*x^43 + 16052*x^42 - 29500*x^41 - 138765*x^40 + 85640*x^39 + 621479*x^38 + 304806*x^37 - 1535192*x^36 - 4003868*x^35 + 5393073*x^34 + 12440642*x^33 - 16512508*x^32 + 3584688*x^31 + 32244182*x^30 - 56013712*x^29 - 81528588*x^28 + 71363356*x^27 + 108958954*x^26 - 30705444*x^25 - 108729866*x^24 - 11778212*x^23 + 65774892*x^22 - 1324480*x^21 + 112401980*x^20 - 122067900*x^19 + 199972122*x^18 + 84353124*x^17 + 77684268*x^16 + 71892332*x^15 + 45743123*x^14 - 3481086*x^13 + 11393540*x^12 - 6123388*x^11 + 9614703*x^10 - 4381058*x^9 + 5983659*x^8 - 2681136*x^7 + 2920257*x^6 - 1137642*x^5 + 969507*x^4 - 272844*x^3 + 176748*x^2 - 25740*x + 12870)*y^18
        - (6*x^47 + 30*x^46 - 300*x^45 - 60*x^44 + 5832*x^43 - 12780*x^42 - 63936*x^41 + 91152*x^40 + 402539*x^39 - 5271*x^38 - 1267944*x^37 - 2190784*x^36 + 4416493*x^35 + 10027671*x^34 - 16856296*x^33 - 11336960*x^32 + 27432705*x^31 - 29577825*x^30 - 49157890*x^29 + 96140778*x^28 + 116835298*x^27 - 67395570*x^26 - 139609362*x^25 + 17856250*x^24 + 112577086*x^23 - 17030550*x^22 + 76426322*x^21 - 220514202*x^20 + 90346122*x^19 - 46966626*x^18 - 134948374*x^17 - 116469666*x^16 - 85657710*x^15 - 110919126*x^14 - 29798046*x^13 - 35506978*x^12 + 10225821*x^11 - 16402905*x^10 + 10223016*x^9 - 9658880*x^8 + 5847468*x^7 - 4388360*x^6 + 2157130*x^5 - 1260570*x^4 + 429700*x^3 - 190048*x^2 + 34320*x - 11440)*y^17
        + (x^48 + 4*x^47 - 76*x^46 - 156*x^45 + 1675*x^44 - 2248*x^43 - 20066*x^42 + 48176*x^41 + 172477*x^40 - 145028*x^39 - 808688*x^38 - 833176*x^37 + 2761558*x^36 + 6010144*x^35 - 12008004*x^34 - 12099376*x^33 + 28620214*x^32 + 863832*x^31 - 30416274*x^30 + 62687144*x^29 + 63756393*x^28 - 114813080*x^27 - 152135406*x^26 + 52781064*x^25 + 144955228*x^24 - 41898752*x^23 + 43599126*x^22 - 198361328*x^21 + 122948438*x^20 + 84915016*x^19 - 22026774*x^18 + 52532080*x^17 + 141951445*x^16 + 76091796*x^15 + 137208782*x^14 + 60746068*x^13 + 80180459*x^12 - 1976176*x^11 + 30841912*x^10 - 14710456*x^9 + 14392739*x^8 - 8582380*x^7 + 5601290*x^6 - 2758008*x^5 + 1331755*x^4 - 463128*x^3 + 164178*x^2 - 32032*x + 8008)*y^16
        + (10*x^47 + 30*x^46 - 376*x^45 - 200*x^44 + 4908*x^43 - 11680*x^42 - 45352*x^41 + 105096*x^40 + 331703*x^39 + 54475*x^38 - 1479108*x^37 - 2778972*x^36 + 6297419*x^35 + 8181783*x^34 - 20484272*x^33 - 7625656*x^32 +32495355*x^31 - 12627525*x^30 - 24803210*x^29 + 86771406*x^28 + 82588637*x^27 - 114142275*x^26 - 164247336*x^25 + 67449200*x^24 + 5985347*x^23 + 152596347*x^22 - 89263046*x^21 - 94321774*x^20 + 97053774*x^19 + 65536198*x^18 - 19610526*x^17 + 103568202*x^16 + 55930966*x^15 + 127365122*x^14 + 53072982*x^13 + 109885838*x^12 + 11447372*x^11 + 50085480*x^10 - 13454858*x^9 + 18709902*x^8 - 8912211*x^7 + 5712385*x^6 - 2524418*x^5 + 1093950*x^4 - 361920*x^3 + 111020*x^2 - 21840*x + 4368)*y^15
        + (45*x^46 + 90*x^45 - 1035*x^44 + 612*x^43 + 8601*x^42 - 30402*x^41 - 72072*x^40 + 117808*x^39 + 547911*x^38 + 720594*x^37 - 2768338*x^36 - 4334668*x^35 + 10334157*x^34 + 6307678*x^33 - 23520902*x^32 - 1097496*x^31 + 28018534*x^30 - 21281256*x^29 - 19407711*x^28 + 100045760*x^27 + 95866565*x^26 - 120279510*x^25 - 58907820*x^24 - 77121040*x^23 + 75032358*x^22 + 117407688*x^21 - 77293752*x^20 - 43971132*x^19 + 92098504*x^18 + 1976192*x^17 + 57793938*x^16 + 19070988*x^15 + 104755733*x^14 + 23178354*x^13 + 103197511*x^12 + 13414872*x^11 + 60065487*x^10 - 6394838*x^9 + 20287866*x^8 - 5921604*x^7 + 4650375*x^6 - 1593670*x^5 + 690495*x^4 - 204100*x^3 + 57330*x^2 - 10920*x + 1820)*y^14
        + (120*x^45 + 120*x^44 - 1758*x^43 + 2862*x^42 + 8370*x^41 - 47070*x^40 - 96645*x^39 + 2113*x^38 + 896180*x^37 + 1424128*x^36 - 4196383*x^35 - 3969877*x^34 + 11569843*x^33 + 2782997*x^32 - 20480886*x^31 + 2939526*x^30 + 21576079*x^29 - 26376799*x^28 - 16016180*x^27 + 114233360*x^26 + 42053810*x^25 - 17918350*x^24 - 67367375*x^23 - 86997957*x^22 + 81387542*x^21 + 70309178*x^20 - 58130498*x^19 + 18594794*x^18 + 15902319*x^17 + 50363437*x^16 - 10593947*x^15 + 74724487*x^14 - 255051*x^13 + 75333423*x^12 + 4660753*x^11 + 50919707*x^10 + 1093518*x^9 + 17460926*x^8 - 1388261*x^7 + 3215385*x^6 - 542010*x^5 + 354250*x^4 - 75620*x^3 + 22400*x^2 - 3920*x + 560)*y^13
        + (210*x^44 - 1806*x^42 + 5148*x^41 + 2223*x^40 - 42812*x^39 - 141362*x^38 - 180096*x^37 + 1267027*x^36 + 1507272*x^35 - 4531743*x^34 - 2464206*x^33 + 9566671*x^32 + 481956*x^31 - 15613919*x^30 + 5569186*x^29 + 15927504*x^28 - 35259728*x^27 + 12724080*x^26 + 65810220*x^25 + 39050270*x^24 + 28368848*x^23 - 67165386*x^22 - 51844944*x^21 + 59090750*x^20 + 19596816*x^19 - 3650377*x^18 - 10935290*x^17 + 43478328*x^16 - 15000752*x^15 + 46070513*x^14 - 10529886*x^13 + 45777610*x^12 - 1319912*x^11 + 30202692*x^10 + 4429368*x^9 + 11445272*x^8 + 1675032*x^7 + 2099770*x^6 + 141460*x^5 + 186855*x^4 - 6720*x^3 + 7538*x^2 - 960*x + 120)*y^12
        + (252*x^43 - 252*x^42 - 846*x^41 + 4806*x^40 - 3839*x^39 - 20163*x^38 - 204756*x^37 - 261144*x^36 + 1324808*x^35 + 1055208*x^34 - 3565421*x^33 - 1309497*x^32 + 6712212*x^31 - 941972*x^30 - 11198203*x^29 + 10090809*x^28 + 934670*x^27 - 20773606*x^26 + 16455222*x^25 + 24919994*x^24 + 44862392*x^23 + 24335592*x^22 - 42807742*x^21 - 19117022*x^20 + 20132595*x^19 + 20586743*x^18 - 17344949*x^17 + 22588467*x^16 - 10843269*x^15 + 26485495*x^14 - 10050117*x^13 + 21870451*x^12 - 771079*x^11 + 12446397*x^10 + 3845214*x^9 + 5594626*x^8 + 2145690*x^7 + 1334914*x^6 + 359502*x^5 + 130734*x^4 + 17808*x^3 + 3884*x^2 - 144*x + 16)*y^11
        + (210*x^42 - 420*x^41 + 375*x^40 + 1760*x^39 - 3201*x^38 - 3810*x^37 - 228621*x^36 - 210296*x^35 + 987669*x^34 + 607078*x^33 - 2302750*x^32 - 596660*x^31 + 4421230*x^30 - 2794000*x^29 - 4350217*x^28 + 7167116*x^27- 5763873*x^26 - 4451186*x^25 + 4354857*x^24 + 12192524*x^23 + 31461473*x^22 + 13514126*x^21 - 16825580*x^20 - 12435644*x^19 + 16377369*x^18 - 4879242*x^17 + 10132199*x^16 - 8179400*x^15 + 12678154*x^14 - 4279172*x^13 + 7049140*x^12 + 784616*x^11 + 3609476*x^10 + 1996236*x^9 + 2071860*x^8 + 1255712*x^7 + 740236*x^6 + 290400*x^5 + 98736*x^4 + 20272*x^3 + 3497*x^2 - 10*x + 1)*y^10
        + x^2*(120*x^39 - 360*x^38 + 865*x^37 - 909*x^36 + 1203*x^35 - 3351*x^34 - 179761*x^33 - 134451*x^32 + 559774*x^31 + 323342*x^30 - 1398933*x^29 + 140597*x^28 + 2008152*x^27 - 2574732*x^26 + 99151*x^25 + 1583377*x^24 - 2813328*x^23 - 618468*x^22 - 94536*x^21 + 6264036*x^20 + 15613438*x^19 + 8828838*x^18 - 9717987*x^17 + 1448103*x^16 - 1810372*x^15 + 6071688*x^14 - 3880492*x^13 + 3545148*x^12 - 345588*x^11 + 1305992*x^10 + 688626*x^9 + 859446*x^8 + 663326*x^7 + 630566*x^6 + 444510*x^5 + 316050*x^4 + 147675*x^3 + 60885*x^2 + 14157*x + 3003)*y^9
        + x^2*(45*x^38 - 180*x^37 + 591*x^36 - 1314*x^35 + 2845*x^34 - 5760*x^33 - 102090*x^32 - 84980*x^31 + 279848*x^30 + 94032*x^29 - 695512*x^28 + 406072*x^27 + 334209*x^26 - 978576*x^25 + 470342*x^24 - 79272*x^23 - 770623*x^22 - 192180*x^21 - 330018*x^20 + 1870540*x^19 + 8146800*x^18 + 1221240*x^17 + 32120*x^16 - 2515900*x^15 + 2081130*x^14 - 384200*x^13 + 269300*x^12 + 237384*x^11 + 236296*x^10 + 142088*x^9 + 253482*x^8 + 119048*x^7 + 179832*x^6 + 96672*x^5 + 99783*x^4 + 48422*x^3 + 27918*x^2 + 6864*x + 2002)*y^8
        + x^2*(10*x^37 - 50*x^36 + 197*x^35 - 571*x^34 + 1489*x^33 - 3451*x^32 - 46550*x^31 - 43802*x^30 + 125133*x^29 - 28043*x^28 - 213412*x^27 + 202176*x^26 - 65772*x^25 - 207644*x^24 + 147522*x^23 - 125754*x^22 - 283531*x^21 + 252505*x^20 - 842810*x^19 + 1541818*x^18 + 1751525*x^17 + 1497297*x^16 - 687296*x^15 - 91308*x^14 + 185364*x^13 + 51452*x^12 - 41896*x^11 + 138148*x^10 - 40973*x^9 + 93771*x^8 - 6988*x^7 + 52816*x^6+ 7538*x^5 + 26090*x^4 + 8305*x^3 + 9405*x^2 + 2145*x + 1001)*y^7
        + x^2*(x^36 - 6*x^35 + 27*x^34 - 92*x^33 + 273*x^32 - 714*x^31 - 18634*x^30 - 13392*x^29 + 39794*x^28 - 30260*x^27 - 37008*x^26 + 48420*x^25 - 42895*x^24 - 45174*x^23 + 74870*x^22 - 156892*x^21 + 112473*x^20 - 155518*x^19 - 20576*x^18 + 221136*x^17 + 663292*x^16 + 309500*x^15 - 75582*x^14 - 62684*x^13 + 92694*x^12 - 62256*x^11 + 57291*x^10 - 31936*x^9 + 32970*x^8 - 15124*x^7 + 17200*x^6 - 4872*x^5 + 7226*x^4 - 448*x^3 + 2412*x^2 + 312*x + 364)*y^6
        - x^2*(5985*x^29 + 1995*x^28 - 7630*x^27 + 9786*x^26 + 4808*x^25 - 11388*x^24 + 23229*x^23 - 14353*x^22 + 15528*x^21 + 4296*x^20 + 663*x^19 + 13781*x^18 + 21588*x^17 - 60392*x^16 - 140434*x^15 - 88506*x^14 + 37698*x^13- 22146*x^12 + 15642*x^11 - 15330*x^10 + 12243*x^9 - 10959*x^8 + 7193*x^7 - 5553*x^6 + 2799*x^5 - 2003*x^4 + 649*x^3 - 513*x^2 + 39*x - 91)*y^5
        - x^2*(1330*x^28 + 140*x^27 - 1057*x^26 + 2568*x^25 - 1089*x^24 + 786*x^23 + 1871*x^22 - 1388*x^21 + 3029*x^20 - 430*x^19 + 1300*x^18 + 1680*x^17 + 2528*x^16 - 6272*x^15 - 32679*x^14 - 7004*x^13 - 2684*x^12 + 3776*x^11- 4085*x^10 + 3440*x^9 - 2705*x^8 + 1830*x^7 - 1220*x^6 + 680*x^5 - 395*x^4 + 170*x^3 - 90*x^2 + 24*x - 14)*y^4
        - x^2*(210*x^27 - 42*x^26 - 23*x^25 + 321*x^24 - 291*x^23 + 461*x^22 - 230*x^21 + 282*x^20 + 89*x^19 - 79*x^18 + 564*x^17 - 656*x^16 + 1466*x^15 - 2058*x^14 - 3297*x^13 - 2093*x^12 + 798*x^11 - 634*x^10 + 434*x^9 - 294*x^8 + 189*x^7 - 119*x^6 + 69*x^5 - 39*x^4 + 19*x^3 - 9*x^2 + 3*x - 1)*y^3
        - x^12*(21*x^16 - 12*x^15 + 17*x^14 + 6*x^13 - 8*x^12 + 36*x^11 - 36*x^10 + 60*x^9 - 49*x^8 + 60*x^7 - 29*x^6 + 18*x^5 + 42*x^4 - 84*x^3 - 448*x^2 - 84*x - 6)*y^2
        - x^12*(x^15 - x^14 + 2*x^13 - 2*x^12 + 3*x^11 - 3*x^10 + 4*x^9 - 4*x^8 + 5*x^7 - 5*x^6 + 6*x^5 - 6*x^4 + 7*x^3 - 7*x^2 - 28*x - 4)*y
        + x^12;
q := (x*y - x + y + 1)/(x*y + x + y + 1);
t := (-x*y + x - y - 1)/(x*y + x - y - 1);
E:=[1,(q^2-1)*(t^2-1)/16,(q^2-1)*(t^2-1)/16,0,0];
P:=[(q+1)*(t^2-1)/8,(q+1)^2*(t-1)^2*(t+1)/32];