m := 10; n := 1; g := 13; F:=NumberField(PolynomialRing(Rationals())![-1,-1,1]); R:=PolynomialRing(F,2); X := (16*u^17 + 112*u^16 + 344*u^15 + 608*u^14 + 681*u^13 + 501*u^12 + 242*u^11 + 74*u^10 + 13*u^9 + u^8)*v^10 + (64*u^18 + 432*u^17 + 1256*u^16 + 2132*u^15 + 2578*u^14 + 2772*u^13 + 2898*u^12 + 2562*u^11 + 1648*u^10 + 712*u^9 + 194*u^8 + 30*u^7 + 2*u^6)*v^9 + (96*u^19 + (-32*a + 480)*u^18 + (-448*a + 412)*u^17 + (-2728*a - 2412)*u^16 + (-9540*a - 8551)*u^15 + (-21324*a - 13864)*u^14 + (-32055*a - 13834)*u^13 + (-33072*a - 8695)*u^12 + (-23256*a - 2026)*u^11 + (-10581*a + 2642)*u^10 + (-2532*a + 3776)*u^9 + (132*a + 2519)*u^8 + (315*a + 1013)*u^7 + (104*a + 248)*u^6 + (16*a + 34)*u^5 + (a + 2)*u^4)*v^8 + (64*u^20 + (-96*a - 32)*u^19 + (-1296*a - 2688)*u^18 + (-7472*a - 12168)*u^17 + (-24100*a - 26452)*u^16 + (-48002*a - 33700)*u^15 + (-62232*a - 26538)*u^14 + (-56738*a - 11979)*u^13 + (-45851*a - 503)*u^12 + (-44384*a + 4449)*u^11 + (-43733*a + 5185)*u^10 + (-31838*a + 5025)*u^9 + (-14519*a + 4833)*u^8 + (-3188*a + 3755)*u^7 + (349*a + 2023)*u^6 + (450*a + 711)*u^5 + (131*a + 155)*u^4 + (18*a + 19)*u^3 + (a + 1)*u^2)*v^7 + (16*u^21 + (-104*a - 336)*u^20 + (-1176*a - 2696)*u^19 + (-4448*a - 4446)*u^18 + (53*a + 19000)*u^17 + (60486*a + 119366)*u^16 + (260806*a + 339071)*u^15 + (638125*a + 660092)*u^14 + (1092419*a + 982158)*u^13 + (1415073*a + 1155583)*u^12 + (1425100*a + 1080648)*u^11 + (1106842*a + 797524)*u^10 + (639023*a + 455823)*u^9 + (253609*a + 193657)*u^8 + (54606*a + 55594)*u^7 + (-3874*a + 7606)*u^6 + (-7234*a - 1279)*u^5 + (-2537*a - 889)*u^4 + (-470*a - 199)*u^3 + (-47*a - 22)*u^2 + (-2*a - 1)*u)*v^6 + ((-48*a - 144)*u^21 + (-240*a + 104)*u^20 + (2600*a + 10176)*u^19 + (31294*a + 63582)*u^18 + (147992*a + 203867)*u^17 + (404403*a + 408103)*u^16 + (682382*a + 511922)*u^15 + (615522*a + 269626)*u^14 + (-144020*a - 406573)*u^13 + (-1452635*a - 1233747)*u^12 + (-2571540*a - 1709987)*u^11 + (-2764627*a - 1570001)*u^10 + (-2023694*a - 1010914)*u^9 + (-1006998*a - 439518)*u^8 + (-308908*a - 101953)*u^7 + (-31115*a + 11983)*u^6 + (19114*a + 20693)*u^5 + (10577*a + 8805)*u^4 + (2654*a + 2145)*u^3 + (381*a + 319)*u^2 + (30*a + 27)*u + (a + 1))*v^5 + (-8*a*u^22 + (136*a + 644)*u^21 + (2704*a + 5710)*u^20 + (15601*a + 16313)*u^19 + (30886*a - 16312)*u^18 + (-80712*a - 275741)*u^17 + (-702678*a - 1063212)*u^16 + (-2304065*a - 2503691)*u^15 + (-4768438*a - 4125527)*u^14 + (-6875963*a - 4913293)*u^13 + (-7021436*a - 4150271)*u^12 + (-4872142*a - 2231398)*u^11 + (-1917504*a - 350691)*u^10 + (51523*a + 613192)*u^9 + (577838*a + 683372)*u^8 + (361705*a + 389793)*u^7 + (104884*a + 140617)*u^6 + (5267*a + 31093)*u^5 + (-7286*a + 2982)*u^4 + (-2861*a - 397)*u^3 + (-524*a - 166)*u^2 + (-50*a - 21)*u - 2*a - 1)*v^4 + ((48*a + 32)*u^22 + (320*a - 760)*u^21 + (-2240*a - 12692)*u^20 + (-36254*a - 79882)*u^19 + (-203450*a - 287506)*u^18 + (-652054*a - 653565)*u^17 + (-1287255*a - 892251)*u^16 + (-1376766*a - 355504)*u^15 + (157656*a + 1441862)*u^14 + (3409986*a + 4017737)*u^13 + (6603865*a + 5948997)*u^12 + (7460890*a + 6083065)*u^11 + (5601019*a + 4592745)*u^10 + (2781480*a + 2623836)*u^9 + (799022*a + 1148338)*u^8 + (31028*a + 392369)*u^7 + (-77693*a + 110213)*u^6 + (-33634*a + 28075)*u^5 + (-6377*a + 6899)*u^4 + (-328*a + 1491)*u^3 + (93*a + 237)*u^2 + (18*a + 23)*u + (a + 1))*v^3 + (4*u^23 + (-104*a - 12)*u^22 + (-1528*a + 327)*u^21 + (-8648*a + 9072)*u^20 + (-16603*a + 76115)*u^19 + (64466*a + 360286)*u^18 + (549647*a + 1138188)*u^17 + (1938790*a + 2584316)*u^16 + (4348726*a + 4381187)*u^15 + (6780729*a + 5672934)*u^14 + (7473653*a + 5729216)*u^13 + (5631845*a + 4676740)*u^12 + (2506077*a + 3308637)*u^11 + (133384*a + 2227788)*u^10 + (-658309*a + 1478264)*u^9 + (-477051*a + 899998)*u^8 + (-159194*a + 455294)*u^7 + (-15558*a + 178920)*u^6 + (8848*a + 52318)*u^5 + (4243*a + 10927)*u^4 + (867*a + 1536)*u^3 + (91*a + 130)*u^2 + (4*a + 5)*u)*v^2 + (-12*u^23 + (96*a - 186)*u^22 + (1792*a - 1812)*u^21 + (15024*a - 13556)*u^20 + (74292*a - 74754)*u^19 + (237420*a - 296994)*u^18 + (495326*a - 854564)*u^17 + (600490*a - 1789422)*u^16 + (84694*a - 2686070)*u^15 + (-1260818*a - 2695722)*u^14 + (-2854220*a - 1284701)*u^13 + (-3631271*a + 960655)*u^12 + (-3102420*a + 2663771)*u^11 + (-1826947*a + 2952885)*u^10 + (-706460*a + 2141347)*u^9 + (-140403*a + 1110567)*u^8 + (15184*a + 421531)*u^7 + (20203*a + 116653)*u^6 + (6694*a + 22961)*u^5 + (1201*a + 3049)*u^4 + (118*a + 245)*u^3 + (5*a + 9)*u^2)*v + 9*u^23 + (-32*a + 199)*u^22 + (-672*a + 2237)*u^21 + (-6496*a + 16480)*u^20 + (-38364*a + 86764)*u^19 + (-154840*a + 340360)*u^18 + (-452332*a + 1020116)*u^17 + (-987408*a + 2374889)*u^16 + (-1638235*a + 4340871)*u^15 + (-2079220*a + 6268726)*u^14 + (-2013062*a + 7171882)*u^13 + (-1466518*a + 6498890)*u^12 + (-778325*a + 4651085)*u^11 + (-277853*a + 2614267)*u^10 + (-49193*a + 1143701)*u^9 + (8370*a + 384050)*u^8 + (8452*a + 96867)*u^7 + (2700*a + 17728)*u^6 + (479*a + 2220)*u^5 + (47*a + 170)*u^4 + (2*a + 6)*u^3; t := (u+1)/(2*u+1); x := -u*(u+1)^2/((2*u+1)*(u^3+u^2*v+3*u^2+4*u+1)); E := [(2*t^3-2*t^2-2*t+1)/(t^2-3*t+1),t^3*(1-t)*(2*t-1)/((t^2-3*t+1)^2),t^3*(1-t)*(2*t-1)/((t^2-3*t+1)^2),0,0]; P := [R!0,0]; Q := [x];