FORM by J.Vermaseren,version 3.3(Jun 24 2009) Run at: Mon Jul 13 09:52:48 2009
    #-

   F12a=
      K(2,1,2,2,2,3);

   F12b=
      K(2,2,2,2,2,2);

   F12c=
      K(2,2,2,3,3);

   F12=
      K(2,1,2,2,2,3)-K(2,2,2,2,2,2)-2*K(2,2,2,3,3);

   F12a=
      521/8*z9z3+18*z6z4z1z1-54*z2*z7z3-54/5*z2^2*z5z3+355870313/
      14014000*z2^6+79/2*z3*z9+66/7*z3^2*z2^3-3/2*z3^4-60*z7*z3*z2-54/5
      *z5*z3*z2^2-2271/4*z5*z7+81*z5^2*z2;

   F12b=
      3/400400*z2^6;

   F12c=
      521/16*z9z3+9*z6z4z1z1-27*z2*z7z3-27/5*z2^2*z5z3+11120944/875875*
      z2^6+79/4*z3*z9+33/7*z3^2*z2^3-3/4*z3^4-30*z7*z3*z2-27/5*z5*z3*
      z2^2-2271/8*z5*z7+81/2*z5^2*z2;

   F12=0;

   F14a=
      K(2,1,2,2,2,2,3);

   F14b=
      K(2,2,2,2,2,2,2);

   F14c=
      K(2,2,2,2,3,3);

   F14=
      K(2,1,2,2,2,2,3)-K(2,2,2,2,2,2,2)-2*K(2,2,2,2,3,3);

   F14a=
      661325/8448*z11z3-21115/1152*z9z5-3934424369/92492400*z2^7+17925/
      64*z3*z11+1/70*z3^2*z2^4-224*z9*z3*z2-72/35*z5*z3*z2^3+2015117/
      1408*z5*z9+216/5*z5^2*z2^2+36*z7*z3*z2^2-720*z7*z5*z2+16816105/
      16896*z7^2;

   F14b=
      3/14014000*z2^7;

   F14c=
      661325/16896*z11z3-21115/2304*z9z5-2459015243/115615500*z2^7+
      17925/128*z3*z11+1/140*z3^2*z2^4-112*z9*z3*z2-36/35*z5*z3*z2^3+
      2015117/2816*z5*z9+108/5*z5^2*z2^2+18*z7*z3*z2^2-360*z7*z5*z2+
      16816105/33792*z7^2;

   F14=0;

   F16a=
      K(2,1,2,2,2,2,2,3);

   F16b=
      K(2,2,2,2,2,2,2,2);

   F16c=
      K(2,2,2,2,2,3,3);

   F16=
      K(2,1,2,2,2,2,2,3)-K(2,2,2,2,2,2,2,2)-2*K(2,2,2,2,2,3,3);

   F16a=
      -4862968713/2562560*z13z3+96904233/433664*z11z5+23085/616*
      z7z3z3z3-65853/1540*z5z5z3z3-1215/88*z8z6z1z1+219915/112*z2*z11z3
      -282285/616*z2*z9z5+10989/140*z2^2*z9z3-6561/3850*z2^4*z5z3-
      102225410549704653/524647723600000*z2^8+7533/2156*z7z3*z2^3-
      31788303/9856*z3*z13-6075/616*z3*z7z3z3+3645/308*z3*z5z5z3-619419/
      296450*z3^2*z2^5-1215/616*z3^2*z7z3+198135/88*z11*z3*z2-7356/385*
      z5*z3*z2^4-18084389949/1281280*z5*z11+243/44*z5*z5z3z3+119529/
      5390*z5^2*z2^3+1215/154*z5^2*z3^2-12741/280*z9*z3*z2^2+16774053/
      1232*z9*z5*z2-22986/539*z7*z3*z2^3+405/88*z7*z3^3+1062531/3080*z7
      *z5*z2^2-27255182181/2013440*z7*z9+21220443/2464*z7^2*z2;

   F16b=
      9/1905904000*z2^8;

   F16c=
      -4862968713/5125120*z13z3+96904233/867328*z11z5+23085/1232*
      z7z3z3z3-65853/3080*z5z5z3z3-1215/176*z8z6z1z1+219915/224*z2*
      z11z3-282285/1232*z2*z9z5+10989/280*z2^2*z9z3-6561/7700*z2^4*z5z3
      -6389088159511383/65580965450000*z2^8+7533/4312*z7z3*z2^3-
      31788303/19712*z3*z13-6075/1232*z3*z7z3z3+3645/616*z3*z5z5z3-
      619419/592900*z3^2*z2^5-1215/1232*z3^2*z7z3+198135/176*z11*z3*z2-
      3678/385*z5*z3*z2^4-18084389949/2562560*z5*z11+243/88*z5*z5z3z3+
      119529/10780*z5^2*z2^3+1215/308*z5^2*z3^2-12741/560*z9*z3*z2^2+
      16774053/2464*z9*z5*z2-11493/539*z7*z3*z2^3+405/176*z7*z3^3+
      1062531/6160*z7*z5*z2^2-27255182181/4026880*z7*z9+21220443/4928*
      z7^2*z2;

   F16=0;

   F18a=
      K(2,1,2,2,2,2,2,2,3);

   F18b=
      K(2,2,2,2,2,2,2,2,2);

   F18c=
      K(2,2,2,2,2,2,3,3);

   F18=
      K(2,1,2,2,2,2,2,2,3)-K(2,2,2,2,2,2,2,2,2)-2*K(2,2,2,2,2,2,3,3);

   F18a=
      82788855/4096*z15z3-676987803/346112*z13z5+58275/416*z9z3z3z3-
      62775/416*z7z5z3z3+5913/416*z5z5z5z3+23625/832*z10z6z1z1-42525/64
      *z2*z13z3-3642975/18304*z2*z11z5+2665035/832*z2^2*z11z3-375345/
      416*z2^2*z9z5-802379962287735077/94245809257600*z2^9+28725/364*
      z9z3*z2^3+1215/416*z7z3*z2^4-6209231/416*z3*z15-55125/832*z3*
      z9z3z3+118125/1664*z3*z7z5z3+1384479/371800*z3^2*z2^6+2625/832*
      z3^2*z9z3+135/52*z5z3*z2^5+771963/104*z13*z3*z2+708516/25025*z5*
      z3*z2^5+23625/832*z5*z3*z7z3+3409818057/26624*z5*z13-23625/416*z5
      *z7z3z3+6615/104*z5*z5z5z3+46269/7280*z5^2*z2^4-4725/832*z5^2*
      z5z3+7875/208*z5^3*z3+845937/1664*z11*z3*z2^2-3265785/416*z11*z5*
      z2+59847/728*z7*z3*z2^4+506097/1456*z7*z5*z2^3-7875/208*z7*z5*
      z3^2+266023825335/692224*z7*z11-4725/416*z7*z5z3z3+12056715/832*
      z7^2*z2^2+34383/520*z9*z3*z2^3-7875/832*z9*z3^3+80018487/4160*z9*
      z5*z2^2-1256997315/18304*z9*z7*z2+45174884491/173056*z9^2;

   F18b=
      3/36212176000*z2^9;

   F18c=
      82788855/8192*z15z3-676987803/692224*z13z5+58275/832*z9z3z3z3-
      62775/832*z7z5z3z3+5913/832*z5z5z5z3+23625/1664*z10z6z1z1-42525/
      128*z2*z13z3-3642975/36608*z2*z11z5+2665035/1664*z2^2*z11z3-
      375345/832*z2^2*z9z5-501487476429839303/117807261572000*z2^9+
      28725/728*z9z3*z2^3+1215/832*z7z3*z2^4-6209231/832*z3*z15-55125/
      1664*z3*z9z3z3+118125/3328*z3*z7z5z3+1384479/743600*z3^2*z2^6+
      2625/1664*z3^2*z9z3+135/104*z5z3*z2^5+771963/208*z13*z3*z2+354258/
      25025*z5*z3*z2^5+23625/1664*z5*z3*z7z3+3409818057/53248*z5*z13-
      23625/832*z5*z7z3z3+6615/208*z5*z5z5z3+46269/14560*z5^2*z2^4-4725/
      1664*z5^2*z5z3+7875/416*z5^3*z3+845937/3328*z11*z3*z2^2-3265785/
      832*z11*z5*z2+59847/1456*z7*z3*z2^4+506097/2912*z7*z5*z2^3-7875/
      416*z7*z5*z3^2+266023825335/1384448*z7*z11-4725/832*z7*z5z3z3+
      12056715/1664*z7^2*z2^2+34383/1040*z9*z3*z2^3-7875/1664*z9*z3^3+
      80018487/8320*z9*z5*z2^2-1256997315/36608*z9*z7*z2+45174884491/
      346112*z9^2;

   F18=0;

   F20a=
      K(2,1,2,2,2,2,2,2,2,3);

   F20b=
      K(2,2,2,2,2,2,2,2,2,2);

   F20c=
      K(2,2,2,2,2,2,2,3,3);

   F20=
      K(2,1,2,2,2,2,2,2,2,3)-K(2,2,2,2,2,2,2,2,2,2)-2*K(2,2,2,2,2,2,2,3
      ,3);

   F20a=
      38214418781863/17991168*z17z3-12760971136727/42332160*z15z5+
      958714454137/22929920*z13z7+30858975/44096*z11z3z3z3-5026077/
      22048*z9z5z3z3+13710627/27560*z9z3z5z3+787185/5512*z9z3z3z5-
      22260825/44096*z7z7z3z3-6283737/27560*z7z5z5z3+19845/832*
      z10z8z1z1-4631303061/440960*z2*z15z3+56058723/88192*z2*z13z5+
      99058869/4240*z2^2*z13z3-1655129133/485056*z2^2*z11z5-
      61765460440812064087481531/106144342676372000000*z2^10+1490563917/
      385840*z11z3*z2^3-1285126281/1929200*z9z5*z2^3+833301/4240*z9z3*
      z2^4+21173378919/312832*z3*z17+377055/39104*z3*z11z3z3+11907/
      19552*z3*z9z5z3+14553/1222*z3*z9z3z5-496125/39104*z3*z7z7z3-
      13428447/3503500*z3^2*z2^7+33075/1664*z3^2*z11z3+2205/832*z3^2*
      z9z5+81/52*z7z3*z2^5-1718428103/39104*z15*z3*z2+523183113/
      61161100*z5*z3*z2^6-14553/1222*z5*z3*z9z3+166127703780151/
      11994112*z5*z15-3562839/44096*z5*z9z3z3-111699/1664*z5*z7z5z3+
      654821199/5305300*z5^2*z2^5-2835/832*z5^2*z7z3+19142865/88192*
      z5^4-140669559/195520*z13*z3*z2^2-5554767843/8480*z13*z5*z2+
      27943911/940940*z7*z3*z2^5-19845/832*z7*z7z3*z3+77895603/38584*z7
      *z5*z2^4-6290865/39104*z7*z5^2*z3+7361281767643749/239882240*z7*
      z13+14175/832*z7*z7z3z3-8505/416*z7*z5z5z3+12221383437/771680*
      z7^2*z2^3+165375/3328*z7^2*z3^2+67762791/68432*z11*z3*z2^3+
      40308102981/440960*z11*z5*z2^2-82659264399/44096*z11*z7*z2+
      59355923/244400*z9*z3*z2^4-3969/416*z9*z3*z5z3+4011061833/192920*
      z9*z5*z2^3+59535/832*z9*z5*z3^2+85915159659/606320*z9*z7*z2^2+
      13924980571540865/311846912*z9*z11+3969/416*z9*z5z3z3-1434134023/
      1040*z9^2*z2;

   F20b=
      3/2534852320000*z2^10;

   F20c=
      38214418781863/35982336*z17z3-12760971136727/84664320*z15z5+
      958714454137/45859840*z13z7+30858975/88192*z11z3z3z3-5026077/
      44096*z9z5z3z3+13710627/55120*z9z3z5z3+787185/11024*z9z3z3z5-
      22260825/88192*z7z7z3z3-6283737/55120*z7z5z5z3+19845/1664*
      z10z8z1z1-4631303061/881920*z2*z15z3+56058723/176384*z2*z13z5+
      99058869/8480*z2^2*z13z3-1655129133/970112*z2^2*z11z5-
      275738662682196715237069/947717345324750000*z2^10+1490563917/
      771680*z11z3*z2^3-1285126281/3858400*z9z5*z2^3+833301/8480*z9z3*
      z2^4+21173378919/625664*z3*z17+377055/78208*z3*z11z3z3+11907/
      39104*z3*z9z5z3+14553/2444*z3*z9z3z5-496125/78208*z3*z7z7z3-
      13428447/7007000*z3^2*z2^7+33075/3328*z3^2*z11z3+2205/1664*z3^2*
      z9z5+81/104*z7z3*z2^5-1718428103/78208*z15*z3*z2+523183113/
      122322200*z5*z3*z2^6-14553/2444*z5*z3*z9z3+166127703780151/
      23988224*z5*z15-3562839/88192*z5*z9z3z3-111699/3328*z5*z7z5z3+
      654821199/10610600*z5^2*z2^5-2835/1664*z5^2*z7z3+19142865/176384*
      z5^4-140669559/391040*z13*z3*z2^2-5554767843/16960*z13*z5*z2+
      27943911/1881880*z7*z3*z2^5-19845/1664*z7*z7z3*z3+77895603/77168*
      z7*z5*z2^4-6290865/78208*z7*z5^2*z3+7361281767643749/479764480*z7
      *z13+14175/1664*z7*z7z3z3-8505/832*z7*z5z5z3+12221383437/1543360*
      z7^2*z2^3+165375/6656*z7^2*z3^2+67762791/136864*z11*z3*z2^3+
      40308102981/881920*z11*z5*z2^2-82659264399/88192*z11*z7*z2+
      59355923/488800*z9*z3*z2^4-3969/832*z9*z3*z5z3+4011061833/385840*
      z9*z5*z2^3+59535/1664*z9*z5*z3^2+85915159659/1212640*z9*z7*z2^2+
      13924980571540865/623693824*z9*z11+3969/832*z9*z5z3z3-1434134023/
      2080*z9^2*z2;

   F20=0;

   F22a=
      K(2,1,2,2,2,2,2,2,2,2,3);

   F22b=
      K(2,2,2,2,2,2,2,2,2,2,2);

   F22c=
      K(2,2,2,2,2,2,2,2,3,3);

   F22=
      K(2,1,2,2,2,2,2,2,2,2,3)-K(2,2,2,2,2,2,2,2,2,2,2)-2*K(2,2,2,2,2,2
      ,2,2,3,3);

   F22a=
      36048491718537011379957/14973913242337280*z19z3-
      7455562303816552776747/25455652511973376*z17z5+
      14729555912531884467/467934788823040*z15z7-43333641982755/
      151926879488*z13z3z3z3+222552162893385/3342391348736*z11z5z3z3+
      174197745371025/3342391348736*z11z3z5z3-1671506614935/10347960832
      *z11z3z3z5+242552584015065/3342391348736*z9z7z3z3+109176847216515/
      1671195674368*z9z5z5z3+204389431482519/1671195674368*z9z5z3z5+
      82610639852625/1671195674368*z9z3z7z3+2676474300519/37981719872*
      z9z3z5z5-743495758673625/23396739441152*z7z5z7z3-382725/8704*
      z12z8z1z1-9876638982289491765/3342391348736*z2*z17z3+
      1468919901520444311/3342391348736*z2*z15z5-5478921627252338835/
      86902175067136*z2*z13z7-444057326860110633/33423913487360*z2^2*
      z15z3+380335539921986997/217255437667840*z2^2*z13z5+3470359049612\
      51983952039315484297/1295331212837509135960672000*z2^11-
      280834048243596807/40944294022016*z13z3*z2^3+123423911447000445/
      112596808560544*z11z5*z2^3-638905889440611/182787026884*z11z3*
      z2^4+134558925136807923/146229621507200*z9z5*z2^4+266158405683747/
      550719488*z3*z19+68813955/1472512*z3*z13z3z3-422758035/275359744*
      z3*z11z5z3+5755188915/137679872*z3*z11z3z5-5900165145/137679872*
      z3*z9z7z3-745318665/17209984*z3*z9z5z5+14870751939/1713481000*
      z3^2*z2^8-382725/8704*z3^2*z13z3-382725/95744*z3^2*z11z5-
      5778264872076003/80426291828960*z9z3*z2^5-32824735759425/
      137679872*z17*z3*z2-1511217/733040*z7z3*z2^6-1567260558/163788625
      *z5*z3*z2^7+426126015/34419968*z5*z3*z11z3-217464345/34419968*z5*
      z3*z9z5+5034770997216748678226817/351886961194926080*z5*z17+
      3461609244969765/8268020704768*z5*z11z3z3-9466332961822893/
      78546196695296*z5*z9z5z3+89593940478033/446285208496*z5*z9z3z5-
      197322075/715904*z5*z7z7z3+622774651585000289103/
      6019706877668083600*z5^2*z2^6-702999650571507/3570281667968*z5^2*
      z9z3-7748047967793/344199680*z15*z3*z2^2-693894503026842948219/
      39273098347648*z15*z5*z2-1470270347541/53834981200*z7*z3*z2^6-
      511171273572384087/945008928990280*z7*z5*z2^5+54675/4352*z7*z5*
      z7z3-580016454648975/269455220224*z7*z5^3+
      1504030220900328669650493/50911305023946752*z7*z15-995085/8704*z7
      *z9z3z3+2154195/17408*z7*z7z5z3-124186716446833143/7311481075360*
      z7^2*z2^4+3444525/47872*z7^2*z5*z3-857030232087/219036160*z13*z3*
      z2^3-54180413871584757057/785461966952960*z13*z5*z2^2-
      122760869832022969035/3342391348736*z13*z7*z2-684247762329/
      2366372800*z9*z3*z2^5+382725/8704*z9*z7z3*z3-
      143298104822977818993/6872792210838400*z9*z5*z2^4+16040540565/
      68839936*z9*z5^2*z3-546509795255050797/9191576209024*z9*z7*z2^3-
      13395375/47872*z9*z7*z3^2+204524708315761410325401/
      4545652234280960*z9*z13-273375/8704*z9*z7z3z3+164025/4352*z9*
      z5z5z3-1052191513749536805/43451087533568*z9^2*z2^2-2880629644797/
      2409397760*z11*z3*z2^4+76545/4352*z11*z3*z5z3-
      75519118285327736235/1924381819034752*z11*z5*z2^3-382725/2176*z11
      *z5*z3^2-840440080289509191/21725543766784*z11*z7*z2^2-
      2285733942498921524595/43451087533568*z11*z9*z2-76545/4352*z11*
      z5z3z3+2572036759802029139822457/101822610047893504*z11^2;

   F22b=
      9/641317636960000*z2^11;

   F22c=
      36048491718537011379957/29947826484674560*z19z3-
      7455562303816552776747/50911305023946752*z17z5+
      14729555912531884467/935869577646080*z15z7-43333641982755/
      303853758976*z13z3z3z3+222552162893385/6684782697472*z11z5z3z3+
      174197745371025/6684782697472*z11z3z5z3-1671506614935/20695921664
      *z11z3z3z5+242552584015065/6684782697472*z9z7z3z3+109176847216515/
      3342391348736*z9z5z5z3+204389431482519/3342391348736*z9z5z3z5+
      82610639852625/3342391348736*z9z3z7z3+2676474300519/75963439744*
      z9z3z5z5-743495758673625/46793478882304*z7z5z7z3-382725/17408*
      z12z8z1z1-9876638982289491765/6684782697472*z2*z17z3+
      1468919901520444311/6684782697472*z2*z15z5-5478921627252338835/
      173804350134272*z2*z13z7-444057326860110633/66847826974720*z2^2*
      z15z3+380335539921986997/434510875335680*z2^2*z13z5+2168974406007\
      82489958663216037927/1619164016046886419950840000*z2^11-
      280834048243596807/81888588044032*z13z3*z2^3+123423911447000445/
      225193617121088*z11z5*z2^3-638905889440611/365574053768*z11z3*
      z2^4+134558925136807923/292459243014400*z9z5*z2^4+266158405683747/
      1101438976*z3*z19+68813955/2945024*z3*z13z3z3-422758035/550719488
      *z3*z11z5z3+5755188915/275359744*z3*z11z3z5-5900165145/275359744*
      z3*z9z7z3-745318665/34419968*z3*z9z5z5+14870751939/3426962000*
      z3^2*z2^8-382725/17408*z3^2*z13z3-382725/191488*z3^2*z11z5-
      5778264872076003/160852583657920*z9z3*z2^5-32824735759425/
      275359744*z17*z3*z2-1511217/1466080*z7z3*z2^6-783630279/163788625
      *z5*z3*z2^7+426126015/68839936*z5*z3*z11z3-217464345/68839936*z5*
      z3*z9z5+5034770997216748678226817/703773922389852160*z5*z17+
      3461609244969765/16536041409536*z5*z11z3z3-9466332961822893/
      157092393390592*z5*z9z5z3+89593940478033/892570416992*z5*z9z3z5-
      197322075/1431808*z5*z7z7z3+622774651585000289103/
      12039413755336167200*z5^2*z2^6-702999650571507/7140563335936*z5^2
      *z9z3-7748047967793/688399360*z15*z3*z2^2-693894503026842948219/
      78546196695296*z15*z5*z2-1470270347541/107669962400*z7*z3*z2^6-
      511171273572384087/1890017857980560*z7*z5*z2^5+54675/8704*z7*z5*
      z7z3-580016454648975/538910440448*z7*z5^3+
      1504030220900328669650493/101822610047893504*z7*z15-995085/17408*
      z7*z9z3z3+2154195/34816*z7*z7z5z3-124186716446833143/
      14622962150720*z7^2*z2^4+3444525/95744*z7^2*z5*z3-857030232087/
      438072320*z13*z3*z2^3-54180413871584757057/1570923933905920*z13*
      z5*z2^2-122760869832022969035/6684782697472*z13*z7*z2-
      684247762329/4732745600*z9*z3*z2^5+382725/17408*z9*z7z3*z3-
      143298104822977818993/13745584421676800*z9*z5*z2^4+16040540565/
      137679872*z9*z5^2*z3-546509795255050797/18383152418048*z9*z7*z2^3
      -13395375/95744*z9*z7*z3^2+204524708315761410325401/
      9091304468561920*z9*z13-273375/17408*z9*z7z3z3+164025/8704*z9*
      z5z5z3-1052191513749536805/86902175067136*z9^2*z2^2-2880629644797/
      4818795520*z11*z3*z2^4+76545/8704*z11*z3*z5z3-
      75519118285327736235/3848763638069504*z11*z5*z2^3-382725/4352*z11
      *z5*z3^2-840440080289509191/43451087533568*z11*z7*z2^2-
      2285733942498921524595/86902175067136*z11*z9*z2-76545/8704*z11*
      z5z3z3+2572036759802029139822457/203645220095787008*z11^2;

   F22=0;
  6.86 sec out of 7.00 sec