m := 2; n := 20; g := 57; F := Rationals(); R:=PolynomialRing(F,2); X := (u^16 + 4*u^15 + 9*u^14 + 13*u^13 + 11*u^12 + 5*u^11 + u^10)*v^29 + (13*u^17 + 66*u^16 + 167*u^15 + 274*u^14 + 269*u^13 + 119*u^12 - 13*u^11 - 33*u^10 - 10*u^9)*v^28 + (78*u^18 + 484*u^17 + 1401*u^16 + 2564*u^15 + 2932*u^14 + 1516*u^13 - 429*u^12 - 881*u^11 - 279*u^10 + 65*u^9 + 45*u^8)*v^27 + (286*u^19 + 2116*u^18 + 7031*u^17 + 14326*u^16 + 18768*u^15 + 12298*u^14 - 2753*u^13 - 9886*u^12 - 4273*u^11 + 1315*u^10 + 1305*u^9 + 75*u^8 - 120*u^7)*v^26 + (715*u^20 + 6204*u^19 + 23637*u^18 + 53764*u^17 + 79638*u^16 + 65977*u^15 - 854*u^14 - 57378*u^13 - 38364*u^12 + 8895*u^11 + 17101*u^10 + 2872*u^9 - 2366*u^8 - 617*u^7 + 211*u^6)*v^25 + (1287*u^21 + 12958*u^20 + 56507*u^19 + 144050*u^18 + 239634*u^17 + 244440*u^16 + 65936*u^15 - 180107*u^14 - 196614*u^13 + 13992*u^12 + 118173*u^11 + 41929*u^10 - 19680*u^9 - 12332*u^8 + 1337*u^7 + 1405*u^6 - 258*u^5)*v^24 + (1716*u^22 + 19932*u^21 + 99429*u^20 + 285436*u^19 + 532552*u^18 + 651035*u^17 + 377488*u^16 - 256320*u^15 - 570842*u^14 - 87122*u^13 + 451568*u^12 + 297110*u^11 - 69870*u^10 - 110434*u^9 - 10092*u^8 + 16425*u^7 + 2115*u^6 - 1851*u^5 + 225*u^4)*v^23 + (1716*u^23 + 22968*u^22 + 131307*u^21 + 427078*u^20 + 896180*u^19 + 1284822*u^18 + 1145806*u^17 + 187039*u^16 - 836454*u^15 - 430396*u^14 + 974692*u^13 + 1128206*u^12 - 17054*u^11 - 528660*u^10 - 170270*u^9 + 79986*u^8 + 44069*u^7 - 7463*u^6 - 4943*u^5 + 1615*u^4 - 140*u^3)*v^22 + (1287*u^24 + 19932*u^23 + 131307*u^22 + 487902*u^21 + 1158656*u^20 + 1917243*u^19 + 2275848*u^18 + 1608514*u^17 - 28002*u^16 - 648334*u^15 + 1126220*u^14 + 2390140*u^13 + 580590*u^12 - 1400351*u^11 - 938491*u^10 + 146760*u^9 + 273066*u^8 + 30861*u^7 - 37539*u^6 - 4565*u^5 + 4835*u^4 - 980*u^3 + 60*u^2)*v^21 + (715*u^25 + 12958*u^24 + 99429*u^23 + 427078*u^22 + 1158656*u^21 + 2188194*u^20 + 3167706*u^19 + 3517355*u^18 + 2311886*u^17 + 229336*u^16 + 418944*u^15 + 2582194*u^14 + 1673250*u^13 - 2003224*u^12 - 2631335*u^11 - 233949*u^10 + 869084*u^9 + 327970*u^8 - 88539*u^7 - 71485*u^6 + 6729*u^5 + 8033*u^4 - 2924*u^3 + 412*u^2 - 16*u)*v^20 + (286*u^26 + 6204*u^25 + 56507*u^24 + 285436*u^23 + 896180*u^22 + 1917243*u^21 + 3167706*u^20 + 4440866*u^19 + 4634504*u^18 + 2190816*u^17 - 654842*u^16 + 197706*u^15 + 1715166*u^14 - 1156413*u^13 - 3918397*u^12 - 1556100*u^11 + 1434266*u^10 + 1163324*u^9 - 3728*u^8 - 242036*u^7 - 65374*u^6 + 28168*u^5 + 8276*u^4 - 5066*u^3 + 1202*u^2 - 110*u + 2)*v^19 + (78*u^27 + 2116*u^26 + 23637*u^25 + 144050*u^24 + 532552*u^23 + 1284822*u^22 + 2275848*u^21 + 3517355*u^20 + 4634504*u^19 + 3300146*u^18 - 1281750*u^17 - 3592660*u^16 - 545434*u^15 + 916180*u^14 - 2203417*u^13 - 2660087*u^12 + 886182*u^11 + 2089104*u^10 + 454072*u^9 - 422640*u^8 - 240622*u^7 - 8404*u^6 + 45700*u^5 + 4620*u^4 - 6142*u^3 + 1986*u^2 - 322*u + 14)*v^18 + (13*u^28 + 484*u^27 + 7031*u^26 + 53764*u^25 + 239634*u^24 + 651035*u^23 + 1145806*u^22 + 1608514*u^21 + 2311886*u^20 + 2190816*u^19 - 1281750*u^18 - 5456168*u^17 - 3261234*u^16 + 2669863*u^15 + 2720031*u^14 - 1101320*u^13 - 702572*u^12 + 1670348*u^11 + 1048960*u^10 - 387012*u^9 - 406690*u^8 - 79036*u^7 + 37248*u^6 + 42844*u^5 - 1608*u^4 - 5926*u^3 + 2170*u^2 - 526*u + 42)*v^17 + (u^29 + 66*u^28 + 1401*u^27 + 14326*u^26 + 79638*u^25 + 244440*u^24 + 377488*u^23 + 187039*u^22 - 28002*u^21 + 229336*u^20 - 654842*u^19 - 3592660*u^18 - 3261234*u^17 + 3260168*u^16 + 7150423*u^15 + 2812645*u^14 - 1562008*u^13 - 529154*u^12 + 849736*u^11 - 26712*u^10 - 462382*u^9 - 84924*u^8 + 24344*u^7 + 23968*u^6 + 24144*u^5 - 5836*u^4 - 4290*u^3 + 1822*u^2 - 538*u + 70)*v^16 + (4*u^29 + 167*u^28 + 2564*u^27 + 18768*u^26 + 65977*u^25 + 65936*u^24 - 256320*u^23 - 836454*u^22 - 648334*u^21 + 418944*u^20 + 197706*u^19 - 545434*u^18 + 2669863*u^17 + 7150423*u^16 + 4988470*u^15 - 1243944*u^14 - 2862682*u^13 - 464190*u^12 + 380020*u^11 - 254986*u^10 - 162100*u^9 + 84920*u^8 + 4288*u^7 - 2176*u^6 + 11064*u^5 - 4576*u^4 - 1706*u^3 + 1246*u^2 - 386*u + 70)*v^15 + (9*u^29 + 274*u^28 + 2932*u^27 + 12298*u^26 - 854*u^25 - 180107*u^24 - 570842*u^23 - 430396*u^22 + 1126220*u^21 + 2582194*u^20 + 1715166*u^19 + 916180*u^18 + 2720031*u^17 + 2812645*u^16 - 1243944*u^15 - 3760914*u^14 - 1754054*u^13 + 519222*u^12 + 374242*u^11 - 189612*u^10 + 1104*u^9 + 79168*u^8 - 16256*u^7 + 272*u^6 + 6344*u^5 - 1864*u^4 + 18*u^3 + 562*u^2 - 230*u + 42)*v^14 + (13*u^29 + 269*u^28 + 1516*u^27 - 2753*u^26 - 57378*u^25 - 196614*u^24 - 87122*u^23 + 974692*u^22 + 2390140*u^21 + 1673250*u^20 - 1156413*u^19 - 2203417*u^18 - 1101320*u^17 - 1562008*u^16 - 2862682*u^15 - 1754054*u^14 + 507186*u^13 + 1044388*u^12 + 213948*u^11 - 138768*u^10 + 41572*u^9 + 37984*u^8 - 12152*u^7 + 6208*u^6 + 276*u^5 - 1404*u^4 + 378*u^3 + 66*u^2 - 122*u + 14)*v^13 + (11*u^29 + 119*u^28 - 429*u^27 - 9886*u^26 - 38364*u^25 + 13992*u^24 + 451568*u^23 + 1128206*u^22 + 580590*u^21 - 2003224*u^20 - 3918397*u^19 - 2660087*u^18 - 702572*u^17 - 529154*u^16 - 464190*u^15 + 519222*u^14 + 1044388*u^13 + 549814*u^12 - 59960*u^11 - 108168*u^10 + 17320*u^9 - 10036*u^8 - 12488*u^7 + 5016*u^6 - 3108*u^5 - 1028*u^4 + 414*u^3 - 50*u^2 - 46*u + 2)*v^12 + (5*u^29 - 13*u^28 - 881*u^27 - 4273*u^26 + 8895*u^25 + 118173*u^24 + 297110*u^23 - 17054*u^22 - 1400351*u^21 - 2631335*u^20 - 1556100*u^19 + 886182*u^18 + 1670348*u^17 + 849736*u^16 + 380020*u^15 + 374242*u^14 + 213948*u^13 - 59960*u^12 - 167276*u^11 - 54452*u^10 + 7124*u^9 - 20312*u^8 - 4982*u^7 + 5926*u^6 - 1506*u^5 - 126*u^4 + 380*u^3 - 8*u^2 - 8*u)*v^11 + (u^29 - 33*u^28 - 279*u^27 + 1315*u^26 + 17101*u^25 + 41929*u^24 - 69870*u^23 - 528660*u^22 - 938491*u^21 - 233949*u^20 + 1434266*u^19 + 2089104*u^18 + 1048960*u^17 - 26712*u^16 - 254986*u^15 - 189612*u^14 - 138768*u^13 - 108168*u^12 - 54452*u^11 + 27228*u^10 + 27264*u^9 - 4988*u^8 + 1002*u^7 + 3822*u^6 - 610*u^5 + 26*u^4 + 168*u^3 + 4*u^2)*v^10 - (10*u^28 - 65*u^27 - 1305*u^26 - 2872*u^25 + 19680*u^24 + 110434*u^23 + 170270*u^22 - 146760*u^21 - 869084*u^20 - 1163324*u^19 - 454072*u^18 + 387012*u^17 + 462382*u^16 + 162100*u^15 - 1104*u^14 - 41572*u^13 - 17320*u^12 - 7124*u^11 - 27264*u^10 - 13876*u^9 + 3184*u^8 + 534*u^7 - 326*u^6 + 678*u^5 + 90*u^4 - 24*u^3)*v^9 + (45*u^27 + 75*u^26 - 2366*u^25 - 12332*u^24 - 10092*u^23 + 79986*u^22 + 273066*u^21 + 327970*u^20 - 3728*u^19 - 422640*u^18 - 406690*u^17 - 84924*u^16 + 84920*u^15 + 79168*u^14 + 37984*u^13 - 10036*u^12 - 20312*u^11 - 4988*u^10 - 3184*u^9 - 2756*u^8 + 90*u^7 - 18*u^6 - 262*u^5 - 34*u^4)*v^8 - (120*u^26 + 617*u^25 - 1337*u^24 - 16425*u^23 - 44069*u^22 - 30861*u^21 + 88539*u^20 + 242036*u^19 + 240622*u^18 + 79036*u^17 - 24344*u^16 - 4288*u^15 + 16256*u^14 + 12152*u^13 + 12488*u^12 + 4982*u^11 - 1002*u^10 + 534*u^9 - 90*u^8 - 840*u^7 - 224*u^6 + 16*u^5)*v^7 + (211*u^25 + 1405*u^24 + 2115*u^23 - 7463*u^22 - 37539*u^21 - 71485*u^20 - 65374*u^19 - 8404*u^18 + 37248*u^17 + 23968*u^16 - 2176*u^15 + 272*u^14 + 6208*u^13 + 5016*u^12 + 5926*u^11 + 3822*u^10 + 326*u^9 - 18*u^8 + 224*u^7 + 56*u^6)*v^6 - (258*u^24 + 1851*u^23 + 4943*u^22 + 4565*u^21 - 6729*u^20 - 28168*u^19 - 45700*u^18 - 42844*u^17 - 24144*u^16 - 11064*u^15 - 6344*u^14 - 276*u^13 + 3108*u^12 + 1506*u^11 + 610*u^10 + 678*u^9 + 262*u^8 + 16*u^7)*v^5 + (225*u^23 + 1615*u^22 + 4835*u^21 + 8033*u^20 + 8276*u^19 + 4620*u^18 - 1608*u^17 - 5836*u^16 - 4576*u^15 - 1864*u^14 - 1404*u^13 - 1028*u^12 - 126*u^11 + 26*u^10 - 90*u^9 - 34*u^8)*v^4 - (140*u^22 + 980*u^21 + 2924*u^20 + 5066*u^19 + 6142*u^18 + 5926*u^17 + 4290*u^16 + 1706*u^15 - 18*u^14 - 378*u^13 - 414*u^12 - 380*u^11 - 168*u^10 - 24*u^9)*v^3 + (60*u^21 + 412*u^20 + 1202*u^19 + 1986*u^18 + 2170*u^17 + 1822*u^16 + 1246*u^15 + 562*u^14 + 66*u^13 - 50*u^12 - 8*u^11 + 4*u^10)*v^2 - (16*u^20 + 110*u^19 + 322*u^18 + 526*u^17 + 538*u^16 + 386*u^15 + 230*u^14 + 122*u^13 + 46*u^12 + 8*u^11)*v + 2*u^19 + 14*u^18 + 42*u^17 + 70*u^16 + 70*u^15 + 42*u^14 + 14*u^13 + 2*u^12; 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)];