m := 8; n := 2; g := 33; F:=NumberField(PolynomialRing(Rationals())![-2,0,1]); R:=PolynomialRing(F,2); X := (u^12 + 20*u^11 + 182*u^10 + 996*u^9 + 3649*u^8 + 9424*u^7 + 17584*u^6 + 23872*u^5 + 23392*u^4 + 16128*u^3 + 7424*u^2 + 2048*u + 256)*v^24 + ((2*a + 4)*u^14 + (54*a + 84)*u^13 + (646*a + 812)*u^12 + (4578*a + 4812)*u^11 + (21568*a + 19672)*u^10 + (71600*a + 59264)*u^9 + (172736*a + 137224)*u^8 + (307136*a + 250640)*u^7 + (402944*a + 364896)*u^6 + (385536*a + 420672)*u^5 + (261632*a + 374912)*u^4 + (119296*a + 247552)*u^3 + (32768*a + 113152)*u^2 + (4096*a + 31744)*u + 4096)*v^23 + (1/2*(a + 2)*u^16 + (4*a - 10)*u^15 + 1/2*(-215*a - 854)*u^14 + (-2159*a - 4584)*u^13 + (-18212*a - 26708)*u^12 + (-92142*a - 98668)*u^11 + (-310086*a - 241508)*u^10 + (-721012*a - 376080)*u^9 + (-1158792*a - 265292)*u^8 + (-1227952*a + 327056)*u^7 + (-707552*a + 1301008)*u^6 + (52672*a + 2121344)*u^5 + (460416*a + 2234688)*u^4 + (378112*a + 1617152)*u^3 + (144384*a + 783104)*u^2 + (22528*a + 229376)*u + 30720)*v^22 + ((2*a - 4)*u^17 + (61*a + 116)*u^16 + (908*a + 3158)*u^15 + (8151*a + 30640)*u^14 + (46970*a + 167438)*u^13 + (175394*a + 583760)*u^12 + (397234*a + 1348636)*u^11 + (343984*a + 2019744)*u^10 + (-960020*a + 1714240)*u^9 + (-4291536*a + 339256)*u^8 + (-8475600*a - 395568)*u^7 + (-10395520*a + 1425728)*u^6 + (-8290624*a + 5022336)*u^5 + (-4136704*a + 7212160)*u^4 + (-1115392*a + 6155520)*u^3 + (-81920*a + 3284992)*u^2 + (18432*a + 1024000)*u + 143360)*v^21 + ((a + 1)*u^19 + (5*a + 63)*u^18 + (-278*a + 228)*u^17 + (-4952*a - 7456)*u^16 + (-40311*a - 99972)*u^15 + 1/2*(-393651*a - 1227466)*u^14 + (-607343*a - 2297986)*u^13 + 1/2*(-2165635*a - 11400738)*u^12 + (-406137*a - 9605108)*u^11 + (3312042*a - 10992952)*u^10 + (9463416*a - 8748376)*u^9 + (12055464*a - 6079070)*u^8 + (4677632*a - 5214160)*u^7 + (-9268192*a - 2235632)*u^6 + (-17697152*a + 6240064)*u^5 + (-14725888*a + 14768608)*u^4 + (-6782720*a + 15536128)*u^3 + (-1633280*a + 9359360)*u^2 + (-151552*a + 3153920)*u + 465920)*v^20 + ((-3*a + 3)*u^20 + (-41*a - 179)*u^19 + (276*a - 2406)*u^18 + (9096*a - 3228)*u^17 + (82627*a + 113500)*u^16 + (413215*a + 990316)*u^15 + (1276150*a + 4240196)*u^14 + (2413330*a + 11251492)*u^13 + (2433239*a + 19705208)*u^12 + (1109129*a + 23349396)*u^11 + (4919184*a + 20070296)*u^10 + (25271960*a + 16470144)*u^9 + (60359680*a + 16282200)*u^8 + (83184384*a + 13251056)*u^7 + (68183040*a + 7191520)*u^6 + (27846784*a + 9961792)*u^5 + (-2059008*a + 22311424)*u^4 + (-7960832*a + 27809792)*u^3 + (-3399680*a + 19132416)*u^2 + (-491520*a + 7081984)*u + 1118208)*v^19 + (1/2*(a + 2)*u^22 + (7*a - 20)*u^21 + (-22*a - 56)*u^20 + (-1571*a + 2825)*u^19 + (-19555*a + 20889)*u^18 + (-128206*a + 2734)*u^17 + 1/2*(-987277*a - 1101058)*u^16 + (-1020273*a - 2825666)*u^15 + 1/2*(-484685*a - 12554090)*u^14 + (4743049*a - 3088076)*u^13 + (13308894*a + 20054462)*u^12 + (15563965*a + 64322892)*u^11 + (4208470*a + 108769028)*u^10 + (1566092*a + 132830576)*u^9 + (48475832*a + 134724772)*u^8 + (136535504*a + 114499312)*u^7 + (188134848*a + 73413424)*u^6 + (151402752*a + 37194240)*u^5 + (70503680*a + 30396672)*u^4 + (15701248*a + 36435968)*u^3 + (46080*a + 28700672)*u^2 + (-440320*a + 11927552)*u + 2050048)*v^18 + ((-3*a - 6)*u^23 + (-49*a - 12)*u^22 + (-52*a + 482)*u^21 + (4617*a + 3085)*u^20 + (51653*a + 7453)*u^19 + (287262*a + 44978)*u^18 + (939066*a + 369682)*u^17 + (1630740*a + 1172616)*u^16 + (75141*a - 794238)*u^15 + (-6536251*a - 17669904)*u^14 + (-14032018*a - 62803886)*u^13 + (-9078755*a - 121341284)*u^12 + (7247707*a - 140987996)*u^11 + (-2914944*a - 83557168)*u^10 + (-64027044*a + 27659200)*u^9 + (-106919760*a + 135296360)*u^8 + (-31439952*a + 188686512)*u^7 + (124155648*a + 161947392)*u^6 + (204377344*a + 88481792)*u^5 + (152359168*a + 40263168)*u^4 + (60947200*a + 34635776)*u^3 + (11870208*a + 31395840)*u^2 + (718848*a + 15228928)*u + 2928640)*v^17 + (1/2*(13*a + 28)*u^24 + (145*a + 156)*u^23 + (935*a + 288)*u^22 + (-1643*a - 3836)*u^21 + 1/2*(-113641*a - 65770)*u^20 + (-368654*a - 164387)*u^19 + (-1261547*a - 629589)*u^18 + (-2385324*a - 1410738)*u^17 + (-1752678*a + 480848)*u^16 + (1209329*a + 13629441)*u^15 + 1/2*(-4432511*a + 78993584)*u^14 + (-25310313*a + 42331538)*u^13 + 1/2*(-111072737*a - 82390508)*u^12 + (-50649062*a - 213264008)*u^11 + (-18347082*a - 362255570)*u^10 + (-58452832*a - 362194948)*u^9 + (-206548368*a - 202375729)*u^8 + (-297996528*a + 6367008)*u^7 + (-179420224*a + 123481056)*u^6 + (32907648*a + 105410688)*u^5 + (125176064*a + 42999744)*u^4 + (82585856*a + 21632512)*u^3 + (24130560*a + 23712256)*u^2 + (2629632*a + 14643200)*u + 3294720)*v^16 + ((-6*a - 16)*u^25 + (-173*a - 248)*u^24 + (-1630*a - 1398)*u^23 + (-5049*a - 2608)*u^22 + (18418*a + 8050)*u^21 + (210148*a + 67583)*u^20 + (742168*a + 229721)*u^19 + (1045418*a + 258004)*u^18 + (-711316*a - 1624122)*u^17 + (-4036383*a - 8212761)*u^16 + (-525317*a - 10725839)*u^15 + (15648164*a + 29470742)*u^14 + (21248730*a + 148777924)*u^13 + (-16742364*a + 284395136)*u^12 + (-59819092*a + 269099320)*u^11 + (-18748288*a + 25638704)*u^10 + (59166240*a - 284088000)*u^9 + (-15557904*a - 409106864)*u^8 + (-243592592*a - 278150496)*u^7 + (-350154752*a - 60720960)*u^6 + (-205210752*a + 43660928)*u^5 + (-11405056*a + 27497216)*u^4 + (49939200*a + 4591104)*u^3 + (24821760*a + 9815040)*u^2 + (3821568*a + 10250240)*u + 2928640)*v^15 + ((2*a + 10)*u^26 + (84*a + 168)*u^25 + (993*a + 1056)*u^24 + (4457*a + 2712)*u^23 + 1/2*(363*a + 1082)*u^22 + (-69980*a - 3860)*u^21 + (-206279*a + 72864)*u^20 + (217438*a + 599961)*u^19 + 1/2*(5115909*a + 5044600)*u^18 + (5886447*a + 5944630)*u^17 + (4349901*a + 2557016)*u^16 + (-1519011*a - 28982359)*u^15 + (10481846*a - 86948509)*u^14 + (52809214*a - 83282344)*u^13 + (73084180*a + 99575668)*u^12 + (21339284*a + 396290056)*u^11 + (-8110172*a + 520531224)*u^10 + (105865432*a + 297196896)*u^9 + (226093088*a - 76448600)*u^8 + (111613424*a - 260712544)*u^7 + (-140583680*a - 179315040)*u^6 + (-223133312*a - 39940352)*u^5 + (-108699136*a + 2382720)*u^4 + (-3586304*a - 6551040)*u^3 + (13859840*a - 1733120)*u^2 + (3401728*a + 4685824)*u + 2050048)*v^14 + (-4*u^27 + (-12*a - 64)*u^26 + (-190*a - 332)*u^25 + (-717*a - 64)*u^24 + (3489*a + 5596)*u^23 + (33818*a + 18936)*u^22 + (58540*a - 1444)*u^21 + (-285416*a - 173851)*u^20 + (-1541105*a - 544781)*u^19 + (-2519109*a - 173926)*u^18 + (290312*a + 5298612)*u^17 + (4512423*a + 21202173)*u^16 + (-3237499*a + 29911573)*u^15 + (-19746646*a - 30503612)*u^14 + (-2987704*a - 190019940)*u^13 + (54858260*a - 307891656)*u^12 + (62452196*a - 162927880)*u^11 + (-14915680*a + 199967296)*u^10 + (-14171656*a + 420839488)*u^9 + (155489936*a + 284760496)*u^8 + (268363408*a + 5295136)*u^7 + (139831296*a - 112636032)*u^6 + (-48665728*a - 62370560)*u^5 + (-84854016*a - 11196672)*u^4 + (-27813632*a - 7605760)*u^3 + (2359296*a - 5865472)*u^2 + (2013184*a + 745472)*u + 1118208)*v^13 + (u^28 + 16*u^27 + 72*u^26 + (-156*a - 128)*u^25 + (-2340*a - 1850)*u^24 + (-11921*a - 2448)*u^23 + (-9334*a + 20368)*u^22 + (136526*a + 86456)*u^21 + 1/2*(1016067*a + 119334)*u^20 + (277979*a - 637029)*u^19 + (-2040246*a - 3161203)*u^18 + (-4309045*a - 6676574)*u^17 + 1/2*(-1395771*a + 2131810)*u^16 + (2025478*a + 42747625)*u^15 + (-17497194*a + 99465645)*u^14 + (-45787092*a + 62201448)*u^13 + (-26174031*a - 142163420)*u^12 + (23090886*a - 344366616)*u^11 + (-9915516*a - 273952016)*u^10 + (-103412400*a + 25762480)*u^9 + (-70512832*a + 214665756)*u^8 + (93333136*a + 144233056)*u^7 + (160798976*a + 6737952)*u^6 + (69566848*a - 28949888)*u^5 + (-15538432*a - 8226368)*u^4 + (-19092736*a - 2955264)*u^3 + (-2302976*a - 4278272)*u^2 + (798720*a - 745472)*u + 465920)*v^12 + (8*u^27 + (12*a + 112)*u^26 + (194*a + 476)*u^25 + (525*a - 312)*u^24 + (-6457*a - 7860)*u^23 + (-50094*a - 14880)*u^22 + (-106500*a + 51476)*u^21 + (153799*a + 321209)*u^20 + (1063344*a + 727569)*u^19 + (1354431*a + 48964)*u^18 + (-857790*a - 5882340)*u^17 + (-1302756*a - 19552029)*u^16 + (6793010*a - 20364919)*u^15 + (9936764*a + 37121442)*u^14 + (-14102402*a + 139970732)*u^13 + (-36514490*a + 152515232)*u^12 + (-7609030*a - 15353896)*u^11 + (20450528*a - 200115248)*u^10 + (-41044176*a - 177154624)*u^9 + (-116518416*a - 7191632)*u^8 + (-71728272*a + 80767712)*u^7 + (31474688*a + 43844288)*u^6 + (54472576*a + 1556608)*u^5 + (15292160*a - 1281536)*u^4 + (-4727552*a + 753664)*u^3 + (-1925120*a - 1490944)*u^2 + (204800*a - 716800)*u + 143360)*v^11 + ((-2*a + 32)*u^26 + (56*a + 392)*u^25 + (1095*a + 1424)*u^24 + (5271*a - 1544)*u^23 + 1/2*(-4817*a - 49906)*u^22 + (-94861*a - 63324)*u^21 + (-270362*a + 14640)*u^20 + (-52729*a + 586771)*u^19 + 1/2*(1830739*a + 4367132)*u^18 + (911882*a + 3394098)*u^17 + (-1230220*a - 4145216)*u^16 + (1050486*a - 29069295)*u^15 + (12254978*a - 47531077)*u^14 + (14477734*a - 2928888)*u^13 + (-4630000*a + 95828444)*u^12 + (-8412102*a + 126408808)*u^11 + (25499756*a + 25586072)*u^10 + (33676024*a - 80417568)*u^9 + (-21881312*a - 68952152)*u^8 + (-61430416*a - 1811744)*u^7 + (-31081408*a + 19873120)*u^6 + (8217344*a + 6679040)*u^5 + (10328832*a + 962816)*u^4 + (843520*a + 1347584)*u^3 + (-680960*a - 30720)*u^2 + (30720*a - 327680)*u + 30720)*v^10 + ((-14*a + 84)*u^25 + (77*a + 928)*u^24 + (2578*a + 3154)*u^23 + (14159*a - 2156)*u^22 + (16308*a - 46622)*u^21 + (-91661*a - 156657)*u^20 + (-305387*a - 231925)*u^19 + (-144768*a + 368758)*u^18 + (383356*a + 3247510)*u^17 + (-678918*a + 7733917)*u^16 + (-3115484*a + 3257397)*u^15 + (-238298*a - 22005504)*u^14 + (7907328*a - 46564532)*u^13 + (5694106*a - 22973800)*u^12 + (-5996986*a + 38445560)*u^11 + (2118912*a + 57856096)*u^10 + (27364856*a + 12533952)*u^9 + (25335824*a - 25613232)*u^8 + (-4848880*a - 17527200)*u^7 + (-17551104*a - 88320)*u^6 + (-6082816*a + 1997824)*u^5 + (1839872*a + 251392)*u^4 + (848128*a + 567296)*u^3 + (-122880*a + 217088)*u^2 + (2048*a - 90112)*u + 4096)*v^9 + (1/2*(-85*a + 310)*u^24 + (-48*a + 1604)*u^23 + (3215*a + 5776)*u^22 + (19173*a + 3684)*u^21 + 1/2*(60785*a - 87158)*u^20 + (-46654*a - 222145)*u^19 + (-150115*a - 584543)*u^18 + (89918*a - 439166)*u^17 + (276118*a + 2482415)*u^16 + (-1141630*a + 8309523)*u^15 + (-2897292*a + 7797435)*u^14 + (-680508*a - 8367320)*u^13 + (2280415*a - 24711113)*u^12 + (-2630892*a - 14332860)*u^11 + (-8218516*a + 11985266)*u^10 + (-10080*a + 17794204)*u^9 + (11830672*a + 2771599)*u^8 + (8954288*a - 5506800)*u^7 + (-742848*a - 2519952)*u^6 + (-2734464*a - 198080)*u^5 + (-376064*a - 209696)*u^4 + (207616*a + 45824)*u^3 + (-9216*a + 100608)*u^2 - 14336*u + 256)*v^8 + ((-73*a + 202)*u^23 + (-273*a + 2000)*u^22 + (2202*a + 7986)*u^21 + (14440*a + 15429)*u^20 + (20710*a - 4665)*u^19 + (-20916*a - 174812)*u^18 + (-4226*a - 681858)*u^17 + (274616*a - 1009779)*u^16 + (339474*a + 791283)*u^15 + (-536870*a + 4942054)*u^14 + (-991704*a + 5597480)*u^13 + (519710*a - 1706140)*u^12 + (751338*a - 8372260)*u^11 + (-2912192*a - 4388936)*u^10 + (-4762512*a + 3282752)*u^9 + (-852592*a + 3818280)*u^8 + (2584336*a + 450384)*u^7 + (1491456*a - 521760)*u^6 + (-169344*a - 139712)*u^5 + (-189184*a - 110464)*u^4 + (18176*a - 44288)*u^3 + 20992*u^2 - 1024*u)*v^7 + (1/2*(-155*a + 366)*u^22 + (-358*a + 1732)*u^21 + (775*a + 7592)*u^20 + (5774*a + 21771)*u^19 + 1/2*(3119*a + 66316)*u^18 + (-22661*a - 61510)*u^17 + 1/2*(40531*a - 890402)*u^16 + (188434*a - 820027)*u^15 + 1/2*(344659*a - 147672)*u^14 + (-147567*a + 1782880)*u^13 + (50256*a + 2088792)*u^12 + (865938*a - 351228)*u^11 + (602498*a - 2084628)*u^10 + (-885732*a - 886864)*u^9 + (-1277144*a + 577060)*u^8 + (-255104*a + 483280)*u^7 + (294112*a + 79440)*u^6 + (95424*a + 24192)*u^5 + (-20608*a - 5824)*u^4 - 16128*u^3 + 1792*u^2)*v^6 + ((-52*a + 112)*u^21 + (-228*a + 991)*u^20 + (183*a + 4689)*u^19 + (987*a + 16734)*u^18 + (-5756*a + 36688)*u^17 + (-18691*a + 7147)*u^16 + (3092*a - 170807)*u^15 + (49375*a - 355580)*u^14 + (-6498*a - 114842)*u^13 + (-95998*a + 449928)*u^12 + (86610*a + 490636)*u^11 + (373680*a - 92256)*u^10 + (246940*a - 371840)*u^9 + (-105344*a - 137320)*u^8 + (-156032*a + 32272)*u^7 + (-20608*a + 22848)*u^6 + (14784*a + 13440)*u^5 + 6272*u^4 - 1792*u^3)*v^5 + (1/2*(-43*a + 88)*u^20 + (-64*a + 344)*u^19 + (159*a + 1776)*u^18 + (125*a + 7626)*u^17 + 1/2*(-6213*a + 38370)*u^16 + (-6530*a + 13975)*u^15 + 1/2*(2399*a - 82008)*u^14 + (3483*a - 92902)*u^13 + 1/2*(-64175*a - 58118)*u^12 + (-55413*a + 90412)*u^11 + (2738*a + 85992)*u^10 + (64504*a - 6616)*u^9 + (40216*a - 35678)*u^8 + (-3920*a - 14224)*u^7 + (-6944*a - 4144)*u^6 - 448*u^5 + 1120*u^4)*v^4 + ((-5*a + 10)*u^19 + (3*a + 58)*u^18 + (120*a + 376)*u^17 + (120*a + 2109)*u^16 + (-542*a + 5687)*u^15 + (-242*a + 4762)*u^14 + (2728*a - 7504)*u^13 + (1563*a - 17000)*u^12 + (-8507*a - 4940)*u^11 + (-13168*a + 11992)*u^10 + (-3848*a + 10688)*u^9 + (3792*a + 2168)*u^8 + (2128*a - 464)*u^7 - 672*u^6 - 448*u^5)*v^3 + (1/2*(-a + 2)*u^18 + 6*a*u^17 + 1/2*(71*a + 82)*u^16 + (24*a + 381)*u^15 + 1/2*(-95*a + 2108)*u^14 + (289*a + 820)*u^13 + (1106*a - 1138)*u^12 + (977*a - 2388)*u^11 + (-418*a - 1084)*u^10 + (-1028*a + 432)*u^9 + (-408*a + 564)*u^8 + 304*u^7 + 112*u^6)*v^2 + ((a - 1)*u^16 + (2*a + 5)*u^15 + (-11*a + 56)*u^14 + (-30*a + 146)*u^13 + (17*a + 124)*u^12 + (119*a - 60)*u^11 + (128*a - 176)*u^10 + (44*a - 128)*u^9 - 56*u^8 - 16*u^7)*v + 1/2*(-a + 2)*u^14 + (-3*a + 6)*u^13 + 1/2*(-13*a + 28)*u^12 + (-6*a + 16)*u^11 + (-2*a + 10)*u^10 + 4*u^9 + u^8; t := (u*v-u+2*v)/(v*(u+1)); x := (v-u)*(u*v-u+2*v)/((v+1)*u^2*(u+1)); E := [(t^2-2)/(t-2),(t-t^2)/(t^2-4*t+4),(t-t^2)/(t^2-4*t+4),0,0]; P := [R!0,0]; Q := [x];