m := 2; n := 22; g := 81; F := Rationals(); R:=PolynomialRing(F,2); X := (u^20 + 5*u^19 + 10*u^18 + 10*u^17 + 5*u^16 + u^15)*v^36 + (16*u^21 + 97*u^20 + 230*u^19 + 255*u^18 + 100*u^17 - 49*u^16 - 58*u^15 - 15*u^14)*v^35 + (120*u^22 + 860*u^21 + 2450*u^20 + 3325*u^19 + 1750*u^18 - 490*u^17 - 574*u^16 + 561*u^15 + 780*u^14 + 325*u^13 + 66*u^12 + 12*u^11 + u^10)*v^34 + (560*u^23 + 4660*u^22 + 15840*u^21 + 26940*u^20 + 21460*u^19 + 4060*u^18 + 1598*u^17 + 14682*u^16 + 17304*u^15 + 6505*u^14 - 898*u^13 - 1323*u^12 - 432*u^11 - 102*u^10 - 10*u^9)*v^33 + (1820*u^24 + 17360*u^23 + 69520*u^22 + 146390*u^21 + 164865*u^20 + 94445*u^19 + 67050*u^18 + 149532*u^17 + 178890*u^16 + 68818*u^15 - 33693*u^14 - 37654*u^13 - 9462*u^12 + 746*u^11 + 972*u^10 + 370*u^9 + 45*u^8)*v^32 + (4368*u^25 + 47320*u^24 + 220360*u^23 + 562310*u^22 + 833280*u^21 + 745731*u^20 + 616814*u^19 + 923891*u^18 + 1128264*u^17 + 497872*u^16 - 339202*u^15 - 457347*u^14 - 123848*u^13 + 46845*u^12 + 32596*u^11 + 6430*u^10 - 180*u^9 - 720*u^8 - 120*u^7)*v^31 + (8008*u^26 + 97916*u^25 + 524160*u^24 + 1587050*u^23 + 2938440*u^22 + 3498626*u^21 + 3328016*u^20 + 4024231*u^19 + 4841196*u^18 + 2570271*u^17 - 1768557*u^16 - 3210211*u^15 - 1183086*u^14 + 505063*u^13 + 472983*u^12 + 70039*u^11 - 30740*u^10 - 16540*u^9 - 3465*u^8 + 720*u^7 + 210*u^6)*v^30 + (11440*u^27 + 157300*u^26 + 958880*u^25 + 3383250*u^24 + 7548960*u^23 + 11160150*u^22 + 12223976*u^21 + 13267190*u^20 + 15064240*u^19 + 9531447*u^18 - 5423178*u^17 - 14356730*u^16 - 7645896*u^15 + 2353615*u^14 + 3835354*u^13 + 828385*u^12 - 448220*u^11 - 232311*u^10 - 27950*u^9 + 12990*u^8 + 7848*u^7 - 84*u^6 - 252*u^5)*v^29 + (12870*u^28 + 198770*u^27 + 1369940*u^26 + 5550610*u^25 + 14546170*u^24 + 25711460*u^23 + 32398016*u^22 + 34165138*u^21 + 35608152*u^20 + 25718842*u^19 - 9433522*u^18 - 42549619*u^17 - 32403390*u^16 + 4190373*u^15 + 18676383*u^14 + 7100905*u^13 - 2583113*u^12 - 2221598*u^11 - 217754*u^10 + 176955*u^9 + 84477*u^8 + 9043*u^7 - 8315*u^6 - 756*u^5 + 210*u^4)*v^28 + (11440*u^29 + 198770*u^28 + 1541540*u^27 + 7089940*u^26 + 21415080*u^25 + 44199260*u^24 + 63886668*u^23 + 69434288*u^22 + 66411088*u^21 + 51601694*u^20 - 4651192*u^19 - 83002376*u^18 - 90006736*u^17 - 6645802*u^16 + 56783220*u^15 + 36436591*u^14 - 5464284*u^13 - 12808490*u^12 - 2598084*u^11 + 1386206*u^10 + 664726*u^9 + 74888*u^8 - 59272*u^7 - 27789*u^6 + 4170*u^5 + 1080*u^4 - 120*u^3)*v^27 + (8008*u^30 + 157300*u^29 + 1369940*u^28 + 7089940*u^27 + 24335300*u^26 + 57717430*u^25 + 95410564*u^24 + 111511572*u^23 + 100923272*u^22 + 79476380*u^21 + 21606376*u^20 - 95612844*u^19 - 159233617*u^18 - 49734274*u^17 + 108474664*u^16 + 113878754*u^15 + 7767444*u^14 - 43282163*u^13 - 18537142*u^12 + 4635576*u^11 + 4330084*u^10 + 467182*u^9 - 304692*u^8 - 192734*u^7 - 13989*u^6 + 24993*u^5 + 195*u^4 - 780*u^3 + 45*u^2)*v^26 + (4368*u^31 + 97916*u^30 + 958880*u^29 + 5550610*u^28 + 21415080*u^27 + 57717430*u^26 + 108948148*u^25 + 141374850*u^24 + 128241184*u^23 + 98796512*u^22 + 70380876*u^21 - 22961642*u^20 - 151278016*u^19 - 106420192*u^18 + 121649138*u^17 + 220834990*u^16 + 67804748*u^15 - 85976500*u^14 - 70954886*u^13 + 957913*u^12 + 17675126*u^11 + 4107036*u^10 - 1342496*u^9 - 787824*u^8 - 180434*u^7 + 86830*u^6 + 47358*u^5 - 10215*u^4 - 1580*u^3 + 330*u^2 - 10*u)*v^25 + (1820*u^32 + 47320*u^31 + 524160*u^30 + 3383250*u^29 + 14546170*u^28 + 44199260*u^27 + 95410564*u^26 + 141374850*u^25 + 138619580*u^24 + 106597254*u^23 + 120832402*u^22 + 133813656*u^21 + 18348468*u^20 - 90592120*u^19 + 48750580*u^18 + 248578184*u^17 + 157243311*u^16 - 95622460*u^15 - 156937905*u^14 - 35756900*u^13 + 39609673*u^12 + 21420126*u^11 - 2083224*u^10 - 3107650*u^9 - 620730*u^8 + 51537*u^7 + 201377*u^6 + 28259*u^5 - 30340*u^4 + 550*u^3 + 951*u^2 - 78*u + 1)*v^24 + (560*u^33 + 17360*u^32 + 220360*u^31 + 1587050*u^30 + 7548960*u^29 + 25711460*u^28 + 63886668*u^27 + 111511572*u^26 + 128241184*u^25 + 106597254*u^24 + 142473332*u^23 + 271506702*u^22 + 278873808*u^21 + 52251670*u^20 - 77379656*u^19 + 83090840*u^18 + 166441320*u^17 - 39882292*u^16 - 204033880*u^15 - 106215250*u^14 + 44088304*u^13 + 57753393*u^12 + 7201800*u^11 - 8841320*u^10 - 2502202*u^9 - 26409*u^8 + 198132*u^7 + 219540*u^6 - 28958*u^5 - 41180*u^4 + 7766*u^3 + 1210*u^2 - 258*u + 8)*v^23 + (120*u^34 + 4660*u^33 + 69520*u^32 + 562310*u^31 + 2938440*u^30 + 11160150*u^29 + 32398016*u^28 + 69434288*u^27 + 100923272*u^26 + 98796512*u^25 + 120832402*u^24 + 271506702*u^23 + 408599932*u^22 + 212394258*u^21 - 174409502*u^20 - 230001310*u^19 + 8390464*u^18 + 45034200*u^17 - 124184222*u^16 - 138848534*u^15 + 11428078*u^14 + 84205734*u^13 + 33865429*u^12 - 12268695*u^11 - 9335745*u^10 - 331716*u^9 + 101941*u^8 + 183900*u^7 + 200864*u^6 - 66763*u^5 - 31028*u^4 + 14886*u^3 + 119*u^2 - 462*u + 28)*v^22 + (16*u^35 + 860*u^34 + 15840*u^33 + 146390*u^32 + 833280*u^31 + 3498626*u^30 + 12223976*u^29 + 34165138*u^28 + 66411088*u^27 + 79476380*u^26 + 70380876*u^25 + 133813656*u^24 + 278873808*u^23 + 212394258*u^22 - 205909124*u^21 - 480299890*u^20 - 228317000*u^19 + 105067618*u^18 + 80101300*u^17 - 59410554*u^16 - 29184584*u^15 + 59201766*u^14 + 52444732*u^13 - 3640290*u^12 - 18590894*u^11 - 3680025*u^10 + 1280966*u^9 - 139529*u^8 + 261794*u^7 + 199065*u^6 - 76498*u^5 - 16265*u^4 + 15010*u^3 - 1696*u^2 - 462*u + 56)*v^21 + (u^36 + 97*u^35 + 2450*u^34 + 26940*u^33 + 164865*u^32 + 745731*u^31 + 3328016*u^30 + 13267190*u^29 + 35608152*u^28 + 51601694*u^27 + 21606376*u^26 - 22961642*u^25 + 18348468*u^24 + 52251670*u^23 - 174409502*u^22 - 480299890*u^21 - 341542054*u^20 + 129941256*u^19 + 299880488*u^18 + 102178828*u^17 - 41808070*u^16 - 12802260*u^15 + 27998798*u^14 + 8719038*u^13 - 16800730*u^12 - 9646434*u^11 + 2570975*u^10 + 1407701*u^9 - 361924*u^8 + 334360*u^7 + 129144*u^6 - 82829*u^5 - 8908*u^4 + 10126*u^3 - 2379*u^2 - 210*u + 70)*v^20 + (5*u^36 + 230*u^35 + 3325*u^34 + 21460*u^33 + 94445*u^32 + 616814*u^31 + 4024231*u^30 + 15064240*u^29 + 25718842*u^28 - 4651192*u^27 - 95612844*u^26 - 151278016*u^25 - 90592120*u^24 - 77379656*u^23 - 230001310*u^22 - 228317000*u^21 + 129941256*u^20 + 395027240*u^19 + 230882050*u^18 - 33251420*u^17 - 86682262*u^16 - 24243072*u^15 + 9219140*u^14 + 38724*u^13 - 8420342*u^12 + 173032*u^11 + 4119884*u^10 + 118300*u^9 - 578758*u^8 + 243118*u^7 + 21938*u^6 - 66166*u^5 - 1890*u^4 + 5906*u^3 - 1622*u^2 + 42*u + 56)*v^19 + (10*u^36 + 255*u^35 + 1750*u^34 + 4060*u^33 + 67050*u^32 + 923891*u^31 + 4841196*u^30 + 9531447*u^29 - 9433522*u^28 - 83002376*u^27 - 159233617*u^26 - 106420192*u^25 + 48750580*u^24 + 83090840*u^23 + 8390464*u^22 + 105067618*u^21 + 299880488*u^20 + 230882050*u^19 - 27288904*u^18 - 127754562*u^17 - 59467996*u^16 + 4768294*u^15 + 16467302*u^14 + 2671176*u^13 - 3822482*u^12 + 1663200*u^11 + 1915499*u^10 - 991286*u^9 - 464465*u^8 + 172574*u^7 - 12981*u^6 - 24136*u^5 + 4189*u^4 + 2886*u^3 - 740*u^2 + 102*u + 28)*v^18 + (10*u^36 + 100*u^35 - 490*u^34 + 1598*u^33 + 149532*u^32 + 1128264*u^31 + 2570271*u^30 - 5423178*u^29 - 42549619*u^28 - 90006736*u^27 - 49734274*u^26 + 121649138*u^25 + 248578184*u^24 + 166441320*u^23 + 45034200*u^22 + 80101300*u^21 + 102178828*u^20 - 33251420*u^19 - 127754562*u^18 - 68002880*u^17 + 6160586*u^16 + 21214252*u^15 + 10251846*u^14 - 3426500*u^13 - 4832414*u^12 + 812448*u^11 + 654436*u^10 - 724574*u^9 - 30926*u^8 + 145558*u^7 - 12878*u^6 + 2490*u^5 + 3570*u^4 + 346*u^3 - 366*u^2 + 48*u + 8)*v^17 + (5*u^36 - 49*u^35 - 574*u^34 + 14682*u^33 + 178890*u^32 + 497872*u^31 - 1768557*u^30 - 14356730*u^29 - 32403390*u^28 - 6645802*u^27 + 108474664*u^26 + 220834990*u^25 + 157243311*u^24 - 39882292*u^23 - 124184222*u^22 - 59410554*u^21 - 41808070*u^20 - 86682262*u^19 - 59467996*u^18 + 6160586*u^17 + 20640132*u^16 + 9017464*u^15 + 947994*u^14 - 4597674*u^13 - 2110264*u^12 + 1628512*u^11 + 562290*u^10 - 210972*u^9 + 146311*u^8 + 48832*u^7 - 28224*u^6 + 5244*u^5 + 910*u^4 - 660*u^3 - 196*u^2 + 8*u + 1)*v^16 + (u^36 - 58*u^35 + 561*u^34 + 17304*u^33 + 68818*u^32 - 339202*u^31 - 3210211*u^30 - 7645896*u^29 + 4190373*u^28 + 56783220*u^27 + 113878754*u^26 + 67804748*u^25 - 95622460*u^24 - 204033880*u^23 - 138848534*u^22 - 29184584*u^21 - 12802260*u^20 - 24243072*u^19 + 4768294*u^18 + 21214252*u^17 + 9017464*u^16 + 3454264*u^15 + 1958128*u^14 - 1162004*u^13 + 211588*u^12 + 1126012*u^11 - 68904*u^10 - 181812*u^9 + 77704*u^8 - 21384*u^7 - 27876*u^6 + 3784*u^5 + 492*u^4 - 384*u^3 - 64*u^2)*v^15 - (15*u^35 - 780*u^34 - 6505*u^33 + 33693*u^32 + 457347*u^31 + 1183086*u^30 - 2353615*u^29 - 18676383*u^28 - 36436591*u^27 - 7767444*u^26 + 85976500*u^25 + 156937905*u^24 + 106215250*u^23 - 11428078*u^22 - 59201766*u^21 - 27998798*u^20 - 9219140*u^19 - 16467302*u^18 - 10251846*u^17 - 947994*u^16 - 1958128*u^15 - 772240*u^14 + 1350854*u^13 + 196892*u^12 - 45816*u^11 + 402626*u^10 + 106900*u^9 - 64476*u^8 + 10332*u^7 + 10544*u^6 - 3036*u^5 - 560*u^4 + 64*u^3 + 8*u^2)*v^14 + (325*u^34 - 898*u^33 - 37654*u^32 - 123848*u^31 + 505063*u^30 + 3835354*u^29 + 7100905*u^28 - 5464284*u^27 - 43282163*u^26 - 70954886*u^25 - 35756900*u^24 + 44088304*u^23 + 84205734*u^22 + 52444732*u^21 + 8719038*u^20 + 38724*u^19 + 2671176*u^18 - 3426500*u^17 - 4597674*u^16 - 1162004*u^15 - 1350854*u^14 - 1151628*u^13 + 153550*u^12 + 87668*u^11 - 152424*u^10 + 17044*u^9 + 54924*u^8 + 2536*u^7 - 1596*u^6 + 1344*u^5 + 224*u^4)*v^13 + (66*u^34 - 1323*u^33 - 9462*u^32 + 46845*u^31 + 472983*u^30 + 828385*u^29 - 2583113*u^28 - 12808490*u^27 - 18537142*u^26 + 957913*u^25 + 39609673*u^24 + 57753393*u^23 + 33865429*u^22 - 3640290*u^21 - 16800730*u^20 - 8420342*u^19 - 3822482*u^18 - 4832414*u^17 - 2110264*u^16 + 211588*u^15 - 196892*u^14 + 153550*u^13 + 556168*u^12 + 163716*u^11 - 38090*u^10 + 6304*u^9 + 11308*u^8 - 2364*u^7 - 784*u^6 + 224*u^5 + 28*u^4)*v^12 + (12*u^34 - 432*u^33 + 746*u^32 + 32596*u^31 + 70039*u^30 - 448220*u^29 - 2221598*u^28 - 2598084*u^27 + 4635576*u^26 + 17675126*u^25 + 21420126*u^24 + 7201800*u^23 - 12268695*u^22 - 18590894*u^21 - 9646434*u^20 + 173032*u^19 + 1663200*u^18 + 812448*u^17 + 1628512*u^16 + 1126012*u^15 + 45816*u^14 + 87668*u^13 + 163716*u^12 - 7188*u^11 - 32944*u^10 - 6708*u^9 - 3156*u^8 - 2688*u^7 - 448*u^6)*v^11 + (u^34 - 102*u^33 + 972*u^32 + 6430*u^31 - 30740*u^30 - 232311*u^29 - 217754*u^28 + 1386206*u^27 + 4330084*u^26 + 4107036*u^25 - 2083224*u^24 - 8841320*u^23 - 9335745*u^22 - 3680025*u^21 + 2570975*u^20 + 4119884*u^19 + 1915499*u^18 + 654436*u^17 + 562290*u^16 - 68904*u^15 - 402626*u^14 - 152424*u^13 - 38090*u^12 - 32944*u^11 - 2008*u^10 + 4456*u^9 + 392*u^8 - 448*u^7 - 56*u^6)*v^10 - (10*u^33 - 370*u^32 + 180*u^31 + 16540*u^30 + 27950*u^29 - 176955*u^28 - 664726*u^27 - 467182*u^26 + 1342496*u^25 + 3107650*u^24 + 2502202*u^23 + 331716*u^22 - 1280966*u^21 - 1407701*u^20 - 118300*u^19 + 991286*u^18 + 724574*u^17 + 210972*u^16 + 181812*u^15 + 106900*u^14 - 17044*u^13 - 6304*u^12 + 6708*u^11 - 4456*u^10 - 3360*u^9 - 560*u^8)*v^9 + (45*u^32 - 720*u^31 - 3465*u^30 + 12990*u^29 + 84477*u^28 + 74888*u^27 - 304692*u^26 - 787824*u^25 - 620730*u^24 - 26409*u^23 + 101941*u^22 - 139529*u^21 - 361924*u^20 - 578758*u^19 - 464465*u^18 - 30926*u^17 + 146311*u^16 + 77704*u^15 + 64476*u^14 + 54924*u^13 + 11308*u^12 - 3156*u^11 + 392*u^10 + 560*u^9 + 70*u^8)*v^8 - (120*u^31 - 720*u^30 - 7848*u^29 - 9043*u^28 + 59272*u^27 + 192734*u^26 + 180434*u^25 - 51537*u^24 - 198132*u^23 - 183900*u^22 - 261794*u^21 - 334360*u^20 - 243118*u^19 - 172574*u^18 - 145558*u^17 - 48832*u^16 + 21384*u^15 + 10332*u^14 - 2536*u^13 + 2364*u^12 + 2688*u^11 + 448*u^10)*v^7 + (210*u^30 - 84*u^29 - 8315*u^28 - 27789*u^27 - 13989*u^26 + 86830*u^25 + 201377*u^24 + 219540*u^23 + 200864*u^22 + 199065*u^21 + 129144*u^20 + 21938*u^19 - 12981*u^18 - 12878*u^17 - 28224*u^16 - 27876*u^15 - 10544*u^14 - 1596*u^13 - 784*u^12 - 448*u^11 - 56*u^10)*v^6 - (252*u^29 + 756*u^28 - 4170*u^27 - 24993*u^26 - 47358*u^25 - 28259*u^24 + 28958*u^23 + 66763*u^22 + 76498*u^21 + 82829*u^20 + 66166*u^19 + 24136*u^18 - 2490*u^17 - 5244*u^16 - 3784*u^15 - 3036*u^14 - 1344*u^13 - 224*u^12)*v^5 + (210*u^28 + 1080*u^27 + 195*u^26 - 10215*u^25 - 30340*u^24 - 41180*u^23 - 31028*u^22 - 16265*u^21 - 8908*u^20 - 1890*u^19 + 4189*u^18 + 3570*u^17 + 910*u^16 + 492*u^15 + 560*u^14 + 224*u^13 + 28*u^12)*v^4 - (120*u^27 + 780*u^26 + 1580*u^25 - 550*u^24 - 7766*u^23 - 14886*u^22 - 15010*u^21 - 10126*u^20 - 5906*u^19 - 2886*u^18 - 346*u^17 + 660*u^16 + 384*u^15 + 64*u^14)*v^3 + (45*u^26 + 330*u^25 + 951*u^24 + 1210*u^23 + 119*u^22 - 1696*u^21 - 2379*u^20 - 1622*u^19 - 740*u^18 - 366*u^17 - 196*u^16 - 64*u^15 - 8*u^14)*v^2 - (10*u^25 + 78*u^24 + 258*u^23 + 462*u^22 + 462*u^21 + 210*u^20 - 42*u^19 - 102*u^18 - 48*u^17 - 8*u^16)*v + u^24 + 8*u^23 + 28*u^22 + 56*u^21 + 70*u^20 + 56*u^19 + 28*u^18 + 8*u^17 + u^16; 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)];