N:=35;
R<u,v>:=PolynomialRing(Rationals(),2);
X:=u^3*v^12
        - u*(u + 1)*(u^5 - u^4 + u^3 + 7*u^2 - u + 1)*v^11
        + u*(7*u^7 + 5*u^6 + 25*u^4 + 44*u^3 + 12*u^2 + 7*u + 5)*v^10
        - (18*u^9 + 32*u^8 + 7*u^7 + 34*u^6 + 122*u^5 + 80*u^4 + 27*u^3 + 32*u^2 + 8*u - 1)*v^9
        - (u^11 - 19*u^10 - 72*u^9 - 41*u^8 - 3*u^7 - 141*u^6 - 193*u^5 - 71*u^4 - 75*u^3 - 47*u^2 + 2*u + 3)*v^8
        + (4*u^12 + 4*u^11 - 59*u^10 - 79*u^9 + 44*u^8 + 5*u^7 - 178*u^6 - 100*u^5 - 72*u^4 - 99*u^3 - 9*u^2 + 17*u + 3)*v^7
        - (6*u^13 + 32*u^12 + 24*u^11 - 45*u^10 + 43*u^9 + 174*u^8 + 37*u^7 - 35*u^6 + u^5 - 90*u^4 - 34*u^3 + 35*u^2 + 15*u + 1)*v^6
        + u*(4*u^13 + 33*u^12 + 80*u^11 + 42*u^10 + 9*u^9 + 145*u^8 + 183*u^7 + 73*u^6 + 60*u^5 - 27*u^4 - 52*u^3 + 32*u^2 + 27*u + 3)*v^5
        - u*(u^14 + 14*u^13 + 57*u^12 + 72*u^11 + 6*u^9 + 100*u^8 + 84*u^7 + 47*u^6 + 3*u^5 - 50*u^4 + 6*u^3 + 27*u^2 - 2)*v^4
        + u*(u + 1)*(2*u^13 + 14*u^12 + 22*u^11 - 16*u^10 - 29*u^9 + 16*u^8 + 9*u^7 + 2*u^6 - 9*u^5 - 27*u^4 + 12*u^3 + 7*u^2 - 7*u - 1)*v^3
        - u^2*(u + 1)^2*(u^11 + 4*u^10 - 6*u^9 - 13*u^8 + 6*u^7 - 3*u^5 - 3*u^4 - 11*u^3 + 9*u^2 + u - 4)*v^2
        - u^2*(u + 1)^3*(u^4 - u^3 + u^2 - u + 1)*(3*u^4 - 4*u^2 + u + 1)*v
        - u^4*(u + 1)^4*(u^4 - u^3 + u^2 - u + 1);
G:=-1/u;
y:=(u-v)/u;
x:=(G^11*y-G^11+2*G^9*y-G^9-G^8*y^5+5*G^8*y^3-5*G^8*y^2+G^8*y+G^7*y^6-2*G^7*y^5-3*G^7*y^4+4*G^7*y^3-G^7*y^2+2*G^7*y-G^7+G^6*y^5-3*G^6*y^4+5*G^6*y^3-2*G^6*y^2-2*G^6*y+G^6+
      2*G^5*y^6-G^5*y^5-8*G^5*y^4+10*G^5*y^3-4*G^5*y^2+2*G^5*y-G^5-G^4*y^7+6*G^4*y^5-10*G^4*y^4+8*G^4*y^3-3*G^4*y^2-G^4*y+G^3*y^7-3*G^3*y^6+3*G^3*y^5-G^3*y^4+G^3*y-G^3-
      2*G^2*y^6+5*G^2*y^5-4*G^2*y^4+4*G^2*y^3-3*G^2*y^2+3*G*y^7-8*G*y^6+3*G*y^5+3*G*y^4+3*G*y^3-6*G*y^2+3*G*y-G-y^8+3*y^7-y^6-3*y^5+4*y^3-2*y^2) / (G^11-G^10*y-G^10+G^9*y^2+
      G^9-G^8*y^3+4*G^8*y^2-G^8*y-G^8-G^7*y^5+G^7*y^4-3*G^7*y^3-G^7*y^2+G^7*y+G^7+G^6*y^6-2*G^6*y^5+G^6*y^4+2*G^6*y^2-G^6+2*G^5*y^6-2*G^5*y^5+3*G^5*y^4-4*G^5*y^3-G^5*y^2+
      G^5*y+G^5-3*G^4*y^7+7*G^4*y^6-6*G^4*y^5-G^4*y^4+5*G^4*y^3-2*G^4*y^2-G^4*y+G^3*y^8-3*G^3*y^7+3*G^3*y^6-2*G^3*y^4+2*G^3*y^3-G^3*y^2-4*G^2*y^7+10*G^2*y^6-2*G^2*y^5-8*G^2*y^4+
      4*G^2*y^3+G^2*y^2-G^2*y+4*G*y^8-11*G*y^7+3*G*y^6+10*G*y^5-5*G*y^4-G*y^3-y^9+3*y^8-y^7-3*y^6+y^5+y^4+y^3-y^2);
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];