#- #define MAXWEIGHT "17" #define MINWEIGHT "8" #define SUM "alt" #define TYPE "r5" AutoDeclare Symbols z,e,h,l,n,x,a; CF H,HH,Z,A; #do WEIGHT = `MINWEIGHT',`MAXWEIGHT' TableBase "`SUM'`WEIGHT'`TYPE'.tbl" Open; TableBase "`SUM'`WEIGHT'`TYPE'.tbl" Load; #enddo Off Statistics; .global *--#[ Define up to 17 : L Zz5z3 = H(5,3); L Zz7z3 = H(7,3); L Zz5z3z3 = H(5,3,3); L Zz9z3 = H(9,3); L Zz7z5 = H(7,5); L Zz8z2z1z1 = H(8,2,1,1); L Zz6z4z1z1 = H(6,4,1,1); L Aa9a3 = A(9,3); L Aa7a5 = A(7,5); L Zz7z3z3 = H(7,3,3); L Zz5z5z3 = H(5,5,3); L Zz11z3 = H(11,3); L Zz9z5 = H(9,5); L Zz5z3z3z3 = H(5,3,3,3); L Zz9z3z3 = H(9,3,3); L Zz7z5z3 = H(7,5,3); L Zz7z3z5 = H(7,3,5); L Zz8z2z3z1z1 = H(8,2,3,1,1); L Zz6z4z3z1z1 = H(6,4,3,1,1); L Zz6z2z5z1z1 = H(6,2,5,1,1); L Aa9a3a3 = A(9,3,3); L Aa7a5a3 = A(7,5,3); L Aa7a3a5 = A(7,3,5); L Zz13z3 = H(13,3); L Zz11z5 = H(11,5); L Zz9z7 = H(9,7); L Zz12z2z1z1 = H(12,2,1,1); L Zz10z4z1z1 = H(10,4,1,1); L Zz8z6z1z1 = H(8,6,1,1); L Aa13a3 = A(13,3); L Aa11a5 = A(11,5); L Aa9a7 = A(9,7); L Zz5z5z3z3 = H(5,5,3,3); L Zz7z3z3z3 = H(7,3,3,3); L Zz11z3z3 = H(11,3,3); L Zz9z3z5 = H(9,3,5); L Zz9z5z3 = H(9,5,3); L Zz7z7z3 = H(7,7,3); L Zz7z5z5 = H(7,5,5); L Zz5z3z3z3z3 = H(5,3,3,3,3); L Zz8z2z5z1z1 = H(8,2,5,1,1); L Zz8z4z3z1z1 = H(8,4,3,1,1); L Zz6z6z3z1z1 = H(6,6,3,1,1); L Zz6z4z5z1z1 = H(6,4,5,1,1); L Aa9a3a5 = A(9,3,5); L Aa9a5a3 = A(9,5,3); L Aa7a7a3 = A(7,7,3); L Aa7a5a5 = A(7,5,5); *--#] Define up to 17 : *--#[ Substitute A : id A(n1?,n2?) = H(n1,n2)-H(-n1,n2); id A(n1?,n2?,n3?) = H(n1,n2,n3)-H(-n1,n2,n3)-H(n1,-n2,n3)+H(-n1,-n2,n3); id A(n1?,n2?,n3?,n4?) = +H(n1,n2,n3,n4)-H(-n1,n2,n3,n4)-H(n1,-n2,n3,n4)+H(-n1,-n2,n3,n4) -H(n1,n2,-n3,n4)+H(-n1,n2,-n3,n4)+H(n1,-n2,-n3,n4)-H(-n1,-n2,-n3,n4); id A(n1?,n2?,n3?,n4?,n5?) = +H(n1,n2,n3,n4,n5)-H(-n1,n2,n3,n4,n5)-H(n1,-n2,n3,n4,n5)+H(-n1,-n2,n3,n4,n5) -H(n1,n2,-n3,n4,n5)+H(-n1,n2,-n3,n4,n5)+H(n1,-n2,-n3,n4,n5)-H(-n1,-n2,-n3,n4,n5) -H(n1,n2,n3,-n4,n5)+H(-n1,n2,n3,-n4,n5)+H(n1,-n2,n3,-n4,n5)-H(-n1,-n2,n3,-n4,n5) +H(n1,n2,-n3,-n4,n5)-H(-n1,n2,-n3,-n4,n5)-H(n1,-n2,-n3,-n4,n5)+H(-n1,-n2,-n3,-n4,n5); *--#] Substitute A : *--#[ Expand : ArgExplode,H; #do WEIGHT = `MINWEIGHT',`MAXWEIGHT' id H(n1?,...,n`WEIGHT'?) = `SUM'`WEIGHT'`TYPE'(n1,...,n`WEIGHT'); #enddo #do WEIGHT = `MINWEIGHT',`MAXWEIGHT' TestUse,`SUM'`WEIGHT'`TYPE'; #enddo .sort #do WEIGHT = `MINWEIGHT',`MAXWEIGHT' TableBase "`SUM'`WEIGHT'`TYPE'.tbl" use; #enddo Apply; *--#] Expand : *--#[ Do e -> z : #do iz = `MAXWEIGHT',3,-2 id e`iz' = {2^{`iz'-1}-1}/{2^{`iz'-1}}*z`iz'; #enddo *--#] Do e -> z : *--#[ Weight 8 : id h53 = 513/320*( - z5z3 - 500/57*z5*z3 + 44638/29925*z2^4 + 1600/171*h71); *--#] Weight 8 : *--#[ Weight 10 : id h73 = 4749/3584*( - z7z3 - 17069/1583*z5^2 - 32928/1583*z7*z3 + 100352/4749*h91 + 1861312/609455*z2^5); *--#] Weight 10 : *--#[ Weight 11 : id h533 = 1567962333/280835840*( - z5z3z3 + 110758068/58072679*z3*z5z3 + 471599000/58072679*z5*z3^2 + 657319456207/4181232888*z11 - 158131200/8296097*h911 + 468032000/174218037*h731 + 115680000/58072679*h713 - 139773440/174218037*h551 - 21017251015/447989238*z2*z9 - 784758566/124441455*z2^2*z7 - 21519336466/3658578777*z2^3*z5 - 55270884104/10162718825*z2^4*z3 + 12966400/24888291*h71*z3); *--#] Weight 11 : *--#[ Weight 12 : id h93 = 1055/1024*( - z9z3 - 185874/5275*z7*z5 - 37332/1055*z9*z3 + 1024/26375*h75 + 187392/5275*hB1 + 92649159488/23101203125*z2^6); id h75 = -25/3*( - a7a5 + 1295/2304*z9z3 + 461399/15360*z7*z5 + 3213/128*z9*z3 - 126/5*hB1 - 39238805939/12612600000*z2^6); if ( expression(Zz8z2z1z1) ); id a7a5 = 3*( - a9a3 + 1697/27648*z9z3 + 5653/9216*z7*z5 + 1533/1024*z9*z3 - 93370051/756756000*z2^6); endif; if ( expression(Zz8z2z1z1,Aa9a3) ); id z9z3 = -9/14*( - z7z5 + 28/3*z7*z5 - 776224/1576575*z2^6); endif; *--#] Weight 12 : *--#[ Weight 13 : id h733 = 368325021497247/221791018452992*( - z7z3z3 - 1617268452188064/477458361200135*z3*z7z3 - 187359888641664/13641667462861*z5*z5z3 - 40897931327830652/477458361200135*z5^2*z3 - 820198392872544/13641667462861*z7*z3^2 - 9934892006140536271/9822000573259920*z13 + 345380003928064/1841625107486235*h553 - 2573244816705536/613875035828745*h715 + 740898146811904/613875035828745*h751 + 489047040684032/613875035828745*h913 - 1038016930119680/122775007165749*h931 + 5197679896428544/40925002388583*hB11 + 150194477400064/68208337314305*h91*z3 - 51911027403951199/1227750071657490*z2*z11 + 288948262341504668/3069375179143725*z2^2*z9 + 1300823585760470596/21485626254006075*z2^3*z7 + 1522287594852137644/35809377090010125*z2^4*z5 + 1092931390451490944/36764293812410395*z2^5*z3 + 160827801044096/40925002388583*h71*z5); id h553 = -974667561561/22824166400*( - z5z5z3 + 113488094875/108296395729*z7z3z3 - 160764367300/108296395729*z3*z7z3 - 82098968000/108296395729*z5*z5z3 - 1642229255150/108296395729*z5^2*z3 - 1622058270000/108296395729*z7*z3^2 - 5802637739769677/15594680984976*z13 + 70058777600/974667561561*h715 + 289267865600/974667561561*h751 - 1457416755200/974667561561*h913 - 2026357760000/974667561561*h931 + 10146615808000/324889187187*hB11 - 11689574400/108296395729*h91*z3 + 28018600067500/324889187187*z2*z11 + 13626028598480/974667561561*z2^2*z9 + 82460382051380/6822672930927*z2^3*z7 + 16815280689362/1624445935935*z2^4*z5 + 985499604800/141335974087*z2^5*z3 - 21893368000/324889187187*h71*z5); *--#] Weight 13 : *--#[ Weight 14 : id hB3 = 55402659/55189504*( - z11z3 - 1689322617/61558510*z7^2 - 338387810/6155851*z9*z5 - 1695482008/30779255*z11*z3 + 29679616/1385066475*h95 + 5091418112/92337765*hD1 + 1375127036544/296250329375*z2^7); id h95 = 168425/36864*( - z9z5 + 161970/74107*z11z3 - 31730403/741070*z7^2 - 7025796/74107*z9*z5 - 3645972/33685*z11*z3 + 3649536/33685*hD1 + 387276333888/46363191875*z2^7); id h5333 = 37274745835868140168803487226871/955348022984751112020744350720*( - z5z3z3z3 - 255954473675764114931704734382411529/ 2683781700182506092153851080334712*z9z5 + 11484840047069926331661704567894620799/ 39362131602676756018256482511575776*z11z3 - 919088389204743410784124631144034556/10096532173613552540069125318564\ 4173*z3*z5z3z3 + 1005828715564036241063854105279600536/1009653217361355254006912531856\ 44173*z3^2*z5z3 + 12466201093383100635839031048506180000/302895965208406576202073759556\ 932519*z5*z3^3 - 95269202652321011658406851901810915451/ 78724263205353512036512965023151552*z7^2 - 11256987943661163319989820379461350293/ 3280177633556396334854706875964648*z9*z5 - 15082667348509192602949646322448665770261/363475158250087891442488511\ 4683190228*z11*z3 + 704832484963222231069085829120/460182047356396792207450459591*h5351 + 950603322010964550198740162560/1380546142069190376622351378773*h5513 + 132856342034871990866941603840/1380546142069190376622351378773*h5531 - 13791452840033093983114878284800/4141638426207571129867054136319* h7133 - 8445983791430665316188921139200/4141638426207571129867054136319*h7313 - 1030194873668181799783341875200/4141638426207571129867054136319*h7331 - 35641948678726306849479701862400/4141638426207571129867054136319* h7115 - 2850188199988926175429873715200/4141638426207571129867054136319*h7151 + 2959752302560288785312271308800/4141638426207571129867054136319*h7511 - 37892066654088743942021418905600/4141638426207571129867054136319* h9113 + 945624635385972311875835699200/4141638426207571129867054136319*h9131 - 11409849016462676720010975027200/4141638426207571129867054136319* h9311 - 36034925932280064171694366208000/1380546142069190376622351378773* hB111 + 11138108962101970890462406832000/1380546142069190376622351378773*h711 *z5 + 25599608053190094329057228085034240/4141638426207571129867054136319* hD1 - 18298368039898409219936279907146547200/302895965208406576202073759556\ 932519*h911*z3 + 794641040424574617870981851252633600/10096532173613552540069125318564\ 4173*h731*z3 + 2426423747205007391109299450953676800/3028959652084065762020737595569\ 32519*h713*z3 - 633588941325811093875066058087628800/30289596520840657620207375955693\ 2519*h551*z3 - 109099346310547601673183405067520/111824237507604420506410461680613* z2*a7a5 - 10114468806434900861713587941258255/ 1006418137568439784557694155125517*z2*z9z3 - 88621720426588724811389180302112110/335472712522813261519231385041839 *z2*z7*z5 - 612831711478152478788578841906983650870/90868789562521972860622127867\ 0797557*z2*z9*z3 - 49731377635065769206873872441161/8283276852415142259734108272638*z2^2 *z7z3 - 666435554283267280134612313311643/8283276852415142259734108272638* z2^2*z5^2 - 751410051196022871300024345535295871604/45434394781260986430311063933\ 53987785*z2^2*z7*z3 - 1038234933220066906299663564800/460182047356396792207450459591*z2^2* h91 + 1012967593112371765046652885638/48319114972421663181782298257055*z2^3 *z5z3 - 342864947469664710099492233606386218344/63608152693765381002435489506\ 95582899*z2^3*z5*z3 - 448476821493296241186279648673029108208/17668931303823716945120969307\ 487730275*z2^4*z3^2 + 3822489341461095766268608122623449254318424/9696461348670329159294174\ 049326184226125*z2^7 - 3301692030993254067885390194806092800/3028959652084065762020737595569\ 32519*h71*z3^2 + 10132413590558087347428379402240/12424915278622713389601162408957*h71 *z2^3); *--#] Weight 14 : *--#[ Weight 15 : id h933 = -641358224934234568624953/429384912423615336214528*( - z9z3z3 + 208808775755402201292800/213786074978078189541651*z3*a7a5 + 698280165392709884310500/1924074674802703705874859*z3*z9z3 - 25193066399224221551210/6158446604306779122599*z5*z7z3 - 1106601134313913337904596/498834174948849108930519*z5^3 - 21348890027442650743616/2639334258988619623971*z7*z5z3 - 1002525697123597948904000/641358224934234568624953*z7*z5*z3 + 59437477095173809138120/23754008330897576615739*z9*z3^2 + 35524978806861062210449509257/25654328997369382744998120*z15 - 47167776065819429126144/213786074978078189541651*h735 - 98198666727707888349184/641358224934234568624953*h753 - 38251392478792736739328/23754008330897576615739*h771 + 34626286247364382621696/23754008330897576615739*h915 + 284573128593860152795136/71262024992692729847217*h951 - 117620078250042647400448/71262024992692729847217*hB13 - 522495363436702634295296/71262024992692729847217*hB31 - 115381571974978509561856/23754008330897576615739*hD11 + 196498304833862520856576/71262024992692729847217*hB1*z3 + 315331610505207678730240/71262024992692729847217*h91*z5 - 145667690955018457202368667/285048099970770919388868*z2*z13 - 29801496914773131389898656/1068930374890390947708255*z2^2*z11 - 81344603240684727033648058/2494170874744245544652595*z2^3*z9 - 61391602020202729361465494/2494170874744245544652595*z2^4*z7 - 1841359149310899343352420224/192051157355306906938249815*z2^5*z5 - 11644674029053425542445102976/13481991246342544867065137013*z2^6*z3); id h753 = 314490902654015138829/1524179123523911680*( - z7z5z3 + 276024270793185638374/314490902654015138829*z9z3z3 + 14566684498287738880/314490902654015138829*z3*a7a5 + 2439006053336034515200/2830418123886136249461*z3*z9z3 + 38575165753248714450/104830300884671712943*z5*z7z3 + 1395668369992896775180/314490902654015138829*z5^3 + 55373111471309237760/104830300884671712943*z7*z5z3 + 28158094465142903463440/943472707962045416487*z7*z5*z3 + 1583899918672034040000/104830300884671712943*z9*z3^2 + 269478242906711830864637/314490902654015138829*z15 + 271959357324247040/314490902654015138829*h735 + 3431490731486003200/104830300884671712943*h771 - 22881853478295633920/314490902654015138829*h915 - 19421120481364869120/104830300884671712943*h951 + 102121995522292121600/104830300884671712943*hB13 + 146580209282324070400/104830300884671712943*hB31 - 3231536610250845388800/104830300884671712943*hD11 + 3427907343286272000/104830300884671712943*hB1*z3 + 4770934835380224000/104830300884671712943*h91*z5 - 31734849540976244128256/104830300884671712943*z2*z13 - 14189664434647931791139/524151504423358564715*z2^2*z11 - 44115511664245858725048/3669060530963509953005*z2^3*z9 - 1133524186403995356936/104830300884671712943*z2^4*z7 - 63407822921334403965952/8071933168119721896611*z2^5*z5 - 6403110138470669710646528/1287840246368191993504755*z2^6*z3); id h735 = 1328978727961/14245320767*( - a9a3a3 + 4823087366689059/21773987478913024*z7z5z3 - 2184019461946515/10886993739456512*z9z3z3 + 93654782153/2657957455922*z3*a7a5 - 17346340300246433/48991471827554304*z3*z9z3 - 40901164577874045/76208956176195584*z5*z7z3 - 35849549833947715/9526119522024448*z5^3 - 31091010299181/42527319294752*z7*z5z3 - 167877788299629929/8165245304592384*z7*z5*z3 - 44988512093938161/5443496869728256*z9*z3^2 - 76672768075117001651/217739874789130240*z15 - 33042434895/1328978727961*h771 - 44856356636/1328978727961*h915 + 167182900388/1328978727961*h951 - 398519733920/1328978727961*hB13 - 1173496676870/1328978727961*hB31 + 25226454824340/1328978727961*hD11 + 298889800440/1328978727961*hB1*z3 + 415992504480/1328978727961*h91*z5 + 839092691743141171/10886993739456512*z2*z13 + 1681918821443845287/108869937394565120*z2^2*z11 + 862263545540626853/95261195220244480*z2^3*z9 + 3296275659494556177/476305976101222400*z2^4*z7 + 83080513373093287/16670709163542784*z2^5*z5 + 252922581619534766791/83809385521404543000*z2^6*z3); if ( expression(Zz8z2z3z1z1) ); id z9z3z3 = 3/7*( - z7z3z5 + 3/2*z7z5z3 + z5*z7z3 + z5^3 + 152273/120*z15 - 1365/2*z2*z13 - 541/10*z2^2*z11 - 52/21*z2^3*z9 + 24/25*z2^4*z7 + 96/385*z2^5*z5); endif; if ( expression(Zz6z4z3z1z1) ); id a9a3a3 = 3*( - a7a5a3 - 77131/143360*z7z5z3 + 11643/20480*z9z3z3 + 3353/12288*z3*z9z3 - 639/7168*z5^3 + 3429/5120*z7*z5z3 + 5639/2048*z7*z5*z3 + 13797/4096*z9*z3^2 + 184753733/1146880*z15 - 4024917/40960*z2*z13 - 1735563/716800*z2^2*z11 + 1640081/1254400*z2^3*z9 + 379803/896000*z2^4*z7 + 42873/172480*z2^5*z5 - 2423621/4368000*z2^6*z3); endif; if ( expression(Zz6z4z3z1z1,Aa7a5a3) ); id z7z5z3 = -2/3*( - z7z3z5 - 7/3*z9z3z3 + z5*z7z3 + z5^3 + 152273/120*z15 - 1365/2*z2*z13 - 541/10*z2^2*z11 - 52/21*z2^3*z9 + 24/25*z2^4*z7 + 96/385*z2^5*z5); endif; if ( expression(Zz6z2z5z1z1) ); endif; *--#] Weight 15 : *--#[ Weight 16 : id hD3 = 2724717231903/2650875854848*( - z13z3 - 71814074043355/908239077301*z9*z7 - 71721761185550/908239077301*z11*z5 - 71621370808260/908239077301*z13*z3 + 6481985536/2724717231903*h97 + 2280292352/908239077301*hB5 + 214916582293504/2724717231903*hF1 + 12948372583934512544/2704713266225445475*z2^8); id hB5 = 56006523/123633664*( - z11z5 - 1201994684/242694933*z13z3 - 255840600575/242694933*z9*z7 - 250099300792/242694933*z11*z5 - 6232446220/6222947*z13*z3 + 22528000/56006523*h97 + 56105713664/56006523*hF1 + 160749116659329376/2581212296788125*z2^8); id h97 = 343*( - a13a3 - 1781757/123633664*z11z5 + 5415407/146112512*z13z3 - 494541405/57401344*z9*z7 - 650140227/73056256*z11*z5 - 831849/114688*z13*z3 + 429/49*hF1 + 1562656330113/3142275136000*z2^8); id h5533 = -321699019394328944026687919706655978396942512090304391247/ 169404746454316920444736272770405404290699620691387084800*( - z5z5z3z3 + 1536003472320075285069386955182147058449413978713094269117440/ 965097058182986832080063759119967935190827536270913173741*a13a3 + 1719455512224945314866023071938759423300282802498709077278895/ 18873009137800631382899024622790484065953960709297857619824*z11z5 - 70525922722142964964303140559249805026590961903335172858489397/ 200740188102061261072653261896953330519692127544349940138128*z13z3 + 10509245209541452994712365416065180365931773222910083520/ 11914778496086257186173626655802073273960833781122384861*z5z3^2 - 98195256494906434451233889171967729797155695491501207335842500/ 10622847148977128233219634143886798666791986613401503548136909*z3*z5z5z3 + 129505592887841158989068493660334238101782750363766523781344000/ 10622847148977128233219634143886798666791986613401503548136909*z3*z7z3z3 - 220739200815743641018749937063747049914874725278741785829736400/ 10622847148977128233219634143886798666791986613401503548136909*z3^2*z7z3 - 195864092432509165969345042353448951737051644147135840000/ 11914778496086257186173626655802073273960833781122384861*z5*z5z3z3 + 27312400483435976095397798173053865039250335938778076167328000/ 1517549592711018319031376306269542666684569516200214792590987*z5*z3*z5z3 - 2121119830400574045945854144827750194606387513237837998599517700/ 10622847148977128233219634143886798666791986613401503548136909*z5^2*z3^2 - 414113308695181138825699995630111768191107280898282677501784000/ 1517549592711018319031376306269542666684569516200214792590987*z7*z3^3 + 376418924703488280903187018316632074279049425746497946308773587/ 13630506599522678220982628894237571825411193845604008280984*z9*z7 + 27682660782451884395400695360031270136935672838054308898590533/ 929352722694728060521542879152561715368945034927546019158*z11*z5 + 87553381864174619092621302954048765120548085418636693715528873810285/ 4589069968358119396750881950159097024054138216989449532795144688*z13*z3 - 10384703177473258135989136542333356741495227734093998080000/ 11914778496086257186173626655802073273960833781122384861*hD111 + 934649817204194040310411622007574358061663158651238400000/ 11914778496086257186173626655802073273960833781122384861*hB311 + 769232527997153216663134264136436214406034242013378560000/ 11914778496086257186173626655802073273960833781122384861*hB131 + 1873221570257040753438025368788937929476478338346885120000/ 35744335488258771558520879967406219821882501343367154583*hB113 - 296673778003470394709689143657634179847092630711072768000/ 11914778496086257186173626655802073273960833781122384861*h9511 - 54978578302683846456712086946443876089901776043458560000/ 35744335488258771558520879967406219821882501343367154583*h9331 + 333079559585187637286141687867882287323785575596468224000/ 107233006464776314675562639902218659465647504030101463749*h9313 - 589614177858756620586484559674014138977049145311819776000/ 35744335488258771558520879967406219821882501343367154583*h9151 + 873610127184646577497442616074333789725027530388480000/23464552836931\ 3598852434660617546300800103947549456157*h9133 + 131354625180781424091247529403771053093051845112489984000/ 11914778496086257186173626655802073273960833781122384861*h9115 + 310231608291280184599993816884293403031611400860692480000/ 35744335488258771558520879967406219821882501343367154583*h7711 + 792087807758635431250672000860313242035605694835712000/35744335488258\ 771558520879967406219821882501343367154583*h7531 - 89972279250926297153955108499360415032404915704296448000/ 107233006464776314675562639902218659465647504030101463749*h7513 - 4100865962251190324737602327339913762542430957375488000/1191477849608\ 6257186173626655802073273960833781122384861*h7351 - 398154855720992895366952416563734478749146363515004416000/ 321699019394328944026687919706655978396942512090304391247*h7333 + 52399902938095810206895620531861635674105376515761152000/ 35744335488258771558520879967406219821882501343367154583*h7315 - 8674017698237510703287588410703583143606443469166080000/1072330064647\ 76314675562639902218659465647504030101463749*h7153 + 344172887506953237428010601499343116611904444782214656000/ 107233006464776314675562639902218659465647504030101463749*h7135 - 4824622837645227683897147847865468367047314243262259200/3574433548825\ 8771558520879967406219821882501343367154583*h5551 - 107554027345922886696253312968544723941220138994442080000/ 35744335488258771558520879967406219821882501343367154583*h713*z5 - 16374969668154940689654881416206761148157930161175360000/ 11914778496086257186173626655802073273960833781122384861*h731*z5 - 123144961106982585085544558816035362274736104792959360000/ 11914778496086257186173626655802073273960833781122384861*h911*z5 - 3644616550141412419808022264130189148264626981856642160435200/ 4552648778133054957094128918808628000053708548600644377772961*h715*z3 + 29422765565281714165416671560864731739199448563486768473292800/ 4552648778133054957094128918808628000053708548600644377772961*h751*z3 - 53082578817476749939335751936498010060944880100239333770035200/ 1517549592711018319031376306269542666684569516200214792590987*h913*z3 - 218823057161660286846979861226747488435929878559975788535808000/ 4552648778133054957094128918808628000053708548600644377772961*h931*z3 + 1204559311522800226539542138833204492818262430273183174180864000/ 1517549592711018319031376306269542666684569516200214792590987*hB11*z3 + 35304548672469997902499134337355423811240929154370733292134400/ 1517549592711018319031376306269542666684569516200214792590987*h91*z3^2 + 46854252903166742419290889150188550026094164804553728000/ 11914778496086257186173626655802073273960833781122384861*h71*z5z3 + 67906887282742153827670938220135608263921307702516228767936000/ 1517549592711018319031376306269542666684569516200214792590987*h71*z5*z3 - 838747174521789316811807532721598833670745003282621440000/ 35744335488258771558520879967406219821882501343367154583*h71^2 - 8695508185118289943682170588871230337717201924608501450956800/ 321699019394328944026687919706655978396942512090304391247*hF1 - 102478665525280517916619659592567795633610095634299420246850/ 2895291174548960496240191277359903805572482608812739521223*z2*z9z5 + 615868268416009782587354447026224077160432480411761648824975/ 3860388232731947328320255036479871740763310145083652694964*z2*z11z3 + 7988727405262854787220643642402081360415529191972053539273405/ 7720776465463894656640510072959743481526620290167305389928*z2*z7^2 + 362609697752057106558808560803685336561953648165358827899475/ 321699019394328944026687919706655978396942512090304391247*z2*z9*z5 + 12959861408109236525496858953932773243986948113376357953713074600/ 4552648778133054957094128918808628000053708548600644377772961*z2*z11*z3 + 1563018846870017562216539515248425894523775654053574028800/ 321699019394328944026687919706655978396942512090304391247*z2^2*a7a5 + 78972540650596666877140860371498938361456671897341361174414/ 2895291174548960496240191277359903805572482608812739521223*z2^2*z9z3 + 654875278718098586755061958565084256809676432907441474938263/ 1930194116365973664160127518239935870381655072541826347482*z2^2*z7*z5 + 8784431805884056284606639629980843293310435524393780898047667980/ 10622847148977128233219634143886798666791986613401503548136909*z2^2*z9* z3 + 23806475686250604664720545493830966127704911374714880000/ 11914778496086257186173626655802073273960833781122384861*z2^2*hB1 + 3876545870711992435326133766778679311795364124665340537000/ 1751472438924679806367523118402904771272242565824990574567*z2^3*z7z3 - 531783146068832125773761568272643461436664312460934559711855/ 5254417316774039419102569355208714313816727697474971723701*z2^3*z5^2 + 65947612725673534907111273847453587146917923001012057659178826240/ 669239370385559078692836951064868316007895156644294723532625267*z2^3*z7* z3 + 193240440395431535814063961822148725934893007073816166400/ 35744335488258771558520879967406219821882501343367154583*z2^3*h91 - 15067691289811834443084652544156092589029724222548210253312/ 1251051742089057004548230798859217693765887547017850410405*z2^4*z5z3 - 2569615787121820075840948499615958914261841933651594631815068584/ 31868541446931384699658902431660396000375959840204510644410727*z2^4*z5* z3 - 1782170695175866781223562465290007883434028712738324766720/ 250210348417811400909646159771843538753177509403570082081*z2^4*h71 + 117347522448944768238006543072694072313798041616440746736919081600/ 2453877691413716621873735487237850492028948907695747319619625979*z2^5* z3^2 - 378527720116285885778298912075259535658512910727902694275766855053440\ 648/215768171006574201860616862570376384873377840271902427342244437210625 *z2^8); id h7333 = 2196750842533246438912595750256601842268613805712467/ 5038137600415360894798572218548920851423154085888*( - z7z3z3z3 + 5527573745355664203757877942354597653243019507128106/6102085673703462\ 330312765972935005117412816126979075*z5z5z3z3 + 4853942166069796042810289832511232273792608170906652672/9885378791399\ 6089751066808761547082902087621257061015*a13a3 - 25834607918444866835672411684885367472966868180306784211/386628148285\ 8513732486168520451619242392760298053941920*z11z5 + 9509355543789125372350945678216546241013108656556443549759/ 205615878861111866682218962224017932436342252214686911200*z13z3 - 2254038228090413546169292115852834220080773890688/8136114231604616440\ 4170212972466734898837548359721*z5z3^2 - 3544569262733711883854460794547316584544770161430735728704/ 3886021730012944433124730318374063983947590758224719227625*z3*z5z5z3 + 32589264380041328427924489833558291443408891140731068256/ 31088173840103555464997842546992511871580726065797753821*z3*z7z3z3 - 96126322794211267257171871249776068473383921333832104448/ 155440869200517777324989212734962559357903630328988769105*z3^2*z7z3 - 235330357826113521487999548521251859339493408343040/24408342694813849\ 3212510638917400204696512645079163*z5*z5z3z3 + 16199368840166394782743006299847223663567322341332649984/ 31088173840103555464997842546992511871580726065797753821*z5*z3*z5z3 - 3624357105018237415449853601763494265775159786145503232/8781970011328\ 68798446266738615607679988156103553608865*z5^2*z3^2 - 14158016959399391456808437076192898435876684109836805120/345424153778\ 9283940555315838554723541286747340644194869*z7*z3^3 + 79086476288009712724670329256888119440678311835136149346589/ 125654148192901696305800476914677625377764709686753112400*z9*z7 + 6568443736548622661797275466886042961253098520166776634453/ 11423104381172881482345497901334329579796791789704828400*z11*z5 + 15387964680722561204794711194748989954077099305924468383931111/ 419690346841397998777470874384398910266339801888269676583500*z13*z3 + 3205151819337979491681044747535664478923962754334720/2440834269481384\ 93212510638917400204696512645079163*hD111 - 316549622897911264627760515838045061939669726494720/24408342694813849\ 3212510638917400204696512645079163*hB311 - 251092024710321016634382153980389009287287967907840/24408342694813849\ 3212510638917400204696512645079163*hB131 - 794092207165362948584610833775845560729318200279040/73225028084441547\ 9637531916752200614089537935237489*hB113 + 113125475168403017841206899129728421294525804773376/24408342694813849\ 3212510638917400204696512645079163*h9511 + 60950879570304278378594691216696959207912061403136/732250280844415479\ 637531916752200614089537935237489*h9331 + 251038362051919499376264140682164715164846916829184/21967508425332464\ 38912595750256601842268613805712467*h9313 + 215392570955304333122832209518678147674484698578944/73225028084441547\ 9637531916752200614089537935237489*h9151 + 191763653451820526260939516063386962243549649141760/21967508425332464\ 38912595750256601842268613805712467*h9133 + 35865611227308824308318006164593189120068689068032/813611423160461644\ 04170212972466734898837548359721*h9115 - 124383074404010811226124239517663178349662448599040/73225028084441547\ 9637531916752200614089537935237489*h7711 - 9473873840632045129207688775286648269019899330560/7322502808444154796\ 37531916752200614089537935237489*h7531 - 40711580271414850586435107834543846768556838305792/219675084253324643\ 8912595750256601842268613805712467*h7513 - 3430311442606992462768853392378641614131976945664/2440834269481384932\ 12510638917400204696512645079163*h7351 - 2843408518980795184234599943419536573626747715584/7322502808444154796\ 37531916752200614089537935237489*h7315 + 10500430002540119139340933722688732992959264849920/219675084253324643\ 8912595750256601842268613805712467*h7153 + 36801955504269987975004607249132291341526220931072/219675084253324643\ 8912595750256601842268613805712467*h7135 - 409114443667111552334393034955808698497161494528/73225028084441547963\ 7531916752200614089537935237489*h5551 - 11500611095084371242188939765353841044226944040960/732250280844415479\ 637531916752200614089537935237489*h713*z5 + 888565162181498495073312482318605179258358661120/24408342694813849321\ 2510638917400204696512645079163*h731*z5 - 11208003508534007596349376926435371600021465333760/271203807720153881\ 34723404324155578299612516119907*h911*z5 + 8770392255456801329670104607956600624834137439602737152/4663226076015\ 53331974967638204887678073710890986966307315*h715*z3 + 13134170271518619903416473788916560336794461550446641152/ 466322607601553331974967638204887678073710890986966307315*h751*z3 - 3570660412087243836825789920384782601454887120851566592/1727120768894\ 6419702776579192773617706433736703220974345*h913*z3 - 20211154448050616801704115876150949167723164356544036864/ 93264521520310666394993527640977535614742178197393261463*h931*z3 + 115414664261518320563106163232660705696562436165099323392/ 31088173840103555464997842546992511871580726065797753821*hB11*z3 + 5548640600070821285503319144727938247515434035676905472/5181362306683\ 9259108329737578320853119301210109662923035*h91*z3^2 + 2348554695663475260226708904587719678090997956608/8136114231604616440\ 4170212972466734898837548359721*h71*z5z3 + 8865542569730641968196944269749475595964136515442966528/3108817384010\ 3555464997842546992511871580726065797753821*h71*z5*z3 - 118255963767025267785863852429552560836213714452480/73225028084441547\ 9637531916752200614089537935237489*h71^2 - 508532136000467249124140588537532487542093707975524352/12204171347406\ 92466062553194587001023482563225395815*hF1 + 162125783985928677139644173446736396677321298498138659/19770757582799\ 217950213361752309416580417524251412203*z2*z9z5 - 4980759136566982455224563480951339174059649313515901711/1449855556071\ 94264968231319516935721589728511177022822*z2*z11z3 - 83662467584963954886299093365775652216523791626556268963/724927778035\ 971324841156597584678607948642555885114110*z2*z7^2 - 4353011931946333459563273577671295795261247831893278671/2416425926786\ 5710828038553252822620264954751862837137*z2*z9*z5 + 43497063928628647218628630294091738795649392347859082125728/ 466322607601553331974967638204887678073710890986966307315*z2*z11*z3 + 1181260049671080174544523220776283919342688208945152/3295126263799869\ 6583688936253849027634029207085687005*z2^2*a7a5 - 1660237413328562414525939134920233869296713459254452584/1482806818709\ 941346266002131423206243531314318855915225*z2^2*z9z3 - 941157396195517833820447612761654626937792119669004784/49426893956998\ 0448755334043807735414510438106285305075*z2^2*z7*z5 + 474642931107497238976088552909257903661343078575064999296/ 51813623066839259108329737578320853119301210109662923035*z2^2*z9*z3 + 5069691858932916708703905334939828872683619614720/2440834269481384932\ 12510638917400204696512645079163*z2^2*hB1 - 783381381693799479286992954637970214659753058811202/25628759829554541\ 787313617086327021493133827733312115*z2^3*z7z3 + 169086746044529450652153725047978491784314084218675566/76886279488663\ 625361940851258981064479401483199936345*z2^3*z5^2 + 322402441626632476359720657145356667615608778171658929877824/ 48963873798163099857371602011513206197739643553631462268075*z2^3*z7*z3 + 159970054033162487324069627074041490762830050361344/36612514042220773\ 98187659583761003070447689676187445*z2^3*h91 + 15686056673685009600932829879652351069281557835801088/915312851055519\ 34954691489594025076761192241904686125*z2^4*z5z3 + 377913437093462136414363434561007776537027622323455589307392/ 58290325950194166496870954775610959759213861373370788414375*z2^4*z5*z3 - 908322054089318672534976177662481544607882305798144/18306257021110386\ 990938297918805015352238448380937225*z2^4*h71 + 20191251988251313402876615600309767241375972873598997383168/ 7181368157063921312414501628355270242335147721199281132651*z2^5*z3^2 - 331388036066404629538276364928642884885661286971791869316169125636/ 15786347848513161850811229267936955841761592587334425308255515625*z2^8); if ( expression(Zz12z1z1z1,Aa13a3) ); id z13z3 = 6*( - z9z7 + 21/11*z11z5 - 675/11*z9*z7 - 36*z11*z5 + 216837888/116991875*z2^8); endif; if ( expression(Zz10z4z1z1) ); id a13a3 = 2/7*( - a11a5 + 34649/720896*z11z5 - 199357/851968*z13z3 - 18010755/4685824*z9*z7 - 358845/425984*z11*z5 + 172011/32768*z13*z3 - 39489032169/1362721360000*z2^8); endif; if ( expression(Zz10z4z1z1,Aa11a5) ); id z11z5 = -11/21*( - z9z7 - 6*z13z3 - 675/11*z9*z7 - 36*z11*z5 + 216837888/116991875*z2^8); endif; if ( expression(Zz8z6z1z1) ); id a13a3 = -2/11*( - a9a7 - 103083/720896*z11z5 + 696155/851968*z13z3 + 62629713/4685824*z9*z7 + 2967057/425984*z11*z5 - 270303/32768*z13*z3 - 549806715903/2725442720000*z2^8); endif; if ( expression(Zz8z6z1z1,Aa9a7) ); endif; *--#] Weight 16 : *--#[ Weight 17 : id hB33 = -110112976843389406039248640579644084272031/ 138528443633199993710402055551758778269696*( - z11z3z3 + 15205936780107193230372702343427268844760/330338930530168218117745921\ 738932252816093*z3*z9z5 + 30377849272863742100950047556255224692720/110112976843389406039248640\ 579644084272031*z3*z11z3 + 12219754358782070130277488240764194127872/122347752048210451154720711\ 75516009363559*z5*a7a5 - 360741514649067063713070104693739686558810/11011297684338940603924864\ 0579644084272031*z5*z9z3 - 23542337028565333410936067951836030779904/407825840160701503849069039\ 1838669787853*z7*z7z3 + 200408140765211037315169808942172311551238/36704325614463135346416213\ 526548028090677*z7*z5^2 + 4214981351532132733492252952437982609589884/1101129768433894060392486\ 40579644084272031*z7^2*z3 - 2362019152921345295098350891809740389120/3137121847390011568069761839\ 87589983681*z9*z5z3 + 1584039196452562241751214952141523103842400/3670432561446313534641621\ 3526548028090677*z9*z5*z3 + 58097495580727699304361883195889558901744/407825840160701503849069039\ 1838669787853*z11*z3^2 + 4406251682455645757583785304336538294896259715/8809038147471152483139\ 89124637152674176248*z17 - 17980022330326071799847945153399661953024/183521628072315676732081067\ 632740140453385*h755 - 342539948026424866385184078133008072704/40782584016070150384906903918\ 38669787853*h773 - 21748109178567066251964573935526672269312/367043256144631353464162135\ 26548028090677*h917 - 9435701690184079999099312348018802655232/6117387602410522557736035587\ 7580046817795*h935 - 2536505012661270037027283810051154870272/6117387602410522557736035587\ 7580046817795*h953 - 28192968388810593465882727699320975196160/367043256144631353464162135\ 26548028090677*h971 + 7579571029770629744113696933149442015232/4078258401607015038490690391\ 838669787853*hB15 + 41322348884200778608285088546985311272960/122347752048210451154720711\ 75516009363559*hB51 - 21137918674505586119386641911767669506048/407825840160701503849069039\ 1838669787853*hD13 - 137310117180654188300890184081210917584896/12234775204821045115472071\ 175516009363559*hD31 - 49791477880464937858750496701677454819328/941136554217003470420928551\ 962769951043*hF11 + 2378699441405772871308625274198229779456/4078258401607015038490690391\ 838669787853*h91*z7 + 98094660858409323736694985150098801623040/407825840160701503849069039\ 1838669787853*hB1*z5 + 14317686628621092371190935392432769859584/941136554217003470420928551\ 962769951043*hD1*z3 - 17661432072219129131234896179606045734448634/141170483132550520563139\ 28279441549265645*z2*z15 - 15199725767971055915639371601334651079241513/101956460040175375962267\ 259795966744696325*z2^2*z13 - 191053297205998052562984761701031750549538224/12846513965062097371245\ 67473429180983173695*z2^3*z11 - 3249272121845332736697749309536855640004954224/3211628491265524342811\ 4186835729524579342375*z2^4*z9 - 3658885370890278723578925048009186537819325696/7065582680784153554185\ 1211038604954074553225*z2^5*z7 - 8828396555934419778166108543827970076813554996736/4822260179635184800\ 73134515338478811558825760625*z2^6*z5 - 18153366676704484998063444886058748050088167936/275557724550581988613\ 2197230505593208907575775*z2^7*z3); id h935 = -190239867049987784331301650995762482365/ 14502453398098640085925908940052578304*( - z9z3z5 - 29856382535629547171867719211428628265/422755260111083965180670335546\ 1388497*z11z3z3 - 51768313782399720215530193166532985808/422755260111083965180670335546\ 1388497*z3*z9z5 + 184876062076228748222947038629892581676/42275526011108396518067033554\ 61388497*z3*z11z3 - 9158593681787864838345204292885446656/4227552601110839651806703355461\ 388497*z5*a7a5 - 1741973993580038219174503791902440109492/3804797340999755686626033019\ 9152496473*z5*z9z3 - 51803925735575541865324636793010258432/603936085872977093115243336494\ 484071*z7*z7z3 - 4999240629106687118701052489765932403704/1268265780333251895542011006\ 6384165491*z7*z5^2 - 498390413594471959067207933269063786506/42275526011108396518067033554\ 61388497*z7^2*z3 - 69122052287019680889833659957435360320/603936085872977093115243336494\ 484071*z9*z5z3 - 1178248346486755724359834207900027025784/4227552601110839651806703355\ 461388497*z9*z5*z3 - 849624571943026056968442045101234376432/42275526011108396518067033554\ 61388497*z11*z3^2 + 211447730769363945452847020240327499715315/84551052022216793036134067\ 10922776994*z17 + 41897232284788793145826497085048766464/190239867049987784331301650995\ 762482365*h755 - 3940014368567426407055287028659208192/3804797340999755686626033019915\ 2496473*h773 + 17126948643975604532674738807282171904/126826578033325189554201100663\ 84165491*h917 + 50450221270393646630490642408897347584/190239867049987784331301650995\ 762482365*h953 - 56522663800887384451038769709981286400/126826578033325189554201100663\ 84165491*h971 - 13541632726584766164871699742959550464/126826578033325189554201100663\ 84165491*hB15 + 264913841469677173150943151650352250880/12682657803332518955420110066\ 384165491*hB51 + 52660289012722916611399522768217145344/126826578033325189554201100663\ 84165491*hD13 - 1126139739124418298832572903999931826176/1268265780333251895542011006\ 6384165491*hD31 + 335120016344763351244736423860237910016/60393608587297709311524333649\ 4484071*hF11 - 802825717686356462469128381591351808/60393608587297709311524333649448\ 4071*h91*z7 - 192664681079610705667024058208712785920/42275526011108396518067033554\ 61388497*hB1*z5 - 125998291354236480511140579358698373120/42275526011108396518067033554\ 61388497*hD1*z3 - 794327199911391780182967535443055827155312/63413289016662594777100550\ 331920827455*z2*z15 - 109146333140888627628476494107350126779999/90590412880946563967286500\ 474172610650*z2^2*z13 - 106599210563668840500491785712044421856848/44389302311663816343970385\ 2323445792185*z2^3*z11 - 509479650581053450084312957411369686101086/36991085259719846953308654\ 36028714934875*z2^4*z9 - 86730988956218414243925554209123041979328/221946511558319081719851926\ 1617228960925*z2^5*z7 + 6371397158815178917915229138508696523914240448/1666263435524080506011\ 78833565913464241444375*z2^6*z5 + 4973585307601548860280848335148329744353792/1057945038427987622864627\ 51470421247137425*z2^7*z3); id h953 = -885159509161293950557001278079381/714429428768289276008505277562880*( - z9z5z3 - 4704521024413974252825802637211674/885159509161293950557001278079381* z9z3z5 - 20289272635620722271184830184671150/885159509161293950557001278079381 *z11z3z3 - 159597921389386937239779571468243900/ 2655478527483881851671003834238143*z3*z9z5 + 191740006042956496245630608620923500/ 885159509161293950557001278079381*z3*z11z3 - 5481098906970191471980341226700800/885159509161293950557001278079381* z5*a7a5 - 1326619418385373681620331124970943534/ 7966435582451645555013011502714429*z5*z9z3 - 263926125842222929889928906716417280/ 885159509161293950557001278079381*z7*z7z3 - 3973681583864797813815487006109345270/ 2655478527483881851671003834238143*z7*z5^2 - 98407971406136260508564468651838940/885159509161293950557001278079381 *z7^2*z3 - 338262180603761033047228291704936000/ 885159509161293950557001278079381*z9*z5z3 - 557872885236350977025154490504591800/ 885159509161293950557001278079381*z9*z5*z3 - 709476359173586068904389759087363320/ 885159509161293950557001278079381*z11*z3^2 + 631417211659767094524815106365506368619/ 7081276073290351604456010224635048*z17 + 800521001944841278190997877424128/885159509161293950557001278079381* h755 - 226107059100657880750644039352320/885159509161293950557001278079381* h773 - 2473508546316419244437855010160640/885159509161293950557001278079381* h917 - 13857078926591626321516206269644800/885159509161293950557001278079381 *h971 + 5139603157788209864734328193024000/885159509161293950557001278079381* hB15 + 65229302309562783377886797413171200/885159509161293950557001278079381 *hB51 - 1775490254170779824533315364044800/885159509161293950557001278079381* hD13 - 281274490061466106154872778208460800/ 885159509161293950557001278079381*hD31 + 1914255000275723342341906034128896000/ 885159509161293950557001278079381*hF11 + 2434859975280225193743513525626880/885159509161293950557001278079381* h91*z7 - 162420950218317073392041139798835200/ 885159509161293950557001278079381*hB1*z5 - 107208115782843397489561278501027840/ 885159509161293950557001278079381*hD1*z3 - 42155455408014270575099618669184605224/ 885159509161293950557001278079381*z2*z15 - 16627389443756666965869703978770212101/ 4425797545806469752785006390396905*z2^2*z13 - 3944682811158903298657193099842799666/ 6196116564129057653899008946555667*z2^3*z11 - 62597206713739701819785004530616085974/154902914103226441347475223663\ 891675*z2^4*z9 - 27557624689333637714235592281479241888/340786411027098170964445492060\ 561685*z2^5*z7 + 34981148756268053629498243412624300382848/199360050450852430014200612\ 855428585725*z2^6*z5 + 64153884178438202985602232519970870528/402747576668388747503435581526\ 118355*z2^7*z3); id h773 = -1245866051842022314467957027/715713190697079704256512*( - z7z7z3 + 248111630749412877506953544/18687990777630334717019355405*z9z5z3 + 19404779704744507314292708496/18687990777630334717019355405*z9z3z5 + 1361430335860959545930797594/1245866051842022314467957027*z11z3z3 + 4866180795837803232312013184/11212794466578200830211613243*z3*z9z5 - 10476850646818200607377774016/3737598155526066943403871081*z3*z11z3 + 75833841893686611354583040/3737598155526066943403871081*z5*a7a5 - 115778924529927028316989985264/168191916998673012453174198645*z5*z9z3 + 257831250282759264889372672/415288683947340771489319009*z7*z7z3 - 286223114331008297795492434532/11212794466578200830211613243*z7*z5^2 - 129466691575921041498607680544/3737598155526066943403871081*z7^2*z3 + 308809268373556574498631680/415288683947340771489319009*z9*z5z3 - 81609435279670917885532257152/1245866051842022314467957027*z9*z5*z3 - 11922995364173662356246883840/415288683947340771489319009*z11*z3^2 - 317663185060084205507112538338443/74751963110521338868077421620*z17 - 17641656129127016074575872/3737598155526066943403871081*h755 + 198373109168378245529731072/3737598155526066943403871081*h917 + 19837239815239847747518464/415288683947340771489319009*h971 - 4374307461159623785971712/415288683947340771489319009*hB15 - 164024998564210196236730368/1245866051842022314467957027*hB51 - 1699987462872400536055316480/1245866051842022314467957027*hD13 - 920828683716302648326488064/1245866051842022314467957027*hD31 + 23090246761820719691094556672/415288683947340771489319009*hF11 - 21697058815291370604814336/415288683947340771489319009*h91*z7 + 390012141069490623930695680/415288683947340771489319009*hB1*z5 + 259667118667074722330574848/415288683947340771489319009*hD1*z3 + 6812765862988973256660226819982/3737598155526066943403871081*z2*z15 + 13732326163588990271936086199434/93439953888151673585096777025*z2^2* z13 + 599287952939670915205825093148/18687990777630334717019355405*z2^3*z11 + 1276443028595229935025772838272/51911085493417596436164876125*z2^4*z9 + 1244149116763205633118779473472/68522632851311227295737636485*z2^5*z7 + 66296429802924023406649051825828544/ 5892603812048508991296958049527575*z2^6*z5 + 92774671578544211735168881106944/13361913406005689322668839114575* z2^7*z3); id h53333 = - 135297165406210929352490431745267924083364828714644365660389513440321846\ 525578983691828976703974417766334291581489595/ 132952077405790449694758017909611289990950507717908031725258794581604\ 4539309593880062977866673605701091377569427456*( - z5z3z3z3z3 - 378948609167079344178298794115024823425619924244834032815372297319050\ 61616051394477776706356540989151946526240199548271614391455173563630049/ 132390187815634462256814499150999853826153755330490658926655539826149405\ 931702680135151035955877445209934619856675036300795537880237611904* z7z7z3 - 618272968549026762926169472296040540369820322925080648296580796080091\ 800052757503572769206186931889370550384911226709135475639973233737047/ 531924861759245607281843969803124412694367766952864254616026722515778863\ 118448268400160412322721878075630169066997913708553500411668976400* z9z5z3 + 156550876872011032913369713343269362496736371743997382477478546877374\ 897273310302235218095509121608615583310154670598592205146508250174622337/ 531924861759245607281843969803124412694367766952864254616026722515778863\ 118448268400160412322721878075630169066997913708553500411668976400* z9z3z5 + 450333840866595283782859951040757072115265273987557421143203088289188\ 19920775999452532687865748243946560825995099139312168230722393904059497/ 141846629802465495275158391947499843385164737854097134564273792670874363\ 498252871573376109952725834153501378417866110322280933443111727040* z11z3z3 - 133750006375415124310161777094696866345933798857240698340476932576394\ 8511313228732401047117655805959975931813590406541249409261789239724240292 /15583511705037672641626190077497396140575164595087945175429816467487267\ 11473119007490987910696242206350001049613034591236109240523832991159225* z3*z5z3z3z3 + 270069329171281036838632832420804154014484764455823420819870612811361\ 263374303045705628601143614657487260714033203282091502003972568248666601\ 0933084882581310312357/2056906818794897846507512395267011552155579225307\ 248216179101712124442060734631412521825639827510146120330667007310688378\ 9551727230400169240252161534005197192700*z3*z9z5 - 605847015228910727192967995465160937838739481713626024102392341966050\ 548061064316003859866049383593561002997262274047717103600014579199113123\ 67230898570357355161623/754199166891462543719421211597904235790379049279\ 324345932337294445628755602698184591336067936753720244121244569347252405\ 61689666511467287214257925624685723039900*z3*z11z3 + 146337249808997598016670767789228199039723984057971131112268247384416\ 103922577566229210119789718566190546310117060757949646248587415444674131\ 275464/34190692186203804905907109815731612054306128376560804353248280224\ 161088667733672960054522057048762879980928028824862842097607569865052975\ 9307442675*z3^2*z5z3z3 + 514650670259148330017312072106938502524187064916163044154797742908750\ 005693319374020363199657716173658089526047592656845076537285966764319727\ 53824/341906921862038049059071098157316120543061283765608043532482802241\ 610886677336729600545220570487628799809280288248628420976075698650529759\ 307442675*z3^3*z5z3 + 238751553516672228565771944262193065378995376221476202701585477285968\ 7798306355930217484572176561470207611613475499856567408657117632/ 367452930201192047030839990192818743226283342741685724382444544429247625\ 807162384913070193646533488584989064014229009193529635542739*z5*a7a5 - 765002984107826832675550136354254811008181616761342555198942948969353\ 903876100020290044835426864159532290837651047391899615970645126834995183/ 478732375583321046553659572822811971424930990257577829154424050264200976\ 8066034415601443710904496902680671521602981223376981503705020787600*z5* z9z3 + 552736753093076380947411676956571187614832521120489974541852246023388\ 675820849696335656244813453127200123916207721385760447943538822021922097\ 25600/410288306234445658870885317788779344651673540518729652238979362689\ 933064012804075520654264684585154559771136345898354105171290838380635711\ 16893121*z5*z3^4 + 109992709819202653504719140449220563318673591081291022137786388999667\ 107321248571220940275131842322950823488107310226306059655493835959/ 466606895493577202578844431990880943779407419354521554771358151656187461\ 342428425286438341138455223599986113033941598975910648308240*z7*z7z3 - 399777245226181876070607305758771830536627043959429180632114920559061\ 8357985622232218031778549171124907009644514623545637797038512899677683541 /63830983411109472873821276376374929523324132034343710553923206701893463\ 5742137922080192494787266253690756202880397496450264200494002771680*z7* z5^2 - 683588733154092523849486021945878262572820984647339716295682223150084\ 430755021314263942387197446251058077550974163529792491363998590059935577\ 494209033411130765230419/75419916689146254371942121159790423579037904927\ 932434593233729444562875560269818459133606793675372024412124456934725240\ 561689666511467287214257925624685723039900*z7^2*z3 + 840503602326545656589317801481037229784375803189711353272454075423362\ 622973365751853487057532891386912283366598732153545062755439292151/ 326624826845504041805191102393616660645585193548165088339950706159331222\ 9396998977005068387969186565199902791237591192831374538157680*z9*z5z3 - 428720981778449969416297413332894530370680781038272797376175947164924\ 360932137642563957081047178327055386086258754663979296523170729410095868\ 030207708190585967627131/25139972229715418123980707053263474526345968309\ 310811531077909814854291853423272819711202264558457341470708152311575080\ 187229888837155762404752641874895241013300*z9*z5*z3 - 616050542816618418174949482563978719728796623138341771718334461667979\ 225219337177003880253769209896620766681781749308014686081874581516143464\ 340763619937145738231661353/83572504956306846706905137418290395477331583\ 105571514884137676471340548416918580703986316825013927516525723950630553\ 141186648474250583117255908240686024857030925150*z11*z3^2 - 135735574958956590097203158033377510874131899243311428825565213656706\ 529395187175222170484635336853562314882255387811227117641318137670843189\ 806641/11915116903407101603113304923589986844353837979744159303398998584\ 353446533853241212163593236028970068894115787100753267071598409221385071\ 3600*z17 + 153915079135222841881223721707414187175750091419859524594301794606513\ 52752874643238709914553550702668021946810368000/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*hD1111 - 280674607816361537877843769827728538116165716221071837630486000015579\ 0042473252827654391102703295091558828438323200/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*hB3111 - 272015582722282201088647897018143072849332641990565626484268759664745\ 5811176363519149618858163728115394343844659200/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*hB1311 - 220439055627586565130901518728927577380721007051090577150360682152753\ 175142766399265754968398632951616229676810240/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*hB1131 + 704940291228462436927280717608318007749704720670046939873714016169445\ 1135823176850746608693179098364717865501900800/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*hB1113 + 656888595328985215388224422537109340539484042465861998022973440943182\ 304490778915724215964014961149162389304508416/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h95111 - 572996420025797211096815741743368908757707316344259868365285703453589\ 92075519362684425032429125333669627258241024/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h93311 - 126371452042129361343577544254871200377994805340957507453440832822175\ 024605565946206870582944063198364152821972992/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h93131 - 354519362720276818897530864131932267002120985585025450352316374405084\ 30491960892815167594229003583035766300508160/334067075077064023092568967\ 272266479218184762258381149778739539358819374137232058498343152355492389\ 546504423657999*h93113 + 530691027887382114078289067068335954098674527666568540205899066348337\ 039205521648648874419742808258685169663868928/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h91511 + 498633462196934184065355841422931646399411243398582053270547483965032\ 6460382204898054423900192745872131412918272/1002201225231192069277706901\ 816799437654554286775143449336218618076458122411696175495029457066477168\ 639513270973997*h91331 - 214691209190009398933349679708321220534097248226085707231610552363859\ 666873561296565741971559658950185036435095552/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h91313 + 415598513633940621540312539878775436122563002364819118427908582684038\ 328612528492206135046845842812081253412339712/ 334067075077064023092568967272266479218184762258381149778739539358819374\ 137232058498343152355492389546504423657999*h91151 + 111935840962932894150782053244504608876229847960489966529685462898934\ 025103900380633275267477156520858041188302848/ 334067075077064023092568967272266479218184762258381149778739539358819374\ 137232058498343152355492389546504423657999*h91133 + 686918736246502100764691761629563342629808210321798048874877109226624\ 8806224929252699324994831208132775645634789376/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h91115 - 223772411339124481941030925423030957868085925614059804669963482008834\ 96413939971906496733173357431553218598993920/334067075077064023092568967\ 272266479218184762258381149778739539358819374137232058498343152355492389\ 546504423657999*h77111 + 157836298459117919411629629046124669509466909865376416867068683568296\ 97231563869887167325253597591700501090918400/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h75311 + 302287262322789569326366383221713654721520441023636169850281882069339\ 79203232222748125910179422584672550314377216/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h75131 + 253550182294721602042822153485814475137364213010054305821602004497956\ 62749879345598822190263564185196881642053632/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h75113 + 133278535218697372364383459496357885232060897823535765164685305512848\ 69148532549475023930635359478967710178312192/100220122523119206927770690\ 181679943765455428677514344933621861807645812241169617549502945706647716\ 8639513270973997*h73511 - 133266081792769675084050993682802720704521339596166819041384325581813\ 036118453227156956697194775774688400710926336/ 901981102708072862349936211635119493889098858097629104402596756268812310\ 1705265579455265113598294517755619438765973*h73331 - 360874542309657242721561081452532310763862967231519040550834898460766\ 05281326926766771134395238152490111038447616/901981102708072862349936211\ 635119493889098858097629104402596756268812310170526557945526511359829451\ 7755619438765973*h73313 - 196040201507824090493424796785214119652462883335170235103737017512543\ 459515779704820619580291276318767247272017920/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h73151 - 786939468875060936929156217507980666552299731918745465230003108754488\ 111023724727638764509966969197493607961600000/ 901981102708072862349936211635119493889098858097629104402596756268812310\ 1705265579455265113598294517755619438765973*h73133 - 344527840632636712087395413416525854584117180262362451126314077435183\ 377074555038531070882004805394333442561695744/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h73115 - 417619127257798533956351779825446887929794137789544823514821733764663\ 628004368501164518394539687624655900905021440/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*h71711 - 584547491753734779113378721702272388124849854845041477703172077699333\ 96677777114321875159670918263746161266950144/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h71531 - 818067201395327113488597431455875734654447465811889648070542350360830\ 67033698520594608674971209782265064534794240/300660367569357620783312070\ 545039831296366286032543034800865585422937436723508852648508837119943150\ 5918539812921991*h71513 - 352342501215395986629458016783427429198999142672198811159746811447843\ 610843061064857794322269899843218732994240512/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h71351 - 429521677999605234414459238854534844240767400630499055794603638712638\ 532769175486296070484966915676353670948737024/ 901981102708072862349936211635119493889098858097629104402596756268812310\ 1705265579455265113598294517755619438765973*h71333 - 347093327137281910818993773270606688096796752287458705305894168378884\ 984278042445773963470106415563500962982281216/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h71315 - 446209750961147352383655268695693596143692734916492099695665784529671\ 29895434952012617605754053564710663464017920/100220122523119206927770690\ 181679943765455428677514344933621861807645812241169617549502945706647716\ 8639513270973997*h71153 + 107777681223256641942426825238613444383569235875095553627305273006378\ 970937408688259685162868575856368944145498112/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*h71135 + 124407455689318074358170417086455878464605102511419661937099392880027\ 06141622648732390100886852361789777646190592/100220122523119206927770690\ 181679943765455428677514344933621861807645812241169617549502945706647716\ 8639513270973997*h55511 + 363338402433200746078847799945264709587263669986819443816178227329563\ 39144665176416084864348927277259014261997568/ 450990551354036431174968105817559746944549429048814552201298378134406155\ 08526327897276325567991472588778097193829865*h55331 + 952066715766134386221528929676954685508729590755975171277569843014324\ 86682185781933800735907677560776843905810432/ 450990551354036431174968105817559746944549429048814552201298378134406155\ 08526327897276325567991472588778097193829865*h55313 + 760113272465267120176111686421924115400688759614033685743298525774427\ 47852809109540920468344415602426031536717824/ 150330183784678810391656035272519915648183143016271517400432792711468718\ 36175442632425441855997157529592699064609955*h55151 + 138245197439525968412846579983321396825776080879375125776035715727927\ 0367882418284468685513718041289860536538308608/ 450990551354036431174968105817559746944549429048814552201298378134406155\ 08526327897276325567991472588778097193829865*h55133 + 551844450441391767693270201530337389484843619611912818902971469498793\ 272740109334104535648283790907299341073989632/ 450990551354036431174968105817559746944549429048814552201298378134406155\ 08526327897276325567991472588778097193829865*h53531 + 481296957566799777029720638620270700253666666512754689447159849934064\ 937786428226915810315021435915981992392204288/ 450990551354036431174968105817559746944549429048814552201298378134406155\ 08526327897276325567991472588778097193829865*h53513 - 452597022647750958930710742406257490886721392322857080380421635285502\ 65288361986008821816871929929564135123820544/ 150330183784678810391656035272519915648183143016271517400432792711468718\ 36175442632425441855997157529592699064609955*h53351 - 214662105077031906488966175509238544571815065725561890273399096633320\ 2751945290391468539060884752541492389260871680/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*h9111*z5 + 107664950197698972527311066692664329557536618831988265976973149198494\ 805335798449540959650626501685729200800529920/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*h7311*z5 + 108466664730400597130935554147064590030248985089830845408091927618401\ 557586888264304363584408254863594050931962880/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*h7131*z5 - 336805253822677006070083828870667013698653862109673605085328978144934\ 28417940215081151613396429955115295045468160/100220122523119206927770690\ 181679943765455428677514344933621861807645812241169617549502945706647716\ 8639513270973997*h7113*z5 + 296623862695174579559936250331241271929755380136555415257233634077901\ 3790708974179921183344406584796543372458500817328163178665662343806976/ 187002140460452071699514280929968753686901975141055342105157797609847205\ 376774280898918549283549064762000125953564150948333108862859958939107* h5351*z3 + 690271899527612727828163406580674740355958062364682751781177200237096\ 5249368473025057126787315553674497587573497768221562289927078235078656/ 561006421381356215098542842789906261060705925423166026315473392829541616\ 130322842696755647850647194286000377860692452844999326588579876817321* h5513*z3 - 828722771430399523057496829808094024552750812875992107668670649026462\ 383624105943771099561425834430477628826835933292899606980440319852544/ 561006421381356215098542842789906261060705925423166026315473392829541616\ 130322842696755647850647194286000377860692452844999326588579876817321* h5531*z3 - 502742440477218491278439097156897971936758264335953023035647887146325\ 05317960106135581890600340783239434466128165931594307799432606960754688/ 561006421381356215098542842789906261060705925423166026315473392829541616\ 130322842696755647850647194286000377860692452844999326588579876817321* h7133*z3 + 775273421470135035339096676275374717286016959462380528830086314267114\ 4580246565015787122563488511994033407166250460875805606134446374912/ 561006421381356215098542842789906261060705925423166026315473392829541616\ 130322842696755647850647194286000377860692452844999326588579876817321* h7313*z3 - 150284873314625726534086735501707897503647279641389730372878328182684\ 56855579703887743573147864563683056807752315926735244484309247164612608/ 561006421381356215098542842789906261060705925423166026315473392829541616\ 130322842696755647850647194286000377860692452844999326588579876817321* h7331*z3 - 233516378987702402429411032786057165282751458643678173959368841056965\ 24137938250566574182976310466299084936701721022789139883220847659122688/ 623340468201506905665047603099895845623006583803517807017192658699490684\ 58924760299639516427849688254000041984521383649444369620953319646369* h7115*z3 - 182010213040550461737061697119355792538748757755432419573624590932938\ 3707558593416435139072356549165639671427126351011047808745508563828736/ 207780156067168968555015867699965281874335527934505935672397552899830228\ 19641586766546505475949896084666680661507127883148123206984439882123* h7151*z3 - 759143901982065979634222434882188664895923469685108052556142486005385\ 703536978128143646454621097911032679147514097139580624194557490249728/ 623340468201506905665047603099895845623006583803517807017192658699490684\ 58924760299639516427849688254000041984521383649444369620953319646369* h7511*z3 - 109279901233713739521752452813208976586225044381898725339069614224032\ 425662073112874944799215362286967934709222581044539282768018554679525376/ 187002140460452071699514280929968753686901975141055342105157797609847205\ 376774280898918549283549064762000125953564150948333108862859958939107* h9113*z3 + 350351356833019511439305341056001796850449504643571510477768322096791\ 76488003032328315435580259585873410387321886898713556812674857821274112/ 187002140460452071699514280929968753686901975141055342105157797609847205\ 376774280898918549283549064762000125953564150948333108862859958939107* h9131*z3 + 171339557667928414436591114868637812666421111211469327582945178483614\ 9466674700333126510263125452027519023673349933106653157954762660577280/ 207780156067168968555015867699965281874335527934505935672397552899830228\ 19641586766546505475949896084666680661507127883148123206984439882123* h9311*z3 - 123111597717684403081320116375324762730168103372990281423826438456174\ 022049241915768511190731013096030491711286961924010006002876164685987840/ 187002140460452071699514280929968753686901975141055342105157797609847205\ 376774280898918549283549064762000125953564150948333108862859958939107* hB111*z3 - 319264628614803491031056672879208088413433901264451041240399702495143\ 583583376848211767831629026477561223190655342958347789866618511535689818\ 1120/4102883062344456588708853177887793446516735405187296522389793626899\ 330640128040755206542646845851545597711363458983541051712908383806357111\ 6893121*h551*z3^2 + 152436756366461462439425034774828168195722461612041488738327221989812\ 962264873474503843939254832727131248717962441404311148626225288667044689\ 96096/410288306234445658870885317788779344651673540518729652238979362689\ 933064012804075520654264684585154559771136345898354105171290838380635711\ 16893121*h713*z3^2 + 132300038292135046199746316089928348373467497999734010398894625787812\ 958738006375902393985458058703281277857000290940931578941952361175903963\ 70944/410288306234445658870885317788779344651673540518729652238979362689\ 933064012804075520654264684585154559771136345898354105171290838380635711\ 16893121*h731*z3^2 - 157513482519829983797697369908903383159688999924533165194795122589559\ 428610625873777499460258666784430811849873801613443426048947680203129658\ 08128/455875895816050732078761464209754827390748378354144058043310402988\ 814515569782306134060294093983505066412373717664837894634767598200706345\ 7432569*h911*z3^2 - 289603238165528212328260204058203697582971890905491144954911211476075\ 5749933318565074769015476297946792672707968/1113556916923546743641896557\ 574221597393949207527937165929131797862731247124106861661143841184974631\ 82168141219333*h711*z5z3 + 142870316401263615780238832293159614414211217284520281322831786378601\ 74147504458363235954397783171240509998038032438868484573907390763768320/ 623340468201506905665047603099895845623006583803517807017192658699490684\ 58924760299639516427849688254000041984521383649444369620953319646369* h711*z5*z3 - 160365427348476463038492683995642369075413229577173373415241292240882\ 13271995433887821432338348038069548805626964515194050672664434688/ 918632325502980117577099975482046858065708356854214310956111361073119064\ 5179059622826754841163337214624726600355725229838240888568475*h755 + 458243460535914962268370325275857517513260951118327871615986403794429\ 05842083404565513873904564144572333196269979215435288905521047552/ 183726465100596023515419995096409371613141671370842862191222272214623812\ 9035811924565350968232667442924945320071145045967648177713695*h917 + 111890671526959955178650181908970456166965794780410291733370945153692\ 2492744806482978505634025873220129506568856129620676728839766016/ 680468389261466753760814796653368043011635819892010600708230637831940047\ 79104145354272258082691386774997974817449816517320302878285*h971 - 464105403082185518822341330137121927025148515482063829083015500864781\ 5796244757171453991350447112591196993690782530748049499507390464/ 204140516778440026128244438996010412903490745967603180212469191349582014\ 337312436062816774248074160324993924452349449551960908634855*hB15 - 484830599181038396051617595405545245221191122281572402901434764334382\ 8450542360614644652120712410548314182112319340611776767126388736/ 874887929050457254835333309982901769586388911289727915196296534355351490\ 01705329741207188963460354424997396193864049807983246557795*hB51 - 205146336288715742146231844065309236817079296038615741702543392036480\ 214618276487693065701082510641928635902280559978846149483489887232/ 612421550335320078384733316988031238710472237902809540637407574048746043\ 011937308188450322744222480974981773357048348655882725904565*hD13 - 787032431525931224856310894072864613403476179211729703125094541806399\ 3136975749876673116775888951218394745058617757693224381389969408/ 874887929050457254835333309982901769586388911289727915196296534355351490\ 01705329741207188963460354424997396193864049807983246557795*hD31 + 382495556799628035673980866900181432099443485599089635318242731404828\ 883787863662710372850775951152697259179420511970661354980428752896/ 291629309683485751611777769994300589862129637096575971732098844785117163\ 33901776580402396321153451474999132064621349935994415519265*hF11 - 209040422661939796072730609684064579914870660734726171812381586587036\ 747340599830859158543653333860530459414189345829519912637287723295107094\ 5280/1367627687448152196236284392629264482172245135062432174129931208966\ 443546709346918402180882281950515199237121152994513683904302794602119037\ 2297707*h71*z3^3 + 302148796636037756900972077658450619389114886630800395728852341839541\ 2738619253268232663949796457628571264064029352/ 901981102708072862349936211635119493889098858097629104402596756268812310\ 1705265579455265113598294517755619438765973*h71*z9 + 130426220325437818863348776850473172297692922999260381406972311762612\ 093744480838890838271967924188815231232778240/ 100220122523119206927770690181679943765455428677514344933621861807645812\ 2411696175495029457066477168639513270973997*h71*h711 - 780273749642926405463537465087349040400222069098486909196634823554512\ 150684962459878319482716170436327289476936156249132023070896288/ 291629309683485751611777769994300589862129637096575971732098844785117163\ 33901776580402396321153451474999132064621349935994415519265*h91*z7 + 149270103554825522822760785565537237599431742514677865703116093319829\ 94632283556366354341379645265270025103985393618761851544445750144/ 408281033556880052256488877992020825806981491935206360424938382699164028\ 67462487212563354849614832064998784890469889910392181726971*hB1*z5 + 171719433834337479265166855669881356669648983374738737887085486327012\ 248323922187322188909552830446185611670236464392368121741852981069442405\ 13388363200492109824/380908670147203304908798591716113250399181338019860\ 780773907724467489270506413224541078822190279656688950123519872349699806\ 51346722963276370837336174083698505*hD1*z3 + 666024172837774229466221614192833837130053529410731420234665511042969\ 03090613969798572751899165246441973280590463896790998016/ 214150168897481171409711312278851245880415159302902366573498711680049157\ 274957454787107294450387331649277293036669666716435485*z2*a9a3a3 + 151787970036386201038043333157031526390868939449930853688333365616732\ 2445542316074193235718429864637784346425488645967298094312211/ 119924094582589455989438334876156697693032489209625325281159278540827528\ 073976174680780084892216905723595284100535013361203871600*z2*z7z5z3 - 958992695000246442716344768105578354198143291407076390590613602029647\ 317893687679919186486553709462140996970902030693311018040881/ 770940608030932217074960724203864485169494573490448519664595362048176966\ 18984683723358626002139439393739825493201080017916774600*z2*z9z3z3 - 148864649283107593391152591085236746662676200474863290282692996800070\ 390690860748003166099925599952426283882436568443581198236131012854906189\ 86512706048/719254478243176786581101217885084109080425781039952223180461\ 345467955626781682715253431076246622705203738042809789230836173342523798\ 09658376762359446863*z2*z3*a7a5 - 198021782396259919375898741263411519902736189017491934042273398715392\ 532618835647494423294172968482462068934584780981539090630787655646446622\ 40221530736999/129465806083771821584598219219315139634476640587191400172\ 483042184232012820702888745617593724392086936672847705762061550511201654\ 28365738507817224700435340*z2*z3*z9z3 + 343823840476889216258012123418526224078643316475727516241552526191619\ 1950611403217657284943256337024508349056052168470690550269/ 128490101338488702845826787367310747528249095581741419944099227008029494\ 3649744728722643766702323989895663758220018000298612910*z2*z5*z7z3 + 184543030255311117792430195912617805943053552032487064332220572349772\ 590127780671851710339413764865821318685081598634866479668493/ 215863370248661020780989002777082055847458480577325585506086701373489550\ 53315711442540415280599043030247151138096302405016696888*z2*z5^3 + 440437383565584942529869866599250491795163767004637216161231487661214\ 6107528559350590511977066276990092485378328047565587081129/ 856600675589924685638845249115404983521660637211609466293994846720196629\ 099829819148429177801549326597109172146678666865741940*z2*z7*z5z3 + 208458484646727609611046738720475291250837540913527815646027660615720\ 866288625958542070299789954759386686486274445334722256848092157721995440\ 82822964806255/431552686945906071948660730731050465448255468623971333908\ 276807280773376069009629152058645747973623122242825685873538501704005514\ 278857950260574156681178*z2*z7*z5*z3 + 480123373050344605974697451337351159761689751942045933659926891439869\ 386620795646380110200807753874374491846678542946343460530248762828164650\ 165930525348797999/70136262351105651780557044670062715015365625616670505\ 609983449146535941503458459010999350409661227284362550136264971828066195\ 49766616612656371907533208925684*z2*z9*z3^2 + 150541307349492680312774737436685381851947877144447781539638950696666\ 285141365536480909645606929124029020618735842471115736888712484359996886\ 39328197845907/303097611188103424146623133003606763905590222980362139056\ 546443251238844958435259946239799511686107028640657760873055779925246597\ 79564474562211595200*z2*z15 + 786843333577889593068297146798803281690335772698043289290388670367979\ 4960868501951201859913135549899408462313182354495062016/ 128490101338488702845826787367310747528249095581741419944099227008029494\ 364974472872264376670232398989566375822001800029861291*z2*h771 - 161537018182175736526963432575913446584146407515839134325737775057150\ 57792353806434473534492995874477254153632849092937252864/ 385470304015466108537480362101932242584747286745224259832297681024088483\ 094923418616793130010697196968699127466005400089583873*z2*h915 - 608048159863684573804318909330484891600998668909070888347320058579049\ 95444763749272283821977431880683160915053689412906975232/ 385470304015466108537480362101932242584747286745224259832297681024088483\ 094923418616793130010697196968699127466005400089583873*z2*h951 + 141116550295546655084825259303950358378039904029044443342542072498135\ 31763643132184839438563939414989974066260259449184649216/ 385470304015466108537480362101932242584747286745224259832297681024088483\ 094923418616793130010697196968699127466005400089583873*z2*hB13 + 128333268901396920790952028264578176015965171437841889882286844255497\ 687337953879109620752821076235632865946816112207812001792/ 385470304015466108537480362101932242584747286745224259832297681024088483\ 094923418616793130010697196968699127466005400089583873*z2*hB31 - 609696803396366295807482542886614837534582743627719127227209212667554\ 16891462513395344495524664978254919023476210995650428928/ 128490101338488702845826787367310747528249095581741419944099227008029494\ 364974472872264376670232398989566375822001800029861291*z2*hD11 - 473138225323006035291780428995513856175209345241791449570788039677906\ 777162523210396978079553427739327389882559360/ 300660367569357620783312070545039831296366286032543034800865585422937436\ 7235088526485088371199431505918539812921991*z2*h71*z7 + 321300123913803432361001744944021742061625873901040164784889941462130\ 83281783832585648356452140976004399491620761108942422016/ 128490101338488702845826787367310747528249095581741419944099227008029494\ 364974472872264376670232398989566375822001800029861291*z2*h91*z5 - 406241771103721719792929005595606984750571866576099036710480902388627\ 76286091201790929709335686025855040840769218133804580864/ 128490101338488702845826787367310747528249095581741419944099227008029494\ 364974472872264376670232398989566375822001800029861291*z2*hB1*z3 + 150619496513870641600829233701299144774405787362108335005265074380091\ 2866707575520032067342643272637336157968817313526744307/ 718016419428869476618277034170814153613580339120754538377784631598061359\ 434309100661549219827296236151862488160816051931875*z2^2*z5z5z3 - 912184956369000071552757307027121227320332934042526700946640047333879\ 12015960883538586036300891729441150712797183689369213/ 574413135543095581294621627336651322890864271296603630702227705278449087\ 54744728052923937586183698892148999052865284154550*z2^2*z7z3z3 + 139936835713760025959051822077073213809636327896794386031296122375822\ 527016835797675538174372437595381294365114677423579335038166184921311032\ 9678022/5954475406006599754038008854801832562709910966947698939476908302\ 043352251805902458813139716649448432885417510581901303459085769133971097\ 54931031725*z2^2*z3*z7z3 + 737929205549980120488787404131393177770148434907123615598244613014333\ 93807505491238068031748627790419133989316716706444528/ 287206567771547790647310813668325661445432135648301815351113852639224543\ 77372364026461968793091849446074499526432642077275*z2^2*z5*z5z3 + 365486866165581323783271422496600175166638066102923860751316491963599\ 532096279321571088266551849828073121091130642092287257822833754206837627\ 50396758/178634262180197992621140265644054976881297329008430968184307249\ 061300567554177073764394191499483452986562525317457039103772573074019132\ 9264793095175*z2^2*z5^2*z3 + 256612786252799576481289553081724284027038953819883765865631843060578\ 998884839056073574342704304208551532951544312232520173759601071753999403\ 5569031867968/1031391921713736320396211518502699844544402049379915255593\ 199035942013905870766118819194178883188632516073098479632282907500364477\ 86894267021947226494875*z2^2*z7*z3^2 + 400475895137058007505207203285887630327425499190844481093092263335584\ 119651217101196975529918936807876332266446522445152775173430859328685756\ 5141960919560559409/9651158361048792205820737145317595674590827482584946\ 141303787709395134491455255938393181136101231098479218664257279623880434\ 7208553594710789130106145960000*z2^2*z13 + 151007916394744991300656576083512794367631311694042026464681192921875\ 590421346097249972209823187378672821129125338509312/ 319118408635053100719234237409250734939369039609224239279015391821360604\ 1930262669606885421454649938452722169603626897475*z2^2*h715 + 588956041567988587476839490579178821078543724906565911897083023764235\ 34463994206119377305907208115683908605207685844992/ 319118408635053100719234237409250734939369039609224239279015391821360604\ 1930262669606885421454649938452722169603626897475*z2^2*h751 - 187862603907945709445612804153707558968580480457089166672103509031901\ 1092054529998004595657940681461678821046942502223872/ 957355225905159302157702712227752204818107118827672717837046175464081812\ 5790788008820656264363949815358166508810880692425*z2^2*h913 - 296279045512514491534775758658756730161404748550753393591778534089596\ 109704006782512519403790444151747294527352365400064/ 191471045181031860431540542445550440963621423765534543567409235092816362\ 5158157601764131252872789963071633301762176138485*z2^2*h931 + 575376967897173781159372336810774357648969095035959758322783920799979\ 2183069300732636335567149254684558154878682275340288/ 191471045181031860431540542445550440963621423765534543567409235092816362\ 5158157601764131252872789963071633301762176138485*z2^2*hB11 + 260047720717471003706045004450899215229770043245475413939794822723553\ 323011316268463868982280368158047343333772369886656/ 191471045181031860431540542445550440963621423765534543567409235092816362\ 5158157601764131252872789963071633301762176138485*z2^2*h71*z5 + 143132662816547307059424276960089248318545632010923097057105958033273\ 320878377662527262380821846903161241780081176102759843992851985547211422\ 9182464/1786342621801979926211402656440549768812973290084309681843072490\ 613005675541770737643941914994834529865625253174570391037725730740191329\ 264793095175*z2^2*h91*z3 - 323471220115915744527577200629068366278121670205002816824184781191322\ 105005129495148154770865476574470215841873834596262806/ 346320379785553792881785345622415214056062424335589707188175138202380897\ 754602067187614118050791157113848830051624885470825*z2^3*z5z3z3 + 104321696035997699128252935581645777897671958981779796477627698193474\ 000129070164279218629288638300308782116715211272070904119250523785190850\ 848026504/10770068038654198545360739591955457797106430438616653371273208\ 270610742930336106982417174447970360307193992329079831795260746384507491\ 6874181844442625*z2^3*z3*z5z3 + 485797762626292613921560397494191862254944024551311094342123524805093\ 181433912346479862473433650136772332074033364406702814436249243491014469\ 98502352/718004535910279903024049306130363853140428695907776891418213884\ 707382862022407132161144963198024020479599488605322119684049758967166112\ 4945456296175*z2^3*z5*z3^2 + 168903794970044023552826994212205309453598493776034255623289920655375\ 581710543189861805208636282689473276829549303353472755292651880728586403\ 46092198221411487397913/211749309788918815633368719189411644379225132216\ 158493824047493480442069282875751865127912080401840669963601259403992131\ 8239019059828434033126751267874206188000*z2^3*z11 + 478936885480696464329982145955163554337784948663780081718617131884217\ 3193749898732774613184595334241337013677141458944/ 989486799387296551090815273206900611588749783815970591966214680578231136\ 4417201919646117658594033060395680858617853870595*z2^3*h551 - 304237270938147615339718898730741906447521004431554011427049105747624\ 878922423246503456177996844278803415823924217847808/ 989486799387296551090815273206900611588749783815970591966214680578231136\ 4417201919646117658594033060395680858617853870595*z2^3*h713 - 253965744688567714810245073721896839906154221644505943027942518564536\ 845347364307954026298431761316765634899081048137728/ 989486799387296551090815273206900611588749783815970591966214680578231136\ 4417201919646117658594033060395680858617853870595*z2^3*h731 + 164713081466028197690521427833399938278210740497451019220111374083060\ 5342070506301662046675606211364544133938522193821696/ 329828933129098850363605091068966870529583261271990197322071560192743712\ 1472400639882039219531344353465226952872617956865*z2^3*h911 - 197211654013856438216661232494396167101895092777212115400429488082173\ 623347551184303708845448239583527765149077400779969744420931256757233527\ 68512/123086491870333697661265595336633803395502062155618895671693808806\ 979919203841222656196279405375546367931340903769506231551387251514190713\ 350679363*z2^3*h71*z3 + 430915417147198924699847318523406908021129970048255432029328042123683\ 501543775045104102424456031012646754249346690469639216243864070802193101\ 7118912/2564301913965285367943033236179870904072959628242060326493621016\ 812081650080025472004089154278657215998569602161864713157320567739878973\ 1948058200625*z2^4*z3^3 + 155628687232081810297328974976546976864875659490762858037663901670802\ 325655050481021821289133430170885912034372831746443378795390166078593789\ 2376958812002688503511/2573342306462555051099967073482433178219749870682\ 481695778354955491483480868281706694262820421550147030807654194145737713\ 13769677409705524859153799915268113125*z2^4*z9 + 620282554898008276812598103262727305749007099944373436170847955593399\ 562245775213557174275397511775073756129263872/ 250550306307798017319426725454199859413638571693785862334054654519114530\ 60292404387375736426661929215987831774349925*z2^4*h711 + 153491090164722949478034781942167324807123278999107948117349040046883\ 902485363847786846463160974217590260710395810314011435287833162235866560\ 86812255238900483293793/339681184453057266745195653699681179525006982930\ 087583842742854124875819474613185283642692295644619408066610353627237378\ 1341759741808112928140830158881539093250*z2^5*z7 + 310939778255643805853754142739358646448892112612895513363989618077477\ 821931991113453181454330954086667474154040195874510917995293938026597682\ 543402993760575015133637379/11234955175784869097597346246116955012789605\ 960412646835598719900180267729122831103256482047678445786921803137446220\ 8762817878703460303335098257957505006905509243750*z2^6*z5 + 180035902275094667933979876954526716062958079344281977851132110388857\ 216436187505789860658575160913805562651421731955323887532333578304935889\ 414687927372168497086475674291553051112931873616/ 104351657587715221336492319241908054092734446760398748676432549107596908\ 027430445559253122130876118690249154310833413372612398814685465906974305\ 050059455660143819525775569748355795740625*z2^7*z3); id h755 = -215547242847187/18010498026802*( - a7a5a5 + 8351573825910134121229/692179101254429114368*z7z7z3 - 35636239042725348091/185405116407436369920*z9z5z3 - 2341039203384512053039/185405116407436369920*z9z3z5 - 663125700740411604149/49441364375316365312*z11z3z3 - 4120859062880644645/662161130026558464*z3*z9z5 + 16608450547099622635/441440753351038976*z3*z11z3 - 581398275771875/1724377942777496*z5*a7a5 + 3661447356585137736907/556215349222309109760*z5*z9z3 - 35764087967280855/3448755885554992*z7*z7z3 + 11454257362499064830809/37081023281487273984*z7*z5^2 + 385838044000162303145/882881506702077952*z7^2*z3 - 167185819798008975/13795023542219968*z9*z5z3 + 180825186048667927905/220720376675519488*z9*z5*z3 + 4770634283515563705/13795023542219968*z11*z3^2 + 2193578380608304717963563977/41530746075265746862080*z17 - 217703140361300/215547242847187*h917 - 172819922970120/215547242847187*h971 + 168168061406460/215547242847187*hB15 + 564838198341480/215547242847187*hB51 + 3277080771993600/215547242847187*hD13 + 1051228245430440/215547242847187*hD31 - 142086578194721160/215547242847187*hF11 + 3428824460690475/3448755885554992*h91*z7 - 3703474356595200/215547242847187*hB1*z5 - 2457810578995200/215547242847187*hD1*z3 - 1119410335108964528264405/49441364375316365312*z2*z15 - 2259375439713462535590723/1236034109382909132800*z2^2*z13 - 50593943816001019076221/123603410938290913280*z2^3*z11 - 52952719440064624297987/168989038392194608000*z2^4*z9 - 134904830316948432411243/594841415140525020160*z2^5*z7 - 11748804072576019876654763257/85255645825015748514432000*z2^6*z5 - 291964022943639237185/3452204641440546992*z2^7*z3); if ( expression(Zz8z2z5z1z1) ); id a7a5a5 = 5/3*( - a9a3a5 - 1104081/7700480*z7z7z3 - 234199/4812800*z9z5z3 + 1780741/19251200*z9z3z5 + 702597/3850240*z11z3z3 - 5233183/57753600*z5*z9z3 - 3884581/3850240*z7*z5^2 - 13797/20480*z9*z5z3 + 1863393429/154009600*z17 - 26297043/3850240*z2*z15 + 41011209/96256000*z2^2*z13 + 3233313/9625600*z2^3*z11 - 586221/842240000*z2^4*z9 + 1688847/92646400*z2^5*z7 - 110342711/868560000*z2^6*z5); endif; if ( expression(Zz8z2z5z1z1,Aa9a3a5) ); id z9z3z5 = -141/406*( - z7z5z5 - 275/94*z7z7z3 - 140/141*z9z5z3 + 175/47*z11z3z3 - 560/423*z5*z9z3 - 742/141*z7*z5^2 - 1153511/1128*z17 + 26530/47*z2*z15 + 9016/235*z2^2*z13 + 142/329*z2^3*z11 - 848/1175*z2^4*z9 - 736/2585*z2^5*z7 + 776224/5699925*z2^6*z5); endif; if ( expression(Zz8z4z3z1z1) ); id a7a5a5 = -15*( - a9a5a3 + 359480087/4527882240*z7z7z3 + 15061871/606412800*z9z5z3 - 19942283/303206400*z9z3z5 - 31382167/323420160*z11z3z3 - 11261/49152*z3*z9z5 + 14155/16384*z3*z11z3 + 59734729/909619200*z5*z9z3 + 224944619/485130240*z7*z5^2 + 150305/32768*z7^2*z3 + 13797/20480*z9*z5z3 + 16365/2048*z9*z5*z3 + 16763652417601/271672934400*z17 - 1863900617/53903360*z2*z15 - 20722563049/8085504000*z2^2*z13 - 2560283/38502400*z2^3*z11 + 2638684369/17687040000*z2^4*z9 + 4412553/81065600*z2^5*z7 + 3346111833419/557698901760000*z2^6*z5 - 1274543/3203200*z2^7*z3); endif; if ( expression(Zz8z4z3z1z1,Aa9a5a3) ); id z9z5z3 = 141/140*( - z7z5z5 - 275/94*z7z7z3 + 406/141*z9z3z5 + 175/47*z11z3z3 - 560/423*z5*z9z3 - 742/141*z7*z5^2 - 1153511/1128*z17 + 26530/47*z2*z15 + 9016/235*z2^2*z13 + 142/329*z2^3*z11 - 848/1175*z2^4*z9 - 736/2585*z2^5*z7 + 776224/5699925*z2^6*z5); endif; if ( expression(Zz6z6z3z1z1) ); id a7a5a5 = 5*( - a7a7a3 - 121059507/1509294080*z7z7z3 - 13562167/404275200*z9z5z3 + 9128191/202137600*z9z3z5 + 13562167/107806720*z11z3z3 - 27200333/606412800*z5*z9z3 + 53721/229376*z7*z7z3 - 33492787/80855040*z7*z5^2 + 48387/32768*z7^2*z3 + 70927361999/90557644800*z17 - 338010349/53903360*z2*z15 + 3688439249/2695168000*z2^2*z13 + 176386243/269516800*z2^3*z11 + 284241973/2947840000*z2^4*z9 + 55907671/1297049600*z2^5*z7 + 19265542823041/185899633920000*z2^6*z5 - 147447/3203200*z2^7*z3); endif; if ( expression(Zz6z6z3z1z1,Aa7a7a3) ); id z7z7z3 = 94/275*( - z7z5z5 - 140/141*z9z5z3 + 406/141*z9z3z5 + 175/47*z11z3z3 - 560/423*z5*z9z3 - 742/141*z7*z5^2 - 1153511/1128*z17 + 26530/47*z2*z15 + 9016/235*z2^2*z13 + 142/329*z2^3*z11 - 848/1175*z2^4*z9 - 736/2585*z2^5*z7 + 776224/5699925*z2^6*z5); endif; *--#] Weight 17 : Print +f +s; .end