N:=56; X := x^8*y^24 - x^8*(x^13 + x^12 + 2*x^11 + 2*x^10 + 3*x^9 + 3*x^8 + 4*x^7 + 4*x^6 + 5*x^5 + 5*x^4 + 6*x^3 + 6*x^2 - 21*x + 3)*y^23 - x^8*(15*x^14 + 8*x^13 + 10*x^12 - 8*x^11 - 10*x^10 - 30*x^9 - 27*x^8 - 40*x^7 - 23*x^6 - 20*x^5 + 20*x^4 + 48*x^3 - 258*x^2 + 42*x - 3)*y^22 - (105*x^23 + 15*x^22 - 38*x^21 - 194*x^20 - 165*x^19 - 231*x^18 - 74*x^17 - 78*x^16 + 170*x^15 + 218*x^14 + 639*x^13 + 949*x^12 - 1330*x^11 + 882*x^10 + 413*x^9 + 295*x^8 + 189*x^7 + 119*x^6 + 69*x^5 + 39*x^4 + 19*x^3 + 9*x^2 + 3*x + 1)*y^21 - (455*x^24 - 70*x^23 - 515*x^22 - 988*x^21 - 293*x^20 - 58*x^19 + 923*x^18 + 492*x^17 + 957*x^16 - 148*x^15 + 1172*x^14 + 2392*x^13 - 9953*x^12 + 1572*x^11 - 654*x^10 - 1368*x^9 - 1473*x^8 - 1158*x^7 - 853*x^6 - 508*x^5 - 308*x^4 - 138*x^3 - 73*x^2 - 20*x - 11)*y^20 - (1365*x^25 - 455*x^24 - 2275*x^23 - 2215*x^22 + 2277*x^21 + 4273*x^20 + 6517*x^19 + 2573*x^18 + 2082*x^17 - 3438*x^16 + 3298*x^15 + 13022*x^14 - 31681*x^13 + 16027*x^12 + 10482*x^11 + 4938*x^10 + 3192*x^9 + 3648*x^8 + 2817*x^7 + 2617*x^6 + 1478*x^5 + 1142*x^4 + 413*x^3 + 317*x^2 + 35*x + 55)*y^19 + (x^30 + 6*x^29 + 27*x^28 + 92*x^27 - 2730*x^26 + 1806*x^25 + 7539*x^24 + 4180*x^23 - 9177*x^22 - 10338*x^21 - 4235*x^20 + 16392*x^19 + 21875*x^18 + 35332*x^17 + 9006*x^16 - 33424*x^15 + 100748*x^14 - 37698*x^13 -24787*x^12 + 8444*x^11 + 17190*x^10 + 9252*x^9 + 9408*x^8 + 4020*x^7 + 5636*x^6 + 1730*x^5 + 2877*x^4 + 296*x^3 + 1053*x^2 - 90*x + 165)*y^18 + (6*x^31 + 30*x^30 + 120*x^29 + 360*x^28 - 4002*x^27 + 3570*x^26 + 15603*x^25 + 1861*x^24 - 29132*x^23 - 24352*x^22 + 3914*x^21 + 39270*x^20 + 19584*x^19 + 9840*x^18 - 72981*x^17 - 195099*x^16 + 147810*x^15 - 140454*x^14 - 119985*x^13 + 7761*x^12 + 37560*x^11 - 6120*x^10 - 2418*x^9 - 19710*x^8 - 984*x^7 - 12764*x^6 + 2125*x^5 - 7165*x^4 + 2210*x^3 - 2802*x^2 + 570*x - 330)*y^17 + (15*x^32 + 60*x^31 + 204*x^30 + 516*x^29 - 4947*x^28 + 3072*x^27 + 21144*x^26 - 8256*x^25 - 59506*x^24 - 31328*x^23 + 46258*x^22 + 89060*x^21 + 14079*x^20 - 10356*x^19 - 86838*x^18 - 254016*x^17 + 499917*x^16 + 39660*x^15 - 36408*x^14 + 228780*x^13 + 236547*x^12 + 29928*x^11 + 19836*x^10 - 37056*x^9 + 30039*x^8 - 21768*x^7 + 30218*x^6 - 17684*x^5 + 18865*x^4 - 9268*x^3 + 5586*x^2 - 1344*x + 462)*y^16 + (20*x^33 + 60*x^32 + 150*x^31 + 290*x^30 - 5030*x^29 + 570*x^28 + 23110*x^27 - 12954*x^26 - 71739*x^25 - 2619*x^24 + 132444*x^23 + 140496*x^22 - 47501*x^21 - 88453*x^20 - 92826*x^19 - 357026*x^18 + 737374*x^17 - 17082*x^16 - 533130*x^15 - 99782*x^14 - 36330*x^13 - 415802*x^12 - 275986*x^11 - 245250*x^10 + 20379*x^9 - 90421*x^8 + 73824*x^7 - 71588*x^6 + 54689*x^5 - 39543*x^4 + 18662*x^3 - 7938*x^2 + 1890*x - 462)*y^15 + (15*x^34 + 30*x^33 + 15*x^32 - 3549*x^30 - 630*x^29 + 22155*x^28 - 6300*x^27 - 63399*x^26 + 22176*x^25 + 164186*x^24 + 80684*x^23 - 237224*x^22 - 236946*x^21 - 32275*x^20 - 349136*x^19 + 905296*x^18 + 102624*x^17- 858432*x^16 + 83256*x^15 + 581673*x^14 + 82542*x^13 + 331733*x^12 + 329684*x^11 + 608365*x^10 + 128524*x^9 + 314760*x^8 - 115476*x^7 + 162172*x^6 - 96590*x^5 + 57527*x^4 - 22712*x^3 + 7907*x^2 - 1730*x + 331)*y^14 + (6*x^35 + 6*x^34 - 48*x^33 - 48*x^32 - 1428*x^31 - 252*x^30 + 15834*x^29 - 546*x^28 - 52206*x^27 + 11802*x^26 + 123585*x^25 - 3269*x^24 - 320788*x^23 - 172144*x^22 + 299597*x^21 - 72145*x^20 + 873380*x^19 + 200164*x^18 - 1233720*x^17 - 5760*x^16 + 759060*x^15 - 230004*x^14 - 341958*x^13 - 441506*x^12 - 115102*x^11 - 763414*x^10 - 198077*x^9 - 663519*x^8 + 89508*x^7 - 288400*x^6 + 85747*x^5 - 61103*x^4 + 15642*x^3 - 5830*x^2 + 968*x - 176)*y^13 + (x^36 - 30*x^34 - 202*x^32 + 6916*x^30 - 35679*x^28 + 84966*x^26 - 215124*x^24 + 505086*x^22 + 296423*x^20 - 1380592*x^18 + 1129776*x^16 - 322732*x^14 + 626197*x^12 + 748614*x^10 + 843824*x^8 + 353218*x^6 + 58830*x^4 + 4554*x^2 + 110)*y^12 - (6*x^35 - 6*x^34 - 48*x^33 + 48*x^32 - 1428*x^31 + 252*x^30 + 15834*x^29 + 546*x^28 - 52206*x^27 - 11802*x^26 + 123585*x^25 + 3269*x^24 - 320788*x^23 + 172144*x^22 + 299597*x^21 + 72145*x^20 + 873380*x^19 - 200164*x^18 - 1233720*x^17 + 5760*x^16 + 759060*x^15 + 230004*x^14 - 341958*x^13 + 441506*x^12 - 115102*x^11 + 763414*x^10 - 198077*x^9 + 663519*x^8 + 89508*x^7 + 288400*x^6 + 85747*x^5 + 61103*x^4 + 15642*x^3 + 5830*x^2 + 968*x + 176)*y^11 + (15*x^34 - 30*x^33 + 15*x^32 - 3549*x^30 + 630*x^29 + 22155*x^28 + 6300*x^27 - 63399*x^26 - 22176*x^25 + 164186*x^24 - 80684*x^23 - 237224*x^22 + 236946*x^21 - 32275*x^20 + 349136*x^19 + 905296*x^18 - 102624*x^17- 858432*x^16 - 83256*x^15 + 581673*x^14 - 82542*x^13 + 331733*x^12 - 329684*x^11 + 608365*x^10 - 128524*x^9 + 314760*x^8 + 115476*x^7 + 162172*x^6 + 96590*x^5 + 57527*x^4 + 22712*x^3 + 7907*x^2 + 1730*x + 331)*y^10 - (20*x^33 - 60*x^32 + 150*x^31 - 290*x^30 - 5030*x^29 - 570*x^28 + 23110*x^27 + 12954*x^26 - 71739*x^25 + 2619*x^24 + 132444*x^23 - 140496*x^22 - 47501*x^21 + 88453*x^20 - 92826*x^19 + 357026*x^18 + 737374*x^17 + 17082*x^16 - 533130*x^15 + 99782*x^14 - 36330*x^13 + 415802*x^12 - 275986*x^11 + 245250*x^10 + 20379*x^9 + 90421*x^8 + 73824*x^7 + 71588*x^6 + 54689*x^5 + 39543*x^4 + 18662*x^3 + 7938*x^2 + 1890*x + 462)*y^9 + (15*x^32 - 60*x^31 + 204*x^30 - 516*x^29 - 4947*x^28 - 3072*x^27 + 21144*x^26 + 8256*x^25 - 59506*x^24 + 31328*x^23 + 46258*x^22 - 89060*x^21 + 14079*x^20 + 10356*x^19 - 86838*x^18 + 254016*x^17 + 499917*x^16 - 39660*x^15 - 36408*x^14 - 228780*x^13 + 236547*x^12 - 29928*x^11 + 19836*x^10 + 37056*x^9 + 30039*x^8 + 21768*x^7 + 30218*x^6 + 17684*x^5 + 18865*x^4 + 9268*x^3 + 5586*x^2 + 1344*x + 462)*y^8 - (6*x^31 - 30*x^30 + 120*x^29 - 360*x^28 - 4002*x^27 - 3570*x^26 + 15603*x^25 - 1861*x^24 - 29132*x^23 + 24352*x^22 + 3914*x^21 - 39270*x^20 + 19584*x^19 - 9840*x^18 - 72981*x^17 + 195099*x^16 + 147810*x^15 + 140454*x^14 - 119985*x^13 - 7761*x^12 + 37560*x^11 + 6120*x^10 - 2418*x^9 + 19710*x^8 - 984*x^7 + 12764*x^6 + 2125*x^5 + 7165*x^4 + 2210*x^3 + 2802*x^2 + 570*x + 330)*y^7 + (x^30 - 6*x^29 + 27*x^28 - 92*x^27 - 2730*x^26 - 1806*x^25 + 7539*x^24 - 4180*x^23 - 9177*x^22 + 10338*x^21 - 4235*x^20 - 16392*x^19 + 21875*x^18 - 35332*x^17 + 9006*x^16 + 33424*x^15 + 100748*x^14 + 37698*x^13 -24787*x^12 - 8444*x^11 + 17190*x^10 - 9252*x^9 + 9408*x^8 - 4020*x^7 + 5636*x^6 - 1730*x^5 + 2877*x^4 - 296*x^3 + 1053*x^2 + 90*x + 165)*y^6 + (1365*x^25 + 455*x^24 - 2275*x^23 + 2215*x^22 + 2277*x^21 - 4273*x^20 + 6517*x^19 - 2573*x^18 + 2082*x^17 + 3438*x^16 + 3298*x^15 - 13022*x^14 - 31681*x^13 - 16027*x^12 + 10482*x^11 - 4938*x^10 + 3192*x^9 - 3648*x^8 + 2817*x^7 - 2617*x^6 + 1478*x^5 - 1142*x^4 + 413*x^3 - 317*x^2 + 35*x - 55)*y^5 - (455*x^24 + 70*x^23 - 515*x^22 + 988*x^21 - 293*x^20 + 58*x^19 + 923*x^18 - 492*x^17 + 957*x^16 + 148*x^15 + 1172*x^14 - 2392*x^13 - 9953*x^12 - 1572*x^11 - 654*x^10 + 1368*x^9 - 1473*x^8 + 1158*x^7 - 853*x^6 + 508*x^5 - 308*x^4 + 138*x^3 - 73*x^2 + 20*x - 11)*y^4 + (105*x^23 - 15*x^22 - 38*x^21 + 194*x^20 - 165*x^19 + 231*x^18 - 74*x^17 + 78*x^16 + 170*x^15 - 218*x^14 + 639*x^13 - 949*x^12 - 1330*x^11 - 882*x^10 + 413*x^9 - 295*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^8*(15*x^14 - 8*x^13 + 10*x^12 + 8*x^11 - 10*x^10 + 30*x^9 - 27*x^8 + 40*x^7 - 23*x^6 + 20*x^5 + 20*x^4 - 48*x^3 - 258*x^2 - 42*x - 3)*y^2 + x^8*(x^13 - x^12 + 2*x^11 - 2*x^10 + 3*x^9 - 3*x^8 + 4*x^7 - 4*x^6 + 5*x^5 - 5*x^4 + 6*x^3 - 6*x^2 - 21*x - 3)*y + x^8; 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];