N:=36; R:=PolynomialRing(Rationals(),2); X := u^4*(u - 1)*(u^2 - u + 1)*v^8 + 4*u^4*(u - 1)*(u + 1)*(u^2 - u + 1)*v^7 + u^2*(6*u^7 + 2*u^6 - 10*u^5 + 10*u^4 + u^3 - 13*u^2 + 4*u - 1)*v^6 + 2*u^2*(2*u^8 + 5*u^7 - 5*u^6 + 12*u^4 - 18*u^3 + u^2 + u - 1)*v^5 + u^3*(u^8 + 8*u^7 + u^6 - 9*u^5 + 27*u^4 - 9*u^3 - 55*u^2 + 34*u - 13)*v^4 + 2*u*(u^10 + 2*u^9 - 2*u^8 + 4*u^7 + 13*u^6 - 27*u^5 - 12*u^4 + 25*u^3 - 19*u^2 + 6*u - 1)*v^3 + (u^11 + 15*u^8 - 3*u^7 - 43*u^6 + 9*u^5 + 29*u^4 - 39*u^3 + 22*u^2 - 7*u + 1)*v^2 + 2*u^3*(u^3 - 3*u + 1)*(u^3 + 3*u^2 - 2*u + 1)*v + u^6*(u^3 - 3*u + 1); G:=(u-1)/u; x:=(u+v)/(u-1); y:=(G^5*x^2-G^4*x^4-4*G^4*x^2-G^4+2*G^3*x^4+8*G^3*x^2+2*G^3*x+2*G^3-12*G^2*x^2-2*G^2*x-2*G^2+6*G*x^2+2*G*x+G-2*x^2) / (G^5*x-G^4*x^3-G^4*x^2-3*G^4*x-G^4-G^3*x^4+5*G^3*x^3+G^3*x^2+7*G^3*x+2*G^3+G^2*x^4-3*G^2*x^3-5*G^2*x^2-7*G^2*x-2*G^2-G*x^4+3*G*x^3+G*x^2+5*G*x+G-x^2-x); 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];