swh:1:snp:e69952b3901aec538b122ef9c4d0ac0702cf4353
Tip revision: 82a2b638f1954dd3e257dec414362797424d2776 authored by Maarten Derickx on 04 July 2024, 17:46:49 UTC
Check contribution in the fiber above 2
Check contribution in the fiber above 2
Tip revision: 82a2b63
X1_4_20.txt
N := 5;
X := (u^28 + 12*u^27 + 65*u^26 + 208*u^25 + 430*u^24 + 584*u^23 + 494*u^22 + 208*u^21 + u^20 + 12*u^19 + 66*u^18 + 12*u^17 + u^16 + 208*u^15 + 494*u^14 + 584*u^13 + 430*u^12 + 208*u^11 + 65*u^10 + 12*u^9 + u^8)*v^24 - (48*u^27 + 528*u^26 + 2592*u^25 + 7392*u^24 + 13248*u^23 + 14784*u^22 + 8928*u^21 + 1056*u^20 - 1008*u^19 + 1584*u^18 + 1584*u^17 - 1008*u^16 + 1056*u^15 + 8928*u^14 + 14784*u^13 + 13248*u^12 + 7392*u^11 + 2592*u^10 + 528*u^9 + 48*u^8)*v^23 - (24*u^28 + 240*u^27 - 24*u^26 - 8160*u^25 - 43536*u^24 - 115392*u^23 - 178224*u^22 - 153888*u^21 - 47496*u^20 + 24528*u^19 - 1056*u^18 - 35088*u^17 - 24*u^16 + 27168*u^15 - 43536*u^14 - 150720*u^13 - 178224*u^12 - 118560*u^11 - 47496*u^10 - 10800*u^9 - 1080*u^8)*v^22 + (1056*u^27 + 9504*u^26 + 21824*u^25 - 57024*u^24 - 433664*u^23 - 1081344*u^22 - 1384768*u^21 - 787776*u^20 + 122848*u^19 + 243936*u^18 - 258016*u^17 - 249568*u^16 + 280896*u^15 + 202048*u^14 - 692736*u^13 - 1340416*u^12 - 1125696*u^11 - 528704*u^10 - 136224*u^9 - 15136*u^8)*v^21 + (260*u^28 + 2080*u^27 - 14630*u^26 - 160720*u^25 - 425260*u^24 + 147760*u^23 + 3064120*u^22 + 6936080*u^21 + 6697640*u^20 + 1184880*u^19 - 2571940*u^18 + 2160*u^17 + 2705960*u^16 - 160240*u^15 - 3145160*u^14 + 147760*u^13 + 5784020*u^12 + 6935600*u^11 + 3977050*u^10 + 1184800*u^9 + 148100*u^8)*v^20 - (10400*u^27 + 72800*u^26 - 66640*u^25 - 1631280*u^24 - 4261552*u^23 - 235984*u^22 + 17302160*u^21 + 32112624*u^20 + 18409040*u^19 - 9807056*u^18 - 10871504*u^17 + 10957904*u^16 + 10823664*u^15 - 12502384*u^14 - 15138256*u^13 + 10640720*u^12 + 28173264*u^11 + 21222320*u^10 + 7523936*u^9 + 1074848*u^8)*v^19 - (1680*u^28 + 10080*u^27 - 168920*u^26 - 1131120*u^25 - 277920*u^24 + 11779760*u^23 + 27602896*u^22 - 694224*u^21 - 81704496*u^20 - 104988496*u^19 - 6006624*u^18 + 68948752*u^17 - 173520*u^16 - 70110192*u^15 - 381520*u^14 + 80610832*u^13 + 27600096*u^12 - 69529296*u^11 - 81601096*u^10 - 36006624*u^9 - 6001104*u^8)*v^18 + (60480*u^27 + 302400*u^26 - 1641120*u^25 - 10624800*u^24 - 4290528*u^23 + 66932640*u^22 + 123095328*u^21 - 45272160*u^20 - 309708768*u^19 - 203822688*u^18 + 177418848*u^17 + 177689568*u^16 - 179011488*u^15 - 188359968*u^14 + 172268640*u^13 + 243799008*u^12 - 53871840*u^11 - 221874528*u^10 - 131937600*u^9 - 26387520*u^8)*v^17 + (u^34 + 4*u^33 + 5*u^32 - 4*u^30 + 7214*u^28 + 28840*u^27 - 962234*u^26 - 3993120*u^25 + 12024168*u^24 + 68177616*u^23 + 12167068*u^22 - 308307632*u^21 - 364120219*u^20 + 373855572*u^19 + 847835714*u^18 + 36180*u^17 - 755434651*u^16 - 4468400*u^15 + 766438300*u^14 + 70788816*u^13 - 738330264*u^12 - 307832352*u^11 + 387088198*u^10 + 371237032*u^9 + 92809262*u^8 - 4*u^6 + 5*u^4 + 4*u^3 + u^2)*v^16 - (32*u^33 + 96*u^32 + 64*u^31 - 64*u^30 - 64*u^29 + 64*u^28 + 230784*u^27 + 692096*u^26 - 9549504*u^25 - 30494016*u^24 + 76333632*u^23 + 310933440*u^22 - 82750528*u^21 - 1104718272*u^20 - 540348832*u^19 + 1610357792*u^18 + 1343144992*u^17 - 1341987232*u^16 - 1353478592*u^15 + 1308670912*u^14 + 1420345280*u^13 - 1018455488*u^12 - 1414604096*u^11 + 231899456*u^10 + 791363456*u^9 + 263787904*u^8 + 64*u^7 - 64*u^6 - 64*u^5 + 64*u^4 + 96*u^3 + 32*u^2)*v^15 - (16*u^34 + 32*u^33 - 464*u^32 - 960*u^31 + 960*u^29 + 21664*u^28 + 42368*u^27 - 3347360*u^26 - 6737088*u^25 + 68151744*u^24 + 143040576*u^23 - 414692096*u^22 - 972424768*u^21 + 906357520*u^20 + 2785139808*u^19 - 625665216*u^18 - 4036470240*u^17 - 4199120*u^16 + 4028072000*u^15 + 76244224*u^14 - 3875583552*u^13 - 429725376*u^12 + 3016132800*u^11 + 898254880*u^10 - 1219623040*u^9 - 609812000*u^8 - 960*u^7 + 960*u^5 + 16*u^4 - 928*u^3 - 464*u^2)*v^14 + (448*u^33 + 448*u^32 - 4480*u^31 - 4480*u^30 + 4480*u^29 + 4480*u^28 + 602112*u^27 + 602112*u^26 - 29726592*u^25 - 29726592*u^24 + 363237504*u^23 + 363237504*u^22 - 1732184192*u^21 - 1732184192*u^20 + 3948886592*u^19 + 3948886592*u^18 - 5151072320*u^17 - 5151072320*u^16 + 5114540160*u^15 + 5114540160*u^14 - 4741703808*u^13 - 4741703808*u^12 + 3327838080*u^11 + 3327838080*u^10 - 1150745600*u^9 - 1150745600*u^8 - 4480*u^7 - 4480*u^6 + 4480*u^5 + 4480*u^4 - 4032*u^3 - 4032*u^2)*v^13 + (106*u^34 - 5708*u^32 + 29140*u^30 + 17676*u^28 - 7606816*u^26 + 177066660*u^24 - 1389652628*u^22 + 4922133916*u^20 - 9296670740*u^18 + 11195091100*u^16 - 10982599316*u^14 + 9629771428*u^12 - 6005721120*u^10 + 1774899980*u^8 + 29140*u^6 - 29004*u^4 + 23402*u^2)*v^12 - (2544*u^33 - 2544*u^32 - 41264*u^31 + 41264*u^30 + 98992*u^29 - 98992*u^28 + 1082320*u^27 - 1082320*u^26 - 55869232*u^25 + 55869232*u^24 + 697653296*u^23 - 697653296*u^22 - 3397774768*u^21 + 3397774768*u^20 + 7889543408*u^19 - 7889543408*u^18 - 10396826864*u^17 + 10396826864*u^16 + 10316660144*u^15 - 10316660144*u^14 - 9524316208*u^13 + 9524316208*u^12 + 6605479728*u^11 - 6605479728*u^10 - 2236201936*u^9 + 2236201936*u^8 - 98992*u^7 + 98992*u^6 + 41264*u^5 - 41264*u^4 - 95728*u^3 + 95728*u^2)*v^11 - (376*u^34 - 752*u^33 - 25984*u^32 + 52720*u^31 + 146912*u^30 - 346544*u^29 + 101984*u^28 + 142576*u^27 - 11756944*u^26 + 23371312*u^25 + 246835552*u^24 - 517042416*u^23 - 1580031456*u^22 + 3677105328*u^21 + 3661744640*u^20 - 11000594608*u^19 - 2719052960*u^18 + 16438700528*u^17 - 5268160*u^16 - 16428164208*u^15 + 370548384*u^14 + 15687067440*u^13 - 1858217376*u^12 - 11970632688*u^11 + 3689259408*u^10 + 4592113872*u^9 - 2296460064*u^8 + 806256*u^7 - 488096*u^6 + 169936*u^5 - 368832*u^4 + 567728*u^3 - 283864*u^2)*v^10 + (7520*u^33 - 22560*u^32 - 124000*u^31 + 432160*u^30 - 66336*u^29 - 973472*u^28 + 2659744*u^27 - 4992480*u^26 - 63488480*u^25 + 202783136*u^24 + 559944288*u^23 - 2224693792*u^22 - 809007840*u^21 + 8541160608*u^20 - 3809394720*u^19 - 13386289824*u^18 + 10921632928*u^17 + 11203365408*u^16 - 11319218848*u^15 - 10574072608*u^14 + 11653491744*u^13 + 8080961440*u^12 - 11546978208*u^11 - 1255441440*u^10 + 5743850464*u^9 - 1918248864*u^8 + 4663456*u^7 - 3094240*u^6 + 2350560*u^5 - 2432416*u^4 + 1855008*u^3 - 618336*u^2)*v^9 + (771*u^34 - 3084*u^33 - 57097*u^32 + 243808*u^31 + 66078*u^30 - 1495688*u^29 + 2466093*u^28 - 1398364*u^27 - 12457328*u^26 + 49850812*u^25 + 162933167*u^24 - 899609864*u^23 + 21582978*u^22 + 4609743792*u^21 - 5034422227*u^20 - 6707495892*u^19 + 13790896282*u^18 + 609335340*u^17 - 13184748499*u^16 + 626892720*u^15 + 12365339778*u^14 - 1093056776*u^13 - 12381720145*u^12 + 5996969404*u^11 + 4952350864*u^10 - 5171282524*u^9 + 1309897005*u^8 - 18265736*u^7 + 12753438*u^6 - 9724832*u^5 + 7392503*u^4 - 3969036*u^3 + 992259*u^2)*v^8 - (12336*u^33 - 61680*u^32 - 129952*u^31 + 1143200*u^30 - 1938368*u^29 - 144576*u^28 + 5979024*u^27 - 14651728*u^26 - 30845360*u^25 + 243615088*u^24 - 32644736*u^23 - 1897193984*u^22 + 3178622496*u^21 + 2218044640*u^20 - 10014727696*u^19 + 5625581776*u^18 + 7367666896*u^17 - 7215720976*u^16 - 5057894176*u^15 + 5656830496*u^14 + 6421645824*u^13 - 9386654336*u^12 + 169345392*u^11 + 5577099856*u^10 - 3541769552*u^9 + 756021136*u^8 - 45822144*u^7 + 31750208*u^6 - 22280800*u^5 + 13787232*u^4 - 5831920*u^3 + 1166384*u^2)*v^7 - (920*u^34 - 5520*u^33 - 62072*u^32 + 436832*u^31 - 639408*u^30 - 1397312*u^29 + 6431080*u^28 - 11013168*u^27 + 3363888*u^26 + 40751888*u^25 + 8060840*u^24 - 598912768*u^23 + 1266715984*u^22 + 601730336*u^21 - 5187271416*u^20 + 5657928368*u^19 + 1561507872*u^18 - 6519882608*u^17 + 1420247448*u^16 + 3699569632*u^15 + 949446768*u^14 - 6823910528*u^13 + 3901108024*u^12 + 2467927856*u^11 - 3998662448*u^10 + 1913304048*u^9 - 400104648*u^8 + 72660672*u^7 - 49178640*u^6 + 31740832*u^5 - 16844712*u^4 + 5942352*u^3 - 990392*u^2)*v^6 + (11040*u^33 - 77280*u^32 + 23232*u^31 + 1073856*u^30 - 3793664*u^29 + 5664512*u^28 - 1611552*u^27 - 12438560*u^26 + 11433696*u^25 + 111447008*u^24 - 292768896*u^23 - 257849984*u^22 + 2123604288*u^21 - 3255540416*u^20 + 756155680*u^19 + 3128442400*u^18 - 2881336096*u^17 - 547443232*u^16 + 701238976*u^15 + 2724823744*u^14 - 3595972480*u^13 + 420463232*u^12 + 2243083040*u^11 - 2053683168*u^10 + 835208480*u^9 - 202815456*u^8 + 71653120*u^7 - 47847168*u^6 + 28917056*u^5 - 13626048*u^4 + 4154080*u^3 - 593440*u^2)*v^5 + (610*u^34 - 4880*u^33 - 28720*u^32 + 332240*u^31 - 1041200*u^30 + 942640*u^29 + 2767984*u^28 - 11747312*u^27 + 21046520*u^26 - 11200208*u^25 - 9465264*u^24 - 140369008*u^23 + 708354480*u^22 - 1295201168*u^21 + 782826096*u^20 + 848039376*u^19 - 1641617972*u^18 + 563065296*u^17 + 404684016*u^16 + 465454192*u^15 - 1616683344*u^14 + 1041970064*u^13 + 468982992*u^12 - 1117780688*u^11 + 760104440*u^10 - 282915824*u^9 + 84029680*u^8 - 41991632*u^7 + 28630480*u^6 - 16655920*u^5 + 7167056*u^4 - 1937168*u^3 + 242146*u^2)*v^4 - (4880*u^33 - 43920*u^32 + 108560*u^31 + 194160*u^30 - 1864688*u^29 + 5592432*u^28 - 10111472*u^27 + 11680368*u^26 - 11499696*u^25 + 42844720*u^24 - 169835952*u^23 + 349915696*u^22 - 315968688*u^21 - 102105040*u^20 + 513787728*u^19 - 376965328*u^18 - 72438480*u^17 + 88891728*u^16 + 347498544*u^15 - 510088368*u^14 + 136623664*u^13 + 274224720*u^12 - 336228304*u^11 + 183675216*u^10 - 60666768*u^9 + 19862544*u^8 - 13033104*u^7 + 9912336*u^6 - 5802384*u^5 + 2344976*u^4 - 573840*u^3 + 63760*u^2)*v^3 - (200*u^34 - 2000*u^33 - 1680*u^32 + 82800*u^31 - 432400*u^30 + 1169200*u^29 - 1891216*u^28 + 1617520*u^27 - 200432*u^26 + 2496240*u^25 - 20363984*u^24 + 54916912*u^23 - 66742736*u^22 + 5036784*u^21 + 92977456*u^20 - 103333072*u^19 - 2138208*u^18 + 74702992*u^17 - 5413808*u^16 - 99999152*u^15 + 92667856*u^14 + 2645904*u^13 - 64573616*u^12 + 54762832*u^11 - 21414544*u^10 + 3271760*u^9 - 292592*u^8 + 1412880*u^7 - 1729776*u^6 + 1118800*u^5 - 440560*u^4 + 99600*u^3 - 9960*u^2)*v^2 + (800*u^33 - 8800*u^32 + 41120*u^31 - 100320*u^30 + 100640*u^29 + 160160*u^28 - 806240*u^27 + 1364000*u^26 - 349280*u^25 - 3310560*u^24 + 6498080*u^23 - 2221920*u^22 - 9642080*u^21 + 14929440*u^20 - 1827040*u^19 - 16796000*u^18 + 16796000*u^17 + 1827040*u^16 - 14929440*u^15 + 9642080*u^14 + 2221920*u^13 - 6498080*u^12 + 3310560*u^11 + 349280*u^10 - 1364000*u^9 + 806240*u^8 - 160160*u^7 - 100640*u^6 + 100320*u^5 - 41120*u^4 + 8800*u^3 - 800*u^2)*v + u^36 - 12*u^35 + 102*u^34 - 652*u^33 + 2713*u^32 - 6816*u^31 + 8208*u^30 + 6752*u^29 - 49676*u^28 + 97328*u^27 - 61016*u^26 - 155344*u^25 + 439940*u^24 - 357728*u^23 - 363920*u^22 + 1092512*u^21 - 720658*u^20 - 676040*u^19 + 1488612*u^18 - 676040*u^17 - 720658*u^16 + 1092512*u^15 - 363920*u^14 - 357728*u^13 + 439940*u^12 - 155344*u^11 - 61016*u^10 + 97328*u^9 - 49676*u^8 + 6752*u^7 + 8208*u^6 - 6816*u^5 + 2713*u^4 - 652*u^3 + 102*u^2 - 12*u + 1;
Xi := u^18 + i*u^17*v^8 - 8*i*u^17*v^6 + 21*i*u^17*v^4 - 20*i*u^17*v^2 + (4*i - 6)*u^17 + (2*i + 1)*u^16*v^8 - 16*i*u^16*v^7 - 8*u^16*v^6 + 96*i*u^16*v^5 + (-42*i + 21)*u^16*v^4 - 168*i*u^16*v^3 + (80*i - 20)*u^16*v^2 + 80*i*u^16*v + (-24*i + 25)*u^16 + 2*u^15*v^8 + (-16*i - 16)*u^15*v^7 + 112*i*u^15*v^6 + (-96*i + 96)*u^15*v^5 + (-390*i - 42)*u^15*v^4 + (504*i - 168)*u^15*v^3 + (240*i + 80)*u^15*v^2 + (-400*i + 80)*u^15*v + (40*i - 80)*u^15 - u^14*v^12 + 12*u^14*v^10 + (-2*i - 58)*u^14*v^8 + (16*i - 16)*u^14*v^7 + 256*u^14*v^6 + (-352*i - 96)*u^14*v^5 + (822*i - 585)*u^14*v^4 + (56*i + 504)*u^14*v^3 + (-1360*i + 380)*u^14*v^2 + (784*i - 400)*u^14*v + (40*i + 116)*u^14 + (i - 6)*u^13*v^12 + 24*u^13*v^11 + (-12*i + 48)*u^13*v^10 - 240*u^13*v^9 + (58*i - 118)*u^13*v^8 + (16*i + 944)*u^13*v^7 - 256*i*u^13*v^6 + (352*i - 2080)*u^13*v^5 + (70*i + 1212)*u^13*v^4 + (-1512*i + 1616)*u^13*v^3 + (2208*i - 1920)*u^13*v^2 + (-720*i + 224)*u^13*v + (-200*i + 88)*u^13 + (6*i - 14)*u^12*v^12 + (-24*i + 120)*u^12*v^11 + (-48*i - 192)*u^12*v^10 + (240*i - 720)*u^12*v^9 + (118*i + 2040)*u^12*v^8 + (-944*i + 944)*u^12*v^7 - 6288*u^12*v^6 + (1824*i + 2080)*u^12*v^5 + (-962*i + 7261)*u^12*v^4 + (440*i - 6192)*u^12*v^3 + (-1712*i - 292)*u^12*v^2 + (912*i + 2080)*u^12*v + (136*i - 508)*u^12 + (14*i - 14)*u^11*v^12 + (-120*i + 216)*u^11*v^11 + (192*i - 1008)*u^11*v^10 + (720*i + 1040)*u^11*v^9 + (-2040*i + 4198)*u^11*v^8 + (-944*i - 10544)*u^11*v^7 + 6288*i*u^11*v^6 + (-1824*i + 20512)*u^11*v^5 + (-7246*i - 15734)*u^11*v^4 + (3160*i - 6328)*u^11*v^3 + (4848*i + 11088)*u^11*v^2 + (-3280*i - 4368)*u^11*v + (264*i + 464)*u^11 + (14*i - 1)*u^10*v^12 + (-216*i + 120)*u^10*v^11 + (1008*i - 1308)*u^10*v^10 + (-1040*i + 5040)*u^10*v^9 + (-4198*i - 5823)*u^10*v^8 + (10544*i - 10544)*u^10*v^7 + 33672*u^10*v^6 + (-20768*i - 20512)*u^10*v^5 + (15454*i - 23465)*u^10*v^4 + (10264*i + 35944)*u^10*v^3 + (-16592*i - 13652)*u^10*v^2 + (5968*i + 720)*u^10*v + (-440*i + 366)*u^10 + 8*u^9*v^12 + (-120*i - 96)*u^9*v^11 + 1320*i*u^9*v^10 + (-5040*i + 3520)*u^9*v^9 + (5760*i - 15844)*u^9*v^8 + (10544*i + 25376)*u^9*v^7 - 33488*i*u^9*v^6 + (20768*i - 51136)*u^9*v^5 + (23680*i + 62664)*u^9*v^4 + (-40712*i - 21792)*u^9*v^3 + (20632*i - 8832)*u^9*v^2 + (-3344*i + 6464)*u^9*v - 932*u^9 + (-14*i - 1)*u^8*v^12 + (120*i - 96)*u^8*v^11 + (48*i + 1068)*u^8*v^10 + (-3760*i - 3520)*u^8*v^9 + (15718*i - 63)*u^8*v^8 + (-24368*i + 25376)*u^8*v^7 - 59176*u^8*v^6 + (48672*i + 51136)*u^8*v^5 + (-62814*i + 1495)*u^8*v^4 + (29960*i - 36128)*u^8*v^3 + (-656*i + 26564)*u^8*v^2 + (-3344*i - 6464)*u^8*v + (440*i + 366)*u^8 + (-14*i - 14)*u^7*v^12 + (216*i + 120)*u^7*v^11 + (-1248*i + 48)*u^7*v^10 + (2800*i - 3760)*u^7*v^9 + (2040*i + 15718)*u^7*v^8 + (-24368*i - 24368)*u^7*v^7 + 52624*i*u^7*v^6 + (-48672*i + 48928)*u^7*v^5 + (8526*i - 65654)*u^7*v^4 + (21992*i + 38504)*u^7*v^3 + (-19632*i - 9744)*u^7*v^2 + (5968*i - 720)*u^7*v + (-264*i + 464)*u^7 + (-6*i - 14)*u^6*v^12 + (120*i + 216)*u^6*v^11 + (-1008*i - 1248)*u^6*v^10 + (4560*i + 2800)*u^6*v^9 + (-11638*i + 2040)*u^6*v^8 + (14768*i - 24368)*u^6*v^7 + 52624*u^6*v^6 + (-29216*i - 48928)*u^6*v^5 + (45762*i + 11101)*u^6*v^4 + (-36440*i + 14664)*u^6*v^3 + (16528*i - 12428)*u^6*v^2 + (-3280*i + 4368)*u^6*v + (-136*i - 508)*u^6 + (-i - 6)*u^5*v^12 + (24*i + 120)*u^5*v^11 + (-252*i - 1008)*u^5*v^10 + (1520*i + 4560)*u^5*v^9 + (-5818*i - 11638)*u^5*v^8 + (14768*i + 14768)*u^5*v^7 - 25280*i*u^5*v^6 + (29216*i - 28960)*u^5*v^5 + (-23110*i + 43452)*u^5*v^4 + (13384*i - 30256)*u^5*v^3 + (-5568*i + 10752)*u^5*v^2 + (912*i - 2080)*u^5*v + (200*i + 88)*u^5 - u^4*v^12 + 24*u^4*v^11 - 252*u^4*v^10 + 1520*u^4*v^9 + (2*i - 5818)*u^4*v^8 + (-16*i + 14768)*u^4*v^7 - 25280*u^4*v^6 + (96*i + 28960)*u^4*v^5 + (458*i - 21065)*u^4*v^4 + (-2072*i + 8272)*u^4*v^3 + (2288*i - 908)*u^4*v^2 + (-720*i - 224)*u^4*v + (-40*i + 116)*u^4 + 2*u^3*v^8 + (-16*i - 16)*u^3*v^7 + 112*i*u^3*v^6 + (-96*i + 352)*u^3*v^5 + (-890*i - 1322)*u^3*v^4 + (2504*i + 2040)*u^3*v^3 + (-2352*i - 1424)*u^3*v^2 + (784*i + 400)*u^3*v + (-40*i - 80)*u^3 + (-2*i + 1)*u^2*v^8 + (16*i - 16)*u^2*v^7 + 104*u^2*v^6 + (-352*i - 352)*u^2*v^5 + (1322*i + 661)*u^2*v^4 + (-2040*i - 680)*u^2*v^3 + (1424*i + 356)*u^2*v^2 + (-400*i - 80)*u^2*v + (24*i + 25)*u^2 - i*u*v^8 + 16*i*u*v^7 - 104*i*u*v^6 + 352*i*u*v^5 - 661*i*u*v^4 + 680*i*u*v^3 - 356*i*u*v^2 + 80*i*u*v + (-4*i - 6)*u + 1;
q := -(u*v+v-2)/2;
t := (u*v + v - 2)/(2*u);
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];