#- #define WEIGHT "21" #define SUM "alt" #define TYPE "m5" AutoDeclare Symbols z,e,h,l,n,x,a; CF H,HH,Z,A,AA; Modulus,plusmin,nodollars,2147479273; TableBase "`SUM'`WEIGHT'`TYPE'.tbl" Open; TableBase "`SUM'`WEIGHT'`TYPE'.tbl" Load; Off Statistics; .global * * Program derives the A functions, makes the basis into L_W basis * and checks sanity. * *--#[ Define relevant quantities : L Zz15z3z3 = H(15,3,3); L Zz13z5z3 = H(13,5,3); L Zz13z3z5 = H(13,3,5); L Zz11z3z7 = H(11,3,7); L Zz11z7z3 = H(11,7,3); L Zz9z9z3 = H(9,9,3); L Zz9z5z7 = H(9,5,7); L Zz9z7z5 = H(9,7,5); L Zz11z5z5 = H(11,5,5); L Zz9z3z3z3z3 = H(9,3,3,3,3); L Zz7z5z3z3z3 = H(7,5,3,3,3); L Zz7z3z5z3z3 = H(7,3,5,3,3); L Zz7z3z3z5z3 = H(7,3,3,5,3); L Zz5z5z5z3z3 = H(5,5,5,3,3); L Zz5z5z3z5z3 = H(5,5,3,5,3); L Zz7z3z3z3z5 = H(7,3,3,3,5); L Aa15a3a3 = A(15,3,3); L Aa13a5a3 = A(13,5,3); L Aa13a3a5 = A(13,3,5); L Aa11a3a7 = A(11,3,7); L Aa11a7a3 = A(11,7,3); L Aa9a9a3 = A(9,9,3); L Aa9a5a7 = A(9,5,7); L Aa9a7a5 = A(9,7,5); L Aa11a5a5 = A(11,5,5); L Aa9a3a3a3a3 = A(9,3,3,3,3); L Aa7a5a3a3a3 = A(7,5,3,3,3); L Aa7a3a5a3a3 = A(7,3,5,3,3); L Aa7a3a3a5a3 = A(7,3,3,5,3); L Aa5a5a5a3a3 = A(5,5,5,3,3); L Aa5a5a3a5a3 = A(5,5,3,5,3); L Aa7a3a3a3a5 = A(7,3,3,3,5); *--#] Define relevant quantities : *--#[ Substitute A : * * Note that A is one half of the terms in the RHS of the doubling formula. * We have tried another split (keeping the first index positive) but that * doesn't give good results. * id A(?a,n?) = AA(?a)*A(n); repeat id AA(?a,n1?)*A(?b) = AA(?a)*A(n1,?b)-AA(?a)*A(-n1,?b); id AA*A(?a) = H(?a); *--#] Substitute A : *--#[ Expand : ArgExplode,H; id H(n1?,...,n`WEIGHT'?) = `SUM'`WEIGHT'`TYPE'(n1,...,n`WEIGHT'); TestUse,`SUM'`WEIGHT'`TYPE'; .sort TableBase "`SUM'`WEIGHT'`TYPE'.tbl" use; Apply; id tbl_(`SUM'`WEIGHT'`TYPE',?a) = 0; *--#] Expand : *--#[ Untangle : * id hF33 = 1/548550860*( - z15z3z3 + 935464329*e21 + 828728804*h957 + 900913955*h975 - 480916195*h993 - 985159798*hB19 - 778084291*hB37 - 854540499*hB55 + 1057767329*hB73 + 690490706*hB91 + 1052893736*hD17 + 885363828*hD35 - 789942016*hD53 + 111331245*hD71 + 134916414*hF15 - 1028324316*hF51 - 519410522*hH13 - 989602323*hH31 - 783714541*hJ11); id hD53 = -1/202765642*( - z13z5z3 + 689323128*z15z3z3 + 822600452*e21 + 507755814*h957 + 415296867*h975 - 91242850*h993 + 937369210*hB19 + 625793151*hB37 + 347305620*hB55 + 344942885*hB73 - 816994457*hB91 + 417621636*hD17 + 148624530*hD35 - 317298446*hD71 - 69303341*hF15 - 329224625*hF51 - 284774238*hH13 + 758269539*hH31 + 956912218*hJ11); id hD35 = -1/430913139*( - z13z3z5 - 556723205*z13z5z3 - 202527961*z15z3z3 - 561764720*e21 - 678925310*h957 - 408555273*h975 - 137367331*h993 - 533994241*hB19 - 825529326*hB37 - 848816850*hB55 - 138919181*hB73 - 145799620*hB91 - 437715828*hD17 + 201910699*hD71 + 1035335685*hF15 - 567977133*hF51 - 69702483*hH13 + 412073228*hH31 + 896436455*hJ11); id hB37 = -1/1037779883*( - z11z3z7 + 8130413*z13z3z5 - 70099179*z13z5z3 - 546203923*z15z3z3 - 452882649*e21 + 256829830*h957 + 161158118*h975 - 575024691*h993 + 517344715*hB19 - 690028342*hB55 + 440623291*hB73 + 405405889*hB91 - 805320298*hD17 - 499935984*hD71 - 49732392*hF15 + 116606813*hF51 - 935336864*hH13 - 705000282*hH31 + 137363495*hJ11); id hB73 = 1/718757445*( - z11z7z3 - 838940720*z11z3z7 - 218909468*z13z3z5 + 696927664*z13z5z3 - 106429384*z15z3z3 + 522006351*e21 - 172680823*h957 - 296491918*h975 - 872663394*h993 - 866381694*hB19 + 873180265*hB55 - 981060993*hB91 + 581802126*hD17 - 324084146*hD71 - 643232300*hF15 + 633029143*hF51 + 1049121430*hH13 + 1046238079*hH31 - 986405397*hJ11); id h993 = -1/375772872*( - z9z9z3 + 104998902*z11z7z3 + 1025023355*z11z3z7 + 832968282*z13z3z5 - 728262856*z13z5z3 - 832667361*z15z3z3 - 928734459*e21 + 488187600*h957 + 743318354*h975 + 1015338943*hB19 + 553804565*hB55 - 802533525*hB91 + 37908284*hD17 - 801584529*hD71 - 1022448617*hF15 + 473978834*hF51 + 527520696*hH13 - 1047639453*hH31 + 813396662*hJ11); id h75333 = -1/1030672967*( - z7z5z3z3z3 + 997198625*z9z9z3 - 543071453*z11z7z3 + 242128379*z11z3z7 - 701290937*z13z3z5 + 251756221*z13z5z3 - 225882512*z15z3z3 - 543801896*e21 - 319966918*h957 + 220847006*h975 - 435457100*hB19 + 661926745*hB55 - 630387923*hB91 - 708710821*hD17 - 860758450*hD71 + 1005924563*hF15 - 610326450*hF51 - 1065832401*hH13 + 832132121*hH31 - 168837313*hJ11 - 515812826*h55353 - 648524432*h55533 + 536053847*h55551 - 745267920*h71355 + 195579466*h71535 + 1037633986*h71553 + 600326169*h71715 - 902653812*h73155 + 302991001*h73335 + 525619598*h73353 + 956598004*h73371 - 837372886*h73515 - 886963307*h73533 - 318480149*h73551 + 129831512*h73713 + 778928278*h73731 + 586118456*h75135 - 783933059*h75153 + 1032265584*h75171 + 97515753*h75315 - 652067196*h75351 + 613442241*h75513 + 1018550521*h75531 - 662089677*h75711 - 592281166*h77115 + 993212549*h77133 - 15527936*h77151 + 885438343*h77313 + 904511182*h77331 + 136790588*h77511 - 755757492*h91137 - 27083300*h91155 - 395579697*h91173 + 90164868*h91317 + 820950325*h91335 - 27120599*h91353 - 13258753*h91371 - 646871666*h91515 + 866451736*h91533 + 216614846*h91551 - 845456774*h91713 - 1059596401*h91731 - 802214398*h91911 - 541458679*h93117 + 894877968*h93135 + 59859338*h93153 - 319768217*h93171 + 335671995*h93315 + 167064563*h93333 - 397325510*h93351 - 372049078*h93513 - 141336253*h93531 + 783084090*h93711 + 515217005*h95115 + 66030688*h95133 - 895083631*h95151 - 1043939929*h95313 - 462416502*h95331 - 362412386*h95511 - 646880838*h97113 + 280922964*h97131 + 243932380*h97311 + 905611678*h99111 - 35502373*hB1117 - 348536975*hB1135 + 446392380*hB1153 + 299607615*hB1171 - 710153497*hB1315 - 667364488*hB1333 + 781977998*hB1351 - 662852524*hB1513 + 542720819*hB1531 + 170312477*hB1711 - 41684923*hB3115 - 72540994*hB3133 + 1020363035*hB3151 - 93513201*hB3313 - 42929507*hB3331 + 327145626*hB3511 + 410233995*hB5113 - 238781081*hB5131 - 766612334*hB5311 + 91088004*hB7111 + 355090178*hD1115 + 276471202*hD1133 - 397367852*hD1151 + 164172176*hD1313 + 992056270*hD1331 - 402401109*hD1511 - 990660691*hD3113 + 686995080*hD3131 - 351553643*hD3311 - 1052284377*hD5111 - 896187628*hF1113 + 757702812*hF1131 + 778625604*hF1311 - 203537900*hF3111 + 266266120*hH1111); id h73533 = -1/512746663*( - z7z3z5z3z3 + 263683047*z7z5z3z3z3 - 287693519*z9z9z3 + 380971681*z11z7z3 - 483370005*z11z3z7 + 897624919*z13z3z5 - 1060420113*z13z5z3 - 235129666*z15z3z3 + 554048957*e21 - 162720549*h957 - 379159991*h975 - 615385233*hB19 - 477641782*hB55 + 444587999*hB91 - 225577633*hD17 - 339050091*hD71 + 575421440*hF15 - 480688655*hF51 + 872403939*hH13 + 1020214090*hH31 + 961978799*hJ11 + 585744199*h55353 + 957149205*h55533 - 984658226*h55551 + 630241794*h71355 + 57952137*h71535 + 854458697*h71553 - 594786002*h71715 + 55904790*h73155 - 281998223*h73335 + 1023686954*h73353 - 333965054*h73371 + 2810775*h73515 - 556636162*h73551 - 911818993*h73713 + 925703373*h73731 - 39867075*h75135 - 793725242*h75153 - 69749741*h75171 - 520197753*h75315 - 564403850*h75351 - 1060195075*h75513 - 20163773*h75531 + 449326796*h75711 + 19106279*h77115 + 529349708*h77133 - 761584743*h77151 - 79124784*h77313 + 152644638*h77331 + 135329567*h77511 - 85195405*h91137 - 474373898*h91155 + 1065187065*h91173 + 851664052*h91317 - 49856770*h91335 - 782001921*h91353 + 724714135*h91371 - 562698404*h91515 + 78880676*h91533 + 819278423*h91551 - 1072718056*h91713 + 195753032*h91731 + 125041513*h91911 + 721735678*h93117 - 6453161*h93135 + 1036158971*h93153 + 724442780*h93171 - 622132100*h93315 + 146727437*h93333 + 1042923187*h93351 + 561171874*h93513 + 289830573*h93531 + 594968769*h93711 - 539748408*h95115 - 457766886*h95133 - 323908583*h95151 - 5266099*h95313 - 861995023*h95331 - 761337423*h95511 - 321051640*h97113 + 862959167*h97131 - 224488890*h97311 + 43900510*h99111 + 828666556*hB1117 + 793621388*hB1135 + 779905008*hB1153 - 572758870*hB1171 + 166393402*hB1315 + 281182878*hB1333 - 436234313*hB1351 + 178511445*hB1513 + 64125158*hB1531 + 343816440*hB1711 + 293204636*hB3115 + 831067368*hB3133 + 822888506*hB3151 - 498860861*hB3313 - 699018136*hB3331 + 1012073141*hB3511 - 330781705*hB5113 - 708509439*hB5131 - 399018099*hB5311 + 1062510326*hB7111 - 665151547*hD1115 - 296103850*hD1133 + 322175318*hD1151 + 795868665*hD1313 + 311120645*hD1331 - 668618923*hD1511 - 91980506*hD3113 + 455419796*hD3131 - 278784918*hD3311 - 383145196*hD5111 + 848382025*hF1113 + 449797110*hF1131 + 184806596*hF1311 - 210497837*hF3111 + 548635549*hH1111); id h73353 = -1/404827149*( - z7z3z3z5z3 + 657084449*z7z3z5z3z3 - 351841133*z7z5z3z3z3 - 1024686441*z9z9z3 + 250739020*z11z7z3 - 288932850*z11z3z7 - 370841139*z13z3z5 + 1598859*z13z5z3 + 513800369*z15z3z3 + 863457594*e21 + 693162744*h957 - 12667958*h975 - 755392852*hB19 - 325240616*hB55 + 747274303*hB91 - 249130008*hD17 + 985854309*hD71 - 97512969*hF15 - 417628572*hF51 + 244508841*hH13 - 247738358*hH31 - 61466744*hJ11 + 834192951*h55353 + 625601907*h55533 - 850675830*h55551 + 720386367*h71355 + 430946467*h71535 - 827257244*h71553 + 355765757*h71715 - 209917911*h73155 + 696173500*h73335 - 302708749*h73371 + 784694318*h73515 - 673413461*h73551 + 642743217*h73713 + 554432301*h73731 + 722263188*h75135 + 997760672*h75153 + 222997794*h75171 - 121917717*h75315 - 806653627*h75351 + 869545282*h75513 - 959212739*h75531 - 282304591*h75711 - 490021971*h77115 + 989902193*h77133 - 510992833*h77151 + 803487450*h77313 - 582449702*h77331 + 917402959*h77511 - 58278179*h91137 - 108036522*h91155 - 254319055*h91173 - 926538081*h91317 + 214788352*h91335 + 583289582*h91353 - 730234230*h91371 + 339042875*h91515 - 547388774*h91533 + 525631138*h91551 - 863158201*h91713 + 1025742829*h91731 + 419852719*h91911 - 942112858*h93117 + 285277448*h93135 - 996636337*h93153 + 735130718*h93171 + 346938691*h93315 + 895401926*h93333 - 845222050*h93351 + 552942577*h93513 + 124822975*h93531 + 686893908*h93711 - 218840089*h95115 + 970247840*h95133 + 476161968*h95151 - 627150120*h95313 - 656782350*h95331 + 266844*h95511 + 618608123*h97113 + 73508125*h97131 - 53842272*h97311 - 571102698*h99111 + 127308376*hB1117 - 572424235*hB1135 - 1029997243*hB1153 - 892696080*hB1171 + 536033507*hB1315 - 797334481*hB1333 - 775106256*hB1351 - 751528145*hB1513 - 561787379*hB1531 - 544738663*hB1711 + 874023889*hB3115 + 412222564*hB3133 + 335428926*hB3151 - 760801657*hB3313 - 716094734*hB3331 - 247303491*hB3511 - 1034061865*hB5113 - 1041148322*hB5131 - 508159756*hB5311 + 799990459*hB7111 + 858647526*hD1115 + 748910209*hD1133 + 561117174*hD1151 - 987421488*hD1313 - 968904955*hD1331 + 191608650*hD1511 - 794738961*hD3113 + 527502710*hD3131 - 311446625*hD3311 + 361533790*hD5111 - 262392532*hF1113 + 349286057*hF1131 - 849979307*hF1311 - 844121453*hF3111 + 524935008*hH1111); id h55533 = -1/3838898*( - z5z5z5z3z3 + 938504052*z7z3z3z5z3 - 110947760*z7z3z5z3z3 + 928547860*z7z5z3z3z3 + 245505872*z9z9z3 - 448800108*z11z7z3 - 102030250*z11z3z7 + 742355251*z13z3z5 + 429860996*z13z5z3 + 921377027*z15z3z3 + 897644641*e21 - 625432027*h957 + 773509519*h975 - 334175976*hB19 + 78328964*hB55 + 1005487415*hB91 - 411837384*hD17 + 232834899*hD71 + 395280192*hF15 + 225354277*hF51 + 841653432*hH13 + 398463485*hH31 + 291480235*hJ11 + 535205877*h55353 + 946353989*h55551 + 191418925*h71355 + 766652428*h71535 + 873287971*h71553 + 589568616*h71715 + 671729629*h73155 - 53116777*h73335 - 680327103*h73371 - 65234960*h73515 - 49059210*h73551 + 530275250*h73713 - 493105054*h73731 - 19108207*h75135 - 417463842*h75153 + 796380528*h75171 - 223292407*h75315 - 382684043*h75351 - 179426510*h75513 + 550957026*h75531 + 259548807*h75711 + 758940179*h77115 - 1029257926*h77133 - 514505169*h77151 + 821054323*h77313 - 813052822*h77331 + 14755152*h77511 - 32412260*h91137 - 843563931*h91155 + 525252473*h91173 - 199717129*h91317 - 568651444*h91335 - 1048480475*h91353 - 864090495*h91371 - 713654537*h91515 - 477009487*h91533 + 114622873*h91551 - 755148488*h91713 - 789115279*h91731 - 648913432*h91911 - 617631828*h93117 + 786441353*h93135 + 884856563*h93153 - 771808877*h93171 + 701985011*h93315 + 4632915*h93333 - 882059618*h93351 - 40078132*h93513 + 298571973*h93531 + 722520002*h93711 + 304444822*h95115 + 62060267*h95133 + 1001960505*h95151 + 701080905*h95313 + 292197039*h95331 + 705028836*h95511 + 989014505*h97113 + 173077912*h97131 + 982826380*h97311 + 641746595*h99111 - 660537288*hB1117 + 314364830*hB1135 - 178392354*hB1153 + 858840299*hB1171 + 1054839276*hB1315 - 594923122*hB1333 + 418248970*hB1351 - 473593942*hB1513 - 303276685*hB1531 - 224022032*hB1711 - 77139362*hB3115 + 114876766*hB3133 + 216470645*hB3151 + 877429786*hB3313 + 563491599*hB3331 - 796479491*hB3511 + 564663328*hB5113 + 164737877*hB5131 + 706841345*hB5311 + 1067333410*hB7111 - 824240122*hD1115 - 212256801*hD1133 - 1045403220*hD1151 - 258062133*hD1313 - 29828928*hD1331 - 192980282*hD1511 - 557743175*hD3113 - 278167968*hD3131 + 991724893*hD3311 - 362515282*hD5111 - 410116042*hF1113 - 66162714*hF1131 - 1009015293*hF1311 + 1027509410*hF3111 - 704968642*hH1111); .sort id h55353 = 1/985805708*( - z5z5z3z5z3 + 106565290*z5z5z5z3z3 + 713013372*z7z3z3z5z3 - 605286423*z7z3z5z3z3 - 560574118*z7z5z3z3z3 - 560368096*z9z9z3 - 164134743*z11z7z3 - 47746604*z11z3z7 + 954110224*z13z3z5 + 587732572*z13z5z3 + 628251919*z15z3z3 + 243980856*e21 - 400695326*h957 - 553466375*h975 + 337042493*hB19 - 206448612*hB55 + 809335774*hB91 + 472760072*hD17 - 641329046*hD71 - 24334153*hF15 - 680463890*hF51 + 777615098*hH13 - 774670144*hH31 - 664918215*hJ11 + 59278946*h55551 - 715142413*h71355 - 344560661*h71535 + 704520441*h71553 + 143622765*h71715 - 144429364*h73155 + 927590470*h73335 - 784045653*h73371 + 977496465*h73515 - 690348852*h73551 - 701145429*h73713 - 385216146*h73731 + 1071089219*h75135 - 898468284*h75153 + 161282079*h75171 - 386602884*h75315 - 154999406*h75351 - 154582525*h75513 + 806116586*h75531 - 782887367*h75711 + 1057707668*h77115 + 975926975*h77133 + 411512290*h77151 - 1049583798*h77313 + 669030648*h77331 - 491720593*h77511 - 43389783*h91137 - 833353397*h91155 - 653311388*h91173 - 264304840*h91317 + 183121759*h91335 + 133340460*h91353 + 241455658*h91371 - 520788778*h91515 + 613377925*h91533 + 422056389*h91551 - 350940319*h91713 - 1020435172*h91731 - 242546978*h91911 - 374207181*h93117 - 112499486*h93135 - 163358149*h93153 + 41734235*h93171 - 323430840*h93315 + 547263552*h93333 - 239572966*h93351 + 860203191*h93513 - 241948115*h93531 + 823709300*h93711 + 171730757*h95115 - 935997116*h95133 + 550711674*h95151 + 135490103*h95313 + 924739628*h95331 - 515406036*h95511 + 574536216*h97113 + 1007155442*h97131 + 150073202*h97311 + 233371334*h99111 - 526366729*hB1117 + 524022638*hB1135 - 664363969*hB1153 - 352971139*hB1171 + 41740691*hB1315 + 178757158*hB1333 + 727035880*hB1351 - 903708698*hB1513 - 287124529*hB1531 - 157626164*hB1711 + 652417773*hB3115 + 482739805*hB3133 - 895140666*hB3151 + 1007187646*hB3313 + 427261971*hB3331 + 596939111*hB3511 + 489879344*hB5113 + 101725783*hB5131 + 179879796*hB5311 - 855495058*hB7111 + 979076268*hD1115 - 553268053*hD1133 + 111144821*hD1151 + 70301577*hD1313 - 6009271*hD1331 - 456216576*hD1511 + 443730415*hD3113 - 381369239*hD3131 - 404358953*hD3311 + 722647962*hD5111 + 647640649*hF1113 + 759452760*hF1131 + 646794425*hF1311 + 261262022*hF3111 - 1068730641*hH1111); id hB55 = -1/463544198*( - a11a5a5 - 737960665*z9z9z3 - 602168583*z11z7z3 - 712239647*z11z3z7 + 177194453*z13z3z5 - 1052680573*z13z5z3 + 917907571*z15z3z3 - 422404625*e21 - 47271850*h957 - 912174030*h975 + 605631782*hB19 + 530193097*hB91 + 915409501*hD17 + 567545727*hD71 + 706251653*hF15 - 759888213*hF51 - 74975135*hH13 + 1051830714*hH31 + 459689630*hJ11); id h975 = -1/653544366*( - a9a7a5 - 1021524773*a11a5a5 - 998058750*z9z9z3 + 194079846*z11z7z3 - 436826048*z11z3z7 - 610227986*z13z3z5 + 857206953*z13z5z3 - 1052956420*z15z3z3 + 863957950*e21 + 939143137*h957 + 842923686*hB19 - 838294993*hB91 - 378218092*hD17 - 862850110*hD71 + 851082743*hF15 - 586346354*hF51 - 1024110918*hH13 - 942367039*hH31 + 148603002*hJ11); * * Attention: not in agreement with the rest. * id h957 = -1/296844086*( - a11a7a3 + 810797053*a9a7a5 + 1009808193*a11a5a5 + 590021033*z9z9z3 + 265307096*z11z7z3 - 368095489*z11z3z7 + 249707915*z13z3z5 - 831705362*z13z5z3 + 353471044*z15z3z3 + 1022327108*e21 - 625118276*hB19 + 1023384408*hB91 + 877436261*hD17 - 473981435*hD71 + 1003610088*hF15 + 340912431*hF51 + 536583383*hH13 - 1023644691*hH31 - 913808197*hJ11); * * Correction * id z11z7z3 = 1/378744905*( - z9z5z7 - 171330188*z9z9z3 + 661385087*z11z3z7 - 999995810*z13z3z5 - 331924815*z13z5z3 - 865168147*z15z3z3 + 1013662645*e21); #ifdef `PATH1' id h93333 = -1/986416337*( - z9z3z3z3z3 + 99819806*z9z5z7 + 143772916*a11a7a3 + 48638231*a9a7a5 - 799306181*a11a5a5 + 602973504*z5z5z3z5z3 + 1041177972*z5z5z5z3z3 + 218307723*z7z3z3z5z3 - 448829102*z7z3z5z3z3 - 418823617*z7z5z3z3z3 + 1036117348*z9z9z3 + 424304393*z11z3z7 - 844512894*z13z3z5 - 512299772*z13z5z3 + 189690770*z15z3z3 - 174437089*e21 - 674412316*hB19 - 372296252*hB91 + 589916633*hD17 - 678216169*hD71 - 83288873*hF15 + 618765839*hF51 + 344359251*hH13 + 571177221*hH31 + 688082346*hJ11 - 123803107*h55551 + 987074380*h71355 + 577267627*h71535 + 987591365*h71553 + 353002421*h71715 - 465752644*h73155 + 794678856*h73335 - 56579525*h73371 - 222829208*h73515 - 528587733*h73551 + 643040124*h73713 - 83334661*h73731 - 122209435*h75135 - 1003069728*h75153 - 394182911*h75171 - 664246071*h75315 - 837428215*h75351 + 163401062*h75513 + 321814241*h75531 - 442782935*h75711 - 234051203*h77115 - 588824711*h77133 + 285651594*h77151 + 86257890*h77313 - 706256087*h77331 + 1069583581*h77511 + 78171898*h91137 + 1002539440*h91155 - 984767451*h91173 - 509749171*h91317 - 102779220*h91335 + 715688280*h91353 + 614341049*h91371 - 909572994*h91515 - 477957768*h91533 - 967967222*h91551 - 964778361*h91713 + 85947283*h91731 - 579507622*h91911 - 178528233*h93117 - 572591356*h93135 - 830770928*h93153 + 731490804*h93171 - 366098025*h93315 - 391238189*h93351 - 599330784*h93513 + 101855885*h93531 + 417280014*h93711 + 1006987111*h95115 - 84218621*h95133 - 729406778*h95151 - 629972005*h95313 - 879656527*h95331 + 176971859*h95511 + 64094599*h97113 + 388435290*h97131 + 127708668*h97311 + 59982338*h99111 - 1016947539*hB1117 + 953443389*hB1135 - 412756890*hB1153 + 321187492*hB1171 - 974730352*hB1315 - 11813969*hB1333 + 896861893*hB1351 + 989253209*hB1513 - 831734797*hB1531 + 505056494*hB1711 + 127762441*hB3115 - 492839495*hB3133 + 313731893*hB3151 + 45288362*hB3313 - 472984043*hB3331 - 143617331*hB3511 + 790083168*hB5113 - 881863325*hB5131 + 185388811*hB5311 + 639687124*hB7111 + 557924940*hD1115 + 816310916*hD1133 - 462945759*hD1151 + 312892639*hD1313 - 763304314*hD1331 + 52179229*hD1511 + 549770821*hD3113 - 858541382*hD3131 + 20780244*hD3311 - 371758932*hD5111 - 1060265008*hF1113 + 559288425*hF1131 - 364164046*hF1311 - 999043124*hF3111 + 15046170*hH1111); id h73335 = -1/811703999*( - a7a5a3a3a3 + 800593451*z9z3z3z3z3 + 361444415*z9z5z7 - 151586150*a11a7a3 - 197044784*a9a7a5 - 243381567*a11a5a5 + 1011753019*z5z5z3z5z3 + 503759932*z5z5z5z3z3 - 4975116*z7z3z3z5z3 + 486181920*z7z3z5z3z3 - 1065082876*z7z5z3z3z3 + 351516007*z9z9z3 - 196292842*z11z3z7 - 777152229*z13z3z5 + 520332602*z13z5z3 + 55163575*z15z3z3 - 449439378*e21 + 124271408*hB19 - 141557409*hB91 + 588017623*hD17 - 108192921*hD71 + 319081159*hF15 + 1019965590*hF51 - 1016205222*hH13 + 623179149*hH31 + 85570321*hJ11 + 221463967*h55551 - 19255168*h71355 + 675854934*h71535 - 242290257*h71553 - 414747367*h71715 + 140440771*h73155 + 740179320*h73371 - 845748822*h73515 - 341957350*h73551 + 336088598*h73713 - 279063819*h73731 + 1049155623*h75135 - 921636920*h75153 + 230066955*h75171 + 777306827*h75315 - 320932283*h75351 - 520150711*h75513 - 646518025*h75531 - 163456814*h75711 - 940226673*h77115 + 185117434*h77133 - 31745026*h77151 + 361118782*h77313 + 548760057*h77331 + 625594310*h77511 + 1005448775*h91137 + 157562242*h91155 + 18496455*h91173 + 779559469*h91317 + 850704172*h91335 - 267368827*h91353 + 363795893*h91371 + 482728454*h91515 - 851508128*h91533 + 958308699*h91551 - 674660375*h91713 + 317152747*h91731 + 687235312*h91911 + 470143147*h93117 + 250632576*h93135 + 779478991*h93153 + 502039621*h93171 + 524078501*h93315 - 753331199*h93351 - 26424697*h93513 + 798255297*h93531 - 306289034*h93711 - 93594020*h95115 + 543950095*h95133 + 388109928*h95151 - 1054015940*h95313 + 604000619*h95331 + 177784840*h95511 + 323768821*h97113 + 464900629*h97131 - 61677167*h97311 + 351994375*h99111 + 847274227*hB1117 + 270225579*hB1135 + 921343104*hB1153 - 380037219*hB1171 - 511281809*hB1315 - 774247717*hB1333 - 331633564*hB1351 + 661338670*hB1513 + 393619092*hB1531 + 740868874*hB1711 + 353140542*hB3115 - 529115770*hB3133 + 179632373*hB3151 + 485714818*hB3313 - 735031637*hB3331 - 1051369692*hB3511 + 343568135*hB5113 + 989213553*hB5131 + 828131490*hB5311 + 828407862*hB7111 - 947792068*hD1115 - 424879459*hD1133 + 510896623*hD1151 - 12530553*hD1313 + 664335532*hD1331 - 1013426782*hD1511 - 893676447*hD3113 - 550528575*hD3131 - 1014550063*hD3311 - 891702652*hD5111 + 989158695*hF1113 + 256193909*hF1131 - 610846727*hF1311 - 223005223*hF3111 - 1065132356*hH1111); id z7z5z3z3z3 = 1/1073739635*( - z7z3z3z3z5 + 715826422*z9z3z3z3z3 + 370977453*z9z5z7 + 858991708*z5z5z5z3z3 - z7z3z3z5z3 - z7z3z5z3z3 - 628887324*z9z9z3 + 913053747*z11z3z7 + 8694119*z13z3z5 - 21379644*z13z5z3 - 1067841706*z15z3z3 - 583925042*e21); #else id h73335 = -1/293228609*( - z7z3z3z3z5 - 577761852*z9z5z7 + 380356287*a11a7a3 - 829315630*a9a7a5 + 433394907*a11a5a5 + 740541097*z5z5z3z5z3 + 577055713*z5z5z5z3z3 - 509384688*z7z3z3z5z3 - 384384945*z7z3z5z3z3 - 812310953*z7z5z3z3z3 - 183188772*z9z9z3 - 792816261*z11z3z7 - 168255068*z13z3z5 - 257666358*z13z5z3 - 78800654*z15z3z3 - 892731592*e21 + 857802313*hB19 - 562961594*hB91 + 55180705*hD17 + 866677970*hD71 + 910167128*hF15 - 12134109*hF51 - 803504919*hH13 + 814732424*hH31 + 541953799*hJ11 - 426952508*h55551 + 560132144*h71355 - 631131372*h71535 - 872727003*h71553 + 607980533*h71715 + 370929745*h73155 + 847845316*h73371 - 911718030*h73515 - 914107896*h73551 + 647052317*h73713 - 521378882*h73731 - 430671076*h75135 + 193016759*h75153 - 511892723*h75171 - 597571774*h75315 - 909306529*h75351 + 1050383704*h75513 + 680752953*h75531 - 398492667*h75711 - 885533375*h77115 - 57728523*h77133 - 666520386*h77151 - 201268410*h77313 + 216278021*h77331 + 367610675*h77511 + 533425329*h91137 + 524047004*h91155 + 150311446*h91173 + 473588308*h91317 + 239818180*h91335 + 477539953*h91353 - 1809599*h91371 - 25142287*h91515 - 1032244481*h91533 + 826937336*h91551 + 103670236*h91713 + 515282764*h91731 + 636358027*h91911 + 416565877*h93117 + 620220073*h93135 + 506812650*h93153 + 440667397*h93171 + 854228725*h93315 - 869985271*h93333 - 518763741*h93351 - 749040777*h93513 - 953490156*h93531 - 973653366*h93711 + 513669105*h95115 + 912336540*h95133 + 270296300*h95151 + 754108254*h95313 - 810773801*h95331 + 1018718511*h95511 + 566272360*h97113 - 906349010*h97131 - 297986892*h97311 - 855785213*h99111 + 225398318*hB1117 - 77221968*hB1135 + 963099410*hB1153 - 33611057*hB1171 - 588934876*hB1315 + 743392352*hB1333 + 770627947*hB1351 - 876604639*hB1513 - 922591171*hB1531 + 253187696*hB1711 + 417714062*hB3115 - 281694027*hB3133 + 699611765*hB3151 - 821499269*hB3313 - 328023415*hB3331 + 1050933530*hB3511 + 303951881*hB5113 + 626028243*hB5131 + 283252532*hB5311 - 776776865*hB7111 + 845654413*hD1115 - 473072622*hD1133 - 1067272502*hD1151 - 14256400*hD1313 + 1065216975*hD1331 + 594074890*hD1511 - 566972158*hD3113 + 571610376*hD3131 - 48487236*hD3311 + 867437508*hD5111 - 389354012*hF1113 + 842472948*hF1131 + 133889683*hF1311 + 899447774*hF3111 - 35107730*hH1111); id h93333 = -1/873396975*( - a9a3a3a3a3 - 914545669*z7z3z3z3z5 - 831025639*z9z5z7 - 1056097089*a11a7a3 + 779433708*a9a7a5 + 780014865*a11a5a5 - 48367042*z5z5z3z5z3 + 598896501*z5z5z5z3z3 + 899769132*z7z3z3z5z3 - 853751838*z7z3z5z3z3 - 597644205*z7z5z3z3z3 - 476753349*z9z9z3 + 827809944*z11z3z7 - 647035006*z13z3z5 + 806270271*z13z5z3 - 376278694*z15z3z3 + 730901262*e21 - 529240226*hB19 - 472417698*hB91 - 746571287*hD17 - 88347456*hD71 - 810485225*hF15 - 27751065*hF51 - 1595516*hH13 + 592977268*hH31 - 934999464*hJ11 - 1064327853*h55551 - 874571881*h71355 - 761111663*h71535 - 911290849*h71553 - 766528258*h71715 + 967154420*h73155 + 797402675*h73371 - 643330999*h73515 + 376507726*h73551 + 741094937*h73713 - 88858791*h73731 - 639683529*h75135 + 246349928*h75153 - 599042320*h75171 - 838238392*h75315 - 907815862*h75351 - 569876399*h75513 - 914244232*h75531 - 951391013*h75711 - 314993261*h77115 - 246109269*h77133 + 631196774*h77151 - 495440515*h77313 + 264090778*h77331 + 828833600*h77511 + 387022198*h91137 + 165203270*h91155 + 48564872*h91173 - 718895132*h91317 + 439600339*h91335 + 809000906*h91353 - 959564614*h91371 - 386541439*h91515 - 601349433*h91533 + 193818027*h91551 + 94194962*h91713 + 865215533*h91731 + 1025747196*h91911 - 342222345*h93117 + 942824062*h93135 + 192141742*h93153 + 901599726*h93171 - 1072225530*h93315 - 560117229*h93351 - 161505352*h93513 + 12987927*h93531 + 64480824*h93711 - 351762492*h95115 - 1073179062*h95133 - 23940405*h95151 + 468763030*h95313 + 497612360*h95331 + 214266611*h95511 + 475002474*h97113 - 617740122*h97131 + 223258390*h97311 - 1043754536*h99111 - 875125900*hB1117 - 730110186*hB1135 - 1056599810*hB1153 + 812112664*hB1171 + 488419948*hB1315 - 915967035*hB1333 - 307402044*hB1351 + 321303493*hB1513 + 908095674*hB1531 - 307263581*hB1711 + 56234038*hB3115 + 460490699*hB3133 + 101802352*hB3151 + 387309689*hB3313 - 114695939*hB3331 + 124861847*hB3511 + 186992377*hB5113 + 564054989*hB5131 + 130629777*hB5311 - 28013859*hB7111 + 117052334*hD1115 + 437324292*hD1133 + 545627415*hD1151 - 589714660*hD1313 - 699086613*hD1331 - 45530074*hD1511 - 811285259*hD3113 + 66896654*hD3131 - 594167145*hD3311 + 565183304*hD5111 + 797121504*hF1113 + 174341609*hF1131 + 1025968245*hF1311 + 104686505*hF3111 - 180861563*hH1111); #endif * *--#] Untangle : Print +f +s; .end