swh:1:snp:e69952b3901aec538b122ef9c4d0ac0702cf4353
Tip revision: a9827241a890603ba5329b0db8b5f26d7c84a0f6 authored by Maarten Derickx on 07 September 2016, 15:02:17 UTC
Update README.md
Update README.md
Tip revision: a982724
X1_4_28.txt
N := 7;
X := (u^30 - u^28 + u^26 - u^24 + u^22 - u^20 + u^18)*v^48 + (42*u^31 + 6*u^30 - 56*u^29 + 8*u^28 + 42*u^27 + 6*u^26 - 56*u^25 + 8*u^24 + 42*u^23 + 6*u^22 - 56*u^21 + 8*u^20 + 42*u^19 + 6*u^18)*v^47 + (u^42 - 2*u^41 + 4*u^40 - 6*u^39 + 10*u^38 - 14*u^37 + 20*u^36 - 26*u^35 + 35*u^34 - 44*u^33 + 917*u^32 + 142*u^31 - 1280*u^30 + 82*u^29 + 1196*u^28 - 110*u^27 - 1091*u^26 - 44*u^25 + 1259*u^24 - 110*u^23 - 1154*u^22 + 82*u^21 + 1070*u^20 + 142*u^19 + 71*u^18 - 44*u^17 + 35*u^16 - 26*u^15 + 20*u^14 - 14*u^13 + 10*u^12 - 6*u^11 + 4*u^10 - 2*u^9 + u^8)*v^46 + (30*u^43 - 46*u^42 + 64*u^41 - 44*u^40 + 44*u^39 + 16*u^38 - 80*u^37 + 220*u^36 - 326*u^35 + 506*u^34 + 10840*u^33 + 4268*u^32 - 21046*u^31 + 2038*u^30 + 18400*u^29 - 1604*u^28 - 17952*u^27 + 904*u^26 + 18232*u^25 - 540*u^24 - 19786*u^23 + 3634*u^22 + 14200*u^21 + 5452*u^20 - 956*u^19 + 1212*u^18 - 920*u^17 + 740*u^16 - 496*u^15 + 356*u^14 - 200*u^13 + 140*u^12 - 48*u^11 + 28*u^10 + 16*u^8)*v^45 + (435*u^44 - 480*u^43 + 241*u^42 + 708*u^41 - 1203*u^40 + 2352*u^39 - 3161*u^38 + 4572*u^37 - 4607*u^36 + 5268*u^35 + 107107*u^34 + 39840*u^33 - 211344*u^32 - 10832*u^31 + 247185*u^30 - 53708*u^29 - 180916*u^28 - 7640*u^27 + 231771*u^26 - 36740*u^25 - 198241*u^24 + 15712*u^23 + 188595*u^22 + 48268*u^21 + 7881*u^20 - 2460*u^19 + 4327*u^18 - 2832*u^17 + 3268*u^16 - 1728*u^15 + 1789*u^14 - 348*u^13 + 867*u^12 - 192*u^11 + 466*u^10 + 240*u^9 + 120*u^8)*v^44 + (4060*u^45 - 2900*u^44 - 3140*u^43 + 14344*u^42 - 15708*u^41 + 18336*u^40 - 15370*u^39 + 18110*u^38 - 9236*u^37 + 16768*u^36 + 820348*u^35 + 303676*u^34 - 1718988*u^33 - 165712*u^32 + 2138024*u^31 - 271692*u^30 - 1999288*u^29 + 402220*u^28 + 1647050*u^27 + 11838*u^26 - 2104228*u^25 + 437728*u^24 + 1460264*u^23 + 710052*u^22 - 139692*u^21 + 125088*u^20 - 58178*u^19 + 49906*u^18 - 15404*u^17 + 19576*u^16 - 906*u^15 + 14094*u^14 + 3180*u^13 + 4488*u^12 + 4972*u^11 + 5824*u^10 + 2240*u^9 + 560*u^8)*v^43 + (u^52 - 6*u^51 + 26*u^50 - 86*u^49 + 247*u^48 - 628*u^47 + 28873*u^46 - 13338*u^45 - 45081*u^44 + 109780*u^43 - 52448*u^42 - 23452*u^41 + 111855*u^40 - 116914*u^39 + 159739*u^38 - 12408*u^37 + 4969508*u^36 + 1796508*u^35 - 11049290*u^34 - 1904376*u^33 + 15451871*u^32 - 1695762*u^31 - 14887818*u^30 + 2690766*u^29 + 13495116*u^28 - 2569790*u^27 - 12511499*u^26 + 304008*u^25 + 13692605*u^24 + 3051954*u^23 + 659226*u^22 - 751030*u^21 + 969511*u^20 - 598764*u^19 + 629045*u^18 - 297498*u^17 + 334878*u^16 - 34182*u^15 + 164057*u^14 - 232*u^13 + 102223*u^12 + 58438*u^11 + 45305*u^10 + 7732*u^9 + 3288*u^8 - 628*u^7 + 247*u^6 - 86*u^5 + 26*u^4 - 6*u^3 + u^2)*v^42 + (20*u^53 - 104*u^52 + 396*u^51 - 1120*u^50 + 2760*u^49 - 5936*u^48 + 154306*u^47 - 32738*u^46 - 361640*u^45 + 593664*u^44 + 81980*u^43 - 775816*u^42 + 986388*u^41 - 257540*u^40 - 503580*u^39 + 2492480*u^38 + 21311124*u^37 + 11700464*u^36 - 61635496*u^35 - 10697184*u^34 + 86700860*u^33 - 2536452*u^32 - 97827188*u^31 + 21220532*u^30 + 81227448*u^29 - 16014208*u^28 - 80971232*u^27 + 10452944*u^26 + 74349564*u^25 + 32952428*u^24 - 12908740*u^23 + 7951900*u^22 - 4645472*u^21 + 6014092*u^20 - 3586932*u^19 + 4395248*u^18 - 2007324*u^17 + 3231116*u^16 - 736936*u^15 + 1542404*u^14 + 154944*u^13 + 1108720*u^12 + 241842*u^11 + 261862*u^10 - 15520*u^9 + 27848*u^8 - 10066*u^7 + 4002*u^6 - 1400*u^5 + 444*u^4 - 106*u^3 + 22*u^2)*v^41 + (190*u^54 - 840*u^53 + 2706*u^52 - 6032*u^51 + 11389*u^50 - 16896*u^49 + 615220*u^48 + 74292*u^47 - 2104662*u^46 + 2451132*u^45 + 2064895*u^44 - 5470536*u^43 + 3456848*u^42 + 3785408*u^41 - 9237051*u^40 + 17548508*u^39 + 86164070*u^38 + 37662428*u^37 - 257504099*u^36 - 82039368*u^35 + 443139381*u^34 - 16498832*u^33 - 486790542*u^32 + 71957720*u^31 + 476433086*u^30 - 138870408*u^29 - 391806898*u^28 + 34415600*u^27 + 424657466*u^26 + 139918992*u^25 - 45899133*u^24 - 15281624*u^23 + 38538220*u^22 - 23433968*u^21 + 32434822*u^20 - 17739232*u^19 + 25843845*u^18 - 7145136*u^17 + 17622828*u^16 - 3652812*u^15 + 12042822*u^14 + 2448204*u^13 + 6262393*u^12 + 270424*u^11 + 1181980*u^10 - 289296*u^9 + 184228*u^8 - 76100*u^7 + 31110*u^6 - 10788*u^5 + 3649*u^4 - 840*u^3 + 231*u^2)*v^40 + (1140*u^55 - 4180*u^54 + 10580*u^53 - 14368*u^52 + 8458*u^51 + 29978*u^50 + 1927372*u^49 + 917788*u^48 - 8921886*u^47 + 6921634*u^46 + 15376464*u^45 - 26742432*u^44 + 5025848*u^43 + 32835348*u^42 - 45660904*u^41 + 56282128*u^40 + 336644340*u^39 + 55552320*u^38 - 924172900*u^37 - 353823960*u^36 + 1755383690*u^35 + 124444798*u^34 - 2304775172*u^33 + 411227108*u^32 + 2052646216*u^31 - 476106640*u^30 - 2057715208*u^29 + 477278816*u^28 + 1711470340*u^27 + 832561196*u^26 - 510447940*u^25 + 63174324*u^24 + 47078044*u^23 + 74431124*u^22 - 37046712*u^21 + 109723684*u^20 - 35881278*u^19 + 117776082*u^18 - 18592528*u^17 + 77111672*u^16 + 8498376*u^15 + 65771244*u^14 + 12808968*u^13 + 22557392*u^12 - 1719410*u^11 + 4183894*u^10 - 1533828*u^9 + 841388*u^8 - 356858*u^7 + 154982*u^6 - 51432*u^5 + 19780*u^4 - 3780*u^3 + 1540*u^2)*v^39 + (4845*u^56 - 14250*u^55 + 23560*u^54 + 9850*u^53 - 117823*u^52 + 360208*u^51 + 5192699*u^50 + 3488250*u^49 - 28452606*u^48 + 11321794*u^47 + 72879323*u^46 - 93356040*u^45 - 31369025*u^44 + 172376862*u^43 - 149698133*u^42 + 100687060*u^41 + 1128877599*u^40 + 593282*u^39 - 3076473173*u^38 - 958625912*u^37 + 5785402078*u^36 + 975460436*u^35 - 8711531606*u^34 + 880829664*u^33 + 8949244945*u^32 - 2683402114*u^31 - 7605427782*u^30 + 1208084606*u^29 + 8137729232*u^28 + 1824566546*u^27 - 1272528669*u^26 - 1106799928*u^25 + 1392175566*u^24 - 495013868*u^23 + 491667346*u^22 - 94818240*u^21 + 415123559*u^20 + 56320070*u^19 + 375830694*u^18 + 30482926*u^17 + 353337985*u^16 + 148716732*u^15 + 235555763*u^14 + 35225582*u^13 + 58008155*u^12 - 10137852*u^11 + 11788088*u^10 - 5047420*u^9 + 2816234*u^8 - 1138536*u^7 + 566887*u^6 - 160398*u^5 + 82840*u^4 - 9310*u^3 + 7315*u^2)*v^38 + (15504*u^57 - 34884*u^56 + 14364*u^55 + 197296*u^54 - 610752*u^53 + 1181724*u^52 + 12922772*u^51 + 7636748*u^50 - 73298516*u^49 + 5073576*u^48 + 241620288*u^47 - 222327756*u^46 - 285496724*u^45 + 665289376*u^44 - 310550078*u^43 - 54050706*u^42 + 3178072792*u^41 - 181675172*u^40 - 9262769230*u^39 - 1878702690*u^38 + 17019141700*u^37 + 3371976400*u^36 - 27263838810*u^35 + 311591350*u^34 + 32086862228*u^33 - 8172415328*u^32 - 29962014060*u^31 + 8115368040*u^30 + 26157888968*u^29 + 8997969316*u^28 - 10872788370*u^27 + 128434518*u^26 + 999167084*u^25 + 2905338692*u^24 - 2425493528*u^23 + 2941148776*u^22 - 758100020*u^21 + 2133751756*u^20 + 159910254*u^19 + 1346458806*u^18 + 714615384*u^17 + 1448093568*u^16 + 631176422*u^15 + 572619518*u^14 + 56642588*u^13 + 115190972*u^12 - 28958362*u^11 + 27479978*u^10 - 11422612*u^9 + 7564244*u^8 - 2430556*u^7 + 1719972*u^6 - 276336*u^5 + 295944*u^4 - 2394*u^3 + 26334*u^2)*v^37 + (u^60 - 12*u^59 + 38849*u^58 - 62512*u^57 - 98486*u^56 + 766024*u^55 - 1568881*u^54 + 1798252*u^53 + 29800469*u^52 + 10541108*u^51 - 163807899*u^50 - 22042800*u^49 + 611251726*u^48 - 367834040*u^47 - 1158653677*u^46 + 1778267628*u^45 + 101921296*u^44 - 1442354924*u^43 + 7711831435*u^42 - 525140096*u^41 - 24056259360*u^40 - 3496844096*u^39 + 46359440443*u^38 + 6782399188*u^37 - 73132857434*u^36 - 4874047336*u^35 + 96884169763*u^34 - 18518514924*u^33 - 100335378243*u^32 + 26975080960*u^31 + 91053123167*u^30 + 14190358628*u^29 - 30504627265*u^28 - 13838649548*u^27 + 20073974808*u^26 - 4507927748*u^25 + 5337433615*u^24 - 3971429848*u^23 + 10070144546*u^22 - 2545154368*u^21 + 8238252468*u^20 - 213940200*u^19 + 6692600908*u^18 + 3365596312*u^17 + 4475068216*u^16 + 1276928136*u^15 + 1087371716*u^14 + 16785400*u^13 + 210055546*u^12 - 55998884*u^11 + 60402370*u^10 - 16555324*u^9 + 18892795*u^8 - 2298240*u^7 + 4995622*u^6 + 192376*u^5 + 941251*u^4 + 80900*u^3 + 74702*u^2 - 12*u + 1)*v^36 + (12*u^61 - 132*u^60 + 78430*u^59 - 82246*u^58 - 429132*u^57 + 1809944*u^56 - 2296330*u^55 - 261474*u^54 + 60187196*u^53 + 10625712*u^52 - 332460158*u^51 - 59543506*u^50 + 1273638864*u^49 - 439235028*u^48 - 3141912006*u^47 + 3393393498*u^46 + 2897006124*u^45 - 5595215504*u^44 + 13978302236*u^43 + 1907636136*u^42 - 56234288708*u^41 - 4136151528*u^40 + 110185355316*u^39 + 13704515592*u^38 - 182420736524*u^37 - 10325814912*u^36 + 241836521656*u^35 - 23654105320*u^34 - 294522015088*u^33 + 73683282748*u^32 + 276726672822*u^31 + 21108772270*u^30 - 119516266908*u^29 - 20546092536*u^28 + 38717232510*u^27 + 23899079090*u^26 - 27733569772*u^25 + 26890902868*u^24 - 6449117548*u^23 + 27597797724*u^22 - 5690218052*u^21 + 25715603108*u^20 + 3308511382*u^19 + 26112366146*u^18 + 7003192040*u^17 + 10612511248*u^16 + 523721022*u^15 + 2272402378*u^14 - 360980340*u^13 + 535091796*u^12 - 109174094*u^11 + 166747914*u^10 - 7539612*u^9 + 54142564*u^8 + 7059624*u^7 + 15234040*u^6 + 3147628*u^5 + 2664276*u^4 + 377674*u^3 + 172406*u^2 - 264*u + 24)*v^35 + (66*u^62 - 660*u^61 + 130156*u^60 - 78160*u^59 - 1023856*u^58 + 3016664*u^57 - 1177987*u^56 - 7606698*u^55 + 99504754*u^54 + 18028006*u^53 - 613600340*u^52 - 76627430*u^51 + 2320449339*u^50 - 420587268*u^49 - 6554120289*u^48 + 4932460766*u^47 + 10328049652*u^46 - 12322532942*u^45 + 15500589878*u^44 + 13270884562*u^43 - 110332926362*u^42 - 10155944254*u^41 + 240780903576*u^40 + 14871842166*u^39 - 396729782228*u^38 - 27225121798*u^37 + 562570310888*u^36 - 49207287510*u^35 - 693425556149*u^34 + 114151052412*u^33 + 785485148747*u^32 - 9921165954*u^31 - 374969715366*u^30 - 47813221906*u^29 + 150124694176*u^28 + 25296373554*u^27 - 27160059809*u^26 - 11388481692*u^25 + 76612593900*u^24 - 17217022156*u^23 + 69875688204*u^22 - 5774983860*u^21 + 81465940110*u^20 + 23190989180*u^19 + 66066213770*u^18 + 2861792840*u^17 + 21774787754*u^16 - 4832970976*u^15 + 6314495556*u^14 - 1975546752*u^13 + 1944730316*u^12 - 343894000*u^11 + 605738421*u^10 + 30739250*u^9 + 184898975*u^8 + 43092356*u^7 + 46715982*u^6 + 11794720*u^5 + 6662824*u^4 + 1010300*u^3 + 338306*u^2 - 2760*u + 276)*v^34 + (220*u^63 - 1980*u^62 + 179332*u^61 - 49132*u^60 - 1768354*u^59 + 3770894*u^58 + 2920660*u^57 - 18754620*u^56 + 127836338*u^55 + 52403786*u^54 - 987836996*u^53 - 87228708*u^52 + 3843850396*u^51 - 473369636*u^50 - 11362796216*u^49 + 5864917560*u^48 + 23548105146*u^47 - 18973355718*u^46 + 2562788052*u^45 + 33392339284*u^44 - 167385012768*u^43 - 43295206408*u^42 + 466616121580*u^41 + 16047256748*u^40 - 795072932852*u^39 - 24223802420*u^38 + 1134307877500*u^37 - 59048574580*u^36 - 1521141166710*u^35 + 242021590274*u^34 + 1755294731608*u^33 + 71343547848*u^32 - 1223368422174*u^31 + 45185010650*u^30 + 383997402980*u^29 + 98991865188*u^28 - 163960870912*u^27 + 43419856976*u^26 + 79764411300*u^25 + 108256569604*u^24 - 12046206924*u^23 + 168947696060*u^22 + 42899283548*u^21 + 221565659116*u^20 + 47878422362*u^19 + 113879817050*u^18 - 20470434296*u^17 + 43068727832*u^16 - 17814737658*u^15 + 17800992662*u^14 - 6340147268*u^13 + 6620658044*u^12 - 1142576928*u^11 + 2153152248*u^10 + 98845044*u^9 + 618232564*u^8 + 123463468*u^7 + 130870972*u^6 + 26949092*u^5 + 14870900*u^4 + 1739646*u^3 + 614262*u^2 - 18216*u + 2024)*v^33 + (495*u^64 - 3960*u^63 + 204809*u^62 - 8312*u^61 - 2416877*u^60 + 3690408*u^59 + 8985803*u^58 - 27362376*u^57 + 122163254*u^56 + 112607072*u^55 - 1316242229*u^54 - 195601072*u^53 + 5766030621*u^52 - 686795424*u^51 - 17367754497*u^50 + 6547872480*u^49 + 41291944967*u^48 - 22349927296*u^47 - 31122392108*u^46 + 51935623792*u^45 - 189947794166*u^44 - 106518982200*u^43 + 739485154858*u^42 + 83413004104*u^41 - 1467868736963*u^40 + 22652300456*u^39 + 2088796592494*u^38 - 129846206552*u^37 - 2868342937488*u^36 + 350450942464*u^35 + 3677343498350*u^34 + 24605496464*u^33 - 2765509770477*u^32 - 202097578328*u^31 + 1557068066080*u^30 - 229826857304*u^29 - 191958425552*u^28 - 133269278024*u^27 + 385711650094*u^26 + 46004146792*u^25 + 163071866985*u^24 + 115899456144*u^23 + 413967374078*u^22 + 220635114592*u^21 + 406515942118*u^20 + 15471832736*u^19 + 157605911026*u^18 - 59701980640*u^17 + 82389233253*u^16 - 37233821488*u^15 + 42559312514*u^14 - 13778550944*u^13 + 18152765124*u^12 - 2661809960*u^11 + 6337879932*u^10 + 197255448*u^9 + 1742995013*u^8 + 226014440*u^7 + 316242984*u^6 + 38138536*u^5 + 30388126*u^4 + 1352960*u^3 + 1170400*u^2 - 85008*u + 10626)*v^32 + (792*u^65 - 5544*u^64 + 191478*u^63 + 30002*u^62 - 2715076*u^61 + 2922612*u^60 + 14357908*u^59 - 28296996*u^58 + 80346964*u^57 + 159394124*u^56 - 1399736616*u^55 - 452182032*u^54 + 7484053292*u^53 - 627547740*u^52 - 24192229958*u^51 + 7853314198*u^50 + 60650601336*u^49 - 22592342104*u^48 - 82072570694*u^47 + 55957180006*u^46 - 146798039356*u^45 - 164749969604*u^44 + 937846092708*u^43 + 248388779172*u^42 - 2303702524484*u^41 - 44218529916*u^40 + 3633516433896*u^39 - 392193190072*u^38 - 4848388988892*u^37 + 590314674396*u^36 + 6592038931030*u^35 + 160460316642*u^34 - 5994038143968*u^33 - 223890831008*u^32 + 3389573366930*u^31 + 135054553814*u^30 - 1694335397004*u^29 + 701729966524*u^28 + 54372889172*u^27 + 688996139852*u^26 - 236932692900*u^25 + 639924075268*u^24 + 492998695800*u^23 + 896180334096*u^22 + 412612687924*u^21 + 455184529404*u^20 - 81007508362*u^19 + 220859978698*u^18 - 92689460344*u^17 + 146552108824*u^16 - 52891058030*u^15 + 85516570654*u^14 - 19814246020*u^13 + 40413186436*u^12 - 3557418456*u^11 + 14968048800*u^10 + 383118372*u^9 + 3951027516*u^8 + 237528956*u^7 + 646681444*u^6 + 16501100*u^5 + 58040564*u^4 - 2769970*u^3 + 2483978*u^2 - 297528*u + 42504)*v^31 + (924*u^66 - 5544*u^65 + 143460*u^64 + 54588*u^63 - 2523818*u^62 + 1878496*u^61 + 16853026*u^60 - 22631580*u^59 + 24913050*u^58 + 155422048*u^57 - 1166814797*u^56 - 689116654*u^55 + 8010588198*u^54 + 207090730*u^53 - 30041226902*u^52 + 8703497214*u^51 + 79668617279*u^50 - 24746585276*u^49 - 136763413843*u^48 + 42384827134*u^47 - 34848643484*u^46 - 174193105342*u^45 + 953067675206*u^44 + 419944834498*u^43 - 2959878689759*u^42 - 371441434572*u^41 + 5564236042020*u^40 - 548672361244*u^39 - 7799379795938*u^38 + 1349684081416*u^37 + 10397736226908*u^36 + 210731932540*u^35 - 10804656061230*u^34 - 870985222496*u^33 + 7683511901476*u^32 - 177400064212*u^31 - 3403904793538*u^30 + 198040447824*u^29 + 2055433695338*u^28 - 686293930380*u^27 + 1069984728910*u^26 - 219267891688*u^25 + 2056382202121*u^24 + 881478456782*u^23 + 1409717905558*u^22 + 210758146206*u^21 + 373367860250*u^20 - 106399446814*u^19 + 326109773497*u^18 - 85922397204*u^17 + 240735004551*u^16 - 43404121182*u^15 + 150053010528*u^14 - 12946076714*u^13 + 75561776426*u^12 - 323176162*u^11 + 28467960331*u^10 + 731241716*u^9 + 7166612016*u^8 - 24828364*u^7 + 1116596006*u^6 - 74782024*u^5 + 103332564*u^4 - 13926164*u^3 + 5410174*u^2 - 807576*u + 134596)*v^30 + (792*u^67 - 3960*u^66 + 83592*u^65 + 57240*u^64 - 1911822*u^63 + 915922*u^62 + 15864260*u^61 - 14826276*u^60 - 18784936*u^59 + 110134808*u^58 - 751798796*u^57 - 685711416*u^56 + 6889619636*u^55 + 1367409536*u^54 - 31556354836*u^53 + 6577931888*u^52 + 94591386516*u^51 - 28935200916*u^50 - 185957208512*u^49 + 31899136564*u^48 + 105145917418*u^47 - 111610405930*u^46 + 742352499804*u^45 + 484066869744*u^44 - 3148084176094*u^43 - 767346026918*u^42 + 7058600126476*u^41 - 104279135356*u^40 - 11450838576724*u^39 + 2248941605228*u^38 + 15414103138332*u^37 - 727388437492*u^36 - 16714065623510*u^35 - 1829808434166*u^34 + 13938969415920*u^33 + 675698549408*u^32 - 8458560667874*u^31 + 1289944573166*u^30 + 3169891101212*u^29 + 360942159636*u^28 - 1200851209280*u^27 + 2594193686688*u^26 + 739976336092*u^25 + 3924974144808*u^24 + 367827343028*u^23 + 1607414737640*u^22 - 472549938172*u^21 + 615769769696*u^20 - 27401217108*u^19 + 482530314372*u^18 + 1305077408*u^17 + 371462490236*u^16 + 19427880410*u^15 + 238585205438*u^14 + 21206897940*u^13 + 121253367632*u^12 + 10164190242*u^11 + 43890725338*u^10 + 1110564244*u^9 + 10479568348*u^8 - 658378064*u^7 + 1633855280*u^6 - 246436764*u^5 + 167667476*u^4 - 33430310*u^3 + 10856714*u^2 - 1730520*u + 346104)*v^29 + (495*u^68 - 1980*u^67 + 36220*u^66 + 40636*u^65 - 1147799*u^64 + 268128*u^63 + 12146618*u^62 - 7960264*u^61 - 39652455*u^60 + 60758380*u^59 - 355611495*u^58 - 458345904*u^57 + 4731684426*u^56 + 1819649272*u^55 - 26984495057*u^54 + 1968058100*u^53 + 96906512036*u^52 - 26622987408*u^51 - 223332655699*u^50 + 39107146332*u^49 + 236464199595*u^48 - 34802117960*u^47 + 406015101321*u^46 + 345514159324*u^45 - 2724387257431*u^44 - 1002966059196*u^43 + 7505247529112*u^42 + 609527988828*u^41 - 14100246266489*u^40 + 1990755507504*u^39 + 21469959974442*u^38 - 2659075116440*u^37 - 23766548327878*u^36 - 1641038473584*u^35 + 21199258044666*u^34 + 2409494377816*u^33 - 15611475878098*u^32 + 590447455248*u^31 + 8509338977378*u^30 - 1721398314296*u^29 - 898925584945*u^28 + 1457988645060*u^27 + 4962333906639*u^26 + 1782998489312*u^25 + 4320868912278*u^24 - 1420290454216*u^23 + 1918539688049*u^22 - 1058746237988*u^21 + 1495442613722*u^20 - 92064403304*u^19 + 815624742463*u^18 + 163951273900*u^17 + 560406314903*u^16 + 152572321208*u^15 + 349932463095*u^14 + 86469220500*u^13 + 167028658243*u^12 + 25689804188*u^11 + 55068688284*u^10 + 1108004756*u^9 + 12493845249*u^8 - 1492833344*u^7 + 2040215914*u^6 - 449842728*u^5 + 242288989*u^4 - 57077996*u^3 + 19047634*u^2 - 2941884*u + 735471)*v^28 + (220*u^69 - 660*u^68 + 10736*u^67 + 19336*u^66 - 526984*u^65 - 6232*u^64 + 7401006*u^63 - 3194894*u^62 - 39630704*u^61 + 27924016*u^60 - 91257130*u^59 - 210729742*u^58 + 2587222712*u^57 + 1321066556*u^56 - 18540990178*u^55 - 1496774706*u^54 + 81607335140*u^53 - 15367793032*u^52 - 230717780558*u^51 + 43835936086*u^50 + 346531076372*u^49 - 17536665040*u^48 + 67416337208*u^47 + 109408913012*u^46 - 1919915760944*u^45 - 820569825916*u^44 + 6588411677026*u^43 + 1220114350334*u^42 - 14683404839852*u^41 + 1039567597188*u^40 + 25439972301256*u^39 - 2949851049032*u^38 - 32521663630220*u^37 + 990252815004*u^36 + 28733475508166*u^35 + 3480566693882*u^34 - 23551151251656*u^33 - 1531576569704*u^32 + 15666358862442*u^31 - 1572280728762*u^30 - 5884013633104*u^29 + 5250636751584*u^28 + 4543341977042*u^27 + 5680503453542*u^26 + 827311385048*u^25 + 2542757392628*u^24 - 2647767447926*u^23 + 3089220623722*u^22 - 1244078427868*u^21 + 2644197415888*u^20 - 398992242762*u^19 + 1525940091842*u^18 + 287303071772*u^17 + 865709151792*u^16 + 321559203340*u^15 + 472665857976*u^14 + 159200352752*u^13 + 195040402508*u^12 + 37580904666*u^11 + 56473066230*u^10 + 478580892*u^9 + 12349564012*u^8 - 2102889652*u^7 + 2204182996*u^6 - 584833912*u^5 + 309105168*u^4 - 74141834*u^3 + 28921442*u^2 - 3922512*u + 1307504)*v^27 + (66*u^70 - 132*u^69 + 1714*u^68 + 5720*u^67 - 176204*u^66 - 41392*u^65 + 3460364*u^64 - 774244*u^63 - 27500676*u^62 + 10257900*u^61 + 31416922*u^60 - 69355900*u^59 + 1084145574*u^58 + 564928792*u^57 - 10261691153*u^56 - 1909130062*u^55 + 55219684606*u^54 - 3965596158*u^53 - 195021923086*u^52 + 29511365506*u^51 + 398045715761*u^50 - 31277598400*u^49 - 241359093105*u^48 - 1871287658*u^47 - 1099369168996*u^46 - 331537271790*u^45 + 4788250370622*u^44 + 1193281395034*u^43 - 12711744123443*u^42 - 123418334720*u^41 + 25718587417514*u^40 - 2210433716516*u^39 - 37970874659356*u^38 + 1587788915460*u^37 + 39093166351500*u^36 + 204255082584*u^35 - 29733193164624*u^34 - 4397267892456*u^33 + 23607136274276*u^32 - 71432788052*u^31 - 12271212583348*u^30 + 6159223797532*u^29 + 10118728305958*u^28 + 2548112198644*u^27 + 3688658325966*u^26 - 1996356399528*u^25 + 1504286275217*u^24 - 1531475286866*u^23 + 4320904130742*u^22 - 1307453736298*u^21 + 3628358669882*u^20 - 605326751138*u^19 + 2531310249275*u^18 + 256267673880*u^17 + 1326822401713*u^16 + 412403513642*u^15 + 583813644220*u^14 + 188320564222*u^13 + 193062388758*u^12 + 37099506950*u^11 + 48250869259*u^10 - 338586672*u^9 + 10484212398*u^8 - 2071980100*u^7 + 2124432686*u^6 - 556757728*u^5 + 352325842*u^4 - 71997544*u^3 + 38333548*u^2 - 3922512*u + 1961256)*v^26 + (12*u^71 - 12*u^70 - 60*u^69 + 844*u^68 - 39320*u^67 - 13600*u^66 + 1187720*u^65 - 57192*u^64 - 13779266*u^63 + 2243182*u^62 + 54761536*u^61 - 15912432*u^60 + 285106482*u^59 + 127668162*u^58 - 4553281592*u^57 - 772324568*u^56 + 29993555074*u^55 + 503596362*u^54 - 131297154788*u^53 + 9350152876*u^52 + 355880057080*u^51 - 22720972296*u^50 - 451541390132*u^49 + 2208783260*u^48 - 356555723688*u^47 - 34321880584*u^46 + 3010566018328*u^45 + 490967833824*u^44 - 9073307384264*u^43 - 629123322384*u^42 + 21785130936356*u^41 - 893152199948*u^40 - 37902977654936*u^39 + 1114121721760*u^38 + 45418232506956*u^37 - 466155995628*u^36 - 40040994978786*u^35 - 612919962330*u^34 + 26720658987624*u^33 + 4450632815864*u^32 - 20380839158902*u^31 + 6217286915290*u^30 + 15700478241760*u^29 + 2101296180816*u^28 - 982392766450*u^27 + 1025914983614*u^26 - 2932178941720*u^25 + 3409801494312*u^24 + 108555443070*u^23 + 4326554250630*u^22 - 1016581934980*u^21 + 4380120649052*u^20 - 431439261544*u^19 + 3394748288616*u^18 + 123116066084*u^17 + 1814227954676*u^16 + 300489268076*u^15 + 659417079468*u^14 + 130756522760*u^13 + 171608132224*u^12 + 22697628612*u^11 + 37267844044*u^10 - 551420020*u^9 + 8359157148*u^8 - 1283821240*u^7 + 1946324280*u^6 - 340234472*u^5 + 370606616*u^4 - 44865226*u^3 + 45003686*u^2 - 2496144*u + 2496144)*v^25 + (u^72 - 84*u^70 - 4606*u^68 + 280320*u^66 - 4904238*u^64 + 35157690*u^62 - 12078438*u^60 - 1518460706*u^58 + 13161631587*u^56 - 70100018146*u^54 + 245648760564*u^52 - 479312051884*u^50 + 211467620300*u^48 + 1507470444204*u^46 - 5648824874754*u^44 + 15120569704372*u^42 - 31845700411693*u^40 + 45147074593284*u^38 - 46060605719636*u^36 + 35366320118674*u^34 - 20198326136718*u^32 + 24087459740542*u^30 - 5416293659914*u^28 - 81687426766*u^26 + 5055374851915*u^24 + 3950667403906*u^22 + 4701930861904*u^20 + 3723455478124*u^18 + 2032374583792*u^16 + 685779988224*u^14 + 159169904582*u^12 + 32293923440*u^10 + 7451331782*u^8 + 1858461060*u^6 + 374490114*u^4 + 47396146*u^2 + 2704156)*v^24 - (12*u^71 + 12*u^70 - 60*u^69 - 844*u^68 - 39320*u^67 + 13600*u^66 + 1187720*u^65 + 57192*u^64 - 13779266*u^63 - 2243182*u^62 + 54761536*u^61 + 15912432*u^60 + 285106482*u^59 - 127668162*u^58 - 4553281592*u^57 + 772324568*u^56 + 29993555074*u^55 - 503596362*u^54 - 131297154788*u^53 - 9350152876*u^52 + 355880057080*u^51 + 22720972296*u^50 - 451541390132*u^49 - 2208783260*u^48 - 356555723688*u^47 + 34321880584*u^46 + 3010566018328*u^45 - 490967833824*u^44 - 9073307384264*u^43 + 629123322384*u^42 + 21785130936356*u^41 + 893152199948*u^40 - 37902977654936*u^39 - 1114121721760*u^38 + 45418232506956*u^37 + 466155995628*u^36 - 40040994978786*u^35 + 612919962330*u^34 + 26720658987624*u^33 - 4450632815864*u^32 - 20380839158902*u^31 - 6217286915290*u^30 + 15700478241760*u^29 - 2101296180816*u^28 - 982392766450*u^27 - 1025914983614*u^26 - 2932178941720*u^25 - 3409801494312*u^24 + 108555443070*u^23 - 4326554250630*u^22 - 1016581934980*u^21 - 4380120649052*u^20 - 431439261544*u^19 - 3394748288616*u^18 + 123116066084*u^17 - 1814227954676*u^16 + 300489268076*u^15 - 659417079468*u^14 + 130756522760*u^13 - 171608132224*u^12 + 22697628612*u^11 - 37267844044*u^10 - 551420020*u^9 - 8359157148*u^8 - 1283821240*u^7 - 1946324280*u^6 - 340234472*u^5 - 370606616*u^4 - 44865226*u^3 - 45003686*u^2 - 2496144*u - 2496144)*v^23 + (66*u^70 + 132*u^69 + 1714*u^68 - 5720*u^67 - 176204*u^66 + 41392*u^65 + 3460364*u^64 + 774244*u^63 - 27500676*u^62 - 10257900*u^61 + 31416922*u^60 + 69355900*u^59 + 1084145574*u^58 - 564928792*u^57 - 10261691153*u^56 + 1909130062*u^55 + 55219684606*u^54 + 3965596158*u^53 - 195021923086*u^52 - 29511365506*u^51 + 398045715761*u^50 + 31277598400*u^49 - 241359093105*u^48 + 1871287658*u^47 - 1099369168996*u^46 + 331537271790*u^45 + 4788250370622*u^44 - 1193281395034*u^43 - 12711744123443*u^42 + 123418334720*u^41 + 25718587417514*u^40 + 2210433716516*u^39 - 37970874659356*u^38 - 1587788915460*u^37 + 39093166351500*u^36 - 204255082584*u^35 - 29733193164624*u^34 + 4397267892456*u^33 + 23607136274276*u^32 + 71432788052*u^31 - 12271212583348*u^30 - 6159223797532*u^29 + 10118728305958*u^28 - 2548112198644*u^27 + 3688658325966*u^26 + 1996356399528*u^25 + 1504286275217*u^24 + 1531475286866*u^23 + 4320904130742*u^22 + 1307453736298*u^21 + 3628358669882*u^20 + 605326751138*u^19 + 2531310249275*u^18 - 256267673880*u^17 + 1326822401713*u^16 - 412403513642*u^15 + 583813644220*u^14 - 188320564222*u^13 + 193062388758*u^12 - 37099506950*u^11 + 48250869259*u^10 + 338586672*u^9 + 10484212398*u^8 + 2071980100*u^7 + 2124432686*u^6 + 556757728*u^5 + 352325842*u^4 + 71997544*u^3 + 38333548*u^2 + 3922512*u + 1961256)*v^22 - (220*u^69 + 660*u^68 + 10736*u^67 - 19336*u^66 - 526984*u^65 + 6232*u^64 + 7401006*u^63 + 3194894*u^62 - 39630704*u^61 - 27924016*u^60 - 91257130*u^59 + 210729742*u^58 + 2587222712*u^57 - 1321066556*u^56 - 18540990178*u^55 + 1496774706*u^54 + 81607335140*u^53 + 15367793032*u^52 - 230717780558*u^51 - 43835936086*u^50 + 346531076372*u^49 + 17536665040*u^48 + 67416337208*u^47 - 109408913012*u^46 - 1919915760944*u^45 + 820569825916*u^44 + 6588411677026*u^43 - 1220114350334*u^42 - 14683404839852*u^41 - 1039567597188*u^40 + 25439972301256*u^39 + 2949851049032*u^38 - 32521663630220*u^37 - 990252815004*u^36 + 28733475508166*u^35 - 3480566693882*u^34 - 23551151251656*u^33 + 1531576569704*u^32 + 15666358862442*u^31 + 1572280728762*u^30 - 5884013633104*u^29 - 5250636751584*u^28 + 4543341977042*u^27 - 5680503453542*u^26 + 827311385048*u^25 - 2542757392628*u^24 - 2647767447926*u^23 - 3089220623722*u^22 - 1244078427868*u^21 - 2644197415888*u^20 - 398992242762*u^19 - 1525940091842*u^18 + 287303071772*u^17 - 865709151792*u^16 + 321559203340*u^15 - 472665857976*u^14 + 159200352752*u^13 - 195040402508*u^12 + 37580904666*u^11 - 56473066230*u^10 + 478580892*u^9 - 12349564012*u^8 - 2102889652*u^7 - 2204182996*u^6 - 584833912*u^5 - 309105168*u^4 - 74141834*u^3 - 28921442*u^2 - 3922512*u - 1307504)*v^21 + (495*u^68 + 1980*u^67 + 36220*u^66 - 40636*u^65 - 1147799*u^64 - 268128*u^63 + 12146618*u^62 + 7960264*u^61 - 39652455*u^60 - 60758380*u^59 - 355611495*u^58 + 458345904*u^57 + 4731684426*u^56 - 1819649272*u^55 - 26984495057*u^54 - 1968058100*u^53 + 96906512036*u^52 + 26622987408*u^51 - 223332655699*u^50 - 39107146332*u^49 + 236464199595*u^48 + 34802117960*u^47 + 406015101321*u^46 - 345514159324*u^45 - 2724387257431*u^44 + 1002966059196*u^43 + 7505247529112*u^42 - 609527988828*u^41 - 14100246266489*u^40 - 1990755507504*u^39 + 21469959974442*u^38 + 2659075116440*u^37 - 23766548327878*u^36 + 1641038473584*u^35 + 21199258044666*u^34 - 2409494377816*u^33 - 15611475878098*u^32 - 590447455248*u^31 + 8509338977378*u^30 + 1721398314296*u^29 - 898925584945*u^28 - 1457988645060*u^27 + 4962333906639*u^26 - 1782998489312*u^25 + 4320868912278*u^24 + 1420290454216*u^23 + 1918539688049*u^22 + 1058746237988*u^21 + 1495442613722*u^20 + 92064403304*u^19 + 815624742463*u^18 - 163951273900*u^17 + 560406314903*u^16 - 152572321208*u^15 + 349932463095*u^14 - 86469220500*u^13 + 167028658243*u^12 - 25689804188*u^11 + 55068688284*u^10 - 1108004756*u^9 + 12493845249*u^8 + 1492833344*u^7 + 2040215914*u^6 + 449842728*u^5 + 242288989*u^4 + 57077996*u^3 + 19047634*u^2 + 2941884*u + 735471)*v^20 - (792*u^67 + 3960*u^66 + 83592*u^65 - 57240*u^64 - 1911822*u^63 - 915922*u^62 + 15864260*u^61 + 14826276*u^60 - 18784936*u^59 - 110134808*u^58 - 751798796*u^57 + 685711416*u^56 + 6889619636*u^55 - 1367409536*u^54 - 31556354836*u^53 - 6577931888*u^52 + 94591386516*u^51 + 28935200916*u^50 - 185957208512*u^49 - 31899136564*u^48 + 105145917418*u^47 + 111610405930*u^46 + 742352499804*u^45 - 484066869744*u^44 - 3148084176094*u^43 + 767346026918*u^42 + 7058600126476*u^41 + 104279135356*u^40 - 11450838576724*u^39 - 2248941605228*u^38 + 15414103138332*u^37 + 727388437492*u^36 - 16714065623510*u^35 + 1829808434166*u^34 + 13938969415920*u^33 - 675698549408*u^32 - 8458560667874*u^31 - 1289944573166*u^30 + 3169891101212*u^29 - 360942159636*u^28 - 1200851209280*u^27 - 2594193686688*u^26 + 739976336092*u^25 - 3924974144808*u^24 + 367827343028*u^23 - 1607414737640*u^22 - 472549938172*u^21 - 615769769696*u^20 - 27401217108*u^19 - 482530314372*u^18 + 1305077408*u^17 - 371462490236*u^16 + 19427880410*u^15 - 238585205438*u^14 + 21206897940*u^13 - 121253367632*u^12 + 10164190242*u^11 - 43890725338*u^10 + 1110564244*u^9 - 10479568348*u^8 - 658378064*u^7 - 1633855280*u^6 - 246436764*u^5 - 167667476*u^4 - 33430310*u^3 - 10856714*u^2 - 1730520*u - 346104)*v^19 + (924*u^66 + 5544*u^65 + 143460*u^64 - 54588*u^63 - 2523818*u^62 - 1878496*u^61 + 16853026*u^60 + 22631580*u^59 + 24913050*u^58 - 155422048*u^57 - 1166814797*u^56 + 689116654*u^55 + 8010588198*u^54 - 207090730*u^53 - 30041226902*u^52 - 8703497214*u^51 + 79668617279*u^50 + 24746585276*u^49 - 136763413843*u^48 - 42384827134*u^47 - 34848643484*u^46 + 174193105342*u^45 + 953067675206*u^44 - 419944834498*u^43 - 2959878689759*u^42 + 371441434572*u^41 + 5564236042020*u^40 + 548672361244*u^39 - 7799379795938*u^38 - 1349684081416*u^37 + 10397736226908*u^36 - 210731932540*u^35 - 10804656061230*u^34 + 870985222496*u^33 + 7683511901476*u^32 + 177400064212*u^31 - 3403904793538*u^30 - 198040447824*u^29 + 2055433695338*u^28 + 686293930380*u^27 + 1069984728910*u^26 + 219267891688*u^25 + 2056382202121*u^24 - 881478456782*u^23 + 1409717905558*u^22 - 210758146206*u^21 + 373367860250*u^20 + 106399446814*u^19 + 326109773497*u^18 + 85922397204*u^17 + 240735004551*u^16 + 43404121182*u^15 + 150053010528*u^14 + 12946076714*u^13 + 75561776426*u^12 + 323176162*u^11 + 28467960331*u^10 - 731241716*u^9 + 7166612016*u^8 + 24828364*u^7 + 1116596006*u^6 + 74782024*u^5 + 103332564*u^4 + 13926164*u^3 + 5410174*u^2 + 807576*u + 134596)*v^18 - (792*u^65 + 5544*u^64 + 191478*u^63 - 30002*u^62 - 2715076*u^61 - 2922612*u^60 + 14357908*u^59 + 28296996*u^58 + 80346964*u^57 - 159394124*u^56 - 1399736616*u^55 + 452182032*u^54 + 7484053292*u^53 + 627547740*u^52 - 24192229958*u^51 - 7853314198*u^50 + 60650601336*u^49 + 22592342104*u^48 - 82072570694*u^47 - 55957180006*u^46 - 146798039356*u^45 + 164749969604*u^44 + 937846092708*u^43 - 248388779172*u^42 - 2303702524484*u^41 + 44218529916*u^40 + 3633516433896*u^39 + 392193190072*u^38 - 4848388988892*u^37 - 590314674396*u^36 + 6592038931030*u^35 - 160460316642*u^34 - 5994038143968*u^33 + 223890831008*u^32 + 3389573366930*u^31 - 135054553814*u^30 - 1694335397004*u^29 - 701729966524*u^28 + 54372889172*u^27 - 688996139852*u^26 - 236932692900*u^25 - 639924075268*u^24 + 492998695800*u^23 - 896180334096*u^22 + 412612687924*u^21 - 455184529404*u^20 - 81007508362*u^19 - 220859978698*u^18 - 92689460344*u^17 - 146552108824*u^16 - 52891058030*u^15 - 85516570654*u^14 - 19814246020*u^13 - 40413186436*u^12 - 3557418456*u^11 - 14968048800*u^10 + 383118372*u^9 - 3951027516*u^8 + 237528956*u^7 - 646681444*u^6 + 16501100*u^5 - 58040564*u^4 - 2769970*u^3 - 2483978*u^2 - 297528*u - 42504)*v^17 + (495*u^64 + 3960*u^63 + 204809*u^62 + 8312*u^61 - 2416877*u^60 - 3690408*u^59 + 8985803*u^58 + 27362376*u^57 + 122163254*u^56 - 112607072*u^55 - 1316242229*u^54 + 195601072*u^53 + 5766030621*u^52 + 686795424*u^51 - 17367754497*u^50 - 6547872480*u^49 + 41291944967*u^48 + 22349927296*u^47 - 31122392108*u^46 - 51935623792*u^45 - 189947794166*u^44 + 106518982200*u^43 + 739485154858*u^42 - 83413004104*u^41 - 1467868736963*u^40 - 22652300456*u^39 + 2088796592494*u^38 + 129846206552*u^37 - 2868342937488*u^36 - 350450942464*u^35 + 3677343498350*u^34 - 24605496464*u^33 - 2765509770477*u^32 + 202097578328*u^31 + 1557068066080*u^30 + 229826857304*u^29 - 191958425552*u^28 + 133269278024*u^27 + 385711650094*u^26 - 46004146792*u^25 + 163071866985*u^24 - 115899456144*u^23 + 413967374078*u^22 - 220635114592*u^21 + 406515942118*u^20 - 15471832736*u^19 + 157605911026*u^18 + 59701980640*u^17 + 82389233253*u^16 + 37233821488*u^15 + 42559312514*u^14 + 13778550944*u^13 + 18152765124*u^12 + 2661809960*u^11 + 6337879932*u^10 - 197255448*u^9 + 1742995013*u^8 - 226014440*u^7 + 316242984*u^6 - 38138536*u^5 + 30388126*u^4 - 1352960*u^3 + 1170400*u^2 + 85008*u + 10626)*v^16 - (220*u^63 + 1980*u^62 + 179332*u^61 + 49132*u^60 - 1768354*u^59 - 3770894*u^58 + 2920660*u^57 + 18754620*u^56 + 127836338*u^55 - 52403786*u^54 - 987836996*u^53 + 87228708*u^52 + 3843850396*u^51 + 473369636*u^50 - 11362796216*u^49 - 5864917560*u^48 + 23548105146*u^47 + 18973355718*u^46 + 2562788052*u^45 - 33392339284*u^44 - 167385012768*u^43 + 43295206408*u^42 + 466616121580*u^41 - 16047256748*u^40 - 795072932852*u^39 + 24223802420*u^38 + 1134307877500*u^37 + 59048574580*u^36 - 1521141166710*u^35 - 242021590274*u^34 + 1755294731608*u^33 - 71343547848*u^32 - 1223368422174*u^31 - 45185010650*u^30 + 383997402980*u^29 - 98991865188*u^28 - 163960870912*u^27 - 43419856976*u^26 + 79764411300*u^25 - 108256569604*u^24 - 12046206924*u^23 - 168947696060*u^22 + 42899283548*u^21 - 221565659116*u^20 + 47878422362*u^19 - 113879817050*u^18 - 20470434296*u^17 - 43068727832*u^16 - 17814737658*u^15 - 17800992662*u^14 - 6340147268*u^13 - 6620658044*u^12 - 1142576928*u^11 - 2153152248*u^10 + 98845044*u^9 - 618232564*u^8 + 123463468*u^7 - 130870972*u^6 + 26949092*u^5 - 14870900*u^4 + 1739646*u^3 - 614262*u^2 - 18216*u - 2024)*v^15 + (66*u^62 + 660*u^61 + 130156*u^60 + 78160*u^59 - 1023856*u^58 - 3016664*u^57 - 1177987*u^56 + 7606698*u^55 + 99504754*u^54 - 18028006*u^53 - 613600340*u^52 + 76627430*u^51 + 2320449339*u^50 + 420587268*u^49 - 6554120289*u^48 - 4932460766*u^47 + 10328049652*u^46 + 12322532942*u^45 + 15500589878*u^44 - 13270884562*u^43 - 110332926362*u^42 + 10155944254*u^41 + 240780903576*u^40 - 14871842166*u^39 - 396729782228*u^38 + 27225121798*u^37 + 562570310888*u^36 + 49207287510*u^35 - 693425556149*u^34 - 114151052412*u^33 + 785485148747*u^32 + 9921165954*u^31 - 374969715366*u^30 + 47813221906*u^29 + 150124694176*u^28 - 25296373554*u^27 - 27160059809*u^26 + 11388481692*u^25 + 76612593900*u^24 + 17217022156*u^23 + 69875688204*u^22 + 5774983860*u^21 + 81465940110*u^20 - 23190989180*u^19 + 66066213770*u^18 - 2861792840*u^17 + 21774787754*u^16 + 4832970976*u^15 + 6314495556*u^14 + 1975546752*u^13 + 1944730316*u^12 + 343894000*u^11 + 605738421*u^10 - 30739250*u^9 + 184898975*u^8 - 43092356*u^7 + 46715982*u^6 - 11794720*u^5 + 6662824*u^4 - 1010300*u^3 + 338306*u^2 + 2760*u + 276)*v^14 - (12*u^61 + 132*u^60 + 78430*u^59 + 82246*u^58 - 429132*u^57 - 1809944*u^56 - 2296330*u^55 + 261474*u^54 + 60187196*u^53 - 10625712*u^52 - 332460158*u^51 + 59543506*u^50 + 1273638864*u^49 + 439235028*u^48 - 3141912006*u^47 - 3393393498*u^46 + 2897006124*u^45 + 5595215504*u^44 + 13978302236*u^43 - 1907636136*u^42 - 56234288708*u^41 + 4136151528*u^40 + 110185355316*u^39 - 13704515592*u^38 - 182420736524*u^37 + 10325814912*u^36 + 241836521656*u^35 + 23654105320*u^34 - 294522015088*u^33 - 73683282748*u^32 + 276726672822*u^31 - 21108772270*u^30 - 119516266908*u^29 + 20546092536*u^28 + 38717232510*u^27 - 23899079090*u^26 - 27733569772*u^25 - 26890902868*u^24 - 6449117548*u^23 - 27597797724*u^22 - 5690218052*u^21 - 25715603108*u^20 + 3308511382*u^19 - 26112366146*u^18 + 7003192040*u^17 - 10612511248*u^16 + 523721022*u^15 - 2272402378*u^14 - 360980340*u^13 - 535091796*u^12 - 109174094*u^11 - 166747914*u^10 - 7539612*u^9 - 54142564*u^8 + 7059624*u^7 - 15234040*u^6 + 3147628*u^5 - 2664276*u^4 + 377674*u^3 - 172406*u^2 - 264*u - 24)*v^13 + (u^60 + 12*u^59 + 38849*u^58 + 62512*u^57 - 98486*u^56 - 766024*u^55 - 1568881*u^54 - 1798252*u^53 + 29800469*u^52 - 10541108*u^51 - 163807899*u^50 + 22042800*u^49 + 611251726*u^48 + 367834040*u^47 - 1158653677*u^46 - 1778267628*u^45 + 101921296*u^44 + 1442354924*u^43 + 7711831435*u^42 + 525140096*u^41 - 24056259360*u^40 + 3496844096*u^39 + 46359440443*u^38 - 6782399188*u^37 - 73132857434*u^36 + 4874047336*u^35 + 96884169763*u^34 + 18518514924*u^33 - 100335378243*u^32 - 26975080960*u^31 + 91053123167*u^30 - 14190358628*u^29 - 30504627265*u^28 + 13838649548*u^27 + 20073974808*u^26 + 4507927748*u^25 + 5337433615*u^24 + 3971429848*u^23 + 10070144546*u^22 + 2545154368*u^21 + 8238252468*u^20 + 213940200*u^19 + 6692600908*u^18 - 3365596312*u^17 + 4475068216*u^16 - 1276928136*u^15 + 1087371716*u^14 - 16785400*u^13 + 210055546*u^12 + 55998884*u^11 + 60402370*u^10 + 16555324*u^9 + 18892795*u^8 + 2298240*u^7 + 4995622*u^6 - 192376*u^5 + 941251*u^4 - 80900*u^3 + 74702*u^2 + 12*u + 1)*v^12 - (15504*u^57 + 34884*u^56 + 14364*u^55 - 197296*u^54 - 610752*u^53 - 1181724*u^52 + 12922772*u^51 - 7636748*u^50 - 73298516*u^49 - 5073576*u^48 + 241620288*u^47 + 222327756*u^46 - 285496724*u^45 - 665289376*u^44 - 310550078*u^43 + 54050706*u^42 + 3178072792*u^41 + 181675172*u^40 - 9262769230*u^39 + 1878702690*u^38 + 17019141700*u^37 - 3371976400*u^36 - 27263838810*u^35 - 311591350*u^34 + 32086862228*u^33 + 8172415328*u^32 - 29962014060*u^31 - 8115368040*u^30 + 26157888968*u^29 - 8997969316*u^28 - 10872788370*u^27 - 128434518*u^26 + 999167084*u^25 - 2905338692*u^24 - 2425493528*u^23 - 2941148776*u^22 - 758100020*u^21 - 2133751756*u^20 + 159910254*u^19 - 1346458806*u^18 + 714615384*u^17 - 1448093568*u^16 + 631176422*u^15 - 572619518*u^14 + 56642588*u^13 - 115190972*u^12 - 28958362*u^11 - 27479978*u^10 - 11422612*u^9 - 7564244*u^8 - 2430556*u^7 - 1719972*u^6 - 276336*u^5 - 295944*u^4 - 2394*u^3 - 26334*u^2)*v^11 + (4845*u^56 + 14250*u^55 + 23560*u^54 - 9850*u^53 - 117823*u^52 - 360208*u^51 + 5192699*u^50 - 3488250*u^49 - 28452606*u^48 - 11321794*u^47 + 72879323*u^46 + 93356040*u^45 - 31369025*u^44 - 172376862*u^43 - 149698133*u^42 - 100687060*u^41 + 1128877599*u^40 - 593282*u^39 - 3076473173*u^38 + 958625912*u^37 + 5785402078*u^36 - 975460436*u^35 - 8711531606*u^34 - 880829664*u^33 + 8949244945*u^32 + 2683402114*u^31 - 7605427782*u^30 - 1208084606*u^29 + 8137729232*u^28 - 1824566546*u^27 - 1272528669*u^26 + 1106799928*u^25 + 1392175566*u^24 + 495013868*u^23 + 491667346*u^22 + 94818240*u^21 + 415123559*u^20 - 56320070*u^19 + 375830694*u^18 - 30482926*u^17 + 353337985*u^16 - 148716732*u^15 + 235555763*u^14 - 35225582*u^13 + 58008155*u^12 + 10137852*u^11 + 11788088*u^10 + 5047420*u^9 + 2816234*u^8 + 1138536*u^7 + 566887*u^6 + 160398*u^5 + 82840*u^4 + 9310*u^3 + 7315*u^2)*v^10 - (1140*u^55 + 4180*u^54 + 10580*u^53 + 14368*u^52 + 8458*u^51 - 29978*u^50 + 1927372*u^49 - 917788*u^48 - 8921886*u^47 - 6921634*u^46 + 15376464*u^45 + 26742432*u^44 + 5025848*u^43 - 32835348*u^42 - 45660904*u^41 - 56282128*u^40 + 336644340*u^39 - 55552320*u^38 - 924172900*u^37 + 353823960*u^36 + 1755383690*u^35 - 124444798*u^34 - 2304775172*u^33 - 411227108*u^32 + 2052646216*u^31 + 476106640*u^30 - 2057715208*u^29 - 477278816*u^28 + 1711470340*u^27 - 832561196*u^26 - 510447940*u^25 - 63174324*u^24 + 47078044*u^23 - 74431124*u^22 - 37046712*u^21 - 109723684*u^20 - 35881278*u^19 - 117776082*u^18 - 18592528*u^17 - 77111672*u^16 + 8498376*u^15 - 65771244*u^14 + 12808968*u^13 - 22557392*u^12 - 1719410*u^11 - 4183894*u^10 - 1533828*u^9 - 841388*u^8 - 356858*u^7 - 154982*u^6 - 51432*u^5 - 19780*u^4 - 3780*u^3 - 1540*u^2)*v^9 + (190*u^54 + 840*u^53 + 2706*u^52 + 6032*u^51 + 11389*u^50 + 16896*u^49 + 615220*u^48 - 74292*u^47 - 2104662*u^46 - 2451132*u^45 + 2064895*u^44 + 5470536*u^43 + 3456848*u^42 - 3785408*u^41 - 9237051*u^40 - 17548508*u^39 + 86164070*u^38 - 37662428*u^37 - 257504099*u^36 + 82039368*u^35 + 443139381*u^34 + 16498832*u^33 - 486790542*u^32 - 71957720*u^31 + 476433086*u^30 + 138870408*u^29 - 391806898*u^28 - 34415600*u^27 + 424657466*u^26 - 139918992*u^25 - 45899133*u^24 + 15281624*u^23 + 38538220*u^22 + 23433968*u^21 + 32434822*u^20 + 17739232*u^19 + 25843845*u^18 + 7145136*u^17 + 17622828*u^16 + 3652812*u^15 + 12042822*u^14 - 2448204*u^13 + 6262393*u^12 - 270424*u^11 + 1181980*u^10 + 289296*u^9 + 184228*u^8 + 76100*u^7 + 31110*u^6 + 10788*u^5 + 3649*u^4 + 840*u^3 + 231*u^2)*v^8 - (20*u^53 + 104*u^52 + 396*u^51 + 1120*u^50 + 2760*u^49 + 5936*u^48 + 154306*u^47 + 32738*u^46 - 361640*u^45 - 593664*u^44 + 81980*u^43 + 775816*u^42 + 986388*u^41 + 257540*u^40 - 503580*u^39 - 2492480*u^38 + 21311124*u^37 - 11700464*u^36 - 61635496*u^35 + 10697184*u^34 + 86700860*u^33 + 2536452*u^32 - 97827188*u^31 - 21220532*u^30 + 81227448*u^29 + 16014208*u^28 - 80971232*u^27 - 10452944*u^26 + 74349564*u^25 - 32952428*u^24 - 12908740*u^23 - 7951900*u^22 - 4645472*u^21 - 6014092*u^20 - 3586932*u^19 - 4395248*u^18 - 2007324*u^17 - 3231116*u^16 - 736936*u^15 - 1542404*u^14 + 154944*u^13 - 1108720*u^12 + 241842*u^11 - 261862*u^10 - 15520*u^9 - 27848*u^8 - 10066*u^7 - 4002*u^6 - 1400*u^5 - 444*u^4 - 106*u^3 - 22*u^2)*v^7 + (u^52 + 6*u^51 + 26*u^50 + 86*u^49 + 247*u^48 + 628*u^47 + 28873*u^46 + 13338*u^45 - 45081*u^44 - 109780*u^43 - 52448*u^42 + 23452*u^41 + 111855*u^40 + 116914*u^39 + 159739*u^38 + 12408*u^37 + 4969508*u^36 - 1796508*u^35 - 11049290*u^34 + 1904376*u^33 + 15451871*u^32 + 1695762*u^31 - 14887818*u^30 - 2690766*u^29 + 13495116*u^28 + 2569790*u^27 - 12511499*u^26 - 304008*u^25 + 13692605*u^24 - 3051954*u^23 + 659226*u^22 + 751030*u^21 + 969511*u^20 + 598764*u^19 + 629045*u^18 + 297498*u^17 + 334878*u^16 + 34182*u^15 + 164057*u^14 + 232*u^13 + 102223*u^12 - 58438*u^11 + 45305*u^10 - 7732*u^9 + 3288*u^8 + 628*u^7 + 247*u^6 + 86*u^5 + 26*u^4 + 6*u^3 + u^2)*v^6 - (4060*u^45 + 2900*u^44 - 3140*u^43 - 14344*u^42 - 15708*u^41 - 18336*u^40 - 15370*u^39 - 18110*u^38 - 9236*u^37 - 16768*u^36 + 820348*u^35 - 303676*u^34 - 1718988*u^33 + 165712*u^32 + 2138024*u^31 + 271692*u^30 - 1999288*u^29 - 402220*u^28 + 1647050*u^27 - 11838*u^26 - 2104228*u^25 - 437728*u^24 + 1460264*u^23 - 710052*u^22 - 139692*u^21 - 125088*u^20 - 58178*u^19 - 49906*u^18 - 15404*u^17 - 19576*u^16 - 906*u^15 - 14094*u^14 + 3180*u^13 - 4488*u^12 + 4972*u^11 - 5824*u^10 + 2240*u^9 - 560*u^8)*v^5 + (435*u^44 + 480*u^43 + 241*u^42 - 708*u^41 - 1203*u^40 - 2352*u^39 - 3161*u^38 - 4572*u^37 - 4607*u^36 - 5268*u^35 + 107107*u^34 - 39840*u^33 - 211344*u^32 + 10832*u^31 + 247185*u^30 + 53708*u^29 - 180916*u^28 + 7640*u^27 + 231771*u^26 + 36740*u^25 - 198241*u^24 - 15712*u^23 + 188595*u^22 - 48268*u^21 + 7881*u^20 + 2460*u^19 + 4327*u^18 + 2832*u^17 + 3268*u^16 + 1728*u^15 + 1789*u^14 + 348*u^13 + 867*u^12 + 192*u^11 + 466*u^10 - 240*u^9 + 120*u^8)*v^4 - (30*u^43 + 46*u^42 + 64*u^41 + 44*u^40 + 44*u^39 - 16*u^38 - 80*u^37 - 220*u^36 - 326*u^35 - 506*u^34 + 10840*u^33 - 4268*u^32 - 21046*u^31 - 2038*u^30 + 18400*u^29 + 1604*u^28 - 17952*u^27 - 904*u^26 + 18232*u^25 + 540*u^24 - 19786*u^23 - 3634*u^22 + 14200*u^21 - 5452*u^20 - 956*u^19 - 1212*u^18 - 920*u^17 - 740*u^16 - 496*u^15 - 356*u^14 - 200*u^13 - 140*u^12 - 48*u^11 - 28*u^10 - 16*u^8)*v^3 + (u^42 + 2*u^41 + 4*u^40 + 6*u^39 + 10*u^38 + 14*u^37 + 20*u^36 + 26*u^35 + 35*u^34 + 44*u^33 + 917*u^32 - 142*u^31 - 1280*u^30 - 82*u^29 + 1196*u^28 + 110*u^27 - 1091*u^26 + 44*u^25 + 1259*u^24 + 110*u^23 - 1154*u^22 - 82*u^21 + 1070*u^20 - 142*u^19 + 71*u^18 + 44*u^17 + 35*u^16 + 26*u^15 + 20*u^14 + 14*u^13 + 10*u^12 + 6*u^11 + 4*u^10 + 2*u^9 + u^8)*v^2 - (42*u^31 - 6*u^30 - 56*u^29 - 8*u^28 + 42*u^27 - 6*u^26 - 56*u^25 - 8*u^24 + 42*u^23 - 6*u^22 - 56*u^21 - 8*u^20 + 42*u^19 - 6*u^18)*v + u^30 - u^28 + u^26 - u^24 + u^22 - u^20 + u^18;
Xi := u^36*v^12 + 6*u^35*v^13 + 8*i*u^35*v^12 - 6*u^35*v^11 + 15*u^34*v^14 + (48*i - 6)*u^34*v^13 - 38*u^34*v^12 + (-48*i - 6)*u^34*v^11 + 15*u^34*v^10 + 20*u^33*v^15 + (134*i - 30)*u^33*v^14 + (8*i - 96)*u^33*v^13 - 276*i*u^33*v^12 + (8*i + 96)*u^33*v^11 + (134*i + 30)*u^33*v^10 - 20*u^33*v^9 + 15*u^32*v^16 + (230*i - 60)*u^32*v^15 + (40*i - 119)*u^32*v^14 + (-754*i + 40)*u^32*v^13 + 74*u^32*v^12 + (754*i + 40)*u^32*v^11 + (-40*i - 119)*u^32*v^10 + (-230*i - 60)*u^32*v^9 + 15*u^32*v^8 + 6*u^31*v^17 + (267*i - 60)*u^31*v^16 + (66*i - 80)*u^31*v^15 + (-1330*i - 40)*u^31*v^14 + (-58*i - 674)*u^31*v^13+ 2006*i*u^31*v^12 + (-58*i + 674)*u^31*v^11 + (-1330*i + 40)*u^31*v^10 + (66*i + 80)*u^31*v^9 + (267*i + 60)*u^31*v^8 - 6*u^31*v^7 + u^30*v^18 + (216*i - 30)*u^30*v^17 + (24*i - 63)*u^30*v^16 + (-1634*i- 356)*u^30*v^15 + (184*i - 2219)*u^30*v^14 + (3470*i + 310)*u^30*v^13 + 4910*u^30*v^12 + (-3470*i + 310)*u^30*v^11 + (-184*i - 2219)*u^30*v^10 + (1634*i - 356)*u^30*v^9 + (-24*i - 63)*u^30*v^8 + (-216*i- 30)*u^30*v^7 + u^30*v^6 + (121*i - 6)*u^29*v^18 + (-60*i - 96)*u^29*v^17 + (-1365*i - 540)*u^29*v^16 + (1030*i - 3396)*u^29*v^15 + (3625*i + 446)*u^29*v^14 + (-1778*i + 12364)*u^29*v^13 - 5394*i*u^29*v^12 + (-1778*i - 12364)*u^29*v^11 + (3625*i - 446)*u^29*v^10 + (1030*i + 3396)*u^29*v^9 + (-1365*i + 540)*u^29*v^8 + (-60*i + 96)*u^29*v^7 + (121*i + 6)*u^29*v^6 + 45*i*u^28*v^19 + (-96*i - 94)*u^28*v^18 + (-711*i - 300)*u^28*v^17 + (1752*i - 3582)*u^28*v^16 + (1023*i - 1600)*u^28*v^15 + (-6808*i + 18530)*u^28*v^14 + (-1109*i + 2324)*u^28*v^13 - 30285*u^28*v^12 + (1109*i + 2324)*u^28*v^11 +(6808*i + 18530)*u^28*v^10 + (-1023*i - 1600)*u^28*v^9 + (-1752*i - 3582)*u^28*v^8 + (711*i - 300)*u^28*v^7 + (96*i - 94)*u^28*v^6 - 45*i*u^28*v^5 + 10*i*u^27*v^20 + (-65*i - 45)*u^27*v^19 + (-159*i + 4)*u^27*v^18 + (1565*i - 3291)*u^27*v^17 + (-2659*i - 4824)*u^27*v^16 + (-11019*i + 22087)*u^27*v^15 + (14529*i + 13108)*u^27*v^14 + (8775*i - 51097)*u^27*v^13 - 27666*i*u^27*v^12 + (8775*i + 51097)*u^27*v^11 + (14529*i - 13108)*u^27*v^10 + (-11019*i - 22087)*u^27*v^9 + (-2659*i + 4824)*u^27*v^8 + (1565*i + 3291)*u^27*v^7 + (-159*i - 4)*u^27*v^6 + (-65*i + 45)*u^27*v^5 + 10*i*u^27*v^4 + i*u^26*v^21 + (-22*i - 10)*u^26*v^20 + (52*i + 65)*u^26*v^19 + (756*i - 2571)*u^26*v^18 + (-4451*i - 5135)*u^26*v^17 + (-10540*i + 23803)*u^26*v^16 + (31723*i + 23973)*u^26*v^15 + (13452*i - 77928)*u^26*v^14 + (-100599*i - 20577)*u^26*v^13 + 112632*u^26*v^12 + (100599*i - 20577)*u^26*v^11 + (-13452*i - 77928)*u^26*v^10 + (-31723*i + 23973)*u^26*v^9 + (10540*i + 23803)*u^26*v^8 + (4451*i - 5135)*u^26*v^7 + (-756*i - 2571)*u^26*v^6 + (-52*i + 65)*u^26*v^5 + (22*i - 10)*u^26*v^4 - i*u^26*v^3 + (-3*i - 1)*u^25*v^21 + (43*i + 22)*u^25*v^20 + (112*i - 1417)*u^25*v^19 + (-3567*i - 2562)*u^25*v^18 + (-6043*i + 20054)*u^25*v^17 + (37547*i + 18796)*u^25*v^16 + (8037*i - 103462)*u^25*v^15 + (-182269*i - 35628)*u^25*v^14 + (89*i + 224184)*u^25*v^13 + 305244*i*u^25*v^12 + (89*i - 224184)*u^25*v^11 + (-182269*i + 35628)*u^25*v^10 + (8037*i + 103462)*u^25*v^9 + (37547*i - 18796)*u^25*v^8 + (-6043*i - 20054)*u^25*v^7 + (-3567*i + 2562)*u^25*v^6 + (112*i + 1417)*u^25*v^5 + (43*i - 22)*u^25*v^4 + (-3*i + 1)*u^25*v^3 + (8*i + 3)*u^24*v^21 + (-50*i - 498)*u^24*v^20 + (-1575*i - 567)*u^24*v^19 + (-1516*i + 11106)*u^24*v^18 + (28573*i + 4182)*u^24*v^17 + (-6100*i - 97053)*u^24*v^16 + (-223731*i - 5418)*u^24*v^15 + (8516*i + 346455)*u^24*v^14 + (548625*i + 3180)*u^24*v^13 - 520368*u^24*v^12 + (-548625*i + 3180)*u^24*v^11 + (-8516*i + 346455)*u^24*v^10 + (223731*i - 5418)*u^24*v^9 + (6100*i - 97053)*u^24*v^8 + (-28573*i + 4182)*u^24*v^7 + (1516*i + 11106)*u^24*v^6 + (1575*i - 567)*u^24*v^5 + (50*i - 498)*u^24*v^4 + (-8*i + 3)*u^24*v^3 + (-16*i - 113)*u^23*v^21 + (-386*i - 20)*u^23*v^20 + (-145*i + 3850)*u^23*v^19 + (12861*i - 2664)*u^23*v^18 + (-16371*i - 57705)*u^23*v^17 + (-192372*i + 37428)*u^23*v^16 + (36819*i + 356175)*u^23*v^15 + (710255*i - 89200)*u^23*v^14 + (-623*i - 869413)*u^23*v^13 - 1025756*i*u^23*v^12 + (-623*i + 869413)*u^23*v^11 + (710255*i + 89200)*u^23*v^10 + (36819*i - 356175)*u^23*v^9 + (-192372*i - 37428)*u^23*v^8 + (-16371*i + 57705)*u^23*v^7 +(12861*i + 2664)*u^23*v^6 + (-145*i - 3850)*u^23*v^5 + (-386*i + 20)*u^23*v^4 + (-16*i + 113)*u^23*v^3 - 15*u^22*v^22 + (-74*i + 31)*u^22*v^21 + (-142*i + 901)*u^22*v^20 + (3767*i - 2070)*u^22*v^19 + (-10044*i - 22038)*u^22*v^18 + (-110583*i + 40723)*u^22*v^17 + (54636*i + 238630)*u^22*v^16 + (650361*i - 177315)*u^22*v^15 + (-71516*i - 947479)*u^22*v^14 + (-1435967*i + 172767)*u^22*v^13 + 1530842*u^22*v^12 + (1435967*i + 172767)*u^22*v^11 + (71516*i - 947479)*u^22*v^10 + (-650361*i - 177315)*u^22*v^9 + (-54636*i + 238630)*u^22*v^8 + (110583*i + 40723)*u^22*v^7 + (10044*i - 22038)*u^22*v^6+ (-3767*i - 2070)*u^22*v^5 + (142*i + 901)*u^22*v^4 + (74*i + 31)*u^22*v^3 - 15*u^22*v^2 - u^21*v^23 + (-15*i + 8)*u^21*v^22 + (-38*i + 112)*u^21*v^21 + (1098*i - 846)*u^21*v^20 + (-2987*i - 6044)*u^21*v^19 + (-51871*i + 20382)*u^21*v^18 + (17941*i + 114497)*u^21*v^17 + (407698*i - 143696)*u^21*v^16 + (-120877*i - 697862)*u^21*v^15 + (-1408622*i + 308462)*u^21*v^14 + (167193*i + 1735564)*u^21*v^13 + 2228624*i*u^21*v^12 + (167193*i - 1735564)*u^21*v^11 + (-1408622*i - 308462)*u^21*v^10 + (-120877*i + 697862)*u^21*v^9 + (407698*i + 143696)*u^21*v^8 + (17941*i - 114497)*u^21*v^7 + (-51871*i - 20382)*u^21*v^6 + (-2987*i + 6044)*u^21*v^5 + (1098*i + 846)*u^21*v^4 + (-38*i - 112)*u^21*v^3 + (-15*i - 8)*u^21*v^2 + u^21*v + (-i + 1)*u^20*v^23 + (8*i + 5)*u^20*v^22 + (231*i - 156)*u^20*v^21 + (-1158*i - 805)*u^20*v^20 + (-21695*i + 7260)*u^20*v^19 + (-804*i + 47636)*u^20*v^18 + (227393*i - 57211)*u^20*v^17 + (-16868*i - 393619)*u^20*v^16 + (-971562*i + 209330)*u^20*v^15 + (247444*i + 1376347)*u^20*v^14 + (2357342*i - 95048)*u^20*v^13 - 1932201*u^20*v^12 + (-2357342*i - 95048)*u^20*v^11 + (-247444*i + 1376347)*u^20*v^10 + (971562*i + 209330)*u^20*v^9 + (16868*i - 393619)*u^20*v^8 + (-227393*i - 57211)*u^20*v^7 + (804*i + 47636)*u^20*v^6 + (21695*i + 7260)*u^20*v^5 + (1158*i - 805)*u^20*v^4 + (-231*i - 156)*u^20*v^3 + (-8*i + 5)*u^20*v^2 + (i + 1)*u^20*v + (i - 1)*u^19*v^23 + (5*i - 16)*u^19*v^22 + (-345*i - 66)*u^19*v^21 + (-6058*i + 1100)*u^19*v^20 + (603*i + 15178)*u^19*v^19 + (107909*i - 15588)*u^19*v^18 + (4181*i - 207809)*u^19*v^17 + (-656482*i + 27224)*u^19*v^16 + (-7882*i + 878736)*u^19*v^15 + (1808154*i + 101692)*u^19*v^14 + (10530*i - 1483962)*u^19*v^13 - 2493864*i*u^19*v^12 + (10530*i + 1483962)*u^19*v^11 + (1808154*i - 101692)*u^19*v^10 + (-7882*i - 878736)*u^19*v^9 + (-656482*i - 27224)*u^19*v^8 + (4181*i + 207809)*u^19*v^7 + (107909*i + 15588)*u^19*v^6 + (603*i - 15178)*u^19*v^5 + (-6058*i - 1100)*u^19*v^4 + (-345*i + 66)*u^19*v^3 + (5*i + 16)*u^19*v^2 + (i + 1)*u^19*v + (-i + 1)*u^18*v^23 + (-16*i + 5)*u^18*v^22 + (-1102*i + 114)*u^18*v^21 + (-472*i + 5135)*u^18*v^20 + (34186*i + 1970)*u^18*v^19 + (-7144*i - 86034)*u^18*v^18 + (-354023*i - 14021)*u^18*v^17 + (-2464*i + 569644)*u^18*v^16 + (1435286*i + 364908)*u^18*v^15 + (458648*i - 902858)*u^18*v^14 + (-1910380*i - 210694)*u^18*v^13 + 1113272*u^18*v^12 + (1910380*i - 210694)*u^18*v^11 + (-458648*i - 902858)*u^18*v^10 + (-1435286*i + 364908)*u^18*v^9 + (2464*i + 569644)*u^18*v^8 + (354023*i - 14021)*u^18*v^7 + (7144*i - 86034)*u^18*v^6 + (-34186*i + 1970)*u^18*v^5 + (472*i + 5135)*u^18*v^4 + (1102*i + 114)*u^18*v^3 + (16*i + 5)*u^18*v^2 + (i + 1)*u^18*v + (i - 2)*u^17*v^23 + (-205*i - 14)*u^17*v^22 + (-530*i + 1176)*u^17*v^21 + (9017*i + 964)*u^17*v^20 + (1778*i - 36268)*u^17*v^19 + (-132687*i - 28188)*u^17*v^18 + (18289*i + 281042)*u^17*v^17 + (833410*i + 256480)*u^17*v^16 + (261426*i - 697912)*u^17*v^15 + (-1711766*i - 561272)*u^17*v^14 + (-522076*i + 676660)*u^17*v^13 + 1522374*i*u^17*v^12 + (-522076*i - 676660)*u^17*v^11 + (-1711766*i + 561272)*u^17*v^10 + (261426*i + 697912)*u^17*v^9 + (833410*i - 256480)*u^17*v^8 + (18289*i - 281042)*u^17*v^7 + (-132687*i + 28188)*u^17*v^6 + (1778*i + 36268)*u^17*v^5 + (9017*i - 964)*u^17*v^4 + (-530*i - 1176)*u^17*v^3 + (-205*i + 14)*u^17*v^2 + (i + 2)*u^17*v + (-23*i + 2)*u^16*v^23 + (-56*i + 232)*u^16*v^22 +(2289*i + 452)*u^16*v^21 + (1492*i - 9974)*u^16*v^20 + (-46831*i - 5216)*u^16*v^19 + (-10368*i + 141693)*u^16*v^18 + (355217*i + 176810)*u^16*v^17 + (135592*i - 333493)*u^16*v^16 + (-964306*i - 244344)*u^16*v^15 + (-106688*i + 853334)*u^16*v^14 + (1703278*i + 527836)*u^16*v^13 - 392598*u^16*v^12 + (-1703278*i + 527836)*u^16*v^11 + (106688*i + 853334)*u^16*v^10 + (964306*i - 244344)*u^16*v^9 + (-135592*i - 333493)*u^16*v^8 + (-355217*i + 176810)*u^16*v^7 + (10368*i + 141693)*u^16*v^6 + (46831*i - 5216)*u^16*v^5 + (-1492*i - 9974)*u^16*v^4 + (-2289*i + 452)*u^16*v^3 + (56*i + 232)*u^16*v^2 + (23*i + 2)*u^16*v - i*u^15*v^24 + (-i + 19)*u^15*v^23 + (319*i + 16)*u^15*v^22 + (-143*i - 2459)*u^15*v^21 + (-13802*i - 1640)*u^15*v^20 + (-2609*i + 43533)*u^15*v^19 + (150081*i + 43792)*u^15*v^18 + (110009*i - 207407)*u^15*v^17 + (-400828*i - 175252)*u^15*v^16 + (-16630*i + 431176)*u^15*v^15 + (960134*i + 23432)*u^15*v^14 + (-491354*i - 944218)*u^15*v^13 - 2193238*i*u^15*v^12 + (-491354*i + 944218)*u^15*v^11 + (960134*i - 23432)*u^15*v^10 + (-16630*i - 431176)*u^15*v^9 + (-400828*i + 175252)*u^15*v^8 + (110009*i + 207407)*u^15*v^7 + (150081*i - 43792)*u^15*v^6 + (-2609*i - 43533)*u^15*v^5 +(-13802*i + 1640)*u^15*v^4 + (-143*i + 2459)*u^15*v^3 + (319*i - 16)*u^15*v^2 + (-i - 19)*u^15*v - i*u^15 + u^14*v^24 + (25*i + 5)*u^14*v^23 + (-32*i - 296)*u^14*v^22 + (-2379*i + 361)*u^14*v^21 + (1708*i + 12630)*u^14*v^20 + (48885*i + 15631)*u^14*v^19 + (32712*i - 49333)*u^14*v^18 + (-192767*i + 30445)*u^14*v^17 + (-67168*i + 364420)*u^14*v^16 + (403662*i + 116412)*u^14*v^15 + (-409504*i - 378461)*u^14*v^14 + (-1446130*i + 721358)*u^14*v^13 + 1870506*u^14*v^12 + (1446130*i + 721358)*u^14*v^11 + (409504*i - 378461)*u^14*v^10 + (-403662*i + 116412)*u^14*v^9 + (67168*i + 364420)*u^14*v^8 + (192767*i + 30445)*u^14*v^7 + (-32712*i - 49333)*u^14*v^6 + (-48885*i + 15631)*u^14*v^5 + (-1708*i + 12630)*u^14*v^4 + (2379*i + 361)*u^14*v^3 + (32*i - 296)*u^14*v^2 + (-25*i + 5)*u^14*v + u^14 + i*u^13*v^24 + (-i - 30)*u^13*v^23 + (-299*i + 12)*u^13*v^22 + (349*i + 1740)*u^13*v^21 + (9966*i + 684)*u^13*v^20 + (3523*i - 17204)*u^13*v^19 + (-61930*i + 4986)*u^13*v^18 + (11869*i + 72782)*u^13*v^17 + (240526*i - 161612)*u^13*v^16 + (-151938*i - 439992)*u^13*v^15 + (-784241*i + 326962)*u^13*v^14 + (-41602*i + 1104172)*u^13*v^13 + 836346*i*u^13*v^12 + (-41602*i - 1104172)*u^13*v^11 + (-784241*i - 326962)*u^13*v^10 + (-151938*i + 439992)*u^13*v^9 + (240526*i + 161612)*u^13*v^8 + (11869*i - 72782)*u^13*v^7 + (-61930*i - 4986)*u^13*v^6 + (3523*i + 17204)*u^13*v^5 + (9966*i - 684)*u^13*v^4 + (349*i -1740)*u^13*v^3 + (-299*i - 12)*u^13*v^2 + (-i + 30)*u^13*v + i*u^13 - u^12*v^24 + (-25*i + 6)*u^12*v^23 + (32*i + 279)*u^12*v^22 + (1639*i + 600)*u^12*v^21 + (1532*i - 13)*u^12*v^20 + (-8202*i + 12504)*u^12*v^19 + (21736*i + 37143)*u^12*v^18 + (72722*i - 19630)*u^12*v^17 + (-171968*i - 3979)*u^12*v^16 + (-567671*i + 567740)*u^12*v^15 + (-262064*i + 1115974)*u^12*v^14 + (313285*i + 483108)*u^12*v^13 - 210149*u^12*v^12 + (-313285*i + 483108)*u^12*v^11 + (262064*i + 1115974)*u^12*v^10 + (567671*i + 567740)*u^12*v^9 + (171968*i - 3979)*u^12*v^8 + (-72722*i - 19630)*u^12*v^7 + (-21736*i + 37143)*u^12*v^6 + (8202*i + 12504)*u^12*v^5 + (-1532*i - 13)*u^12*v^4 + (-1639*i + 600)*u^12*v^3 + (-32*i + 279)*u^12*v^2 + (25*i + 6)*u^12*v - u^12 - i*u^11*v^24 + (i + 19)*u^11*v^23 + (233*i + 16)*u^11*v^22 + (551*i - 309)*u^11*v^21 + (-876*i + 40)*u^11*v^20 + (2222*i - 2280)*u^11*v^19 + (-1870*i - 30180)*u^11*v^18 + (-98170*i - 35162)*u^11*v^17 + (-212062*i + 142040)*u^11*v^16 + (-2573*i + 291685)*u^11*v^15 + (363487*i - 67620)*u^11*v^14 + (285033*i - 428387)*u^11*v^13 + 76306*i*u^11*v^12 + (285033*i + 428387)*u^11*v^11 + (363487*i + 67620)*u^11*v^10 + (-2573*i - 291685)*u^11*v^9 + (-212062*i - 142040)*u^11*v^8 + (-98170*i + 35162)*u^11*v^7 + (-1870*i + 30180)*u^11*v^6 + (2222*i + 2280)*u^11*v^5 + (-876*i - 40)*u^11*v^4 + (551*i + 309)*u^11*v^3 + (233*i - 16)*u^11*v^2 + (i - 19)*u^11*v - i*u^11 + u^10*v^24 + (23*i + 5)*u^10*v^23 + (56*i + 25)*u^10*v^22 + (-354*i + 331)*u^10*v^21 + (-382*i + 1530)*u^10*v^20 + (-257*i + 2716)*u^10*v^19 + (-15156*i + 19060)*u^10*v^18 + (-36026*i + 104290)*u^10*v^17 + (-508*i + 231898)*u^10*v^16 + (28453*i + 247823)*u^10*v^15 + (-99252*i + 244878)*u^10*v^14 + (-194465*i + 478381)*u^10*v^13 + 672308*u^10*v^12 + (194465*i + 478381)*u^10*v^11 + (99252*i + 244878)*u^10*v^10 + (-28453*i + 247823)*u^10*v^9 + (508*i + 231898)*u^10*v^8 + (36026*i + 104290)*u^10*v^7 + (15156*i + 19060)*u^10*v^6 + (257*i + 2716)*u^10*v^5 + (382*i + 1530)*u^10*v^4 + (354*i + 331)*u^10*v^3 + (-56*i + 25)*u^10*v^2 + (-23*i + 5)*u^10*v + u^10 + i*u^9*v^24 + (i - 2)*u^9*v^23 + (-25*i - 14)*u^9*v^22 + (218*i - 59)*u^9*v^21 + (927*i - 986)*u^9*v^20 + (-3291*i - 2935)*u^9*v^19 + (-21108*i + 5904)*u^9*v^18 + (-44970*i + 33608)*u^9*v^17 + (-53754*i + 37564)*u^9*v^16 + (-14645*i - 8074)*u^9*v^15 + (132421*i - 29272)*u^9*v^14 + (366239*i - 3612)*u^9*v^13 + 490180*i*u^9*v^12 + (366239*i + 3612)*u^9*v^11 + (132421*i + 29272)*u^9*v^10 + (-14645*i + 8074)*u^9*v^9 + (-53754*i - 37564)*u^9*v^8 + (-44970*i - 33608)*u^9*v^7 + (-21108*i- 5904)*u^9*v^6 + (-3291*i + 2935)*u^9*v^5 + (927*i + 986)*u^9*v^4 + (218*i + 59)*u^9*v^3 + (-25*i + 14)*u^9*v^2 + (i + 2)*u^9*v + i*u^9 + (i + 2)*u^8*v^23 + (16*i + 28)*u^8*v^22 + (-103*i + 77)*u^8*v^21 + (-1698*i + 546)*u^8*v^20 + (-6372*i + 6939)*u^8*v^19 + (-8652*i + 30516)*u^8*v^18 + (6624*i + 64680)*u^8*v^17 + (46764*i + 83793)*u^8*v^16 + (87747*i + 105066)*u^8*v^15 + (89668*i + 182339)*u^8*v^14 + (50215*i + 297280)*u^8*v^13 + 353644*u^8*v^12 + (-50215*i + 297280)*u^8*v^11 + (-89668*i + 182339)*u^8*v^10 + (-87747*i + 105066)*u^8*v^9 + (-46764*i + 83793)*u^8*v^8 + (-6624*i + 64680)*u^8*v^7 + (8652*i + 30516)*u^8*v^6 + (6372*i + 6939)*u^8*v^5 + (1698*i + 546)*u^8*v^4 + (103*i + 77)*u^8*v^3 + (-16*i + 28)*u^8*v^2 + (-i + 2)*u^8*v + (-i - 1)*u^7*v^23 + (-5*i - 16)*u^7*v^22 + (-55*i - 86)*u^7*v^21 + (-202*i + 540)*u^7*v^20 + (-268*i + 3555)*u^7*v^19 + (-492*i + 4632)*u^7*v^18 + (-3440*i - 7608)*u^7*v^17 + (-10874*i - 24996)*u^7*v^16 + (-3507*i - 13923)*u^7*v^15 + (64657*i + 25808)*u^7*v^14 + (188775*i + 39293)*u^7*v^13 + 256840*i*u^7*v^12 + (188775*i - 39293)*u^7*v^11 + (64657*i - 25808)*u^7*v^10 + (-3507*i + 13923)*u^7*v^9 + (-10874*i + 24996)*u^7*v^8 + (-3440*i + 7608)*u^7*v^7 + (-492*i - 4632)*u^7*v^6 + (-268*i - 3555)*u^7*v^5 + (-202*i - 540)*u^7*v^4 + (-55*i + 86)*u^7*v^3 + (-5*i + 16)*u^7*v^2 + (-i + 1)*u^7*v + (i + 1)*u^6*v^23 + (-8*i + 5)*u^6*v^22 + (-137*i+ 174)*u^6*v^21 + (-670*i + 1055)*u^6*v^20 + (-1590*i + 2885)*u^6*v^19 + (-1220*i + 6128)*u^6*v^18 + (4796*i + 16204)*u^6*v^17 + (24412*i + 41092)*u^6*v^16 + (64607*i + 75095)*u^6*v^15 + (105268*i + 97515)*u^6*v^14 + (89975*i + 99625)*u^6*v^13 + 96378*u^6*v^12 + (-89975*i + 99625)*u^6*v^11 + (-105268*i + 97515)*u^6*v^10 + (-64607*i + 75095)*u^6*v^9 + (-24412*i + 41092)*u^6*v^8 + (-4796*i + 16204)*u^6*v^7 + (1220*i + 6128)*u^6*v^6 + (1590*i + 2885)*u^6*v^5 + (670*i + 1055)*u^6*v^4 + (137*i + 174)*u^6*v^3 + (8*i + 5)*u^6*v^2 + (-i + 1)*u^6*v + (-i - 1)*u^5*v^23 + (-8*i + 8)*u^5*v^22 + (3*i +68)*u^5*v^21 + (190*i + 162)*u^5*v^20 + (810*i + 112)*u^5*v^19 + (1686*i - 510)*u^5*v^18 + (2656*i - 2671)*u^5*v^17 + (6484*i - 6728)*u^5*v^16 + (16725*i - 9918)*u^5*v^15 + (28370*i - 8678)*u^5*v^14 + (32543*i - 4228)*u^5*v^13 + 32028*i*u^5*v^12 + (32543*i + 4228)*u^5*v^11 + (28370*i + 8678)*u^5*v^10 + (16725*i + 9918)*u^5*v^9 + (6484*i + 6728)*u^5*v^8 + (2656*i + 2671)*u^5*v^7 + (1686*i + 510)*u^5*v^6 + (810*i - 112)*u^5*v^5 + (190*i - 162)*u^5*v^4 + (3*i - 68)*u^5*v^3 + (-8*i - 8)*u^5*v^2 + (-i + 1)*u^5*v + u^4*v^23 + 8*u^4*v^22 + (-16*i + 36)*u^4*v^21 + (-118*i + 118)*u^4*v^20 + (-378*i+ 332)*u^4*v^19 + (-300*i + 1191)*u^4*v^18 + (2390*i + 4509)*u^4*v^17 + (10828*i + 12381)*u^4*v^16 + (23262*i + 22818)*u^4*v^15 + (29892*i + 29157)*u^4*v^14 + (21406*i + 28560)*u^4*v^13 + 26802*u^4*v^12 + (-21406*i + 28560)*u^4*v^11 + (-29892*i + 29157)*u^4*v^10 + (-23262*i + 22818)*u^4*v^9 + (-10828*i + 12381)*u^4*v^8 + (-2390*i + 4509)*u^4*v^7 + (300*i + 1191)*u^4*v^6 + (378*i + 332)*u^4*v^5 + (118*i + 118)*u^4*v^4 + (16*i + 36)*u^4*v^3 + 8*u^4*v^2 + u^4*v + (8*i - 3)*u^3*v^21 + (62*i - 20)*u^3*v^20 + (262*i - 35)*u^3*v^19 + (862*i + 4)*u^3*v^18 + (2226*i - 180)*u^3*v^17 + (4068*i - 1560)*u^3*v^16 + (4726*i - 4600)*u^3*v^15 + (2626*i - 7180)*u^3*v^14 + (-1078*i - 5764)*u^3*v^13 - 2948*i*u^3*v^12 + (-1078*i + 5764)*u^3*v^11 + (2626*i + 7180)*u^3*v^10 + (4726*i + 4600)*u^3*v^9 + (4068*i + 1560)*u^3*v^8 + (2226*i + 180)*u^3*v^7 + (862*i - 4)*u^3*v^6 + (262*i + 35)*u^3*v^5 + (62*i + 20)*u^3*v^4 + (8*i + 3)*u^3*v^3 + (-3*i + 1)*u^2*v^21 + (-20*i + 11)*u^2*v^20 + (-35*i + 55)*u^2*v^19 + (96*i+ 191)*u^2*v^18 + (630*i + 576)*u^2*v^17 + (1608*i + 1518)*u^2*v^16 + (2550*i + 3212)*u^2*v^15 + (2720*i + 5281)*u^2*v^14 + (1760*i + 6908)*u^2*v^13 + 7502*u^2*v^12 + (-1760*i + 6908)*u^2*v^11 + (-2720*i+ 5281)*u^2*v^10 + (-2550*i + 3212)*u^2*v^9 + (-1608*i + 1518)*u^2*v^8 + (-630*i + 576)*u^2*v^7 + (-96*i + 191)*u^2*v^6 + (35*i + 55)*u^2*v^5 + (20*i + 11)*u^2*v^4 + (3*i + 1)*u^2*v^3 + i*u*v^21 + 11*i*u*v^20 + 55*i*u*v^19 + (164*i - 6)*u*v^18 + (318*i - 60)*u*v^17 + (396*i - 264)*u*v^16 + (242*i - 660)*u*v^15 + (-164*i - 990)*u*v^14 + (-616*i - 792)*u*v^13 - 814*i*u*v^12 + (-616*i + 792)*u*v^11 +(-164*i + 990)*u*v^10 + (242*i + 660)*u*v^9 + (396*i + 264)*u*v^8 + (318*i + 60)*u*v^7 + (164*i + 6)*u*v^6 + 55*i*u*v^5 + 11*i*u*v^4 + i*u*v^3 + v^18 + 12*v^17 + 66*v^16 + 220*v^15 + 495*v^14 + 792*v^13 + 924*v^12 + 792*v^11 + 495*v^10 + 220*v^9 + 66*v^8 + 12*v^7 + v^6;
q := (u*v - u - v - 1)/(u*v + u - v - 1);
t := (-u*v + u + v + 1)/(u*v + u + v + 1);
E := [1,(q^2-1)*(t^2-1)/16,(q^2-1)*(t^2-1)/16,0,0];
P := [(q+1)*(t^2-1)/8,(q+1)^2*(t-1)^2*(t+1)/32];
Q := [0,0];