m := 2;
n := 12;
g := 13;
F := Rationals();
R<u,v>:=PolynomialRing(F,2);
X := (u^5 + u^4 + u^3)*v^9 + (4*u^6 + 7*u^5 + 5*u^4 + 2*u^3 - 3*u^2)*v^8 + (6*u^7 + 16*u^6 + 11*u^5 + 4*u^4 - 6*u^3 - 9*u^2 + 3*u)*v^7 + (4*u^8 + 16*u^7 + 14*u^6 + 2*u^5 + 3*u^4 - 9*u^3 - 4*u^2 + 8*u - 1)*v^6 + (u^9 + 7*u^8 + 11*u^7 + 2*u^6 + 12*u^5 + 18*u^4 - 3*u^3 + 5*u - 2)*v^5 + (u^9 + 5*u^8 + 4*u^7 + 3*u^6 + 18*u^5 + 8*u^4 - 8*u^3 - 3*u^2 - 1)*v^4 + (u^9 + 2*u^8 - 6*u^7 - 9*u^6 - 3*u^5 - 8*u^4 - 2*u^3 + 2*u^2)*v^3 - (3*u^8 + 9*u^7 + 4*u^6 + 3*u^4 - 2*u^3 - 2*u^2)*v^2 + (3*u^7 + 8*u^6 + 5*u^5)*v - u^6 - 2*u^5 - u^4;
q := (u+v+2)/(u-v);
t := (v-u)*(u+v)*(u+v+2)/(u^3+u^2*v+2*u^2+u*v^2+2*u*v+v^3+2*v^2-2);
E := [0,t^2-2*q*t-2,0,-(t^2-1)*(q*t+1)^2,0];
P := [R!0,0];
Q := [(t+1)*(q*t+1),t*(q*t+1)*(t+1)];