N:=46; R:=PolynomialRing(Rationals(),2); X:=u^2*(u + 1)^5*v^19 - u*(u + 1)^4*(u^7 + u^6 + u^5 + u^4 - 7*u^3 + 2*u^2 + 3*u - 1)*v^18 - u*(3*u^12 + 6*u^11 - 8*u^10 - 44*u^9 - 116*u^8 - 198*u^7 - 171*u^6 - 74*u^5 - 57*u^4 - 60*u^3 - 15*u^2 + 11*u + 4)*v^17 - u*(3*u^13 - 11*u^12 - 59*u^11 - 121*u^10 - 247*u^9 - 310*u^8 - 144*u^7 - 84*u^6 - 168*u^5 - 61*u^4 + 43*u^3 - 6*u^2 - 36*u - 7)*v^16 - u*(u^14 - 20*u^13 - 42*u^12 - 80*u^11 - 228*u^10 - 174*u^9 - 15*u^8 - 201*u^7 - 91*u^6 + 262*u^5 + 120*u^4 - 46*u^3 + 23*u^2 + 58*u + 3)*v^15 + (9*u^15 + 18*u^14 + 130*u^13 + 290*u^12 + 174*u^11 + 212*u^10 + 121*u^9 - 610*u^8 - 596*u^7 - 28*u^6 - 143*u^5 - 217*u^4 - 27*u^3 + 51*u^2 - 7*u + 1)*v^14 + (2*u^16 + 45*u^15 + 170*u^14 + 184*u^13 + 133*u^12 + 102*u^11 - 674*u^10 - 929*u^9 + 6*u^8 + 38*u^7 - 402*u^6 - 21*u^5 + 170*u^4 - 8*u^3 - 54*u^2 + 6*u - 4)*v^13 + (u^17 + 38*u^16 + 57*u^15 + 43*u^14 + 141*u^13 - 229*u^12 - 828*u^11 + 59*u^10 + 313*u^9 - 571*u^8 - 136*u^7 + 503*u^6 + 162*u^5 - 62*u^4 + 77*u^3 + 60*u^2 + 4*u + 6)*v^12 + (13*u^17 + 26*u^16 + 136*u^15 + 149*u^14 - 329*u^13 - 274*u^12 + 153*u^11 - 764*u^10 - 479*u^9 + 860*u^8 + 542*u^7 - 45*u^6 + 118*u^5 + 182*u^4 - 14*u^3 - 22*u^2 - 4*u - 4)*v^11 + (4*u^18 + 37*u^17 + 93*u^16 - 37*u^15 - 205*u^14 - 82*u^13 - 485*u^12 - 311*u^11 + 1201*u^10 + 1018*u^9 - 219*u^8 - 161*u^7 + 101*u^6 - 132*u^5 - 177*u^4 - 35*u^3 - 10*u^2 - u + 1)*v^10 + u*(16*u^17 + 12*u^16 - 10*u^15 + 36*u^14 - 93*u^13 - 85*u^12 + 1248*u^11 + 1493*u^10 - 39*u^9 - 258*u^8 + 273*u^7 + 36*u^6 - 230*u^5 - 37*u^4 + 35*u^3 + 9*u^2 + 6*u + 1)*v^9 + u^3*(u + 1)*(6*u^15 + 7*u^14 + 44*u^13 - 18*u^12 - 68*u^11 + 448*u^10 + 643*u^9 - 234*u^8 + 258*u^7 + 372*u^6 - 5*u^5 - 173*u^4 + 63*u^3 + 26*u^2 + 10*u + 3)*v^8 + u^3*(u + 1)*(5*u^15 + 8*u^14 - 34*u^13 + 28*u^12 + 241*u^11 + 67*u^10 + 174*u^9 + 342*u^8 - 248*u^7 - 463*u^6 - 166*u^5 + 20*u^4 - 8*u^3 + 14*u^2 + 1)*v^7 + u^3*(u + 1)*(4*u^16 + u^15 + 23*u^13 + 40*u^12 + 62*u^11 + 281*u^10 - 264*u^9 - 670*u^8 - 410*u^7 - 33*u^6 + 11*u^5 + 13*u^4 + 5*u^3 - 6*u^2 - u - 1)*v^6 - u^4*(u + 1)*(2*u^15 - 2*u^14 + 3*u^13 + 2*u^12 - 78*u^11 - 41*u^10 + 361*u^9 + 319*u^8 + 52*u^7 - 87*u^6 - 58*u^5 - 33*u^4 + 5*u^3 + 4*u^2 + u + 1)*v^5 + u^6*(u + 1)*(u^14 + 2*u^13 - 5*u^12 - 4*u^11 + 19*u^10 - 62*u^9 - 133*u^8 - 32*u^7 + 74*u^6 + 116*u^5 + 95*u^4 + 39*u^3 + 4*u^2 + 4*u + 1)*v^4 - u^8*(u + 1)*(u^12 + 3*u^11 + 3*u^10 + 10*u^9 + 44*u^8 + 22*u^7 - 15*u^6 - 66*u^5 - 94*u^4 - 66*u^3 - 16*u^2 - 2*u - 2)*v^3 - u^10*(u + 1)*(u^9 + 6*u^8 + 9*u^7 - 4*u^6 - 8*u^5 - 26*u^4 - 32*u^3 - 12*u^2 + 4*u + 2)*v^2 + u^12*(u + 1)*(u^6 + u^5 - u^4 + 4*u^3 + 6*u^2 + u - 1)*v + u^14*(u + 1)^4; x:=v; y:=(u^14*x^5 + 2*u^14*x^4 - 2*u^14*x^2 - 2*u^14*x + 5*u^13*x^6 + 9*u^13*x^5 + 13*u^13*x^4 - 5*u^13*x^3 - 17*u^13*x^2 - 15*u^13*x - 2*u^13 - u^12*x^8 + 2*u^12*x^7 + 34*u^12*x^6 + 43*u^12*x^5 + 34*u^12*x^4 - 36*u^12*x^3 - 78*u^12*x^2 - 49*u^12*x - 9*u^12 - 6*u^11*x^9 + 2*u^11*x^8 + 15*u^11*x^7 + 105*u^11*x^6 + 134*u^11*x^5 + 33*u^11*x^4 - 133*u^11*x^3 - 197*u^11*x^2 - 98*u^11*x - 16*u^11 - u^10*x^11 - u^10*x^10 - 16*u^10*x^9 - 10*u^10*x^8 + 65*u^10*x^7 + 228*u^10*x^6 + 243*u^10*x^5 - 312*u^10*x^3 - 308*u^10*x^2 - 124*u^10*x - 14*u^10 - u^9*x^12 + 2*u^9*x^11 - 12*u^9*x^10 - 32*u^9*x^9 - 34*u^9*x^8 + 122*u^9*x^7 + 390*u^9*x^6 + 301*u^9*x^5 - 80*u^9*x^4 - 458*u^9*x^3 - 315*u^9*x^2 - 98*u^9*x - 6*u^9 - 2*u^8*x^12 + 5*u^8*x^11 - 20*u^8*x^10 - 91*u^8*x^9 - 44*u^8*x^8 + 166*u^8*x^7 + 452*u^8*x^6 + 314*u^8*x^5 - 168*u^8*x^4 - 438*u^8*x^3 - 221*u^8*x^2 - 48*u^8*x - u^8 - 2*u^7*x^12 + 3*u^7*x^11 - 38*u^7*x^10 - 128*u^7*x^9 - 117*u^7*x^8 + 196*u^7*x^7 + 383*u^7*x^6 + 326*u^7*x^5 - 220*u^7*x^4 - 297*u^7*x^3 - 113*u^7*x^2 - 14*u^7*x - 3*u^6*x^12 + 7*u^6*x^11 - 75*u^6*x^10 - 153*u^6*x^9 - 165*u^6*x^8 + 171*u^6*x^7 + 326*u^6*x^6 + 237*u^6*x^5 - 197*u^6*x^4 - 154*u^6*x^3 - 42*u^6*x^2 - 2*u^6*x + 3*u^5*x^12 - 20*u^5*x^11 - 64*u^5*x^10 - 191*u^5*x^9 - 76*u^5*x^8 + 62*u^5*x^7 + 275*u^5*x^6 + 100*u^5*x^5 - 109*u^5*x^4 - 60*u^5*x^3 - 10*u^5*x^2 + u^4*x^13 - 36*u^4*x^11 - 34*u^4*x^10 - 147*u^4*x^9 - 28*u^4*x^8 + u^4*x^7 + 196*u^4*x^6 + 21*u^4*x^5 - 32*u^4*x^4 - 16*u^4*x^3 - u^4*x^2 + 2*u^3*x^13 - 12*u^3*x^12 - 4*u^3*x^11 - 39*u^3*x^10 - 59*u^3*x^9 - 25*u^3*x^8 + 19*u^3*x^7 + 86*u^3*x^6 + 3*u^3*x^5 - 4*u^3*x^4 - 2*u^3*x^3 + u^2*x^13 - 8*u^2*x^12 + 6*u^2*x^11 - 30*u^2*x^10 + 7*u^2*x^9 - 32*u^2*x^8 + 28*u^2*x^7 + 18*u^2*x^6 + u^2*x^5 + u*x^13 - 6*u*x^12 + 10*u*x^11 - 14*u*x^10 + 8*u*x^9 - 13*u*x^8 + 12*u*x^7 + u*x^6 - 2*x^8 + 2*x^7)/(u^14*x^4 + u^14*x^3 - 2*u^14*x + u^13*x^5 + 11*u^13*x^4 + 5*u^13*x^3 - 2*u^13*x^2 - 13*u^13*x - 2*u^13 - 7*u^12*x^7 + 6*u^12*x^6 + 15*u^12*x^5 + 44*u^12*x^4 + 21*u^12*x^3 - 27*u^12*x^2 - 39*u^12*x - 9*u^12 - 4*u^11*x^9 - 6*u^11*x^8 - 16*u^11*x^7 + 13*u^11*x^6 + 85*u^11*x^5 + 113*u^11*x^4 + 34*u^11*x^3 - 90*u^11*x^2 - 78*u^11*x - 16*u^11 - u^10*x^11 - 5*u^10*x^10 - 7*u^10*x^9 - 35*u^10*x^8 - 18*u^10*x^7 + 60*u^10*x^6 + 191*u^10*x^5 + 242*u^10*x^4 - 14*u^10*x^3 - 167*u^10*x^2 - 104*u^10*x - 14*u^10 - 2*u^9*x^12 - 2*u^9*x^11 - 19*u^9*x^10 - 16*u^9*x^9 - 45*u^9*x^8 - 51*u^9*x^7 + 176*u^9*x^6 + 302*u^9*x^5 + 323*u^9*x^4 - 111*u^9*x^3 - 206*u^9*x^2 - 88*u^9*x - 6*u^9 - u^8*x^13 - 6*u^8*x^12 - 10*u^8*x^11 - 24*u^8*x^10 - 18*u^8*x^9 - 88*u^8*x^8 + 13*u^8*x^7 + 165*u^8*x^6 + 424*u^8*x^5 + 234*u^8*x^4 - 169*u^8*x^3 - 178*u^8*x^2 - 46*u^8*x - u^8 - 5*u^7*x^13 - 13*u^7*x^12 - 10*u^7*x^11 - 41*u^7*x^10 + 40*u^7*x^9 - 185*u^7*x^8 + 101*u^7*x^7 + 54*u^7*x^6 + 459*u^7*x^5 + 55*u^7*x^4 - 154*u^7*x^3 - 108*u^7*x^2 - 14*u^7*x - 15*u^6*x^13 - 12*u^6*x^12 - 12*u^6*x^11 + 2*u^6*x^10 - 8*u^6*x^9 - 145*u^6*x^8 + 14*u^6*x^7 + 39*u^6*x^6 + 341*u^6*x^5 - 57*u^6*x^4 - 96*u^6*x^3 - 43*u^6*x^2 - 2*u^6*x - u^5*x^14 - 27*u^5*x^13 + 11*u^5*x^12 - 36*u^5*x^11 + 93*u^5*x^10 - 143*u^5*x^9 - 6*u^5*x^8 - 160*u^5*x^7 + 139*u^5*x^6 + 153*u^5*x^5 - 56*u^5*x^4 - 41*u^5*x^3 - 10*u^5*x^2 - 5*u^4*x^14 - 21*u^4*x^13 + 17*u^4*x^12 - 30*u^4*x^11 + 101*u^4*x^10 - 171*u^4*x^9 + 48*u^4*x^8 - 184*u^4*x^7 + 173*u^4*x^6 + 33*u^4*x^5 - 23*u^4*x^4 - 12*u^4*x^3 - u^4*x^2 - 10*u^3*x^14 + 6*u^3*x^13 - 19*u^3*x^12 + 28*u^3*x^11 + 8*u^3*x^10 - 46*u^3*x^9 - 17*u^3*x^8 - 73*u^3*x^7 + 98*u^3*x^6 - 3*u^3*x^5 - 5*u^3*x^4 - 2*u^3*x^3 - 10*u^2*x^14 + 22*u^2*x^13 - 42*u^2*x^12 + 58*u^2*x^11 - 45*u^2*x^10 + 38*u^2*x^9 - 56*u^2*x^8 + u^2*x^7 + 27*u^2*x^6 - u^2*x^5 - u^2*x^4 - 5*u*x^14 + 14*u*x^13 - 24*u*x^12 + 32*u*x^11 - 29*u*x^10 + 28*u*x^9 - 31*u*x^8 + 10*u*x^7 + 4*u*x^6 - x^14 + 3*x^13 - 4*x^12 + 4*x^11 - 4*x^10 + 5*x^9 - 5*x^8 + x^7 + x^6); r:=(x^2*y - x*y + y - 1) / (x^2*y - x); s:=(x*y - y + 1) / (x*y); E:=[s-r*s+1,r*s-r^2*s,r*s-r^2*s,0,0]; P:=[0,0];