m := 5;
n := 3;
g := 17;
F<a>:=NumberField(PolynomialRing(Rationals())![-1,1,1]);
R<u,v>:=PolynomialRing(F,2);
X := ((1 - a)*u^10 + (-8*a + 9)*u^9 + (-29*a + 37)*u^8 + (-62*a + 91)*u^7 + (-85*a + 148)*u^6 + (-76*a + 167)*u^5 + (-43*a + 134)*u^4 + (-14*a + 77)*u^3 + (-2*a + 31)*u^2 + 8*u + 1)*v^16 + (a*u^13 + (13*a + 1)*u^12 + (53*a + 39)*u^11 + (90*a + 311)*u^10 + (23*a + 1237)*u^9 + (-137*a + 3025)*u^8 + (-109*a + 4965)*u^7 + (314*a + 5726)*u^6 + (806*a + 4774)*u^5 + (862*a + 2932)*u^4 + (508*a + 1330)*u^3 + (162*a + 429)*u^2 + (22*a + 87)*u + 8)*v^15 + ((-a + 1)*u^16 + (-16*a + 17)*u^15 + (-100*a + 138)*u^14 + (-303*a + 730)*u^13 + (-574*a + 3148)*u^12 + (-983*a + 11311)*u^11 + (-1720*a + 31536)*u^10 + (-1700*a + 65256)*u^9 + (2152*a + 99168)*u^8 + (11033*a + 111173)*u^7 + (19714*a + 92900)*u^6 + (20807*a + 58627)*u^5 + (14032*a + 28196)*u^4 + (5988*a + 10206)*u^3 + (1493*a + 2622)*u^2 + (172*a + 422)*u + (2*a + 33))*v^14 + ((-14*a + 15)*u^17 + (-215*a + 249)*u^16 + (-1371*a + 1982)*u^15 + (-4694*a + 10221)*u^14 + (-10389*a + 40559)*u^13 + (-17317*a + 130397)*u^12 + (-23656*a + 332413)*u^11 + (-23435*a + 651942)*u^10 + (-2754*a + 968760)*u^9 + (48426*a + 1088347)*u^8 + (111715*a + 930818)*u^7 + (143546*a + 614369)*u^6 + (120924*a + 317509)*u^5 + (68409*a + 128460)*u^4 + (25309*a + 39348)*u^3 + (5650*a + 8530)*u^2 + (620*a + 1202)*u + (14*a + 91))*v^13 + (a*u^19 + (-56*a + 92)*u^18 + (-896*a + 1479)*u^17 + (-5159*a + 11453)*u^16 + (-13117*a + 57611)*u^15 + (-7993*a + 221244)*u^14 + (48508*a + 687201)*u^13 + (182168*a + 1709549)*u^12 + (352231*a + 3321221)*u^11 + (462115*a + 4962344)*u^10 + (472869*a + 5689376)*u^9 + (457716*a + 5051926)*u^8 + (470348*a + 3542225)*u^7 + (446963*a + 2005656)*u^6 + (327873*a + 922883)*u^5 + (169083*a + 335004)*u^4 + (57962*a + 90283)*u^3 + (12235*a + 17033)*u^2 + (1336*a + 2199)*u + (43*a + 177))*v^12 + ((9*a + 1)*u^20 + (-27*a + 318)*u^19 + (-918*a + 4789)*u^18 + (-1673*a + 35508)*u^17 + (33204*a + 172439)*u^16 + (252156*a + 642972)*u^15 + (942231*a + 1958041)*u^14 + (2316865*a + 4834560)*u^13 + (4062754*a + 9425198)*u^12 + (5192576*a + 14261033)*u^11 + (4855829*a + 16712029)*u^10 + (3383853*a + 15374944)*u^9 + (1952786*a + 11439875)*u^8 + (1207634*a + 7149007)*u^7 + (871743*a + 3820060)*u^6 + (562247*a + 1693208)*u^5 + (265729*a + 579679)*u^4 + (85091*a + 141144)*u^3 + (17169*a + 23017)*u^2 + (1890*a + 2677)*u + (76*a + 243))*v^11 + ((-a + 1)*u^22 + (2*a + 34)*u^21 + (-84*a + 1026)*u^20 + (-801*a + 12051)*u^19 + (7039*a + 80783)*u^18 + (118457*a + 370117)*u^17 + (690725*a + 1318352)*u^16 + (2452484*a + 3869107)*u^15 + (6142031*a + 9330955)*u^14 + (11380849*a + 18026705)*u^13 + (15739337*a + 27322769)*u^12 + (16148562*a + 32240836)*u^11 + (12176151*a + 29867706)*u^10 + (6805938*a + 22401669)*u^9 + (3153325*a + 14423434)*u^8 + (1674597*a + 8489309)*u^7 + (1130657*a + 4578746)*u^6 + (686778*a + 2085104)*u^5 + (301692*a + 714204)*u^4 + (89031*a + 164012)*u^3 + (16775*a + 22936)*u^2 + (1836*a + 2200)*u + (85*a + 233))*v^10 + ((-2*a + 3)*u^23 + (-10*a + 91)*u^22 + (-103*a + 1728)*u^21 + (-405*a + 16869)*u^20 + (9130*a + 103579)*u^19 + (119540*a + 454074)*u^18 + (680497*a + 1582416)*u^17 + (2542510*a + 4626771)*u^16 + (7053479*a + 11358957)*u^15 + (14933493*a + 22858502)*u^14 + (24074284*a + 36802099)*u^13 + (29314669*a + 46651952)*u^12 + (26602004*a + 46174378)*u^11 + (17567981*a + 35662712)*u^10 + (8186866*a + 21928467)*u^9 + (2804373*a + 11622561)*u^8 + (1161954*a + 6195468)*u^7 + (882425*a + 3496322)*u^6 + (597745*a + 1751803)*u^5 + (262138*a + 638866)*u^4 + (71760*a + 146974)*u^3 + (12103*a + 18222)*u^2 + (1257*a + 1232)*u + (62*a + 153))*v^9 + (u^24 + (22*a + 23)*u^23 + (253*a + 394)*u^22 + (1221*a + 3047)*u^21 + (3080*a + 14838)*u^20 + (6659*a + 54574)*u^19 + (27417*a + 207610)*u^18 + (261466*a + 872618)*u^17 + (1571293*a + 3277690)*u^16 + (5651642*a + 9615066)*u^15 + (13612316*a + 21335163)*u^14 + (23412554*a + 35836507)*u^13 + (29473808*a + 45712712)*u^12 + (27088926*a + 44114838)*u^11 + (17672061*a + 31824596)*u^10 + (7639673*a + 16963653)*u^9 + (1892126*a + 6954996)*u^8 + (320419*a + 2859275)*u^7 + (342617*a + 1656789)*u^6 + (344640*a + 987261)*u^5 + (172403*a + 411678)*u^4 + (46434*a + 101190)*u^3 + (6844*a + 12043)*u^2 + (620*a + 487)*u + (29*a + 66))*v^8 + ((2*a + 5)*u^23 + (36*a + 14)*u^22 + (389*a + 874)*u^21 + (2990*a + 6701)*u^20 + (6710*a + 22214)*u^19 + (258*a + 42597)*u^18 + (3302*a + 142262)*u^17 + (294617*a + 842102)*u^16 + (1821109*a + 3490780)*u^15 + (5839028*a + 9587313)*u^14 + (11983425*a + 18527515)*u^13 + (17009415*a + 26096965)*u^12 + (17158381*a + 27094254)*u^11 + (12157767*a + 20498730)*u^10 + (5654595*a + 10872710)*u^9 + (1364663*a + 3783335)*u^8 + (-27253*a + 913901)*u^7 + (-13731*a + 420124)*u^6 + (114905*a + 354247)*u^5 + (81485*a + 186623)*u^4 + (23861*a + 52204)*u^3 + (3179*a + 6509)*u^2 + (227*a + 155)*u + (8*a + 17))*v^7 + ((a + 2)*u^22 + (24*a + 12)*u^21 + (357*a + 900)*u^20 + (2839*a + 5708)*u^19 + (3677*a + 12526)*u^18 + (-11152*a + 4588)*u^17 + (-7801*a + 54659)*u^16 + (243944*a + 574481)*u^15 + (1263791*a + 2281783)*u^14 + (3398091*a + 5442473)*u^13 + (5842717*a + 8936255)*u^12 + (6830334*a + 10549403)*u^11 + (5511202*a + 8949064)*u^10 + (2963223*a + 5254666)*u^9 + (895753*a + 1924768)*u^8 + (17829*a + 322443)*u^7 + (-73744*a + 18030)*u^6 + (8406*a + 64109)*u^5 + (25684*a + 56968)*u^4 + (9337*a + 19608)*u^3 + (1215*a + 2729)*u^2 + (63*a + 47)*u + (a + 2))*v^6 + ((9*a + 8)*u^20 + (207*a + 505)*u^19 + (1305*a + 2368)*u^18 + (26*a + 2570)*u^17 + (-9041*a - 7264)*u^16 + (1736*a + 24012)*u^15 + (135727*a + 279630)*u^14 + (538789*a + 934339)*u^13 + (1191808*a + 1865361)*u^12 + (1702188*a + 2581817)*u^11 + (1625932*a + 2554691)*u^10 + (1032920*a + 1752391)*u^9 + (399892*a + 758654)*u^8 + (53094*a + 152899)*u^7 + (-27760*a - 13358)*u^6 + (-9198*a - 2583)*u^5 + (4244*a + 10016)*u^4 + (2638*a + 5166)*u^3 + (372*a + 854)*u^2 + (12*a + 11)*u)*v^5 + ((a + 1)*u^19 + (75*a + 167)*u^18 + (283*a + 460)*u^17 + (-536*a - 150)*u^16 + (-2857*a - 3292)*u^15 + (4026*a + 11265)*u^14 + (46625*a + 89601)*u^13 + (142468*a + 238899)*u^12 + (257928*a + 393826)*u^11 + (303958*a + 460798)*u^10 + (234383*a + 381660)*u^9 + (113365*a + 204293)*u^8 + (27171*a + 56219)*u^7 + (-3025*a - 17)*u^6 + (-3582*a - 3504)*u^5 + (-45*a + 492)*u^4 + (465*a + 837)*u^3 + (89*a + 196)*u^2 + (a + 1)*u)*v^4 + ((14*a + 29)*u^17 + (23*a + 29)*u^16 + (-165*a - 127)*u^15 + (-409*a - 580)*u^14 + (1548*a + 3383)*u^13 + (9723*a + 17932)*u^12 + (23137*a + 37382)*u^11 + (34084*a + 50810)*u^10 + (33086*a + 51044)*u^9 + (20198*a + 34891)*u^8 + (6826*a + 13156)*u^7 + (460*a + 1238)*u^6 + (-535*a - 611)*u^5 + (-131*a - 112)*u^4 + (37*a + 58)*u^3 + (14*a + 29)*u^2)*v^3 + ((a + 2)*u^16 - u^15 + (-20*a - 17)*u^14 + (-23*a - 46)*u^13 + (275*a + 576)*u^12 + (1199*a + 2119)*u^11 + (2193*a + 3391)*u^10 + (2630*a + 3870)*u^9 + (2132*a + 3440)*u^8 + (967*a + 1809)*u^7 + (171*a + 347)*u^6 + (-35*a - 54)*u^5 + (-17*a - 14)*u^4 - u^3 + (a + 2)*u^2)*v^2 + ((-a - 1)*u^13 - u^12 + (25*a + 52)*u^11 + (79*a + 131)*u^10 + (107*a + 159)*u^9 + (109*a + 162)*u^8 + (75*a + 130)*u^7 + (19*a + 40)*u^6 - u^5 + (-a - 1)*u^4)*v + (a + 2)*u^10 + (2*a + 3)*u^9 + (2*a + 3)*u^8 + (2*a + 3)*u^7 + (a + 2)*u^6;
t := -(u+1)/(u*v);
x := (u+1)/v;
E := [1-t,-t,-t,0,0];
P := [R!0,0];
Q := [x];