m := 2; n := 18; g := 41; F := Rationals(); R:=PolynomialRing(F,2); X := (u^12 + 3*u^11 + 3*u^10 + u^9)*v^21 + (9*u^13 + 36*u^12 + 45*u^11 + 9*u^10 - 18*u^9 - 9*u^8)*v^20 + (36*u^14 + 183*u^13 + 321*u^12 + 162*u^11 - 84*u^10 - 18*u^9 + 119*u^8 + 72*u^7 + 9*u^6 + u^5)*v^19 + (84*u^15 + 528*u^14 + 1263*u^13 + 1245*u^12 + 312*u^11 + 300*u^10 + 1099*u^9 + 798*u^8 - 43*u^7 - 178*u^6 - 36*u^5 - 5*u^4)*v^18 + (126*u^16 + 966*u^15 + 3006*u^14 + 4575*u^13 + 3306*u^12 + 2142*u^11 + 4007*u^10 + 3522*u^9 - 646*u^8 - 2169*u^7 - 637*u^6 + 130*u^5 + 49*u^4 + 10*u^3)*v^17 + (126*u^17 + 1176*u^16 + 4578*u^15 + 9498*u^14 + 10632*u^13 + 7089*u^12 + 7203*u^11 + 7446*u^10 - 2146*u^9 - 9438*u^8 - 4411*u^7 + 1343*u^6 + 1139*u^5 + 76*u^4 - 16*u^3 - 10*u^2)*v^16 + (84*u^18 + 966*u^17 + 4578*u^16 + 12028*u^15 + 18108*u^14 + 14004*u^13 + 6406*u^12 + 6096*u^11 - 2481*u^10 - 18395*u^9 - 13447*u^8 + 3700*u^7 + 6898*u^6 + 1141*u^5 - 626*u^4 - 137*u^3 - 21*u^2 + 5*u)*v^15 + (36*u^19 + 528*u^18 + 3006*u^17 + 9498*u^16 + 18108*u^15 + 17496*u^14 + 2670*u^13 - 3636*u^12 + 1251*u^11 - 10406*u^10 - 17049*u^9 + 3617*u^8 + 16194*u^7 + 5954*u^6 - 2784*u^5 - 1603*u^4 - 27*u^3 + 29*u^2 + 20*u - 1)*v^14 + (9*u^20 + 183*u^19 + 1263*u^18 + 4575*u^17 + 10632*u^16 + 14004*u^15 + 2670*u^14 - 10164*u^13 + 6360*u^12 + 20691*u^11 + 2826*u^10 - 738*u^9 + 14185*u^8 + 9797*u^7 - 4080*u^6 - 5524*u^5 - 627*u^4 + 482*u^3 + 93*u^2 + 26*u - 5)*v^13 + (u^21 + 36*u^20 + 321*u^19 + 1245*u^18 + 3306*u^17 + 7089*u^16 + 6406*u^15 - 3636*u^14 + 6360*u^13 + 40300*u^12 + 32754*u^11 - 4955*u^10 - 7677*u^9 + 2060*u^8 - 3002*u^7 - 6315*u^6 - 1923*u^5 + 1286*u^4 + 579*u^3 + 26*u^2 + 7*u - 10)*v^12 + (3*u^21 + 45*u^20 + 162*u^19 + 312*u^18 + 2142*u^17 + 7203*u^16 + 6096*u^15 + 1251*u^14 + 20691*u^13 + 32754*u^12 - 6184*u^11 - 30788*u^10 - 10948*u^9 + 1420*u^8 - 447*u^7 - 485*u^6 + 1100*u^5 + 1071*u^4 + 44*u^3 - 70*u^2 - 7*u - 10)*v^11 + (3*u^21 + 9*u^20 - 84*u^19 + 300*u^18 + 4007*u^17 + 7446*u^16 - 2481*u^15 - 10406*u^14 + 2826*u^13 - 4955*u^12 - 30788*u^11 - 16180*u^10 + 9088*u^9 + 7928*u^8 + 1549*u^7 - 29*u^6 + 89*u^5 + 32*u^4 - 194*u^3 - 32*u^2 + 2*u - 5)*v^10 + (u^21 - 18*u^20 - 18*u^19 + 1099*u^18 + 3522*u^17 - 2146*u^16 - 18395*u^15 - 17049*u^14 - 738*u^13 - 7677*u^12 - 10948*u^11 + 9088*u^10 + 12216*u^9 + 1534*u^8 - 1715*u^7 - 1114*u^6 - 202*u^5 + 13*u^4 - 51*u^3 + 26*u^2 + 8*u - 1)*v^9 - (9*u^20 - 119*u^19 - 798*u^18 + 646*u^17 + 9438*u^16 + 13447*u^15 - 3617*u^14 - 14185*u^13 - 2060*u^12 - 1420*u^11 - 7928*u^10 - 1534*u^9 + 2316*u^8 + 738*u^7 + 57*u^6 - 225*u^5 - 74*u^4 + 18*u^3 - 15*u^2 - 3*u)*v^8 + (72*u^19 - 43*u^18 - 2169*u^17 - 4411*u^16 + 3700*u^15 + 16194*u^14 + 9797*u^13 - 3002*u^12 - 447*u^11 + 1549*u^10 - 1715*u^9 - 738*u^8 + 264*u^7 + 24*u^6 + 58*u^5 - 36*u^4 - 32*u^3)*v^7 + (9*u^19 - 178*u^18 - 637*u^17 + 1343*u^16 + 6898*u^15 + 5954*u^14 - 4080*u^13 - 6315*u^12 - 485*u^11 - 29*u^10 - 1114*u^9 - 57*u^8 + 24*u^7 - 64*u^6 + 36*u^5 - 10*u^4 - 8*u^3)*v^6 + (u^19 - 36*u^18 + 130*u^17 + 1139*u^16 + 1141*u^15 - 2784*u^14 - 5524*u^13 - 1923*u^12 + 1100*u^11 + 89*u^10 - 202*u^9 + 225*u^8 + 58*u^7 + 36*u^6 + 48*u^5 + 6*u^4)*v^5 - (5*u^18 - 49*u^17 - 76*u^16 + 626*u^15 + 1603*u^14 + 627*u^13 - 1286*u^12 - 1071*u^11 - 32*u^10 - 13*u^9 - 74*u^8 + 36*u^7 + 10*u^6 - 6*u^5)*v^4 + (10*u^17 - 16*u^16 - 137*u^15 - 27*u^14 + 482*u^13 + 579*u^12 + 44*u^11 - 194*u^10 - 51*u^9 - 18*u^8 - 32*u^7 - 8*u^6)*v^3 - (10*u^16 + 21*u^15 - 29*u^14 - 93*u^13 - 26*u^12 + 70*u^11 + 32*u^10 - 26*u^9 - 15*u^8)*v^2 + (5*u^15 + 20*u^14 + 26*u^13 + 7*u^12 - 7*u^11 + 2*u^10 + 8*u^9 + 3*u^8)*v - u^14 - 5*u^13 - 10*u^12 - 10*u^11 - 5*u^10 - u^9; q := (u+v+2)/(v-u); t := (u-v)*(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)];