* * New push down file. * The relations W12D2,W15D3,W16D2,W17D3,W18D2,W20D2,W22D2 are derived * directly from the data mine. * The other relations needed LLL but have been rewritten with the help * of the data mine. * Each expression is supposed to add up to zero. * * Push down relations in the BBV basis. * *--#[ W12D2 : L W12D2 = - 64/27*a7a5 - z6z4z1z1 - 7967/1944*z9z3 + 11431/1296*z5*z7 - 799/72*z3*z9 + 1/12*z3^4 + 3*z2*z7z3 + 7/2*z2*z5^2 + 10*z2*z3*z7 + 3/5*z2^2*z5z3 - 1/5*z2^2*z3*z5 - 18/35*z2^3*z3^2 - 5607853/6081075*z2^6 ; *--#] W12D2 : *--#[ W15D3 : L W15D3 = + 1408/81*a7a5a3 - z6z4z3z1z1 + 16663/11664*z9z3z3 + 150481/68040*z7z3z5 - 20651486329/4082400*z15 + 1903/120*z7*z5z3 - 101437/38880*z5*z7z3 - 1520827/38880*z5^3 + 10*z3*z6z4z1z1 + 162823/3888*z3*z9z3 - 93619/1296*z3*z5*z7 + 3601/48*z3^2*z9 - 17/20*z3^5 + 14/5*z2*z5z5z3 - 2*z2*z7z3z3 + 31753363/12960*z2*z13 - 21/2*z2*z5*z5z3 - 27*z2*z3*z7z3 - 61/2*z2*z3*z5^2 - 84*z2*z3^2*z7 - 4*z2^2*z5z3z3 + 979621/1701*z2^2*z11 - 5*z2^2*z3*z5z3 + 9/2*z2^2*z3^2*z5 - 490670609/3572100*z2^3*z9 + 186/35*z2^3*z3^3 - 1455253/283500*z2^4*z7 + 4049341/311850*z2^5*z5 + 12073102/1488375*z2^6*z3 ; *--#] W15D3 : *--#[ W16D2 : L W16D2 = - 1024/405*a9a7 - z8z6z1z1 + 19/7*z7z3z3z3 - 542/175*z5z5z3z3 - 19947737/151200*z13z3 + 5142107/332640*z11z5 - 28888043/39600*z7*z9 + 2/5*z5*z5z3z3 - 5464973/6300*z5*z11 + 6/7*z3*z5z5z3 - 5/7*z3*z7z3z3 - 8497/42*z3*z13 - 1/7*z3^2*z7z3 + 4/7*z3^2*z5^2 + 1/3*z3^3*z7 - 697/21*z2*z9z5 + 1991/14*z2*z11z3 + 78201/140*z2*z7^2 + 12443/14*z2*z5*z9 + 137*z2*z3*z11 + 8954/1575*z2^2*z9z3 + 21331/525*z2^2*z5*z7 + 11/7*z2^2*z3*z9 + 62/245*z2^3*z7z3 + 284/245*z2^3*z5^2 - 848/245*z2^3*z3*z7 - 108/875*z2^4*z5z3 - 48/35*z2^4*z3*z5 - 408/2695*z2^5*z3^2 - 67664960461894/3869506265625*z2^8 ; *--#] W16D2 : *--#[ W17D3 : L W17D3 = + 5120/243*a7a7a3 - z6z6z3z1z1 + 14/5*z5z3z3z3z3 + 17600893/8232840*z11z3z3 + 197444077/246985200*z9z5z3 + 24024515737/2469852000*z9z3z5 - 109619548141/11525976000*z7z5z5 - 36398438359817/1234926000*z17 - 26741/360*z9*z5z3 + 88091/6048*z7*z7z3 - 28/3*z5*z6z4z1z1 + 8807505643/740955600*z5*z9z3 + 1074382380191/2469852000*z5^2*z7 - 1/11*z3*z11z3 - 1077607/28512*z3*z7^2 - 516833/2376*z3*z5*z9 - 1/5*z3^2*z5z3z3 - 10157/60*z3^2*z11 + 1/15*z3^3*z5z3 + 25/36*z3^4*z5 - 217/9*z2*z9z3z3 - 931/30*z2*z7z3z5 + 11271513411601/164656800*z2*z15 + 83/2*z2*z7*z5z3 + 773/15*z2*z5*z7z3 + 819/20*z2*z5^3 + 49/9*z2*z3*z9z3 + 179*z2*z3*z5*z7 + 343/4*z2*z3^2*z9 + 28/5*z2^2*z5z5z3 - 16/5*z2^2*z7z3z3 - 79845900033737/2744280000*z2^2*z13 + 9*z2^2*z5*z5z3 + 11/10*z2^2*z3*z7z3 + 77/15*z2^2*z3*z5^2 + 413/50*z2^2*z3^2*z7 - 152/175*z2^3*z5z3z3 - 15865995064603/10085229000*z2^3*z11 + 4/25*z2^3*z3*z5z3 - 132/35*z2^3*z3^2*z5 + 1527387097483/9004668750*z2^4*z9 + 7/125*z2^4*z3^3 + 1838113465381/19810271250*z2^5*z7 - 665344058644768/40561530384375*z2^6*z5 - 2816972/8848125*z2^7*z3 ; *--#] W17D3 : *--#[ W18D2 : L W18D2 = - 8192/3375*a11a7 - z10z6z1z1 + 10/3*z9z3z3z3 + 124/35*z7z3z5z3 + 124/35*z7z3z3z5 + 3282/875*z5z5z5z3 - 5261254111/5670000*z15z3 + 116671679/1228500*z13z5 - 517294879247/73710000*z9^2 + 2/5*z7*z5z3z3 - 35876172601/4914000*z7*z11 - 56/25*z5*z5z5z3 - 54/35*z5*z7z3z3 + 4672828439/945000*z5*z13 + 1/5*z5^2*z5z3 - 14/9*z3*z9z3z3 - 5/3*z3*z7z3z5 + 638939/240*z3*z15 + 2/3*z3*z5*z7z3 + 1/3*z3*z5^3 - 1/9*z3^2*z9z3 + 4/3*z3^2*z5*z7 + 1/3*z3^3*z9 - 1743/5*z2*z13z3 + 8211/110*z2*z11z5 - 148045/22*z2*z7*z9 - 275706/35*z2*z5*z11 - 2835/2*z2*z3*z13 + 2502/175*z2^2*z9z5 - 7837/175*z2^2*z11z3 - 61667/175*z2^2*z7^2 - 119037/175*z2^2*z5*z9 - 1564/15*z2^2*z3*z11 + 8752/2205*z2^3*z9z3 + 2852/105*z2^3*z5*z7 - 428/63*z2^3*z3*z9 + 2346/6125*z2^4*z7z3 + 52308/6125*z2^4*z5^2 - 32/25*z2^4*z3*z7 - 16/175*z2^5*z5z3 - 32/55*z2^5*z3*z5 - 93976/716625*z2^6*z3^2 + 5950662790830258352/14336520714140625*z2^9 ; *--#] W18D2 : *--#[ W18D4 : L W18D4 = - 9472/729*a7a5a3a3 - z6z4z3z3z1z1 - 326995/3744*z10z6z1z1 + 767063161/2729376*z9z3z3z3 + 10077860417/31842720*z7z3z5z3 + 10578359741/31842720*z7z3z3z5 + 5090853841/13267800*z5z5z5z3 - 47770481207485/611380224*z15z3 + 59265244818751/7359206400*z13z5 + 3869/280*z5z3*z7z3 - 4794594759158749/7947942912*z9^2 - 79967/1872*z7*z5z3z3 - 3978419270075063/6623285760*z7*z11 - 93952813/327600*z5*z5z5z3 - 370574299/2274480*z5*z7z3z3 + 1258972628480699/2547417600*z5*z13 - 4842419/131040*z5^2*z5z3 + 4/33*z3*z6z4z3z1z1 - 1266739189/10007712*z3*z9z3z3 - 8015765917/58378320*z3*z7z3z5 + 6017382741609059/28021593600*z3*z15 + 9439/360*z3*z7*z5z3 + 2855535367/58378320*z3*z5*z7z3 + 11576749/10614240*z3*z5^3 - 61/11*z3^2*z6z4z1z1 - 3774623/104247*z3^2*z9z3 + 200286967/1111968*z3^2*z5*z7 - 5405581/123552*z3^3*z9 + 1849/3960*z3^6 - 315/2*z2*z8z6z1z1 + 873/2*z2*z7z3z3z3 - 2286/5*z2*z5z5z3z3 - 1217076306191/21228480*z2*z13z3 + 105048028171/10614240*z2*z11z5 - 31/4*z2*z5z3^2 - 790147394177/1010880*z2*z7*z9 + 436/5*z2*z5*z5z3z3 - 1848047649229/2122848*z2*z5*z11 + 23671/165*z2*z3*z5z5z3 - 7871/66*z2*z3*z7z3z3 - 80691438851/555984*z2*z3*z13 - 181/22*z2*z3*z5*z5z3 - 19/11*z2*z3^2*z7z3 + 5043/44*z2*z3^2*z5^2 + 2523/22*z2*z3^3*z7 + 242/25*z2^2*z5z3z3z3 - 48090527779/17058600*z2^2*z9z5 + 127172342953/8845200*z2^2*z11z3 + 460695787753/12737088*z2^2*z7^2 + 2384585576003/53071200*z2^2*z5*z9 - 316/165*z2^2*z3*z5z3z3 + 2998404291359/233513280*z2^2*z3*z11 + 1421/330*z2^2*z3^2*z5z3 - 71/110*z2^2*z3^3*z5 + 52/15*z2^3*z6z4z1z1 + 211235807257/167174280*z2^3*z9z3 + 2354075026837/278623800*z2^3*z5*z7 - 56345007721/139311900*z2^3*z3*z9 - 22207/6930*z2^3*z3^4 + 62719670873/928746000*z2^4*z7z3 + 2176044743/2063880*z2^4*z5^2 - 43155830411/60810750*z2^4*z3*z7 - 70235471/3153150*z2^5*z5z3 - 49159512019/187297110*z2^5*z3*z5 - 265391133739/6640533900*z2^6*z3^2 + 1271874563038576298773/34933717085596875*z2^9 ; *--#] W18D4 : *--#[ W19D3a : L W19D3a = - 759808/4455*a9a7a3 - 3598336/125631*a7a7a5 - z6z6z5z1z1 - 13*z7z3z3z3z3 + 268/25*z5z5z3z3z3 - 6/5*z5z3z5z3z3 - 19602748023959/89904487680*z13z3z3 + 102009099714539/2966848093440*z11z5z3 - 133954176379037/3178765814400*z11z3z5 + 21905540529883/4172130131400*z9z5z5 - 102610399535863/1483424046720*z9z3z7 + 4/5*z5z3*z5z3z3 + 216298762108612332197/97096846694400*z19 + 3197/60*z11*z5z3 - 1219259/31680*z9*z7z3 - 223139/9306*z7*z6z4z1z1 - 4497961696273963/4450272140160*z7*z9z3 - 32/5*z5*z5z3z3z3 + 2124709254430409/5562840175200*z5*z9z5 - 291054407366281/176598100800*z5*z11z3 - 2839132039408591/296684809344*z5*z7^2 - 675200458505869/88299050400*z5^2*z9 - 882/11*z3*z8z6z1z1 + 2460/11*z3*z7z3z3z3 - 70008/275*z3*z5z5z3z3 - 865110911/79200*z3*z13z3 + 112540177/87120*z3*z11z5 - 1/5*z3*z5z3^2 - 482926445557/7840800*z3*z7*z9 + 1896/55*z3*z5*z5z3z3 - 952459001/13200*z3*z5*z11 + 19208/275*z3^2*z5z5z3 - 641/11*z3^2*z7z3z3 - 17998811/1100*z3^2*z13 - 1/5*z3^2*z5*z5z3 - 745/66*z3^3*z7z3 + 3035/66*z3^3*z5^2 + 3207827/111672*z3^4*z7 - 2939/55*z2*z11z3z3 + 11527/275*z2*z9z5z3 + 222121/1375*z2*z9z3z5 - 309587/2750*z2*z7z5z5 - 28769918850068478149/18542800584000*z2*z17 - 427/10*z2*z9*z5z3 + 353423/3102*z2*z7*z7z3 + 1297229/2475*z2*z5*z9z3 + 1382860241/211500*z2*z5^2*z7 - 181463/66*z2*z3*z9z5 + 23503/2*z2*z3*z11z3 + 1082928173/23265*z2*z3*z7^2 + 809220/11*z2*z3*z5*z9 + 486251/44*z2*z3^2*z11 + 5612/225*z2^2*z9z3z3 + 22073/750*z2^2*z7z3z5 + 27795193516081742699/278142008760000*z2^2*z15 + 1289407/77550*z2^2*z7*z5z3 - 18473/750*z2^2*z5*z7z3 - 11023/750*z2^2*z5^3 + 11604/25*z2^2*z3*z9z3 + 778788863/232650*z2^2*z3*z5*z7 + 269/2*z2^2*z3^2*z9 + 104/875*z2^3*z5z5z3 - 2/35*z2^3*z7z3z3 + 164351343794788281823/5840982183960000*z2^3*z13 + 232/175*z2^3*z5*z5z3 + 7526/385*z2^3*z3*z7z3 + 37038/385*z2^3*z3*z5^2 - 1042795/3619*z2^3*z3^2*z7 + 84/125*z2^4*z5z3z3 - 500418883225116743/176999460120000*z2^4*z11 - 2814/275*z2^4*z3*z5z3 - 150969/1375*z2^4*z3^2*z5 - 25581510117548531161/13385584171575000*z2^5*z9 - 772088/63525*z2^5*z3^3 - 45493105374549198203/67671564422962500*z2^6*z7 - 141909080061498874/659138614509375*z2^7*z5 - 10575613821004/7424484375*z2^8*z3 ; *--#] W19D3a : *--#[ W19D3b : L W19D3b = + 45056/1215*a9a7a3 + 647168/34263*a7a7a5 - z8z6z3z1z1 + 61/7*z7z3z3z3z3 - 1774/175*z5z5z3z3z3 - 2/5*z5z3z5z3z3 + 2137064465332379/3506275019520*z13z3z3 - 1002036520703269/10518825058560*z11z5z3 + 20306957506991089/78891187939200*z11z3z5 - 133230877291609/7396048869300*z9z5z5 + 193244305279957/584379169920*z9z3z7 - 1453729923697260377645/151471080843264*z19 - 28051/240*z11*z5z3 + 676133/30240*z9*z7z3 + 8222/1269*z7*z6z4z1z1 + 9947600668082393/15778237587840*z7*z9z3 + 14/5*z5*z5z3z3z3 - 9560310668769319/19722796984800*z5*z9z5 + 2488278392156129/1460947924800*z5*z11z3 + 26583345986387233/5259412529280*z5*z7^2 + 24283700529998191/4382843774400*z5^2*z9 + 21*z3*z8z6z1z1 - 418/7*z3*z7z3z3z3 + 11924/175*z3*z5z5z3z3 + 2803792181/982800*z3*z13z3 - 2537009/7560*z3*z11z5 + 19655999261/1263600*z3*z7*z9 - 44/5*z3*z5*z5z3z3 + 1511751973/81900*z3*z5*z11 - 129/7*z3^2*z5z5z3 + 215/14*z3^2*z7z3z3 + 311359/84*z3^2*z13 + 64/21*z3^3*z7z3 - 256/21*z3^3*z5^2 - 116087/15228*z3^4*z7 + 27999/770*z2*z11z3z3 - 241741/11550*z2*z9z5z3 - 5219659/28875*z2*z9z3z5 + 1387283/9625*z2*z7z5z5 + 3842427127251799272239/723169222776000*z2*z17 + 107/2*z2*z9*z5z3 - 25327/846*z2*z7*z7z3 - 9256697/17325*z2*z5*z9z3 - 329723024779/48856500*z2*z5^2*z7 + 5186/7*z2*z3*z9z5 - 22013/7*z2*z3*z11z3 - 1102781789/88830*z2*z3*z7^2 - 136537/7*z2*z3*z5*z9 - 5231/2*z2*z3^2*z11 - 44326/1575*z2^2*z9z3z3 - 182029/5250*z2^2*z7z3z5 + 240571767344662507417/834426026280000*z2^2*z15 + 59564/10575*z2^2*z7*z5z3 + 82352/2625*z2^2*z5*z7z3 + 65027/2625*z2^2*z5^3 - 191108/1575*z2^2*z3*z9z3 - 187914236/222075*z2^2*z3*z5*z7 - 181/70*z2^2*z3^2*z9 + 15864/6125*z2^3*z5z5z3 - 316/245*z2^3*z7z3z3 + 78331270347086371757/227798305174440000*z2^3*z13 + 356/175*z2^3*z5*z5z3 - 1196/245*z2^3*z3*z7z3 - 5072/245*z2^3*z3*z5^2 + 560852/6909*z2^3*z3^2*z7 - 768/875*z2^4*z5z3z3 + 245989475649730592113/75932768391480000*z2^4*z11 + 2376/875*z2^4*z3*z5z3 + 1032/35*z2^4*z3^2*z5 + 67586557300324046861/47457980244675000*z2^5*z9 + 8704/2695*z2^5*z3^3 + 7610797527156418097339/7917573037486612500*z2^6*z7 + 949455629948851500278/1979393259371653125*z2^7*z5 + 205768714886156/508116984375*z2^8*z3 ; *--#] W19D3b : *--#[ W20D2 : L W20D2 = - 16384/6615*a11a9 - z10z8z1z1 + 13/2*z11z3z3z3 + 3601/525*z9z3z5z3 + 304/45*z9z3z3z5 - 1371/196*z7z7z3z3 - 163/2450*z7z5z5z3 + 3799/525*z7z3z5z5 - 31725563717/1587600*z17z3 + 82724617357/31752000*z15z5 - 2294113571/6879600*z13z7 - 2/5*z9*z5z3z3 - 4050925598353/13759200*z9*z11 + 6/7*z7*z5z5z3 - 5/7*z7*z7z3z3 - 155066301749/705600*z7*z13 - 224/45*z5*z9z3z3 - 134/25*z5*z7z3z5 - 12457064549/105840*z5*z15 + 1979/1050*z5^2*z7z3 + 947/1050*z5^4 + 3/11*z3*z11z3z3 - 34/165*z3*z9z5z3 + 4/165*z3*z9z3z5 - 2/11*z3*z7z5z5 - 504638/165*z3*z17 + 2/5*z3*z9*z5z3 + z3*z7*z7z3 + 128/495*z3*z5*z9z3 + 191/33*z3*z5^2*z7 - 1/9*z3^2*z9z5 - 5/6*z3^2*z11z3 - 25/12*z3^2*z7^2 - 3*z3^2*z5*z9 + 754688/225*z2*z15z3 - 27563/91*z2*z13z5 + 561992969/40950*z2*z9^2 + 11410226/455*z2*z7*z11 + 1415251/75*z2*z5*z13 + 21731/11*z2*z3*z15 + 2257631/5250*z2^2*z13z3 - 2852051/57750*z2^2*z11z5 + 21457078/5775*z2^2*z7*z9 + 13230461/5250*z2^2*z5*z11 + 8387/275*z2^2*z3*z13 - 111878/9261*z2^3*z9z5 + 221323/3087*z2^3*z11z3 + 9867757/30870*z2^3*z7^2 + 6754378/15435*z2^3*z5*z9 - 15704/385*z2^3*z3*z11 + 29156/7875*z2^4*z9z3 + 62392/2625*z2^4*z5*z7 - 99588/9625*z2^4*z3*z9 + 47584/202125*z2^5*z7z3 + 19024/67375*z2^5*z5^2 - 784/605*z2^5*z3*z7 - 28951984/86711625*z2^6*z3*z5 + 928/5775*z2^7*z3^2 + 27513056062400210312/7652391230859375*z2^10 ; *--#] W20D2 : *--#[ W20D4a : L W20D4a = - 118784/243*a9a5a3a3 - 2560/243*a7a5a3a5 - z6z4z3z5z1z1 + 68/5*z5z3z3z3z3z3 + 1892381/7488*z10z8z1z1 - 910306861/570240*z11z3z3z3 - 7163571883/4276800*z9z3z5z3 - 151385544223/100077120*z9z3z3z5 + 177431676581/103783680*z7z7z3z3 + 1461398317/259459200*z7z5z5z3 - 334025483819/233513280*z7z3z5z5 + 1807778909077982369/952734182400*z17z3 - 239465248596222301/1120863744000*z15z5 + 5533395931357823/242853811200*z13z7 - 95/224*z7z3^2 + 195121/6480*z5z3*z9z3 - 2523197/6240*z9*z5z3z3 + 142261526900273180713/8257029580800*z9*z11 - 11940121/43680*z7*z5z5z3 + 9098737/52416*z7*z7z3z3 + 6117046052578015189/423437414400*z7*z13 + 26/33*z5*z6z4z3z1z1 + 21779062181/33359040*z5*z9z3z3 + 4187921323/8339760*z5*z7z3z5 + 10175877618052387/1008184320*z5*z15 + 250499/2160*z5*z7*z5z3 + 24589174367/155675520*z5^2*z7z3 + 62897259409/934053120*z5^4 + 2/5*z3*z5z3z3z3z3 - 17585793/320320*z3*z11z3z3 + 2790190079/64864800*z3*z9z5z3 + 1272107129/40540500*z3*z9z3z5 - 1250465747/189189000*z3*z7z5z5 + 3058474618568737/3891888000*z3*z17 + 3770521/6240*z3*z9*z5z3 - 1992533/7488*z3*z7*z7z3 - 260/33*z3*z5*z6z4z1z1 - 51538649/1105650*z3*z5*z9z3 - 339630639323/648648000*z3*z5^2*z7 - 11/5*z3^2*z5z3z3z3 - 103455137/1010880*z3^2*z9z5 + 468624191/673920*z3^2*z11z3 + 4184038891/1347840*z3^2*z7^2 + 5883742771/1235520*z3^2*z5*z9 + 1/15*z3^3*z5z3z3 + 1621/90*z3^3*z11 - 1/60*z3^4*z5z3 + 151/220*z3^5*z5 + 3289/18*z2*z9z3z3z3 + 39791/210*z2*z7z3z5z3 + 35831/210*z2*z7z3z3z5 + 43347/350*z2*z5z5z5z3 - 189989145427399/280215936*z2*z15z3 + 610103631688567/10118908800*z2*z13z5 - 106/5*z2*z5z3*z7z3 - 86242993031123671/45535089600*z2*z9^2 + 79/10*z2*z7*z5z3z3 - 437234029663597/126486360*z2*z7*z11 + 39553/2310*z2*z5*z5z5z3 - 64066/385*z2*z5*z7z3z3 - 658255241843603/233513280*z2*z5*z13 - 5701/110*z2*z5^2*z5z3 - 43/18*z2*z3*z9z3z3 + 319/30*z2*z3*z7z3z5 - 294949352881/576576*z2*z3*z15 - 1393/10*z2*z3*z7*z5z3 + 2828/165*z2*z3*z5*z7z3 + 6026/55*z2*z3*z5^3 - 269/36*z2*z3^2*z9z3 - 2693/132*z2*z3^2*z5*z7 - 91/12*z2*z3^3*z9 + 40*z2^2*z8z6z1z1 - 761/7*z2^2*z7z3z3z3 + 22963/175*z2^2*z5z5z3z3 - 31616667440509/333590400*z2^2*z13z3 + 311058718755523/25686460800*z2^2*z11z5 - 7/10*z2^2*z5z3^2 - 1172149329105847/1284323040*z2^2*z7*z9 - 10963/825*z2^2*z5*z5z3z3 - 315596344654567/389188800*z2^2*z5*z11 - 6329/175*z2^2*z3*z5z5z3 + 2063/70*z2^2*z3*z7z3z3 + 3969572069779/1081080000*z2^2*z3*z13 + 2326/825*z2^2*z3*z5*z5z3 + 793/140*z2^2*z3^2*z7z3 - 10057/308*z2^2*z3^2*z5^2 - 2203/150*z2^2*z3^3*z7 - 428/175*z2^3*z5z3z3z3 + 66164181471359/14145516000*z2^3*z9z5 - 584664115296259/24518894400*z2^3*z11z3 - 5381641724300489/49037788800*z2^3*z7^2 - 687467845654621/4086482400*z2^3*z5*z9 + 528/175*z2^3*z3*z5z3z3 + 435936782539/101871000*z2^3*z3*z11 + 116/175*z2^3*z3^2*z5z3 - 1744/385*z2^3*z3^3*z5 - 6690785807339/7662154500*z2^4*z9z3 - 8052151853807/1277025750*z2^4*z5*z7 + 26152973681129/9459450000*z2^4*z3*z9 - 7/500*z2^4*z3^4 - 77835854401/2809456650*z2^5*z7z3 + 118173752849/267567300*z2^5*z5^2 + 804638275069/1734232500*z2^5*z3*z7 + 1186648772/354729375*z2^6*z5z3 + 929618252814323/21305046262500*z2^6*z3*z5 - 169856778601/709458750*z2^7*z3^2 - 3150489632365699871495961707/20267826063994884375000*z2^10 ; *--#] W20D4a : *--#[ W20D4b : L W20D4b = + 32768/81*a9a5a3a3 + 10240/2187*a7a5a3a5 - z8z4z3z3z1z1 + 28/5*z5z3z3z3z3z3 - 1760573/16848*z10z8z1z1 + 188507557/285120*z11z3z3z3 + 1473313709/2138400*z9z3z5z3 + 41560038361/56293380*z9z3z3z5 - 1742609417/2471040*z7z7z3z3 - 1641636701/129729600*z7z5z5z3 + 4467346221581/5254048800*z7z3z5z5 - 495024560985295729/158789030400*z17z3 + 12074797416588319/28822210560*z15z5 - 15119278331166197/273210537600*z13z7 - 1/7*z7z3^2 + 58016/3645*z5z3*z9z3 + 10852963/42120*z9*z5z3z3 - 370357731721503704039/7431326622720*z9*z11 - 70134329/982800*z7*z5z5z3 - 18642935/235872*z7*z7z3z3 - 69646266196739064689/1905468364800*z7*z13 + 4/33*z5*z6z4z3z1z1 - 13606999447/18764460*z5*z9z3z3 - 390639634181/477640800*z5*z7z3z5 - 2679086151294295811/142910127360*z5*z15 - 675307/2430*z5*z7*z5z3 + 1425030638567/3502699200*z5^2*z7z3 + 3365339082463/10508097600*z5^4 + 58/5*z3*z6z6z3z1z1 - 942/25*z3*z5z3z3z3z3 - 2088148837/237837600*z3*z11z3z3 - 128176325401/5351346000*z3*z9z5z3 - 3666978604603/26756730000*z3*z9z3z5 + 4283131437401/31216185000*z3*z7z5z5 - 1271355834261563/142702560000*z3*z17 + 110155051/210600*z3*z9*z5z3 - 140703817/1179360*z3*z7*z7z3 + 16234/165*z3*z5*z6z4z1z1 - 4461982319059/16054038000*z3*z5*z9z3 - 307507710993983/53513460000*z3*z5^2*z7 + 2/5*z3^2*z5z3z3z3 + 105069511/1516320*z3^2*z9z5 - 882275929/2223936*z3^2*z11z3 - 37946715727/22239360*z3^2*z7^2 - 10277011/18720*z3^2*z5*z9 + 169/75*z3^3*z5z3z3 + 13949089/7200*z3^3*z11 - 58/75*z3^4*z5z3 - 1587/220*z3^5*z5 - 378*z2*z10z6z1z1 + 12116/9*z2*z9z3z3z3 + 149539/105*z2*z7z3z5z3 + 295871/210*z2*z7z3z3z5 + 256518/175*z2*z5z5z5z3 + 278942416946267/7881073200*z2*z15z3 + 4586967859499/5691886200*z2*z13z5 - 1069/70*z2*z5z3*z7z3 - 77957061004443653/102453951600*z2*z9^2 + 917/5*z2*z7*z5z3z3 + 1513071253368383/2276754480*z2*z7*z11 - 652789/825*z2*z5*z5z5z3 - 1505351/2310*z2*z5*z7z3z3 + 46672788369175987/10508097600*z2*z5*z13 + 38176/385*z2*z5^2*z5z3 - 25483/90*z2*z3*z9z3z3 - 253259/1050*z2*z3*z7z3z5 + 1376318394795557/3567564000*z2*z3*z15 - 4949/10*z2*z3*z7*z5z3 - 3988541/11550*z2*z3*z5*z7z3 - 1256637/3850*z2*z3*z5^3 - 2923/30*z2*z3^2*z9z3 - 159579/110*z2*z3^2*z5*z7 - 51407/60*z2*z3^3*z9 - 63*z2^2*z8z6z1z1 + 1747/10*z2^2*z7z3z3z3 - 4533/25*z2^2*z5z5z3z3 - 5095160849907911/52540488000*z2^2*z13z3 + 14383112933417441/577945368000*z2^2*z11z5 - 169/50*z2^2*z5z3^2 - 65648389631725073/28897268400*z2^2*z7*z9 + 29836/825*z2^2*z5*z5z3z3 - 5633461930400573/1945944000*z2^2*z5*z11 - 181/25*z2^2*z3*z5z5z3 - 559/50*z2^2*z3*z7z3z3 - 3951127401189079/22297275000*z2^2*z3*z13 - 3313/33*z2^2*z3*z5*z5z3 - 2011/100*z2^2*z3^2*z7z3 - 26043/1100*z2^2*z3^2*z5^2 - 54547/750*z2^2*z3^3*z7 + 232/35*z2^3*z5z3z3z3 + 173358593462291/63654822000*z2^3*z9z5 - 291735903029377/110335024800*z2^3*z11z3 - 17224573541528627/220670049600*z2^3*z7^2 - 666548040005191/3677834160*z2^3*z5*z9 + 7496/875*z2^3*z3*z5z3z3 - 31492367206984/2101089375*z2^3*z3*z11 - 1034/875*z2^3*z3^2*z5z3 + 10738/275*z2^3*z3^3*z5 + 468/175*z2^4*z6z4z1z1 + 16269347502539/6895939050*z2^4*z9z3 + 25986114269393/1641890250*z2^4*z5*z7 - 260231124125437/43355812500*z2^4*z3*z9 - 7909/8750*z2^4*z3^4 + 4835508963811/25285109850*z2^5*z7z3 + 74778798807956/21070924875*z2^5*z5^2 - 442729607541514/214611271875*z2^5*z3*z7 - 95379883688/3192564375*z2^6*z5z3 - 91897684902038891/878833158328125*z2^6*z3*z5 + 6199624118738/58530346875*z2^7*z3^2 + 14362497267270910135756267553/18241043457595395937500*z2^10 ; *--#] W20D4b : *--#[ W21D3a : L W21D3a = + 16384/10125*a11a7a3 - 758235136/48144375*a11a5a5 + 124608512/9628875*a9a7a5 - z10z6z3z1z1 + 46/9*z9z3z3z3z3 + 632/105*z7z3z5z3z3 + 86/15*z7z3z3z5z3 + 572/105*z7z3z3z3z5 + 4792/875*z5z5z5z3z3 - 46/175*z5z5z3z5z3 - 79762296200172352601/14193269874000000*z15z3z3 + 300325905559524737/525676662000000*z13z5z3 - 1937530071923855299/1182772489500000*z13z3z5 - 4276344582481031471/1517891361525000*z11z3z7 + 521371340655278784007/234188952921000000*z9z9z3 - 25121078001005691829/364293926766000000*z9z5z7 + 46/175*z5z3*z5z5z3 - 2/7*z5z3*z7z3z3 + 23447084989025829289680962719/183604139090064000000*z21 - 230423/1050*z13*z5z3 + 996991/252000*z11*z7z3 + 1115821/713250*z9*z6z4z1z1 + 158322811627/67402125*z9*z9z3 + 14/5*z7*z5z3z3z3 + 2193943125680824266731/218576356059600000*z7*z9z5 - 155476132715426010949/4553674084575000*z7*z11z3 - 58329863356463118472567/437152712119200000*z7^3 + 21*z5*z8z6z1z1 - 5927/105*z5*z7z3z3z3 + 294/5*z5*z5z5z3z3 + 452250319901127763249/45536740845750000*z5*z13z3 - 41566549981465215461/40072331944260000*z5*z11z5 - 1/5*z5*z5z3^2 + 194142859503796282909/1590171902550000*z5*z7*z9 - 36/5*z5^2*z5z3z3 + 123620183945626192117/1011927574350000*z5^2*z11 - 10/3*z3*z9z3z3z3 - 124/35*z3*z7z3z5z3 - 124/35*z3*z7z3z3z5 - 3282/875*z3*z5z5z5z3 + 879201991/1134000*z3*z15z3 - 412632331/4914000*z3*z13z5 + 27066938011247/4673214000*z3*z9^2 - 2/5*z3*z7*z5z3z3 + 6566091587/1228500*z3*z7*z11 - 394/25*z3*z5*z5z5z3 + 579/35*z3*z5*z7z3z3 - 412378019/189000*z3*z5*z13 - 1/5*z3*z5^2*z5z3 + 7/9*z3^2*z9z3z3 + 5/6*z3^2*z7z3z5 - 1359419/480*z3^2*z15 + 8/3*z3^2*z5*z7z3 - 73/6*z3^2*z5^3 + 1/27*z3^3*z9z3 - 67/9*z3^3*z5*z7 - 1829071/8559000*z3^4*z9 - 456827989/1106980*z2*z13z3z3 + 4672719/1106980*z2*z11z5z3 - 80474473/276745*z2*z11z3z5 - 40686929/830235*z2*z9z5z5 - 292435691/830235*z2*z9z3z7 - 154189366101945919277075760913/2880472078938762000000*z2*z19 + 175/2*z2*z11*z5z3 + 6258439/832125*z2*z9*z7z3 - 411370823/498141*z2*z7*z9z3 + 2565373939/1660470*z2*z5*z9z5 - 3280187609/553490*z2*z5*z11z3 - 102984928181/3320940*z2*z5*z7^2 - 671313308222282/19738837125*z2*z5^2*z9 + 1673/5*z2*z3*z13z3 - 7171/110*z2*z3*z11z5 + 10343039963/1569150*z2*z3*z7*z9 + 179771/35*z2*z3*z5*z11 + 5695/4*z2*z3^2*z13 + 55597/5250*z2^2*z11z3z3 - 91943/13125*z2^2*z9z5z3 - 5167213/131250*z2^2*z9z3z5 + 364191/12500*z2^2*z7z5z5 - 86436473160607995275412153749/7201180197346905000000*z2^2*z17 + 152195003/8321250*z2^2*z9*z5z3 - 267/70*z2^2*z7*z7z3 - 1310746/5625*z2^2*z5*z9z3 - 21552781/9375*z2^2*z5^2*z7 - 5546/525*z2^2*z3*z9z5 + 6857/175*z2^2*z3*z11z3 + 57957/175*z2^2*z3*z7^2 + 16444229047/24963750*z2^2*z3*z5*z9 + 2102/15*z2^2*z3^2*z11 - 4528/441*z2^3*z9z3z3 - 9494/735*z2^3*z7z3z5 - 6388130363549733165983997607/5400885148010178750000*z2^3*z15 + 6872/1225*z2^3*z7*z5z3 + 86/15*z2^3*z5*z7z3 - 12764/735*z2^3*z5^3 - 4048/2205*z2^3*z3*z9z3 + 7564/105*z2^3*z3*z5*z7 + 252151139/12481875*z2^3*z3^2*z9 + 432/175*z2^4*z5z5z3 - 5504/6125*z2^4*z7z3z3 - 729776888345818287506356537/5250860560565451562500*z2^4*z13 + 2808/875*z2^4*z5*z5z3 + 174/6125*z2^4*z3*z7z3 + 141732/6125*z2^4*z3*z5^2 + 472/175*z2^4*z3^2*z7 - 1216/1925*z2^5*z5z3z3 - 925507323821546001465988691/69311359399463960625000*z2^5*z11 + 16/175*z2^5*z3*z5z3 + 1336/385*z2^5*z3^2*z5 - 4239519283793351588154066261899/236525013950670765632812500*z2^6*z9 + 93976/2149875*z2^6*z3^3 + 212968170444794325102788117/187718265040214893359375*z2^7*z7 - 19611747311972694946481895347026/2632748667189013879365234375*z2^8*z5 - 1040087846450468752/2867304142828125*z2^9*z3 ; *--#] W21D3a : *--#[ W21D3b : L W21D3b = + 32768/2025*a11a7a3 - 1691951104/67402125*a11a5a5 + 15966208/641925*a9a7a5 - z10z4z5z1z1 + 46/9*z9z3z3z3z3 + 67/21*z7z3z5z3z3 + 73/21*z7z3z3z5z3 + 79/21*z7z3z3z3z5 + 482/175*z5z5z5z3z3 + 46/175*z5z5z3z5z3 - 4238216239858477651/1419326987400000*z15z3z3 + 627001944536054393/2050138981800000*z13z5z3 - 703795651741633681/768802118175000*z13z3z5 - 31462645083287555537/21048093546480000*z11z3z7 + 372902396884781263391/304445638797300000*z9z9z3 - 19588245940183861877/473582104795800000*z9z5z7 - 46/175*z5z3*z5z5z3 + 2/7*z5z3*z7z3z3 + 612014175618325444687147147/9180206954503200000*z21 - 19451/525*z13*z5z3 + 3153391/25200*z11*z7z3 + 124189/47550*z9*z6z4z1z1 + 11277303001/8986950*z9*z9z3 - 10*z7*z5z3z3z3 + 420788424971644713001/94716420959160000*z7*z9z5 - 307077206386412570401/21048093546480000*z7*z11z3 - 59995839372636195890467/1136597051509920000*z7^3 + 35*z5*z8z6z1z1 - 1948/21*z5*z7z3z3z3 + 102*z5*z5z5z3z3 + 2035985024285491730723/236791052397900000*z5*z13z3 - 94441586288513858561/104188063055076000*z5*z11z5 + 1/5*z5*z5z3^2 + 7303182308719087729/70674306780000*z5*z7*z9 - 17*z5^2*z5z3z3 + 50595100691006475701/584669265180000*z5^2*z11 - 10/3*z3*z9z3z3z3 - 17/7*z3*z7z3z5z3 - 17/7*z3*z7z3z3z5 - 264/175*z3*z5z5z5z3 + 46204583/56700*z3*z15z3 - 40926031/491400*z3*z13z5 + 5748836439719/934642800*z3*z9^2 + 4*z3*z7*z5z3z3 + 3386856623/491400*z3*z7*z11 - 148/5*z3*z5*z5z5z3 + 185/7*z3*z5*z7z3z3 + 75957031/18900*z3*z5*z13 + 2*z3*z5^2*z5z3 + 7/9*z3^2*z9z3z3 + 5/6*z3^2*z7z3z5 - 999179/480*z3^2*z15 + 14/3*z3^2*z5*z7z3 - 121/6*z3^2*z5^3 + 1/27*z3^3*z9z3 - 109/9*z3^3*z5*z7 - 171739/570600*z3^4*z9 - 27026161/221396*z2*z13z3z3 - 5451991/221396*z2*z11z5z3 - 17444207/110698*z2*z11z3z5 - 10766569/332094*z2*z9z5z5 - 8189527/47442*z2*z9z3z7 - 209436377144159893802866919263/7489227405240781200000*z2*z19 + 23/2*z2*z11*z5z3 - 6274173/110950*z2*z9*z7z3 - 35114221/71163*z2*z7*z9z3 + 1674653699/996282*z2*z5*z9z5 - 1142192096/166047*z2*z5*z11z3 - 22519138273/664188*z2*z5*z7^2 - 226194492797027/5263689900*z2*z5^2*z9 + 144*z2*z3*z13z3 - 412/11*z2*z3*z11z5 + 184640011/52305*z2*z3*z7*z9 + 3649/14*z2*z3*z5*z11 + 4265/4*z2*z3^2*z13 + 104827/11550*z2^2*z11z3z3 - 58886/9625*z2^2*z9z5z3 - 4205963/288750*z2^2*z9z3z5 + 1819437/192500*z2^2*z7z5z5 - 59051620463679552962080245787/9361534256550976500000*z2^2*z17 - 352613/554750*z2^2*z9*z5z3 - 587/70*z2^2*z7*z7z3 - 7286764/28875*z2^2*z5*z9z3 - 28681429/13750*z2^2*z5^2*z7 - 439/315*z2^2*z3*z9z5 + 223/210*z2^2*z3*z11z3 + 43979/420*z2^2*z3*z7^2 + 451738423/1664250*z2^2*z3*z5*z9 + 1442/15*z2^2*z3^2*z11 - 8752/2205*z2^3*z9z3z3 - 3748/735*z2^3*z7z3z5 - 8584605635052929103546138007/14042301384826464750000*z2^3*z15 - 64/245*z2^3*z7*z5z3 - 4832/735*z2^3*z5*z7z3 - 31642/735*z2^3*z5^3 - 956/441*z2^3*z3*z9z3 + 13348/105*z2^3*z3*z5*z7 + 31803853/2496375*z2^3*z3^2*z9 + 2004/875*z2^4*z5z5z3 - 1762/1225*z2^4*z7z3z3 - 3513467098663948894547135773/54608949829880696250000*z2^4*z13 + 648/125*z2^4*z5*z5z3 - 408/1225*z2^4*z3*z7z3 + 60696/1225*z2^4*z3*z5^2 + 292/175*z2^4*z3^2*z7 + 592/385*z2^5*z5z3z3 - 869535697856514209164987241/180209534438606297625000*z2^5*z11 - 384/385*z2^5*z3*z5z3 + 2152/385*z2^5*z3^2*z5 - 1271130768233012457536035670531/153741259067935997661328125*z2^6*z9 + 93976/2149875*z2^6*z3^3 - 336939128246153964608661599/1464202467313676168203125*z2^7*z7 - 457077280767234189757521357724/139696868054927267068359375*z2^8*z5 - 167184258052648784/573460828565625*z2^9*z3 ; *--#] W21D3b : *--#[ W21D3c : L W21D3c = + 229376/1125*a11a7a3 + 80972546048/337010625*a11a5a5 + 194240512/9628875*a9a7a5 - z8z6z5z1z1 + 68/9*z9z3z3z3z3 + 832/105*z7z3z5z3z3 + 967/105*z7z3z3z5z3 + 1042/105*z7z3z3z3z5 + 13182/875*z5z5z5z3z3 + 6/7*z5z5z3z5z3 - 27244590519829053443/2027609982000000*z15z3z3 + 27702088831229414243/20501389818000000*z13z5z3 - 59128353079525193137/15376042363500000*z13z3z5 - 1058253778378082290859/157860701598600000*z11z3z7 + 15943111446264812203591/3044456387973000000*z9z9z3 - 796124626675348029277/4735821047958000000*z9z5z7 + 4/7*z7z3*z5z3z3 - 6/7*z5z3*z5z5z3 + 5/7*z5z3*z7z3z3 + 56530498787326590429309608719/183604139090064000000*z21 + 988/105*z13*z5z3 - 4840189/42000*z11*z7z3 + 12116321/713250*z9*z6z4z1z1 + 391580194363/77031000*z9*z9z3 - 32/5*z7*z5z3z3z3 + 66425242934395243648003/2841492628774800000*z7*z9z5 - 38133134385678073775821/473582104795800000*z7*z11z3 - 1772194033551196483491121/5682985257549600000*z7^3 - 882/11*z5*z8z6z1z1 + 231823/1155*z5*z7z3z3z3 - 2656/11*z5*z5z5z3z3 + 2421110753846532955237/591977630994750000*z5*z13z3 - 10329076861159385113/47358210479580000*z5*z11z5 + 24562339186154226719/144561082050000*z5*z7*z9 + 11468/385*z5^2*z5z3z3 + 1089511603155540515323/6577529233275000*z5^2*z11 + 126*z3*z10z6z1z1 - 3764/9*z3*z9z3z3z3 - 46612/105*z3*z7z3z5z3 - 46642/105*z3*z7z3z3z5 - 411332/875*z3*z5z5z5z3 + 14643267949/126000*z3*z15z3 - 1622662571/136500*z3*z13z5 - 2/7*z3*z5z3*z7z3 + 4107739350391697/4673214000*z3*z9^2 - 48*z3*z7*z5z3z3 + 249134134261/273000*z3*z7*z11 + 95416/275*z3*z5*z5z5z3 + 160472/1155*z3*z5*z7z3z3 - 147654948601/231000*z3*z5*z13 - 842/35*z3*z5^2*z5z3 + 1756/9*z3^2*z9z3z3 + 43903/210*z3^2*z7z3z5 - 16860030793/50400*z3^2*z15 - 1/5*z3^2*z7*z5z3 - 109744/1155*z3^2*z5*z7z3 + 8237/2310*z3^2*z5^3 + 386/27*z3^3*z9z3 - 13876/99*z3^3*z5*z7 - 371594321/8559000*z3^4*z9 - 2765921183/2213960*z2*z13z3z3 + 241989003/2213960*z2*z11z5z3 - 711830499/1106980*z2*z11z3z5 - 107502131/1660470*z2*z9z5z5 - 2816281039/3320940*z2*z9z3z7 - 4909070085862871383507149572869/37446137026203906000000*z2*z19 - 38*z2*z11*z5z3 - 71975747/1664250*z2*z9*z7z3 - 1180414409/664188*z2*z7*z9z3 - 3510325222/9132585*z2*z5*z9z5 + 1046442816/276745*z2*z5*z11z3 + 29527344909/6088390*z2*z5*z7^2 + 7505949502980073/217127208375*z2*z5^2*z9 + 3069197/70*z2*z3*z13z3 - 7224377/770*z2*z3*z11z5 + 1326939269413/1569150*z2*z3*z7*z9 + 385168496/385*z2*z3*z5*z11 + 890137/5*z2*z3^2*z13 + 877057/57750*z2^2*z11z3z3 - 554308/144375*z2^2*z9z5z3 - 48076151/481250*z2^2*z9z3z5 + 80878597/962500*z2^2*z7z5z5 - 2597482603780841640794307941237/93615342565509765000000*z2^2*z17 - 20003597/8321250*z2^2*z9*z5z3 + 72/7*z2^2*z7*z7z3 + 83468918/433125*z2^2*z5*z9z3 - 392369129/1443750*z2^2*z5^2*z7 - 404509/225*z2^2*z3*z9z5 + 985762/175*z2^2*z3*z11z3 + 23274053/525*z2^2*z3*z7^2 + 2138820858047/24963750*z2^2*z3*z5*z9 + 2756263/210*z2^2*z3^2*z11 - 33296/2205*z2^3*z9z3z3 - 68038/3675*z2^3*z7z3z5 - 194911362363330993119202664141/70211506924132323750000*z2^3*z15 + 4604/1225*z2^3*z7*z5z3 + 1680218/40425*z2^3*z5*z7z3 + 4860158/40425*z2^3*z5^3 - 366208/735*z2^3*z3*z9z3 - 281084/77*z2^3*z3*z5*z7 + 76399670873/87373125*z2^3*z3^2*z9 - 4488/4375*z2^4*z5z5z3 + 14846/6125*z2^4*z7z3z3 - 45920191155850058590904709587/136522374574701740625000*z2^4*z13 - 82056/9625*z2^4*z5*z5z3 - 300266/6125*z2^4*z3*z7z3 - 79480998/67375*z2^4*z3*z5^2 + 143246/875*z2^4*z3^2*z7 + 1632/2695*z2^5*z5z3z3 - 37092717898022197777339501733/901047672193031488125000*z2^5*z11 + 151152/13475*z2^5*z3*z5z3 + 9124072/148225*z2^5*z3^2*z5 - 140105974205900613999511035754187/3074825181358719953226562500*z2^6* z9 + 389363824/23648625*z2^6*z3^3 + 6930652792145502164242210313/7321012336568380841015625*z2^7*z7 - 3582750057883460950982844513574/183025308414209521025390625*z2^8*z5 - 38693156590727807632/743375148140625*z2^9*z3 ; *--#] W21D3c : *--#[ W21D5 : L W21D5 = + 2560/729*a7a5a3a3a3 - z6z4z3z3z3z1z1 - 207009548621/707717088*z10z6z3z1z1 + 279716696399/1769292720*z10z4z5z1z1 - 1933829719/353858544*z8z6z5z1z1 + 144954003668977/191083613760*z9z3z3z3z3 + 6640040810287/4899579840*z7z3z5z3z3 + 111968614655129/89172353088*z7z3z3z5z3 + 516273014790901/445861765440*z7z3z3z3z5 + 521345541166189/371551471200*z5z5z5z3z3 - 8085785225951/61925245200*z5z5z3z5z3 - 25681668684578098329611413/18777557423858688000*z15z3z3 + 59605244349882428062193/430526007954432000*z13z5z3 - 141450563939225817692141/363256319211552000*z13z3z5 - 571967921471225826969506933/835392665834779852800*z11z3z7 + 715347680777496466017126751/1342595355805896192000*z9z9z3 - 101564393442839783048328971/6265444993760848896000*z9z5z7 - 23106999043/3096262260*z7z3*z5z3z3 + 32819551999579/309626226000*z5z3*z5z5z3 - 123381099553/1238504904*z5z3*z7z3z3 + 1266952245475121556965439936325147/40484413805839331328000*z21 - 17953663359789779/275223312000*z13*z5z3 - 420091692041803/27866360340*z11*z7z3 - 68249668601/117952848*z9*z6z4z1z1 + 332103654171469553/594482353920*z9*z9z3 + 331918446167/136099440*z7*z5z3z3z3 + 87421857168218905596956690497/33833402966308584038400*z7*z9z5 - 200635147982517575709833859403/22555601977539056025600*z7*z11z3 - 1598143034034759831003643538603/45111203955078112051200*z7^3 + 603716068999/7784887968*z5*z8z6z1z1 - 2935908558802379/4904479419840*z5*z7z3z3z3 - 41708679713749/68117769720*z5*z5z5z3z3 + 5262754236838100806969125349/3132722496880424448000*z5*z13z3 - 26437610802112702573191883/153155322069709639680*z5*z11z5 - 663833165183/17692927200*z5*z5z3^2 + 179055507185369719708426487/8114587315310361600*z5*z7*z9 + 117679726975477/136235539440*z5^2*z5z3z3 + 327383728476249995629623689/13053010403668435200*z5^2*z11 - 22/37*z3*z6z4z3z3z1z1 + 388041779105/1454751792*z3*z10z6z1z1 - 212735058853901/157113193536*z3*z9z3z3z3 - 2978328678709477/1832987257920*z3*z7z3z5z3 - 427736260523603/261855322560*z3*z7z3z3z5 - 1782373753420529/916493628960*z3*z5z5z5z3 + 101026775603078460463/293277961267200*z3*z15z3 - 6998696515701951169/190630674823680*z3*z13z5 - 104975830003/11456170362*z3*z5z3*z7z3 + 14855847672265784320099/5718920244710400*z3*z9^2 - 58883515674853/65463830640*z3*z7*z5z3z3 + 1810854266422346507881/762522699294720*z3*z7*z11 + 74791024138357/70009929990*z3*z5*z5z5z3 + 993398289629861/1344190655808*z3*z5*z7z3z3 - 13691885016805279354403/4839086360908800*z3*z5*z13 - 440586720856433/916493628960*z3*z5^2*z5z3 - 131/407*z3^2*z6z4z3z1z1 + 13658056194576751/25923676933440*z3^2*z9z3z3 + 1217775534415081/2160306411120*z3^2*z7z3z5 - 2553457288673346022537/2073894154675200*z3^2*z15 + 1658635241851/32731915320*z3^2*z7*z5z3 - 64893266213833/290810478420*z3^2*z5*z7z3 - 14794246597544891/60488579511360*z3^2*z5^3 + 784/1221*z3^3*z6z4z1z1 + 700828149122687/19442757700080*z3^3*z9z3 - 168060059740568/405057452085*z3^3*z5*z7 - 435401208591743/5760817096320*z3^4*z9 - 11819/205128*z3^7 - 189945/3742*z2*z8z6z3z1z1 - 35475/3742*z2*z6z6z5z1z1 + 580191/1871*z2*z7z3z3z3z3 - 4749873/9355*z2*z5z5z3z3z3 - 367391/3742*z2*z5z3z5z3z3 - 613857832468689085970993/8794770160445418240*z2*z13z3z3 - 71989325021059328485061/96742471764899600640*z2*z11z5z3 - 55788073991243244845959/1240288099549994880*z2*z11z3z5 - 60717055810610623672337/5182632415976764320*z2*z9z5z5 - 646098166710867474265163/11162592895949953920*z2*z9z3z7 + 93865/3742*z2*z5z3*z5z3z3 - 865993503444749199474834637731265827793/61793982960908678189918208000*z2*z19 + 69238666392247675/2648277343296*z2*z11*z5z3 + 1036278172587152501/92689707015360*z2*z9*z7z3 - 179172/1871*z2*z7*z6z4z1z1 - 76374847068294229635644983/435341122942048202880*z2*z7*z9z3 + 930923/18710*z2*z5*z5z3z3z3 + 540033346298007959879549/3023202242653112520*z2*z5*z9z5 - 5924332258592300964286679/9674247176489960064*z2*z5*z11z3 - 1173208417921039523640563131/290227415294698801920*z2*z5*z7^2 - 931717359439027726671623/293159005348180608*z2*z5^2*z9 + 29376585/138454*z2*z3*z8z6z1z1 - 44267268/69227*z2*z3*z7z3z3z3 + 265273901/346135*z2*z3*z5z5z3z3 + 88353377827698460147/428689894946040*z2*z3*z13z3 - 79360660287726464737/2095817264180640*z2*z3*z11z5 - 13228107/1384540*z2*z3*z5z3^2 + 9245422853035354448063/2694622196803680*z2*z3*z7*z9 - 3615913/69227*z2*z3*z5*z5z3z3 + 37114945045940493543337/9431177688812880*z2*z3*z5*z11 - 1368165277/7614970*z2*z3^2*z5z5z3 + 456583487/3045988*z2*z3^2*z7z3z3 + 1756920992760076812901/2694622196803680*z2*z3^2*z13 - 79726605/3045988*z2*z3^2*z5*z5z3 + 117340617/3045988*z2*z3^3*z7z3 - 563333731/4568982*z2*z3^3*z5^2 - 1064749375/18275928*z2*z3^4*z7 - 1584/25*z2^2*z6z6z3z1z1 + 20001/125*z2^2*z5z3z3z3z3 + 691321124985906338977/229407024863016000*z2^2*z11z3z3 - 752896666445615382631/573517562157540000*z2^2*z9z5z3 - 37226233323248463858757/1911725207191800000*z2^2*z9z3z5 + 8682782605480138351397/546207202054800000*z2^2*z7z5z5 - 2841127220700887675302830262749358693153/1158637180517037716060966400000*z2^2*z17 + 1480397687468252269/1158621337692000*z2^2*z9*z5z3 + 733090120387466749/463448535076800*z2^2*z7*z7z3 - 13704/25*z2^2*z5*z6z4z1z1 - 879531783094383498133/15931043393265000*z2^2*z5*z9z3 - 36594178875347090545391/53103477977550000*z2^2*z5^2*z7 + 2826/185*z2^2*z3*z5z3z3z3 + 175858044038842353527/77164181090287200*z2^2*z3*z9z5 - 342419291465770229257/25721393696762400*z2^2*z3*z11z3 + 479851530302280273281/14697939255292800*z2^2*z3*z7^2 + 142303230189495039901/1428966316486800*z2^2*z3*z5*z9 - 1047338/50875*z2^2*z3^2*z5z3z3 + 23350273627711725226867/808386659041104000*z2^2*z3^2*z11 + 561117/101750*z2^2*z3^3*z5z3 + 2070683/48840*z2^2*z3^4*z5 + 52/165*z2^3*z6z4z3z1z1 - 49903247618129081081/9635095044246672*z2^3*z9z3z3 - 1307493842110784320703/200731146755139000*z2^3*z7z3z5 - 7971619342749076650108179670593575927/31599195832282846801662720000*z2^3*z15 + 160339451623826977/33793122349350*z2^3*z7*z5z3 + 187815824928629009806/25091393344392375*z2^3*z5*z7z3 + 353498734979963580913/57351756215754000*z2^3*z5^3 - 6656/6105*z2^3*z3*z6z4z1z1 - 6282791690065125791/2947243027754025*z2^3*z3*z9z3 - 730625510090837313697/165045609554225400*z2^3*z3*z5*z7 + 2515981700270403522197/212201497998289800*z2^3*z3^2*z9 + 595633/1282050*z2^3*z3^5 + 208616701981825183/245849435081250*z2^4*z5z5z3 - 4625135427869674241/16727595562928250*z2^4*z7z3z3 - 714562676999382434878882569444655709503/20276150659048160031066912000000*z2^4*z13 + 147229708344082357/189655278491250*z2^4*z5*z5z3 - 244681695786793477/15718629481354800*z2^4*z3*z7z3 - 4935005554636209601/1309885790112900*z2^4*z3*z5^2 + 1382299895814823196303/589448605550805000*z2^4*z3^2*z7 - 2450461195341959483/4646554323035625*z2^5*z5z3z3 - 27365108791705534235844196032297611323/7434588574984325344724534400000*z2^5*z11 + 261513576215357793209/1031535059713908750*z2^5*z3*z5z3 + 773095835018092107089/2269377131370599250*z2^5*z3^2*z5 - 173839256899682243878253618717527739963371/38055800268201015358308710460000000*z2^6*z9 + 277006519184773845553019/3620688059595819712500*z2^6*z3^3 + 739974340800767930834105966920298097401/1630962868637186372498944734000000*z2^7*z7 - 315064149890246903580888263854619940403/166116588472306019421188815500000*z2^8*z5 - 241242493874971448394459987226007/1437642469903314827777625000*z2^9*z3 ; *--#] W21D5 : *--#[ W22D2 : L W22D2 = - 524288/212625*a13a9 - z12z8z1z1 - 1178078955/162748586*z13z3z3z3 + 5869430989/1790234446*z11z5z3z3 + 37011802/639369445*z11z3z5z3 + 4588207576/4475586115*z11z3z3z5 + 29078101534/13426758345*z9z5z5z3 + 128074007822/67133791725*z9z5z3z5 - 2738366110/2685351669*z9z3z7z3 + 141297419336/22377930575*z9z3z5z5 - 66543918797/12531641122*z7z7z3z5 + 4107549165/6265820561*z7z5z7z3 - 709331957398181781397/15225943963230000*z19z3 + 27102762603870847483/5973254939421000*z17z5 - 36011167655316783649/91355663779380000*z15z7 - 2/5*z11*z5z3z3 - 21501077994191994664259/34512139649988000*z11^2 + 6/7*z9*z5z5z3 - 5/7*z9*z7z3z3 - 140314945754752220090363/129420523687455000*z9*z13 + 16/9*z7*z9z3z3 + 197/105*z7*z7z3z5 - 17793384642174990398881/25884104737491000*z7*z15 + 177392721669/49231447265*z5*z11z3z3 - 379570457234/246157236325*z5*z9z5z3 - 61868502998/56805516075*z5*z9z3z5 + 564410739749/1723100654275*z5*z7z5z5 - 8016732552667335793067/27914230599255000*z5*z17 - 167/105*z5*z7*z7z3 - 534416318444/316487875275*z5^2*z9z3 - 1456860366978/35165319475*z5^3*z7 - 172993/31628*z3*z13z3z3 - 6873/347908*z3*z11z5z3 - 4944257/869770*z3*z11z3z5 - 1426/434885*z3*z9z5z5 - 1002053/173954*z3*z9z3z7 + 12377191726087/69581600*z3*z19 + 2/5*z3*z11*z5z3 + z3*z9*z7z3 + 1002053/173954*z3*z7*z9z3 + 198024/434885*z3*z5*z9z5 + 430231/434885*z3*z5*z11z3 + 3290811/173954*z3*z5*z7^2 + 3227908/434885*z3*z5^2*z9 - z3^2*z13z3 - 1/11*z3^2*z11z5 - 70/11*z3^2*z7*z9 - 4*z3^2*z5*z11 + 14198392437337/1150865001*z2*z17z3 - 306366270322639/201401375175*z2*z15z5 + 67647588527017/349095716970*z2*z13z7 + 10114109523155444/34909571697*z2*z9*z11 + 1715089625493147/8951172230*z2*z7*z13 + 11516151133402376/147694341795*z2*z5*z15 - 81301637513/869770*z2*z3*z17 - 2861684651017/95905416750*z2^2*z15z3 + 22545104823161/1454565487375*z2^2*z13z5 + 149109815735291/79339935675*z2^2*z9^2 + 377498158125821/158679871350*z2^2*z7*z11 + 36995208278489/175826597375*z2^2*z5*z13 - 16962889538/2174425*z2^2*z3*z15 - 12105550897802/219303719635*z2^3*z13z3 + 87007296725738/7237022747955*z2^3*z11z5 - 5903500759032332/15507905888475*z2^3*z7*z9 - 3422784054716932/12061704579925*z2^3*z5*z11 - 10086223617/15220975*z2^3*z3*z13 + 158416607804108/11748413551875*z2^4*z9z5 - 35900293143856/783227570125*z2^4*z11z3 - 181838320777546/783227570125*z2^4*z7^2 - 11867458922703652/43077516356875*z2^4*z5*z9 - 2124022899/76104875*z2^4*z3*z11 - 16157206601072/25846509814125*z2^5*z9z3 - 753636693179168/94770535985125*z2^5*z5*z7 + 914627496/167430725*z2^5*z3*z9 - 22112/471625*z2^6*z7z3 + 364171503623469952/208969031847200625*z2^6*z5^2 + 149539467472/76180979875*z2^6*z3*z7 + 52361856/167430725*z2^7*z3*z5 + 3298704/16713125*z2^8*z3^2 + 1300859216121224599636398068571136/175617779545855550220113671875* z2^11 ; *--#] W22D2 :