N:=29; X:=y^11 + (2*x^3 + 5*x^2 + 5*x - 3)*y^10 + (x^6 + 8*x^5 + 18*x^4 + 11*x^3 - 5*x^2 - 12*x + 3)*y^9 + (3*x^8 + 15*x^7 + 29*x^6 + 6*x^5 - 39*x^4 - 19*x^3 + 5*x^2 + 5*x - 1)*y^8 + (3*x^10 + 14*x^9 + 18*x^8 - 26*x^7 - 99*x^6 - 45*x^5 + 95*x^4 + 25*x^3 - 37*x^2 + 7*x)*y^7 + (x^12 + 5*x^11 - 44*x^9 - 106*x^8 - 40*x^7 + 197*x^6 + 190*x^5 - 140*x^4 - 93*x^3 + 59*x^2 - 6*x)*y^6 - (2*x^12 + 16*x^11 + 37*x^10 - 9*x^9 - 184*x^8 - 256*x^7 + 99*x^6 + 346*x^5 - 20*x^4 - 130*x^3 + 32*x^2 - x)*y^5 + (x^12 + 15*x^11 + 65*x^10 + 99*x^9 - 55*x^8 - 320*x^7 - 165*x^6 + 223*x^5 + 100*x^4 - 66*x^3 + 5*x^2)*y^4 - (4*x^11 + 36*x^10 + 108*x^9 + 98*x^8 - 110*x^7 - 191*x^6 + 15*x^5 + 64*x^4 - 10*x^3)*y^3 + (6*x^10 + 38*x^9 + 76*x^8 + 25*x^7 - 55*x^6 - 26*x^5 + 10*x^4)*y^2 - (4*x^9 + 17*x^8 + 18*x^7 - 5*x^5)*y + x^8 + 2*x^7 + x^6; r:=(-x^3 - x^2 - x - y)/(x^2*y + x*y - x - y); s:=1-(x^2 + x*y)/(x*y - x - y); E:=[s-r*s+1,r*s-r^2*s,r*s-r^2*s,0,0]; P:=[0,0];