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_3_24.txt
N := 8;
X := (u^28 + 28*u^27 + 378*u^26 + 3276*u^25 + 20474*u^24 + 98256*u^23 + 376464*u^22 + 1182016*u^21 + 3097480*u^20 + 6864416*u^19 + 12988704*u^18 + 21129216*u^17 + 29691129*u^16 + 36150160*u^15 + 38194104*u^14 + 35023536*u^13 + 27843569*u^12 + 19145996*u^11 + 11346610*u^10 + 5767356*u^9 + 2498604*u^8 + 915456*u^7 + 280904*u^6 + 71280*u^5 + 14694*u^4 + 2392*u^3 + 292*u^2 + 24*u + 1)*v^24 + (u^34 + 32*u^33 + 499*u^32 + 5050*u^31 + 37269*u^30 + 213668*u^29 + 989943*u^28 + 3807082*u^27 + 12388818*u^26 + 34605512*u^25 + 83887862*u^24 + 177982144*u^23 + 332663088*u^22 + 550373680*u^21 + 808492512*u^20 + 1055890336*u^19 + 1225050206*u^18 + 1258548480*u^17 + 1137495834*u^16 + 894392588*u^15 + 600107710*u^14 + 331274360*u^13 + 137961726*u^12 + 30383528*u^11 - 11594269*u^10 - 17918624*u^9 - 12036195*u^8 - 5718502*u^7 - 2093791*u^6 - 604100*u^5 - 137193*u^4 - 24082*u^3 - 3128*u^2 - 272*u - 12)*v^23 + (u^40 + 36*u^39 + 636*u^38 + 7344*u^37 + 62290*u^36 + 413504*u^35 + 2235530*u^34 + 10113182*u^33 + 39037933*u^32 + 130479780*u^31 + 381917781*u^30 + 987716130*u^29 + 2273019429*u^28 + 4680865652*u^27 + 8663947197*u^26 + 14461597020*u^25 + 21818666358*u^24 + 29792654140*u^23 + 36825442064*u^22 + 41162866936*u^21 + 41505676078*u^20 + 37588475024*u^19 + 30359530768*u^18 + 21628437628*u^17 + 13350808297*u^16 + 6924310492*u^15 + 2837778886*u^14 + 778162404*u^13 + 33583256*u^12 - 88618852*u^11 - 33090250*u^10 + 14848506*u^9 + 24784339*u^8 + 16550168*u^7 + 7425121*u^6 + 2463594*u^5 + 619717*u^4 + 117576*u^3 + 16259*u^2 + 1496*u + 70)*v^22 - (u^42 + 36*u^41 + 631*u^40 + 7182*u^39 + 59761*u^38 + 388268*u^37 + 2055829*u^36 + 9151198*u^35 + 35094485*u^34 + 118343022*u^33 + 357063486*u^32 + 977901270*u^31 + 2457531782*u^30 + 5705689278*u^29 + 12272869330*u^28 + 24449016210*u^27 + 45005064482*u^26 + 76316715500*u^25 + 118854021269*u^24 + 169540030418*u^23 + 220993162963*u^22 + 262663917980*u^21 + 284040297143*u^20 + 278751711074*u^19 + 247481627660*u^18 + 197959298172*u^17 + 141895905326*u^16 + 90499399728*u^15 + 50892070288*u^14 + 24955515400*u^13 + 10546748322*u^12 + 3818275308*u^11 + 1209180776*u^10 + 369382786*u^9 + 129767663*u^8 + 53765672*u^7 + 21714917*u^6 + 7325090*u^5 + 1931993*u^4 + 385144*u^3 + 55725*u^2 + 5360*u + 264)*v^21 + (u^44 + 36*u^43 + 636*u^42 + 7350*u^41 + 62563*u^40 + 419084*u^39 + 2306221*u^38 + 10748006*u^37 + 43388073*u^36 + 154309324*u^35 + 489678011*u^34 + 1399702356*u^33 + 3629855952*u^32 + 8590530032*u^31 + 18653814024*u^30 + 37369396288*u^29 + 69465391110*u^28 + 120507275268*u^27 + 196065075304*u^26 + 300146997766*u^25 + 432672991811*u^24 + 586265814852*u^23 + 743752438763*u^22 + 878779055146*u^21 + 961481383007*u^20 + 968511888068*u^19 + 893197061105*u^18 + 750050006772*u^17 + 570287105682*u^16 + 390221593576*u^15 + 238646998878*u^14 + 129428701420*u^13 + 61723094616*u^12 + 25680753920*u^11 + 9290970456*u^10 + 2952629362*u^9 + 856607224*u^8 + 243151236*u^7 + 70643835*u^6 + 19987994*u^5 + 4947367*u^4 + 976180*u^3 + 142701*u^2 + 14020*u + 716)*v^20 + (4*u^44 + 132*u^43 + 2105*u^42 + 21562*u^41 + 159010*u^40 + 895566*u^39 + 3974907*u^38 + 14040390*u^37 + 38667035*u^36 + 74759320*u^35 + 45060664*u^34 - 393996952*u^33 - 2295856923*u^32 - 8228266398*u^31 - 23383965017*u^30 - 56584979740*u^29 - 120368835223*u^28 - 229287002466*u^27 - 396148643990*u^26 - 626992821078*u^25 - 916300298583*u^24 - 1243825704616*u^23 - 1573933366767*u^22 - 1858433840246*u^21 - 2044445483863*u^20 - 2087882338336*u^19 - 1969492027050*u^18 - 1705990959312*u^17 - 1348450142299*u^16 - 966145371814*u^15 - 623048234310*u^14 - 358858241908*u^13 - 183058957606*u^12 - 81979596608*u^11 - 31976249709*u^10 - 10820953134*u^9 - 3197615826*u^8 - 846224318*u^7 - 209253558*u^6 - 49596850*u^5 - 10864488*u^4 - 2015234*u^3 - 287179*u^2 - 28088*u - 1462)*v^19 + (8*u^44 + 236*u^43 + 3242*u^42 + 27148*u^41 + 149761*u^40 + 518040*u^39 + 577512*u^38 - 5820918*u^37 - 48914227*u^36 - 232282828*u^35 - 824960589*u^34 - 2356429702*u^33 - 5534416373*u^32 - 10590607792*u^31 - 15541789407*u^30 - 13196703538*u^29 + 12160690779*u^28 + 85975860620*u^27 + 239505497813*u^26 + 499592496954*u^25 + 874928331254*u^24 + 1344974449084*u^23 + 1857415095077*u^22 + 2336049896838*u^21 + 2696794225577*u^20 + 2867772470412*u^19 + 2809352157989*u^18 + 2528707283250*u^17 + 2081856950434*u^16 + 1558558181292*u^15 + 1053812091813*u^14 + 638635234276*u^13 + 343945724310*u^12 + 163082255552*u^11 + 67417623910*u^10 + 24089262708*u^9 + 7407471408*u^8 + 1971580368*u^7 + 464125574*u^6 + 99634128*u^5 + 19622280*u^4 + 3368940*u^3 + 458398*u^2 + 43764*u + 2289)*v^18 + (u^46 + 32*u^45 + 529*u^44 + 5898*u^43 + 48758*u^42 + 313296*u^41 + 1615036*u^40 + 6865720*u^39 + 24782245*u^38 + 78658690*u^37 + 228919680*u^36 + 636618586*u^35 + 1732939142*u^34 + 4597548898*u^33 + 11602194140*u^32 + 27095622726*u^31 + 57307578827*u^30 + 108020238786*u^29 + 178791729247*u^28 + 254662428912*u^27 + 300020831170*u^26 + 261731392778*u^25 + 85762127422*u^24 - 257040447958*u^23 - 748863262974*u^22 - 1319893141498*u^21 - 1864700610132*u^20 - 2272953450138*u^19 - 2461912532090*u^18 - 2400005641158*u^17 - 2115005571874*u^16 - 1683933343534*u^15 - 1206832358410*u^14 - 773989634452*u^13 - 440861848127*u^12 - 221001569302*u^11 - 96494403114*u^10 - 36298536468*u^9 - 11653264830*u^8 - 3180051672*u^7 - 743247384*u^6 - 152098056*u^5 - 27814890*u^4 - 4452768*u^3 - 575286*u^2 - 52992*u - 2760)*v^17 + (2*u^46 + 58*u^45 + 848*u^44 + 8128*u^43 + 55599*u^42 + 278428*u^41 + 1001470*u^40 + 2274312*u^39 + 587374*u^38 - 22629716*u^37 - 129565646*u^36 - 484594436*u^35 - 1472247216*u^34 - 3959637792*u^33 - 9890807370*u^32 - 23448305560*u^31 - 52725639832*u^30 - 110896415926*u^29 - 214442810351*u^28 - 375552844544*u^27 - 588553256525*u^26 - 816569332044*u^25 - 990035642160*u^24 - 1025926470024*u^23 - 863584346404*u^22 - 498645587188*u^21 + 5900536007*u^20 + 539210902760*u^19 + 982044161358*u^18 + 1246519478360*u^17 + 1300468249721*u^16 + 1170260640264*u^15 + 924036413468*u^14 + 643137245098*u^13 + 393813967574*u^12 + 210873698980*u^11 + 97844168661*u^10 + 38895572748*u^9 + 13087533474*u^8 + 3690951384*u^7 + 870811302*u^6 + 174114564*u^5 + 30222945*u^4 + 4559712*u^3 + 560154*u^2 + 49440*u + 2553)*v^16 + (u^46 + 22*u^45 + 196*u^44 + 298*u^43 - 13611*u^42 - 192396*u^41 - 1521132*u^40 - 8535732*u^39 - 36867786*u^38 - 128030036*u^37 - 368085394*u^36 - 895726588*u^35 - 1876096409*u^34 - 3409960516*u^33 - 5309448687*u^32 - 6543410074*u^31 - 3972061882*u^30 + 9926375138*u^29 + 49674800693*u^28 + 137058139388*u^27 + 294733293803*u^26 + 531124451404*u^25 + 822221117194*u^24 + 1104046721496*u^23 + 1288303913093*u^22 + 1299116839920*u^21 + 1111119204165*u^20 + 764933924246*u^19 + 350579012160*u^18 - 29977104896*u^17 - 299919199218*u^16 - 428354771292*u^15 - 430342025652*u^14 - 350780180086*u^13 - 241500626861*u^12 - 142050680948*u^11 - 71318017846*u^10 - 30320093664*u^9 - 10783675599*u^8 - 3166414806*u^7 - 760804652*u^6 - 150255252*u^5 - 24985500*u^4 - 3568708*u^3 - 417406*u^2 - 35040*u - 1792)*v^15 + (u^48 + 28*u^47 + 408*u^46 + 4048*u^45 + 30446*u^44 + 183672*u^43 + 919892*u^42 + 3926928*u^41 + 14659548*u^40 + 49141624*u^39 + 151435980*u^38 + 435086796*u^37 + 1167815922*u^36 + 2910846940*u^35 + 6689285182*u^34 + 14116540186*u^33 + 27357642096*u^32 + 48808905820*u^31 + 80339876021*u^30 + 121810616494*u^29 + 168489780353*u^28 + 207606434944*u^27 + 216254963989*u^26 + 165192450092*u^25 + 32006708410*u^24 - 180070604688*u^23 - 430443774474*u^22 - 649705964938*u^21 - 768709764527*u^20 - 751646957520*u^19 - 611989329323*u^18 - 402551540980*u^17 - 188716589617*u^16 - 21855014220*u^15 + 74987275430*u^14 + 106676346274*u^13 + 95230212897*u^12 + 65956810036*u^11 + 37260211891*u^10 + 17352354170*u^9 + 6625823883*u^8 + 2047331120*u^7 + 504772845*u^6 + 98890368*u^5 + 15726478*u^4 + 2113584*u^3 + 234576*u^2 + 18464*u + 936)*v^14 - (11*u^46 + 332*u^45 + 4881*u^44 + 47814*u^43 + 350649*u^42 + 2033780*u^41 + 9645467*u^40 + 38434342*u^39 + 132106404*u^38 + 401956076*u^37 + 1107751764*u^36 + 2811115400*u^35 + 6623554435*u^34 + 14513823190*u^33 + 29531990216*u^32 + 55714440570*u^31 + 97452755535*u^30 + 158261891730*u^29 + 239013810861*u^28 + 335635402828*u^27 + 436361957706*u^26 + 519833071096*u^25 + 557397713147*u^24 + 522887640810*u^23 + 407807645377*u^22 + 232428405642*u^21 + 42238861492*u^20 - 111286520370*u^19 - 194102918247*u^18 - 202213570060*u^17 - 157369873472*u^16 - 91858626620*u^15 - 33165355940*u^14 + 4365841466*u^13 + 19712071653*u^12 + 19943615812*u^11 + 13780552203*u^10 + 7333410658*u^9 + 3081336015*u^8 + 1017515600*u^7 + 259779033*u^6 + 50560396*u^5 + 7600052*u^4 + 939920*u^3 + 97824*u^2 + 6992*u + 352)*v^13 - (u^48 + 24*u^47 + 322*u^46 + 3082*u^45 + 22943*u^44 + 138908*u^43 + 699771*u^42 + 2960534*u^41 + 10555809*u^40 + 31804812*u^39 + 81167089*u^38 + 174882232*u^37 + 310294247*u^36 + 407750656*u^35 + 178105904*u^34 - 1123790848*u^33 - 5048738778*u^32 - 14270551008*u^31 - 32593412760*u^30 - 64353733410*u^29 - 113152890875*u^28 - 180213471904*u^27 - 262723387861*u^26 - 352293571978*u^25 - 433997931232*u^24 - 487798567396*u^23 - 494488749741*u^22 - 445168270740*u^21 - 348512390978*u^20 - 229367121040*u^19 - 118002447302*u^18 - 36789562380*u^17 + 7201046224*u^16 + 20566848928*u^15 + 16375371404*u^14 + 6882968886*u^13 - 519372578*u^12 - 3666187052*u^11 - 3630829563*u^10 - 2337070918*u^9 - 1112698531*u^8 - 399831180*u^7 - 106895743*u^6 - 20711168*u^5 - 2885846*u^4 - 313156*u^3 - 29838*u^2 - 1796*u - 90)*v^12 - (11*u^46 + 174*u^45 + 1326*u^44 + 5250*u^43 - 3972*u^42 - 226646*u^41 - 1891646*u^40 - 10173874*u^39 - 41521739*u^38 - 137503512*u^37 - 384733368*u^36 - 934835072*u^35 - 2006772501*u^34 - 3833022968*u^33 - 6493670347*u^32 - 9606564322*u^31 - 11942449569*u^30 - 11191079366*u^29 - 4193405338*u^28 + 12212434058*u^27 + 39982548597*u^26 + 78741653966*u^25 + 124922441797*u^24 + 171272884608*u^23 + 207507033134*u^22 + 223205622816*u^21 + 212538979723*u^20 + 177967066594*u^19 + 129768443775*u^18 + 81179682508*u^17 + 42448913521*u^16 + 17630122506*u^15 + 5208166348*u^14 + 878229422*u^13 + 304845789*u^12 + 659362804*u^11 + 792928028*u^10 + 604698934*u^9 + 327480554*u^8 + 129279738*u^7 + 36576982*u^6 + 7102300*u^5 + 901935*u^4 + 79178*u^3 + 6674*u^2 + 280*u + 14)*v^11 + (u^48 + 20*u^47 + 220*u^46 + 1748*u^45 + 11126*u^44 + 59956*u^43 + 283492*u^42 + 1192444*u^41 + 4430048*u^40 + 14320884*u^39 + 39843096*u^38 + 94935456*u^37 + 192963676*u^36 + 330039208*u^35 + 453058182*u^34 + 415848750*u^33 - 53114149*u^32 - 1320671668*u^31 - 3698011703*u^30 - 7157900140*u^29 - 11030263014*u^28 - 13912686352*u^27 - 13982248376*u^26 - 9613001274*u^25 - 7021425*u^24 + 14301641324*u^23 + 31090075125*u^22 + 46561455854*u^21 + 56436461353*u^20 + 57859668696*u^19 + 50947536695*u^18 + 38719224758*u^17 + 25375632749*u^16 + 14249881948*u^15 + 6778235829*u^14 + 2713662466*u^13 + 960475179*u^12 + 379684668*u^11 + 219126421*u^10 + 146801772*u^9 + 83477238*u^8 + 35627348*u^7 + 10720276*u^6 + 2114438*u^5 + 245773*u^4 + 15708*u^3 + 1155*u^2 + 20*u + 1)*v^10 + (u^46 + 24*u^45 + 241*u^44 + 1726*u^43 + 9996*u^42 + 40328*u^41 + 65732*u^40 - 384360*u^39 - 3693905*u^38 - 17617732*u^37 - 60871619*u^36 - 168969802*u^35 - 395343137*u^34 - 799212318*u^33 - 1411667330*u^32 - 2182261446*u^31 - 2931078162*u^30 - 3354377604*u^29 - 3131060811*u^28 - 2116376974*u^27 - 505539091*u^26 + 1170344394*u^25 + 2218231034*u^24 + 2014727530*u^23 + 244605869*u^22 - 2861800170*u^21 - 6441083005*u^20 - 9273583724*u^19 - 10384458688*u^18 - 9571953518*u^17 - 7437362566*u^16 - 4921105950*u^15 - 2776136521*u^14 - 1330665774*u^13 - 544658733*u^12 - 199986564*u^11 - 76726739*u^10 - 36248624*u^9 - 18830232*u^8 - 8350216*u^7 - 2671984*u^6 - 544350*u^5 - 59569*u^4 - 2472*u^3 - 169*u^2)*v^9 + (2*u^46 + 34*u^45 + 308*u^44 + 2124*u^43 + 11653*u^42 + 47856*u^41 + 137477*u^40 + 244232*u^39 + 116618*u^38 - 694190*u^37 - 1958714*u^36 - 134120*u^35 + 16581019*u^34 + 74529192*u^33 + 217821691*u^32 + 500808344*u^31 + 963682884*u^30 + 1594155746*u^29 + 2295158911*u^28 + 2893464096*u^27 + 3207168931*u^26 + 3134909480*u^25 + 2703686170*u^24 + 2059498184*u^23 + 1424090118*u^22 + 1018578194*u^21 + 956610684*u^20 + 1168922948*u^19 + 1437162413*u^18 + 1537609784*u^17 + 1384804694*u^16 + 1051283232*u^15 + 675395330*u^14 + 366649210*u^13 + 167701983*u^12 + 65235244*u^11 + 22807725*u^10 + 8325692*u^9 + 3612192*u^8 + 1593496*u^7 + 543328*u^6 + 116194*u^5 + 12361*u^4 + 272*u^3 + 19*u^2)*v^8 + (u^46 + 14*u^45 + 124*u^44 + 878*u^43 + 4683*u^42 + 17636*u^41 + 46130*u^40 + 83652*u^39 + 115304*u^38 + 217074*u^37 + 794737*u^36 + 2854620*u^35 + 7955624*u^34 + 17153904*u^33 + 28265867*u^32 + 32065338*u^31 + 9982591*u^30 - 62716530*u^29 - 205017704*u^28 - 412551446*u^27 - 648182501*u^26 - 853535472*u^25 - 973938048*u^24 - 978741264*u^23 - 871973323*u^22 - 694034002*u^21 - 507089464*u^20 - 364965330*u^19 - 285379891*u^18 - 246474228*u^17 - 213805532*u^16 - 169824576*u^15 - 117948932*u^14 - 69973182*u^13 - 34902247*u^12 - 14517840*u^11 - 5085152*u^10 - 1610616*u^9 - 562445*u^8 - 234314*u^7 - 85797*u^6 - 19610*u^5 - 2092*u^4 - 14*u^3 - u^2)*v^7 + (8*u^44 + 116*u^43 + 662*u^42 + 1860*u^41 + 1587*u^40 - 7496*u^39 - 33800*u^38 - 73490*u^37 - 107675*u^36 - 145728*u^35 - 356525*u^34 - 1303562*u^33 - 4082502*u^32 - 9986864*u^31 - 19455767*u^30 - 30512168*u^29 - 37670020*u^28 - 33328040*u^27 - 12416752*u^26 + 23327104*u^25 + 65607769*u^24 + 103115172*u^23 + 125357264*u^22 + 126818400*u^21 + 109896786*u^20 + 83678972*u^19 + 58913970*u^18 + 41513928*u^17 + 30543098*u^16 + 22612460*u^15 + 15775710*u^14 + 9802406*u^13 + 5200469*u^12 + 2291516*u^11 + 825665*u^10 + 243798*u^9 + 67517*u^8 + 24432*u^7 + 9839*u^6 + 2472*u^5 + 274*u^4)*v^6 + (4*u^44 + 44*u^43 + 213*u^42 + 628*u^41 + 1365*u^40 + 3306*u^39 + 10635*u^38 + 33214*u^37 + 85766*u^36 + 183366*u^35 + 329674*u^34 + 518386*u^33 + 776636*u^32 + 1246342*u^31 + 2234661*u^30 + 4151652*u^29 + 7206052*u^28 + 10891192*u^27 + 13878157*u^26 + 14748476*u^25 + 12851947*u^24 + 8506614*u^23 + 2912568*u^22 - 2190892*u^21 - 5381696*u^20 - 6168252*u^19 - 5218346*u^18 - 3814812*u^17 - 2710846*u^16 - 1943776*u^15 - 1368659*u^14 - 893206*u^13 - 505886*u^12 - 236174*u^11 - 88165*u^10 - 24966*u^9 - 5225*u^8 - 1328*u^7 - 683*u^6 - 204*u^5 - 24*u^4)*v^5 + (u^44 + 8*u^43 + 34*u^42 + 98*u^41 + 284*u^40 + 964*u^39 + 3089*u^38 + 8160*u^37 + 18227*u^36 + 34932*u^35 + 59126*u^34 + 92672*u^33 + 142053*u^32 + 215808*u^31 + 314596*u^30 + 413520*u^29 + 435584*u^28 + 276276*u^27 - 93380*u^26 - 566750*u^25 - 983809*u^24 - 1205668*u^23 - 1144367*u^22 - 844312*u^21 - 441012*u^20 - 95128*u^19 + 76904*u^18 + 108876*u^17 + 95566*u^16 + 76432*u^15 + 59364*u^14 + 43752*u^13 + 28097*u^12 + 14292*u^11 + 5588*u^10 + 1510*u^9 + 179*u^8 - 28*u^7 + 13*u^6 + 8*u^5 + u^4)*v^4 - (u^42 + 6*u^41 + 16*u^40 + 18*u^39 + 13*u^38 + 16*u^37 + 146*u^36 + 680*u^35 + 2031*u^34 + 4484*u^33 + 8359*u^32 + 14530*u^31 + 24328*u^30 + 40560*u^29 + 65444*u^28 + 93636*u^27 + 110690*u^26 + 107498*u^25 + 86009*u^24 + 50528*u^23 + 15403*u^22 - 7352*u^21 - 14668*u^20 - 7208*u^19 + 2281*u^18 + 4852*u^17 + 4269*u^16 + 3106*u^15 + 2138*u^14 + 1520*u^13 + 1086*u^12 + 600*u^11 + 251*u^10 + 70*u^9 + 6*u^8 - 6*u^7 - u^6)*v^3 + (u^40 + 4*u^39 + 12*u^38 + 28*u^37 + 56*u^36 + 100*u^35 + 178*u^34 + 322*u^33 + 528*u^32 + 812*u^31 + 1129*u^30 + 1424*u^29 + 1894*u^28 + 3140*u^27 + 5076*u^26 + 6654*u^25 + 7773*u^24 + 7712*u^23 + 6387*u^22 + 4704*u^21 + 2814*u^20 + 1608*u^19 + 1290*u^18 + 950*u^17 + 620*u^16 + 368*u^15 + 201*u^14 + 100*u^13 + 56*u^12 + 28*u^11 + 12*u^10 + 4*u^9 + u^8)*v^2 + (u^34 + 2*u^33 + 4*u^32 + 6*u^31 + 7*u^30 + 8*u^29 + 28*u^28 + 68*u^27 + 57*u^26 + 46*u^25 + 12*u^24 - 46*u^23 - 57*u^22 - 68*u^21 - 52*u^20 - 8*u^19 - 7*u^18 - 6*u^17 - 4*u^16 - 2*u^15 - u^14)*v + u^28 - u^24 + u^20;
Xz := u^24*v^7 + (-z - 1)*u^24*v^5 + 14*u^23*v^7 + (-10*z - 10)*u^23*v^5 + (z + 1)*u^22*v^10 + (2*z + 2)*u^22*v^9 + (3*z + 3)*u^22*v^8 + (4*z + 110)*u^22*v^7 + 5*z*u^22*v^6 + (-60*z - 64)*u^22*v^5 - 3*u^22*v^4 - 2*u^22*v^3 - u^22*v^2 + (18*z + 18)*u^21*v^10 + (30*z + 30)*u^21*v^9 + (36*z + 36)*u^21*v^8 + (36*z + 580)*u^21*v^7 + (30*z - 50)*u^21*v^6 + (-270*z - 322)*u^21*v^5 - 30*u^21*v^4 - 14*u^21*v^3 - 4*u^21*v^2 - u^20*v^11 + (159*z + 155)*u^20*v^10 + (205*z + 195)*u^20*v^9 + (178*z + 158)*u^20*v^8 + (118*z + 2194)*u^20*v^7 + (65*z - 525)*u^20*v^6 + (-970*z - 1256)*u^20*v^5 + (20*z - 95)*u^20*v^4 + (10*z - 27)*u^20*v^3 + (4*z - 8)*u^20*v^2 + (z + 1)*u^20*v - 18*u^19*v^11 + (912*z + 852)*u^19*v^10 + (812*z + 692)*u^19*v^9 + (392*z + 212)*u^19*v^8 + (72*z + 6364)*u^19*v^7 - 2700*u^19*v^6 + (-2762*z - 3650)*u^19*v^5 + (220*z - 8)*u^19*v^4 + (80*z + 12)*u^19*v^3 + (20*z - 8)*u^19*v^2 + (2*z + 2)*u^19*v - 156*u^18*v^11 + (3801*z + 3386)*u^18*v^10 + (1834*z + 1204)*u^18*v^9 + (-201*z - 876)*u^18*v^8 + (-668*z + 15280)*u^18*v^7 + (-100*z - 9025)*u^18*v^6 + (-6220*z - 7984)*u^18*v^5 + (1055*z + 819)*u^18*v^4 + (250*z + 164)*u^18*v^3 + (35*z - 23)*u^18*v^2 + (4*z + 4)*u^18*v - 864*u^17*v^11 + (12222*z + 10498)*u^17*v^10 + (898*z - 890)*u^17*v^9 + (-4032*z - 5174)*u^17*v^8 + (-2024*z + 32582)*u^17*v^7 + (880*z - 22660)*u^17*v^6 + (-11576*z - 13660)*u^17*v^5 + (3028*z + 3184)*u^17*v^4 + (432*z + 352)*u^17*v^3 + (46*z - 62)*u^17*v^2 + (6*z + 6)*u^17*v - 3426*u^16*v^11 + (31451*z + 26839)*u^16*v^10 + (-10410*z - 12770)*u^16*v^9 + (-12898*z - 12887)*u^16*v^8 + (-577*z + 63287)*u^16*v^7 + (4760*z - 47260)*u^16*v^6 + (-19273*z - 18730)*u^16*v^5 + (6330*z + 7600)*u^16*v^4 + (524*z + 445)*u^16*v^3 + (39*z - 149)*u^16*v^2 + (9*z + 9)*u^16*v - 10332*u^15*v^11 + (66348*z + 58940)*u^15*v^10 + (-48230*z - 46450)*u^15*v^9 + (-20624*z - 17256)*u^15*v^8 + (10474*z + 109180)*u^15*v^7 + (10480*z - 86480)*u^15*v^6 + (-29938*z - 19480)*u^15*v^5 + (11080*z + 14040)*u^15*v^4 + (372*z + 110)*u^15*v^3 + (16*z - 292)*u^15*v^2 + (12*z + 12)*u^15*v + (-z - 1)*u^14*v^12 + (-10*z - 24590)*u^14*v^11 + (116594*z + 113876)*u^14*v^10 + (-129766*z - 115514)*u^14*v^9 + (-6211*z - 3044)*u^14*v^8 + (33074*z + 161044)*u^14*v^7 + (11484*z - 139450)*u^14*v^6 + (-42140*z - 10568)*u^14*v^5 + (17133*z + 20710)*u^14*v^4 + (-152*z - 1040)*u^14*v^3 + (-22*z - 450)*u^14*v^2 + (16*z + 26)*u^14*v + u^14 + (-14*z - 14)*u^13*v^12 + (-110*z - 47342)*u^13*v^11 + (172442*z + 194698)*u^13*v^10 + (-256842*z - 228738)*u^13*v^9 + (59458*z + 47872)*u^13*v^8 + (52714*z + 197608)*u^13*v^7 + (648*z - 194680)*u^13*v^6 + (-50736*z + 10240)*u^13*v^5 + (23636*z + 23980)*u^13*v^4 + (-1164*z - 2860)*u^13*v^3 + (-52*z - 450)*u^13*v^2 + (20*z + 50)*u^13*v + (-91*z - 91)*u^12*v^12 + (-545*z - 75008)*u^12*v^11 + (216137*z + 292593)*u^12*v^10 + (-400768*z - 380317)*u^12*v^9 + (187905*z + 146790)*u^12*v^8 + (39494*z + 194674)*u^12*v^7 + (-18918*z - 232960)*u^12*v^6 + (-48866*z + 37610)*u^12*v^5 + (28284*z + 21300)*u^12*v^4 + (-2615*z - 4275)*u^12*v^3 + (-42*z - 275)*u^12*v^2 + (25*z + 50)*u^12*v + (-364*z - 364)*u^11*v^12 + (-1580*z - 98882)*u^11*v^11 + (231116*z + 382384)*u^11*v^10 + (-507710*z - 539480)*u^11*v^9 + (346172*z + 285648)*u^11*v^8 + (-27446*z + 136788)*u^11*v^7 + (-28952*z - 236800)*u^11*v^6 + (-35188*z + 61620)*u^11*v^5 + (27880*z + 13760)*u^11*v^4 + (-4026*z - 4610)*u^11*v^3 + (68*z - 100)*u^11*v^2 + (30*z + 50)*u^11*v + (-1001*z - 1000)*u^10*v^12 + (-2876*z - 108894)*u^10*v^11 + (212714*z + 430482)*u^10*v^10 + (-530810*z - 653220)*u^10*v^9 + (463556*z + 426219)*u^10*v^8 + (-128642*z + 30540)*u^10*v^7 + (-11298*z - 197530)*u^10*v^6 + (-19048*z + 73044)*u^10*v^5 + (21530*z + 4115)*u^10*v^4 + (-4398*z - 3890)*u^10*v^3 + (252*z + 98)*u^10*v^2 + (22*z + 38)*u^10*v + (-z - 1)*u^10 + (-2002*z - 1992)*u^9*v^12 + (-3118*z - 99644)*u^9*v^11 + (169994*z + 413826)*u^9*v^10 + (-464066*z - 672654)*u^9*v^9 + (481964*z + 511056)*u^9*v^8 + (-208304*z - 86720)*u^9*v^7 + (27562*z - 123744)*u^9*v^6 + (-12254*z + 65720)*u^9*v^5 + (13258*z - 3870)*u^9*v^4 + (-3342*z - 2150)*u^9*v^3 + (308*z + 160)*u^9*v^2 + 12*u^9*v + (-3003*z - 2958)*u^8*v^12 + (-1116*z - 74427)*u^8*v^11 + (117627*z + 335543)*u^8*v^10 + (-343147*z - 585613)*u^8*v^9 + (402498*z + 501152)*u^8*v^8 + (-223063*z - 165323)*u^8*v^7 + (58775*z - 44678)*u^8*v^6 + (-14701*z + 43180)*u^8*v^5 + (7901*z - 6385)*u^8*v^4 + (-1959*z - 550)*u^8*v^3 + (188*z + 50)*u^8*v^2 + 9*u^8*v + (-3432*z - 3312)*u^7*v^12 + (2406*z - 43818)*u^7*v^11 + (68116*z + 224792)*u^7*v^10 + (-214980*z - 425644)*u^7*v^9 + (275992*z + 404072)*u^7*v^8 + (-178958*z - 180434)*u^7*v^7 + (63160*z + 9808)*u^7*v^6 + (-16676*z + 19024)*u^7*v^5 + (5424*z - 4552)*u^7*v^4 + (-1160*z + 62)*u^7*v^3 + (108*z - 4)*u^7*v^2 + 6*u^7*v + (-3003*z - 2793)*u^6*v^12 + (5024*z - 19072)*u^6*v^11 + (30108*z + 120476)*u^6*v^10 + (-111490*z - 251900)*u^6*v^9 + (156086*z + 264807)*u^6*v^8 + (-113314*z - 143954)*u^6*v^7 + (47285*z + 31187)*u^6*v^6 + (-13708*z + 3032)*u^6*v^5 + (3620*z - 1920)*u^6*v^4+ (-666*z + 154)*u^6*v^3 + (58*z - 21)*u^6*v^2 + 4*u^6*v + (-2002*z - 1750)*u^5*v^12 + (5110*z - 5334)*u^5*v^11 + (7820*z + 49352)*u^5*v^10 + (-44840*z - 116640)*u^5*v^9 + (70708*z + 136286)*u^5*v^8 + (-56948*z - 86514)*u^5*v^7 +(26892*z + 28222)*u^5*v^6 + (-8520*z - 3582)*u^5*v^5 + (2100*z - 70)*u^5*v^4 + (-348*z + 42)*u^5*v^3 + (28*z - 14)*u^5*v^2 + 2*u^5*v + (-1001*z - 791)*u^4*v^12 + (3346*z - 518)*u^4*v^11 + (-658*z + 14560)*u^4*v^10 + (-12128*z - 40076)*u^4*v^9 + (23732*z + 52109)*u^4*v^8 + (-21596*z - 37608)*u^4*v^7 + (11440*z + 15463)*u^4*v^6 + (-3978*z - 3618)*u^4*v^5 + (988*z + 533)*u^4*v^4 + (-157*z - 52)*u^4*v^3 + (12*z - 3)*u^4*v^2 + u^4*v + (-364*z - 244)*u^3*v^12+ (1470*z + 210)*u^3*v^11 + (-1624*z + 2912)*u^3*v^10 + (-1316*z - 9632)*u^3*v^9 + (5004*z + 13788)*u^3*v^8 + (-5480*z - 10934)*u^3*v^7 + (3300*z + 5160)*u^3*v^6 + (-1276*z - 1546)*u^3*v^5 + (336*z + 336)*u^3*v^4 + (-54*z - 54)*u^3*v^3 + (4*z + 4)*u^3*v^2 + (-91*z - 46)*u^2*v^12 + (420*z + 70)*u^2*v^11 + (-700*z + 420)*u^2*v^10 + (364*z - 1582)*u^2*v^9 + (357*z + 2359)*u^2*v^8 + (-680*z - 1906)*u^2*v^7 + (495*z + 910)*u^2*v^6 + (-220*z - 280)*u^2*v^5 + (66*z + 66)*u^2*v^4 + (-12*z - 12)*u^2*v^3 + (z + 1)*u^2*v^2 + (-14*z - 4)*u*v^12 + 70*z*u*v^11 + (-140*z + 70)*u*v^10 + (140*z - 210)*u*v^9 + (-70*z + 280)*u*v^8 + (14*z - 196)*u*v^7 + 70*u*v^6 - 10*u*v^5 - z*v^12+ (5*z - 2)*v^11 + (-10*z + 11)*v^10 + (10*z - 25)*v^9 + (-5*z + 30)*v^8 + (z - 20)*v^7 + 7*v^6 - v^5;
q := u+1;
t := (u*v) / (u+1);
E := [(1+q)*t+(2-q),0,q*t^2+(1-q)*t,0,0];
P := [-t,t^2];
Q := [0,0];