m := 7;
n := 2;
g := 19;
F<a>:=NumberField(PolynomialRing(Rationals())![-1,-2,1,1]);
R<u,v>:=PolynomialRing(F,2);
X := (u^6 - 3*u^5 + 3*u^4 - u^3)*v^15 + ((-2*a^2 - a + 5)*u^8 + (21*a^2 + 12*a - 34)*u^7 + (-54*a^2 - 42*a + 82)*u^6 + (56*a^2 + 61*a - 93)*u^5 + (-23*a^2 - 37*a + 52)*u^4 + (a^2 + 5*a - 13)*u^3 + (a^2 + 2*a + 1)*u^2)*v^14 + ((-3*a^2 + a + 16)*u^9 + (27*a^2 - 2*a)*u^8 + (55*a^2 - 19*a - 335)*u^7 + (-301*a^2 + 12*a + 935)*u^6 + (359*a^2 + 70*a - 1051)*u^5 + (-148*a^2 - 93*a + 546)*u^4 + (7*a^2 + 28*a - 116)*u^3 + (4*a^2 + 3*a + 5)*u^2)*v^13 + ((3*a^2 + 2*a - 6)*u^11 + (-39*a^2 - 8*a + 152)*u^10 + (156*a^2 - 67*a - 319)*u^9 + (-78*a^2 + 94*a + 153)*u^8 + (160*a^2 + 13*a - 1082)*u^7 + (-1032*a^2 + 73*a + 3842)*u^6 + (1394*a^2 - 202*a - 4917)*u^5 + (-605*a^2 + 116*a + 2809)*u^4 + (20*a^2 - 30*a - 673)*u^3 + (20*a^2 + 6*a + 40)*u^2 + (a^2 + 3*a + 1)*u)*v^12 + ((3*a + 10)*u^12 + (-8*a^2 + 5*a + 186)*u^11 + (-70*a^2 - 408*a + 140)*u^10 + (820*a^2 + 731*a - 1447)*u^9 + (-1360*a^2 - 749*a + 996)*u^8 + (1537*a^2 + 1735*a - 1303)*u^7 + (-3376*a^2 - 2487*a + 7510)*u^6 + (4328*a^2 + 1486*a - 11883)*u^5 + (-2166*a^2 - 274*a + 7785)*u^4 + (237*a^2 - 86*a - 2202)*u^3 + (61*a^2 + 44*a + 212)*u^2 + (-3*a^2 - 4)*u)*v^11 + ((-2*a^2 - a + 5)*u^14 + (11*a^2 + 12*a + 8)*u^13 + (49*a^2 + 6*a + 161)*u^12 + (-285*a^2 - 679*a + 735)*u^11 + (872*a^2 + 209*a - 1668)*u^10 + (139*a^2 + 1989*a - 1208)*u^9 + (-2412*a^2 - 3174*a + 1743)*u^8 + (4025*a^2 + 5515*a + 462)*u^7 + (-7413*a^2 - 8764*a + 7172)*u^6 + (9191*a^2 + 7649*a - 16415)*u^5 + (-5261*a^2 - 3457*a + 12685)*u^4 + (1073*a^2 + 719*a - 4214)*u^3 + (28*a^2 - 10*a + 564)*u^2 + (-15*a^2 - 17*a - 31)*u + (a^2 + 2*a + 1))*v^10 + ((-4*a^2 - 2*a + 11)*u^15 + (32*a^2 + 23*a - 16)*u^14 + (98*a^2 + 13*a + 95)*u^13 + (-113*a^2 - 695*a + 592)*u^12 + (-341*a^2 - 1085*a + 751)*u^11 + (2524*a^2 + 4269*a - 4909)*u^10 + (-4319*a^2 - 3261*a + 2732)*u^9 + (3144*a^2 + 1075*a + 107)*u^8 + (151*a^2 + 2269*a + 3477)*u^7 + (-6655*a^2 - 8605*a + 2065)*u^6 + (10919*a^2 + 10843*a - 13542)*u^5 + (-7309*a^2 - 6705*a + 12819)*u^4 + (2041*a^2 + 2153*a - 4961)*u^3 + (-151*a^2 - 296*a + 844)*u^2 + (-11*a^2 - 8*a - 69)*u + (2*a^2 + 4*a + 3))*v^9 + ((-2*a^2 - a + 8)*u^16 + (19*a^2 + 14*a + 14)*u^15 + (209*a^2 + 72*a - 180)*u^14 + (46*a^2 - 549*a + 449)*u^13 + (-678*a^2 - 1688*a + 1246)*u^12 + (1166*a^2 + 2706*a - 1112)*u^11 + (312*a^2 + 3420*a - 5213)*u^10 + (-4960*a^2 - 9875*a + 6388)*u^9 + (10302*a^2 + 12765*a - 3317)*u^8 + (-11013*a^2 - 11496*a + 5981)*u^7 + (3295*a^2 + 4196*a - 3054)*u^6 + (4819*a^2 + 2968*a - 6433)*u^5 + (-5053*a^2 - 4117*a + 8222)*u^4 + (1794*a^2 + 1948*a - 3691)*u^3 + (-236*a^2 - 416*a + 762)*u^2 + (7*a^2 + 23*a - 80)*u + (a^2 + 2*a + 4))*v^8 + (3*u^17 + (a^2 + 2*a + 34)*u^16 + (177*a^2 + 72*a - 169)*u^15 + (350*a^2 - 176*a - 313)*u^14 + (-544*a^2 - 1652*a + 1233)*u^13 + (-396*a^2 + 598*a + 1534)*u^12 + (1864*a^2 + 5398*a - 4453)*u^11 + (-4002*a^2 - 6403*a - 187)*u^10 + (3608*a^2 - 417*a + 4098)*u^9 + (3810*a^2 + 9151*a - 4394)*u^8 + (-11770*a^2 - 13817*a + 7153)*u^7 + (9715*a^2 + 11207*a - 5825)*u^6 + (-2319*a^2 - 4907*a - 456)*u^5 + (-949*a^2 + 699*a + 3029)*u^4 + (609*a^2 + 325*a - 1659)*u^3 + (-105*a^2 - 153*a + 406)*u^2 + (7*a^2 + 17*a - 52)*u + 3)*v^7 + (u^18 + 18*u^17 + (45*a^2 + 21*a + 22)*u^16 + (424*a^2 + 53*a - 628)*u^15 + (-33*a^2 - 850*a + 294)*u^14 + (-912*a^2 - 1031*a + 1776)*u^13 + (781*a^2 + 4112*a + 237)*u^12 + (-648*a^2 - 701*a - 5362)*u^11 + (-1486*a^2 - 6861*a + 5153)*u^10 + (6366*a^2 + 9575*a - 2221)*u^9 + (-5898*a^2 - 5400*a - 687)*u^8 + (-957*a^2 - 413*a + 4719)*u^7 + (4381*a^2 + 3137*a - 5255)*u^6 + (-2457*a^2 - 2599*a + 2027)*u^5 + (475*a^2 + 1104*a + 110)*u^4 + (-8*a^2 - 235*a - 308)*u^3 + (-3*a^2 + 18*a + 98)*u^2 - 15*u + 1)*v^6 + (6*u^18 + 42*u^17 + (140*a^2 + 37*a - 121)*u^16 + (422*a^2 - 149*a - 863)*u^15 + (-644*a^2 - 1010*a + 1501)*u^14 + (-227*a^2 + 1311*a + 778)*u^13 + (614*a^2 + 2159*a - 1502)*u^12 + (-1736*a^2 - 4792*a - 1669)*u^11 + (2888*a^2 + 1851*a + 3937)*u^10 + (-200*a^2 + 2971*a - 4277)*u^9 + (-3048*a^2 - 4611*a + 2935)*u^8 + (2325*a^2 + 3388*a + 9)*u^7 + (-324*a^2 - 1640*a - 1605)*u^6 + (-226*a^2 + 501*a + 1093)*u^5 + (78*a^2 - 75*a - 323)*u^4 + (-6*a^2 + 3*a + 47)*u^3 - 3*u^2)*v^5 + (15*u^18 + 45*u^17 + (201*a^2 + 12*a - 301)*u^16 + (99*a^2 - 282*a - 424)*u^15 + (-622*a^2 - 261*a + 1766)*u^14 + (393*a^2 + 1741*a - 926)*u^13 + (-314*a^2 - 1391*a - 941)*u^12 + (-31*a^2 - 1073*a + 1191)*u^11 + (1412*a^2 + 2350*a - 290)*u^10 + (-1784*a^2 - 1610*a - 943)*u^9 + (714*a^2 + 650*a + 1563)*u^8 + (7*a^2 - 196*a - 1055)*u^7 + (-50*a^2 + 29*a + 343)*u^6 + (2*a^2 + 4*a - 52)*u^5 + (a^2 - a + 3)*u^4)*v^4 + (20*u^18 + 15*u^17 + (157*a^2 - 28*a - 296)*u^16 + (-141*a^2 - 150*a + 146)*u^15 + (-161*a^2 + 246*a + 774)*u^14 + (209*a^2 + 391*a - 1115)*u^13 + (-245*a^2 - 1039*a + 420)*u^12 + (424*a^2 + 779*a + 411)*u^11 + (-280*a^2 - 220*a - 771)*u^10 + (20*a^2 + 7*a + 571)*u^9 + (26*a^2 + 13*a - 206)*u^8 + (a^2 - 9*a + 31)*u^7 + (-2*a^2 + 2*a - 1)*u^6)*v^3 + (15*u^18 - 12*u^17 + (67*a^2 - 31*a - 132)*u^16 + (-116*a^2 + 5*a + 227)*u^15 + (45*a^2 + 117*a - 7)*u^14 + (-10*a^2 - 115*a - 277)*u^13 + (27*a^2 - 12*a + 338)*u^12 + (-4*a^2 + 51*a - 218)*u^11 + (-10*a^2 - 19*a + 77)*u^10 + (a^2 + 4*a - 11)*u^9 + (a^2 - a)*u^8)*v^2 + (6*u^18 - 12*u^17 + (14*a^2 - 11*a - 17)*u^16 + (-30*a^2 + 21*a + 63)*u^15 + (21*a^2 - 7*a - 68)*u^14 + (-8*a^2 - 5*a + 39)*u^13 + (5*a^2 + a - 13)*u^12 + (-2*a^2 + a + 2)*u^11)*v + u^18 - 3*u^17 + (a^2 - a + 3)*u^16 + (-2*a^2 + 2*a - 1)*u^15 + (a^2 - a)*u^14;
t := v*(u-1)/((v+1)*u);
x := v^2*(u-1)*(u+v)/((v+1)^2*u^3);  
E := [1+t-t^2,t^2-t^3,t^2-t^3,0,0];
P := [R!0,0];
Q := [x];