************************************************************************ * This file contains the list of the results given in the paper * * R. Bonciani, P. Mastrolia, and E. Remiddi * "Master integrals for the 2-loop QCD virtual corrections * to the Forward-Backward Asymmetry" * Nucl. Phys. B 690 (2004) 138-176 published version. * * * The results were obtained by using the symbolic program FORM, by * J. Vermaseren, and are presented as input files for a FORM program. * * The symbols m,x,z2,z3 etc. have the same meaning as in the paper; * the symbols Pk1, Ek2 and P1k12 are respectively D1, D10 and D19 in * the paper; * H(0;x), H(0,1;x), etc. of the paper are written in this file as * H(0,x), H(0,1,x), etc. * * The Laurent-expansions of the Master Integrals follow. * * The r.h.s. of Eq.(12) of the paper is equal to m^2*Topo(2,-3,16897); * the Laurent-expansion of Topo(2,-3,16897) up to order N included follows; * [d-4] stands for (d-4); * the first missing term in the [d-4] expansion is written as * [d-4]^4*Help(16897,4) * id Topo(2,-3,16897) = + [d-4]^-2 * ( - 1/4 ) + [d-4]^-1 * ( + 3/8 + 1/8*H(0,x) + 1/4*H(1,x) ) + 1/16*z2 - 7/16 - 3/16*H(0,x) - 1/16*H(0,0,x) - 1/8*H(0,1,x) - 3/8*H(1,x) - 1/8*H(1,0,x) - 1/4*H(1,1,x) + [d-4] * ( - 3/32*z2 - 1/16*z3 + 15/32 - 1/32*H(0,x)*z2 + 7/32*H(0,x) + 3/32*H(0,0,x) + 1/32*H(0,0,0,x) + 1/16*H(0,0,1,x) + 3/16*H(0,1,x) + 1/16*H(0,1,0,x) + 1/8*H(0,1,1,x) - 1/16*H(1,x)*z2 + 7/16*H(1,x) + 3/16*H(1,0,x) + 1/16*H(1,0,0,x) + 1/8*H(1,0,1,x) + 3/8*H(1,1,x) + 1/8*H(1,1,0,x) + 1/4*H(1,1,1,x) ) + [d-4]^2 * ( + 7/64*z2 + 9/640*z2^2 + 3/32*z3 - 31/64 + 3/64*H(0,x)*z2 + 1/32*H(0,x)*z3 - 15/64*H(0,x) + 1/64*H(0,0,x)*z2 - 7/64*H(0,0,x) - 3/64*H(0,0,0,x) - 1/64*H(0,0,0,0,x) - 1/32*H(0,0,0,1,x) - 3/32*H(0,0,1,x) - 1/32*H(0,0,1,0,x) - 1/16*H(0,0,1,1,x) + 1/32*H(0,1,x)*z2 - 7/32*H(0,1,x) - 3/32*H(0,1,0,x) - 1/32*H(0,1,0,0,x) - 1/16*H(0,1,0,1,x) - 3/16*H(0,1,1,x) - 1/16*H(0,1,1,0,x) - 1/8*H(0,1,1,1,x) + 3/32*H(1,x)*z2 + 1/16*H(1,x)*z3 - 15/32*H(1,x) + 1/32*H(1,0,x)*z2 - 7/32*H(1,0,x) - 3/32*H(1,0,0,x) - 1/32*H(1,0,0,0,x) - 1/16*H(1,0,0,1,x) - 3/16*H(1,0,1,x) - 1/16*H(1,0,1,0,x) - 1/8*H(1,0,1,1,x) + 1/16*H(1,1,x)*z2 - 7/16*H(1,1,x) - 3/16*H(1,1,0,x) - 1/16*H(1,1,0,0,x) - 1/8*H(1,1,0,1,x) - 3/8*H(1,1,1,x) - 1/8*H(1,1,1,0,x) - 1/4*H(1,1,1,1,x) ) + [d-4]^4*Help(16897,4) ; .sort * * The r.h.s. of Eq.(18) is equal to m^2*Topo(2,-3,2051); id Topo(2,-3,2051) = + [d-4]^-1 * ( + 1/32*x^-1 + 1/32*x - 1/16 ) - 13/128*x^-1 - 13/128*x + 13/64 - 1/32*H(0,x)*x^-1 - 1/32*H(0,x)*x + 1/16*H(0,x) - 1/16*H(1,x)*x^-1 - 1/16*H(1,x)*x + 1/8*H(1,x) + [d-4] * ( - 1/64*x^-1*z2 + 115/512*x^-1 - 1/64*x*z2 + 115/512*x + 1/32*z2 - 115/256 + 13/128*H(0,x)*x^-1 + 13/128*H(0,x)*x - 13/64*H(0,x) + 1/32*H(0,0,x)*x^-1 + 1/32*H(0,0,x)*x - 1/16*H(0,0,x) + 1/16*H(0,1,x)*x^-1 + 1/16*H(0,1,x)*x - 1/8*H(0,1,x) + 13/64*H(1,x)*x^-1 + 13/64*H(1,x)*x - 13/32*H(1,x) + 1/16*H(1,0,x)*x^-1 + 1/16*H(1,0,x)*x - 1/8*H(1,0,x) + 1/8*H(1,1,x)*x^-1 + 1/8*H(1,1,x)*x - 1/4*H(1,1,x) ) + [d-4]^2 * ( + 13/256*x^-1*z2 + 5/128*x^-1*z3 - 865/2048*x^-1 + 13/256*x*z2 + 5/128*x*z3 - 865/2048*x - 13/128*z2 - 5/64*z3 + 865/1024 + 1/64*H(0,x)*x^-1*z2 - 115/512*H(0,x)*x^-1 + 1/64*H(0,x)*x*z2 - 115/512*H(0,x)*x - 1/32*H(0,x)*z2 + 115/256*H(0,x) - 13/128*H(0,0,x)*x^-1 - 13/128*H(0,0,x)*x + 13/64*H(0,0,x) - 1/32*H(0,0,0,x)*x^-1 - 1/32*H(0,0,0,x)*x + 1/16*H(0,0,0,x) - 1/16*H(0,0,1,x)*x^-1 - 1/16*H(0,0,1,x)*x + 1/8*H(0,0,1,x) - 13/64*H(0,1,x)*x^-1 - 13/64*H(0,1,x)*x + 13/32*H(0,1,x) - 1/16*H(0,1,0,x)*x^-1 - 1/16*H(0,1,0,x)*x + 1/8*H(0,1,0,x) - 1/8*H(0,1,1,x)*x^-1 - 1/8*H(0,1,1,x)*x + 1/4*H(0,1,1,x) + 1/32*H(1,x)*x^-1*z2 - 115/256*H(1,x)*x^-1 + 1/32*H(1,x)*x*z2 - 115/256*H(1,x)*x - 1/16*H(1,x)*z2 + 115/128*H(1,x) - 13/64*H(1,0,x)*x^-1 - 13/64*H(1,0,x)*x + 13/32*H(1,0,x) - 1/16*H(1,0,0,x)*x^-1 - 1/16*H(1,0,0,x)*x + 1/8*H(1,0,0,x) - 1/8*H(1,0,1,x)*x^-1 - 1/8*H(1,0,1,x)*x + 1/4*H(1,0,1,x) - 13/32*H(1,1,x)*x^-1 - 13/32*H(1,1,x)*x + 13/16*H(1,1,x) - 1/8*H(1,1,0,x)*x^-1 - 1/8*H(1,1,0,x)*x + 1/4*H(1,1,0,x) - 1/4*H(1,1,1,x)*x^-1 - 1/4*H(1,1,1,x)*x + 1/2*H(1,1,1,x) ) + [d-4]^3 * ( - 115/1024*x^-1*z2 - 11/1280*x^-1*z2^2 - 65/512*x^-1*z3 + 5971/8192*x^-1 - 115/1024*x*z2 - 11/1280*x*z2^2 - 65/512*x*z3 + 5971/8192*x + 115/512*z2 + 11/640*z2^2 + 65/256*z3 - 5971/4096 - 13/256*H(0,x)*x^-1*z2 - 5/128*H(0,x)*x^-1*z3 + 865/2048*H(0,x)*x^-1 - 13/256*H(0,x)*x*z2 - 5/128*H(0,x)*x*z3 + 865/2048*H(0,x)*x + 13/128*H(0,x)*z2 + 5/64*H(0,x)*z3 - 865/1024*H(0,x) - 1/64*H(0,0,x)*x^-1*z2 + 115/512*H(0,0,x)*x^-1 - 1/64*H(0,0,x)*x*z2 + 115/512*H(0,0,x)*x + 1/32*H(0,0,x)*z2 - 115/256*H(0,0,x) + 13/128*H(0,0,0,x)*x^-1 + 13/128*H(0,0,0,x)*x - 13/64*H(0,0,0,x) + 1/32*H(0,0,0,0,x)*x^-1 + 1/32*H(0,0,0,0,x)*x - 1/16*H(0,0,0,0,x) + 1/16*H(0,0,0,1,x)*x^-1 + 1/16*H(0,0,0,1,x)*x - 1/8*H(0,0,0,1,x) + 13/64*H(0,0,1,x)*x^-1 + 13/64*H(0,0,1,x)*x - 13/32*H(0,0,1,x) + 1/16*H(0,0,1,0,x)*x^-1 + 1/16*H(0,0,1,0,x)*x - 1/8*H(0,0,1,0,x) + 1/8*H(0,0,1,1,x)*x^-1 + 1/8*H(0,0,1,1,x)*x - 1/4*H(0,0,1,1,x) - 1/32*H(0,1,x)*x^-1*z2 + 115/256*H(0,1,x)*x^-1 - 1/32*H(0,1,x)*x*z2 + 115/256*H(0,1,x)*x + 1/16*H(0,1,x)*z2 - 115/128*H(0,1,x) + 13/64*H(0,1,0,x)*x^-1 + 13/64*H(0,1,0,x)*x - 13/32*H(0,1,0,x) + 1/16*H(0,1,0,0,x)*x^-1 + 1/16*H(0,1,0,0,x)*x - 1/8*H(0,1,0,0,x) + 1/8*H(0,1,0,1,x)*x^-1 + 1/8*H(0,1,0,1,x)*x - 1/4*H(0,1,0,1,x) + 13/32*H(0,1,1,x)*x^-1 + 13/32*H(0,1,1,x)*x - 13/16*H(0,1,1,x) + 1/8*H(0,1,1,0,x)*x^-1 + 1/8*H(0,1,1,0,x)*x - 1/4*H(0,1,1,0,x) + 1/4*H(0,1,1,1,x)*x^-1 + 1/4*H(0,1,1,1,x)*x - 1/2*H(0,1,1,1,x) - 13/128*H(1,x)*x^-1*z2 - 5/64*H(1,x)*x^-1*z3 + 865/1024*H(1,x)*x^-1 - 13/128*H(1,x)*x*z2 - 5/64*H(1,x)*x*z3 + 865/1024*H(1,x)*x + 13/64*H(1,x)*z2 + 5/32*H(1,x)*z3 - 865/512*H(1,x) - 1/32*H(1,0,x)*x^-1*z2 + 115/256*H(1,0,x)*x^-1 - 1/32*H(1,0,x)*x*z2 + 115/256*H(1,0,x)*x + 1/16*H(1,0,x)*z2 - 115/128*H(1,0,x) + 13/64*H(1,0,0,x)*x^-1 + 13/64*H(1,0,0,x)*x - 13/32*H(1,0,0,x) + 1/16*H(1,0,0,0,x)*x^-1 + 1/16*H(1,0,0,0,x)*x - 1/8*H(1,0,0,0,x) + 1/8*H(1,0,0,1,x)*x^-1 + 1/8*H(1,0,0,1,x)*x - 1/4*H(1,0,0,1,x) + 13/32*H(1,0,1,x)*x^-1 + 13/32*H(1,0,1,x)*x - 13/16*H(1,0,1,x) + 1/8*H(1,0,1,0,x)*x^-1 + 1/8*H(1,0,1,0,x)*x - 1/4*H(1,0,1,0,x) + 1/4*H(1,0,1,1,x)*x^-1 + 1/4*H(1,0,1,1,x)*x - 1/2*H(1,0,1,1,x) - 1/16*H(1,1,x)*x^-1*z2 + 115/128*H(1,1,x)*x^-1 - 1/16*H(1,1,x)*x*z2 + 115/128*H(1,1,x)*x + 1/8*H(1,1,x)*z2 - 115/64*H(1,1,x) + 13/32*H(1,1,0,x)*x^-1 + 13/32*H(1,1,0,x)*x - 13/16*H(1,1,0,x) + 1/8*H(1,1,0,0,x)*x^-1 + 1/8*H(1,1,0,0,x)*x - 1/4*H(1,1,0,0,x) + 1/4*H(1,1,0,1,x)*x^-1 + 1/4*H(1,1,0,1,x)*x - 1/2*H(1,1,0,1,x) + 13/16*H(1,1,1,x)*x^-1 + 13/16*H(1,1,1,x)*x - 13/8*H(1,1,1,x) + 1/4*H(1,1,1,0,x)*x^-1 + 1/4*H(1,1,1,0,x)*x - 1/2*H(1,1,1,0,x) + 1/2*H(1,1,1,1,x)*x^-1 + 1/2*H(1,1,1,1,x)*x - H(1,1,1,1,x) ) + [d-4]^4*Help(2051,4) ; .sort * * The r.h.s. of Eq.(24) is equal to Topo(2,-4,1539); id Topo(2,-4,1539) = + [d-4]^-2 * ( + 1/4 ) + [d-4]^-1 * ( - 1/2 - 1/4*H(0,x) - 1/2*H(1,x) ) + 3/4 - 1/8*z2 + 1/2*H(0,x) + 1/4*H(0,0,x) + 1/2*H(0,1,x) + H(1,x) + 1/2*H(1,0,x) + H(1,1,x) + [d-4] * ( - 1 + 1/4*z2 + 1/8*z3 - 3/4*H(0,x) + 1/8*H(0,x)*z2 - 1/2*H(0,0,x) - 1/4*H(0,0,0,x) - 1/2*H(0,0,1,x) - H(0,1,x) - 1/2*H(0,1,0,x) - H(0,1,1,x) - 3/2*H(1,x) + 1/4*H(1,x)*z2 - H(1,0,x) - 1/2*H(1,0,0,x) - H(1,0,1,x) - 2*H(1,1,x) - H(1,1,0,x) - 2*H(1,1,1,x) ) + [d-4]^2 * ( + 5/4 - 3/8*z2 - 1/80*z2^2 - 1/4*z3 + H(0,x) - 1/4*H(0,x)*z2 - 1/8*H(0,x)*z3 + 3/4*H(0,0,x) - 1/8*H(0,0,x)*z2 + 1/2*H(0,0,0,x) + 1/4*H(0,0,0,0,x) + 1/2*H(0,0,0,1,x) + H(0,0,1,x) + 1/2*H(0,0,1,0,x) + H(0,0,1,1,x) + 3/2*H(0,1,x) - 1/4*H(0,1,x)*z2 + H(0,1,0,x) + 1/2*H(0,1,0,0,x) + H(0,1,0,1,x) + 2*H(0,1,1,x) + H(0,1,1,0,x) + 2*H(0,1,1,1,x) + 2*H(1,x) - 1/2*H(1,x)*z2 - 1/4*H(1,x)*z3 + 3/2*H(1,0,x) - 1/4*H(1,0,x)*z2 + H(1,0,0,x) + 1/2*H(1,0,0,0,x) + H(1,0,0,1,x) + 2*H(1,0,1,x) + H(1,0,1,0,x) + 2*H(1,0,1,1,x) + 3*H(1,1,x) - 1/2*H(1,1,x)*z2 + 2*H(1,1,0,x) + H(1,1,0,0,x) + 2*H(1,1,0,1,x) + 4*H(1,1,1,x) + 2*H(1,1,1,0,x) + 4*H(1,1,1,1,x) ) + [d-4]^3*Help(1539,3) ; .sort * * The r.h.s. of Eq.(30) is equal to m^2*Topo(2,-4,8405505); id Topo(2,-4,8405505) = + [d-4]^-2 * ( + 1/4 ) + [d-4]^-1 * ( - 1/2 - 1/4*H(0,x)*[1-x]^-1 - 1/4*H(1,x) ) + 3/4 - 1/8*[1-x]^-1*z2 + 1/2*H(0,x)*[1-x]^-1 + 1/2*H(1,x) - 1/8*H(0,0,x) + 3/8*H(0,0,x)*[1-x]^-1 + 1/8*H(-1,0,x) - 1/4*H(-1,0,x)*[1-x]^-1 + 1/4*H(0,1,x)*[1-x]^-1 + 1/4*H(1,0,x)*[1-x]^-1 + 1/4*H(1,1,x) + [d-4] * ( - 1 + 1/4*[1-x]^-1*z2 + 1/8*[1-x]^-1*z3 + 3/16*H(0,x)*[1-x]^-1*z2 - 3/4*H(0,x)*[1-x]^-1 - 1/16*H(0,x)*z2 - 3/4*H(1,x) + 1/8*H(1,x)*[1-x]^-1*z2 - 1/8*H(-1,x)*[1-x]^-1*z2 + 1/16*H(-1,x)*z2 + 1/4*H(0,0,x) - 3/4*H(0,0,x)*[1-x]^-1 - 1/4*H(-1,0,x) + 1/2*H(-1,0,x)*[1-x]^-1 - 1/2*H(0,1,x)*[1-x]^-1 - 1/2*H(1,0,x)*[1-x]^-1 - 1/2*H(1,1,x) + 3/16*H(0,0,0,x) - 7/16*H(0,0,0,x)*[1-x]^-1 + 1/8*H(-1,-1,0,x) - 1/4*H(-1,-1,0,x)*[1-x]^-1 - 3/16*H(-1,0,0,x) + 3/8*H(-1,0,0,x)*[1-x]^-1 - 1/8*H(-1,0,1,x) + 1/4*H(-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,1,0,x) + 1/4*H(-1,1,0,x)*[1-x]^-1 - 1/8*H(0,-1,0,x) + 1/4*H(0,-1,0,x)*[1-x]^-1 + 1/8*H(0,0,1,x) - 3/8*H(0,0,1,x)*[1-x]^-1 + 1/8*H(0,1,0,x) - 3/8*H(0,1,0,x)*[1-x]^-1 - 1/4*H(0,1,1,x)*[1-x]^-1 - 1/8*H(1,-1,0,x) + 1/4*H(1,-1,0,x)*[1-x]^-1 + 1/8*H(1,0,0,x) - 3/8*H(1,0,0,x)*[1-x]^-1 - 1/4*H(1,0,1,x)*[1-x]^-1 - 1/4*H(1,1,0,x)*[1-x]^-1 - 1/4*H(1,1,1,x) ) + [d-4]^2 * ( + 5/4 - 3/8*[1-x]^-1*z2 + 1/320*[1-x]^-1*z2^2 - 1/4*[1-x]^-1*z3 - 1/64*z2^2 - 3/8*H(0,x)*[1-x]^-1*z2 - 3/16*H(0,x)*[1-x]^-1*z3 + H(0,x)*[1-x]^-1 + 1/8*H(0,x)*z2 + 1/16*H(0,x)*z3 + 1/4*H(-1,x)*[1-x]^-1*z2 + 1/8*H(-1,x)*[1-x]^-1*z3 - 1/8*H(-1,x)*z2 - 1/16*H(-1,x)*z3 + H(1,x) - 1/4*H(1,x)*[1-x]^-1*z2 - 1/8*H(1,x)*[1-x]^-1*z3 - 3/8*H(0,0,x) - 7/32*H(0,0,x)*[1-x]^-1*z2 + 9/8*H(0,0,x)*[1-x]^-1 + 3/32*H(0,0,x)*z2 - 3/16*H(0,1,x)*[1-x]^-1*z2 + 3/4*H(0,1,x)*[1-x]^-1 + 1/16*H(0,1,x)*z2 + 1/8*H(1,-1,x)*[1-x]^-1*z2 - 1/16*H(1,-1,x)*z2 - 3/16*H(1,0,x)*[1-x]^-1*z2 + 3/4*H(1,0,x)*[1-x]^-1 + 1/16*H(1,0,x)*z2 + 3/4*H(1,1,x) - 1/8*H(1,1,x)*[1-x]^-1*z2 + 1/8*H(0,-1,x)*[1-x]^-1*z2 - 1/16*H(0,-1,x)*z2 + 1/8*H(-1,1,x)*[1-x]^-1*z2 - 1/16*H(-1,1,x)*z2 + 3/8*H(-1,0,x) + 3/16*H(-1,0,x)*[1-x]^-1*z2 - 3/4*H(-1,0,x)*[1-x]^-1 - 3/32*H(-1,0,x)*z2 - 1/8*H(-1,-1,x)*[1-x]^-1*z2 + 1/16*H(-1,-1,x)*z2 - 3/8*H(0,0,0,x) + 7/8*H(0,0,0,x)*[1-x]^-1 + 3/8*H(-1,0,0,x) - 3/4*H(-1,0,0,x)*[1-x]^-1 + 1/4*H(-1,0,1,x) - 1/2*H(-1,0,1,x)*[1-x]^-1 + 1/4*H(-1,1,0,x) - 1/2*H(-1,1,0,x)*[1-x]^-1 + 1/4*H(0,-1,0,x) - 1/2*H(0,-1,0,x)*[1-x]^-1 - 1/4*H(0,0,1,x) + 3/4*H(0,0,1,x)*[1-x]^-1 - 1/4*H(0,1,0,x) + 3/4*H(0,1,0,x)*[1-x]^-1 + 1/4*H(1,-1,0,x) - 1/2*H(1,-1,0,x)*[1-x]^-1 - 1/4*H(1,0,0,x) + 3/4*H(1,0,0,x)*[1-x]^-1 + 1/2*H(1,0,1,x)*[1-x]^-1 + 1/2*H(1,1,0,x)*[1-x]^-1 + 1/2*H(1,1,1,x) + 1/8*H(-1,-1,-1,0,x) - 1/4*H(-1,-1,-1,0,x)*[1-x]^-1 - 1/4*H(-1,-1,0,x) + 1/2*H(-1,-1,0,x)*[1-x]^-1 - 7/32*H(0,0,0,0,x) + 15/32*H(0,0,0,0,x)*[1-x]^-1 - 3/16*H(-1,-1,0,0,x) + 3/8*H(-1,-1,0,0,x)*[1-x]^-1 - 1/8*H(-1,-1,0,1,x) + 1/4*H(-1,-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,-1,1,0,x) + 1/4*H(-1,-1,1,0,x)*[1-x]^-1 - 1/8*H(-1,0,-1,0,x) + 1/4*H(-1,0,-1,0,x)*[1-x]^-1 + 7/32*H(-1,0,0,0,x) - 7/16*H(-1,0,0,0,x)*[1-x]^-1 + 3/16*H(-1,0,0,1,x) - 3/8*H(-1,0,0,1,x)*[1-x]^-1 + 3/16*H(-1,0,1,0,x) - 3/8*H(-1,0,1,0,x)*[1-x]^-1 + 1/8*H(-1,0,1,1,x) - 1/4*H(-1,0,1,1,x)*[1-x]^-1 - 1/8*H(-1,1,-1,0,x) + 1/4*H(-1,1,-1,0,x)*[1-x]^-1 + 3/16*H(-1,1,0,0,x) - 3/8*H(-1,1,0,0,x)*[1-x]^-1 + 1/8*H(-1,1,0,1,x) - 1/4*H(-1,1,0,1,x)*[1-x]^-1 + 1/8*H(-1,1,1,0,x) - 1/4*H(-1,1,1,0,x)*[1-x]^-1 - 1/8*H(0,-1,-1,0,x) + 1/4*H(0,-1,-1,0,x)*[1-x]^-1 + 3/16*H(0,-1,0,0,x) - 3/8*H(0,-1,0,0,x)*[1-x]^-1 + 1/8*H(0,-1,0,1,x) - 1/4*H(0,-1,0,1,x)*[1-x]^-1 + 1/8*H(0,-1,1,0,x) - 1/4*H(0,-1,1,0,x)*[1-x]^-1 + 1/8*H(0,0,-1,0,x) - 1/4*H(0,0,-1,0,x)*[1-x]^-1 - 3/16*H(0,0,0,1,x) + 7/16*H(0,0,0,1,x)*[1-x]^-1 - 3/16*H(0,0,1,0,x) + 7/16*H(0,0,1,0,x)*[1-x]^-1 - 1/8*H(0,0,1,1,x) + 3/8*H(0,0,1,1,x)*[1-x]^-1 + 1/8*H(0,1,-1,0,x) - 1/4*H(0,1,-1,0,x)*[1-x]^-1 - 3/16*H(0,1,0,0,x) + 7/16*H(0,1,0,0,x)*[1-x]^-1 - 1/8*H(0,1,0,1,x) + 3/8*H(0,1,0,1,x)*[1-x]^-1 + 1/2*H(0,1,1,x)*[1-x]^-1 - 1/8*H(0,1,1,0,x) + 3/8*H(0,1,1,0,x)*[1-x]^-1 + 1/4*H(0,1,1,1,x)*[1-x]^-1 - 1/8*H(1,-1,-1,0,x) + 1/4*H(1,-1,-1,0,x)*[1-x]^-1 + 3/16*H(1,-1,0,0,x) - 3/8*H(1,-1,0,0,x)*[1-x]^-1 + 1/8*H(1,-1,0,1,x) - 1/4*H(1,-1,0,1,x)*[1-x]^-1 + 1/8*H(1,-1,1,0,x) - 1/4*H(1,-1,1,0,x)*[1-x]^-1 + 1/8*H(1,0,-1,0,x) - 1/4*H(1,0,-1,0,x)*[1-x]^-1 - 3/16*H(1,0,0,0,x) + 7/16*H(1,0,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,1,x) + 3/8*H(1,0,0,1,x)*[1-x]^-1 - 1/8*H(1,0,1,0,x) + 3/8*H(1,0,1,0,x)*[1-x]^-1 + 1/4*H(1,0,1,1,x)*[1-x]^-1 + 1/8*H(1,1,-1,0,x) - 1/4*H(1,1,-1,0,x)*[1-x]^-1 - 1/8*H(1,1,0,0,x) + 3/8*H(1,1,0,0,x)*[1-x]^-1 + 1/4*H(1,1,0,1,x)*[1-x]^-1 + 1/4*H(1,1,1,0,x)*[1-x]^-1 + 1/4*H(1,1,1,1,x) ) + [d-4]^3*Help(8405505,3) ; .sort * * The r.h.s. of Eq.(36) is equal to Topo(2,-4,24624); id Topo(2,-4,24624) = + [d-4]^-1 * ( + 1/4*z2*[1-x]^-1 - 1/4*z2*[x+1]^-1 + 1/16*H(0,0,x)*[1-x]^-1 - 1/16*H(0,0,x)*[x+1]^-1 + 1/8*H(0,1,x)*[1-x]^-1 - 1/8*H(0,1,x)*[x+1]^-1 ) - 1/8*z2*[1-x]^-1 + 1/8*z2*[x+1]^-1 - 5/32*z3*[1-x]^-1 + 5/32*z3*[x+1]^-1 - 1/4*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2*[x+1]^-1 - 1/16*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,x)*[x+1]^-1 + 1/32*H(0,x)*z2*[1-x]^-1 - 1/32*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,0,x)*[1-x]^-1 + 1/32*H(0,0,x)*[x+1]^-1 - 1/32*H(0,0,0,x)*[1-x]^-1 + 1/32*H(0,0,0,x)*[x+1]^-1 - 1/16*H(0,0,1,x)*[1-x]^-1 + 1/16*H(0,0,1,x)*[x+1]^-1 - 1/16*H(0,1,x)*[1-x]^-1 + 1/16*H(0,1,x)*[x+1]^-1 - 1/16*H(0,1,0,x)*[1-x]^-1 + 1/16*H(0,1,0,x)*[x+1]^-1 - 1/8*H(0,1,1,x)*[1-x]^-1 + 1/8*H(0,1,1,x)*[x+1]^-1 - 1/4*H(1,x)*z2*[1-x]^-1 + 1/4*H(1,x)*z2*[x+1]^-1 - 1/16*H(1,0,0,x)*[1-x]^-1 + 1/16*H(1,0,0,x)*[x+1]^-1 - 1/8*H(1,0,1,x)*[1-x]^-1 + 1/8*H(1,0,1,x)*[x+1]^-1 + [d-4] * ( + 1/16*z2*[1-x]^-1 - 1/16*z2*[x+1]^-1 + 59/640*z2^2*[1-x]^-1 - 59/640*z2^2*[x+1]^-1 + 5/64*z3*[1-x]^-1 - 5/64*z3*[x+1]^-1 + 1/8*H(-1,x)*z2*[1-x]^-1 - 1/8*H(-1,x)*z2*[x+1]^-1 + 5/32*H(-1,x)*z3*[1-x]^-1 - 5/32*H(-1,x)*z3*[x+1]^-1 + 1/4*H(-1,-1,x)*z2*[1-x]^-1 - 1/4*H(-1,-1,x)*z2*[x+1]^-1 + 1/16*H(-1,-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,-1,0,1,x)*[x+1]^-1 - 1/32*H(-1,0,x)*z2*[1-x]^-1 + 1/32*H(-1,0,x)*z2*[x+1]^-1 + 1/32*H(-1,0,0,x)*[1-x]^-1 - 1/32*H(-1,0,0,x)*[x+1]^-1 + 1/32*H(-1,0,0,0,x)*[1-x]^-1 - 1/32*H(-1,0,0,0,x)*[x+1]^-1 + 1/16*H(-1,0,0,1,x)*[1-x]^-1 - 1/16*H(-1,0,0,1,x)*[x+1]^-1 + 1/16*H(-1,0,1,x)*[1-x]^-1 - 1/16*H(-1,0,1,x)*[x+1]^-1 + 1/16*H(-1,0,1,0,x)*[1-x]^-1 - 1/16*H(-1,0,1,0,x)*[x+1]^-1 + 1/8*H(-1,0,1,1,x)*[1-x]^-1 - 1/8*H(-1,0,1,1,x)*[x+1]^-1 + 1/4*H(-1,1,x)*z2*[1-x]^-1 - 1/4*H(-1,1,x)*z2*[x+1]^-1 + 1/16*H(-1,1,0,0,x)*[1-x]^-1 - 1/16*H(-1,1,0,0,x)*[x+1]^-1 + 1/8*H(-1,1,0,1,x)*[1-x]^-1 - 1/8*H(-1,1,0,1,x)*[x+1]^-1 - 1/64*H(0,x)*z2*[1-x]^-1 + 1/64*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,x)*z3*[1-x]^-1 + 1/32*H(0,x)*z3*[x+1]^-1 - 1/64*H(0,0,x)*z2*[1-x]^-1 + 1/64*H(0,0,x)*z2*[x+1]^-1 + 1/64*H(0,0,x)*[1-x]^-1 - 1/64*H(0,0,x)*[x+1]^-1 + 1/64*H(0,0,0,x)*[1-x]^-1 - 1/64*H(0,0,0,x)*[x+1]^-1 + 1/64*H(0,0,0,0,x)*[1-x]^-1 - 1/64*H(0,0,0,0,x)*[x+1]^-1 + 1/32*H(0,0,0,1,x)*[1-x]^-1 - 1/32*H(0,0,0,1,x)*[x+1]^-1 + 1/32*H(0,0,1,x)*[1-x]^-1 - 1/32*H(0,0,1,x)*[x+1]^-1 + 1/32*H(0,0,1,0,x)*[1-x]^-1 - 1/32*H(0,0,1,0,x)*[x+1]^-1 + 1/16*H(0,0,1,1,x)*[1-x]^-1 - 1/16*H(0,0,1,1,x)*[x+1]^-1 - 1/32*H(0,1,x)*z2*[1-x]^-1 + 1/32*H(0,1,x)*z2*[x+1]^-1 + 1/32*H(0,1,x)*[1-x]^-1 - 1/32*H(0,1,x)*[x+1]^-1 + 1/32*H(0,1,0,x)*[1-x]^-1 - 1/32*H(0,1,0,x)*[x+1]^-1 + 1/32*H(0,1,0,0,x)*[1-x]^-1 - 1/32*H(0,1,0,0,x)*[x+1]^-1 + 1/16*H(0,1,0,1,x)*[1-x]^-1 - 1/16*H(0,1,0,1,x)*[x+1]^-1 + 1/16*H(0,1,1,x)*[1-x]^-1 - 1/16*H(0,1,1,x)*[x+1]^-1 + 1/16*H(0,1,1,0,x)*[1-x]^-1 - 1/16*H(0,1,1,0,x)*[x+1]^-1 + 1/8*H(0,1,1,1,x)*[1-x]^-1 - 1/8*H(0,1,1,1,x)*[x+1]^-1 + 1/8*H(1,x)*z2*[1-x]^-1 - 1/8*H(1,x)*z2*[x+1]^-1 + 5/32*H(1,x)*z3*[1-x]^-1 - 5/32*H(1,x)*z3*[x+1]^-1 + 1/4*H(1,-1,x)*z2*[1-x]^-1 - 1/4*H(1,-1,x)*z2*[x+1]^-1 + 1/16*H(1,-1,0,0,x)*[1-x]^-1 - 1/16*H(1,-1,0,0,x)*[x+1]^-1 + 1/8*H(1,-1,0,1,x)*[1-x]^-1 - 1/8*H(1,-1,0,1,x)*[x+1]^-1 - 1/32*H(1,0,x)*z2*[1-x]^-1 + 1/32*H(1,0,x)*z2*[x+1]^-1 + 1/32*H(1,0,0,x)*[1-x]^-1 - 1/32*H(1,0,0,x)*[x+1]^-1 + 1/32*H(1,0,0,0,x)*[1-x]^-1 - 1/32*H(1,0,0,0,x)*[x+1]^-1 + 1/16*H(1,0,0,1,x)*[1-x]^-1 - 1/16*H(1,0,0,1,x)*[x+1]^-1 + 1/16*H(1,0,1,x)*[1-x]^-1 - 1/16*H(1,0,1,x)*[x+1]^-1 + 1/16*H(1,0,1,0,x)*[1-x]^-1 - 1/16*H(1,0,1,0,x)*[x+1]^-1 + 1/8*H(1,0,1,1,x)*[1-x]^-1 - 1/8*H(1,0,1,1,x)*[x+1]^-1 + 1/4*H(1,1,x)*z2*[1-x]^-1 - 1/4*H(1,1,x)*z2*[x+1]^-1 + 1/16*H(1,1,0,0,x)*[1-x]^-1 - 1/16*H(1,1,0,0,x)*[x+1]^-1 + 1/8*H(1,1,0,1,x)*[1-x]^-1 - 1/8*H(1,1,0,1,x)*[x+1]^-1 ) + [d-4]^2*Help(24624,2) ; .sort * * The r.h.s. of Eq.(40) is equal to Topo(2,-4,8354); id Topo(2,-4,8354) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 ) + 19/32 - 1/2*z2*[x+1]^-1 + 3/8*z2 + 1/16*H(0,0,x) - 1/8*H(0,0,x)*[x+1]^-1 + 1/8*H(0,1,x) - 1/4*H(0,1,x)*[x+1]^-1 + [d-4] * ( - 65/64 + 5/4*z2*[x+1]^-1 - 15/16*z2 + 7/16*z3*[x+1]^-1 - 11/32*z3 + 1/2*H(-1,x)*z2*[x+1]^-1 - 1/4*H(-1,x)*z2 - 1/16*H(-1,0,0,x) + 1/8*H(-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,x) + 1/4*H(-1,0,1,x)*[x+1]^-1 + 1/16*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,x)*z2 - 5/32*H(0,0,x) + 5/16*H(0,0,x)*[x+1]^-1 - 3/32*H(0,0,0,x) + 3/16*H(0,0,0,x)*[x+1]^-1 - 3/16*H(0,0,1,x) + 3/8*H(0,0,1,x)*[x+1]^-1 - 5/16*H(0,1,x) + 5/8*H(0,1,x)*[x+1]^-1 - 1/8*H(0,1,0,x) + 1/4*H(0,1,0,x)*[x+1]^-1 - 1/4*H(0,1,1,x) + 1/2*H(0,1,1,x)*[x+1]^-1 + H(1,x)*z2*[x+1]^-1 - 1/2*H(1,x)*z2 - 1/8*H(1,0,0,x) + 1/4*H(1,0,0,x)*[x+1]^-1 - 1/4*H(1,0,1,x) + 1/2*H(1,0,1,x)*[x+1]^-1 ) + [d-4]^2 * ( + 211/128 - 19/8*z2*[x+1]^-1 + 57/32*z2 - 139/320*z2^2*[x+1]^-1 + 267/640*z2^2 - 35/32*z3*[x+1]^-1 + 55/64*z3 - 5/4*H(-1,x)*z2*[x+1]^-1 + 5/8*H(-1,x)*z2 - 7/16*H(-1,x)*z3*[x+1]^-1 + 7/32*H(-1,x)*z3 - 1/2*H(-1,-1,x)*z2*[x+1]^-1 + 1/4*H(-1,-1,x)*z2 + 1/16*H(-1,-1,0,0,x) - 1/8*H(-1,-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,-1,0,1,x) - 1/4*H(-1,-1,0,1,x)*[x+1]^-1 - 1/16*H(-1,0,x)*z2*[x+1]^-1 + 1/32*H(-1,0,x)*z2 + 5/32*H(-1,0,0,x) - 5/16*H(-1,0,0,x)*[x+1]^-1 + 3/32*H(-1,0,0,0,x) - 3/16*H(-1,0,0,0,x)*[x+1]^-1 + 3/16*H(-1,0,0,1,x) - 3/8*H(-1,0,0,1,x)*[x+1]^-1 + 5/16*H(-1,0,1,x) - 5/8*H(-1,0,1,x)*[x+1]^-1 + 1/8*H(-1,0,1,0,x) - 1/4*H(-1,0,1,0,x)*[x+1]^-1 + 1/4*H(-1,0,1,1,x) - 1/2*H(-1,0,1,1,x)*[x+1]^-1 - H(-1,1,x)*z2*[x+1]^-1 + 1/2*H(-1,1,x)*z2 + 1/8*H(-1,1,0,0,x) - 1/4*H(-1,1,0,0,x)*[x+1]^-1 + 1/4*H(-1,1,0,1,x) - 1/2*H(-1,1,0,1,x)*[x+1]^-1 - 5/32*H(0,x)*z2*[x+1]^-1 + 5/64*H(0,x)*z2 + 1/16*H(0,x)*z3*[x+1]^-1 - 1/32*H(0,x)*z3 - 1/4*H(0,-1,x)*z2*[x+1]^-1 + 1/8*H(0,-1,x)*z2 + 1/32*H(0,-1,0,0,x) - 1/16*H(0,-1,0,0,x)*[x+1]^-1 + 1/16*H(0,-1,0,1,x) - 1/8*H(0,-1,0,1,x)*[x+1]^-1 + 19/64*H(0,0,x) + 1/32*H(0,0,x)*z2*[x+1]^-1 - 1/64*H(0,0,x)*z2 - 19/32*H(0,0,x)*[x+1]^-1 + 15/64*H(0,0,0,x) - 15/32*H(0,0,0,x)*[x+1]^-1 + 7/64*H(0,0,0,0,x) - 7/32*H(0,0,0,0,x)*[x+1]^-1 + 7/32*H(0,0,0,1,x) - 7/16*H(0,0,0,1,x)*[x+1]^-1 + 15/32*H(0,0,1,x) - 15/16*H(0,0,1,x)*[x+1]^-1 + 3/16*H(0,0,1,0,x) - 3/8*H(0,0,1,0,x)*[x+1]^-1 + 3/8*H(0,0,1,1,x) - 3/4*H(0,0,1,1,x)*[x+1]^-1 + 19/32*H(0,1,x) - 3/8*H(0,1,x)*z2*[x+1]^-1 + 3/16*H(0,1,x)*z2 - 19/16*H(0,1,x)*[x+1]^-1 + 5/16*H(0,1,0,x) - 5/8*H(0,1,0,x)*[x+1]^-1 + 3/16*H(0,1,0,0,x) - 3/8*H(0,1,0,0,x)*[x+1]^-1 + 3/8*H(0,1,0,1,x) - 3/4*H(0,1,0,1,x)*[x+1]^-1 + 5/8*H(0,1,1,x) - 5/4*H(0,1,1,x)*[x+1]^-1 + 1/4*H(0,1,1,0,x) - 1/2*H(0,1,1,0,x)*[x+1]^-1 + 1/2*H(0,1,1,1,x) - H(0,1,1,1,x)*[x+1]^-1 - 5/2*H(1,x)*z2*[x+1]^-1 + 5/4*H(1,x)*z2 - 7/8*H(1,x)*z3*[x+1]^-1 + 7/16*H(1,x)*z3 - H(1,-1,x)*z2*[x+1]^-1 + 1/2*H(1,-1,x)*z2 + 1/8*H(1,-1,0,0,x) - 1/4*H(1,-1,0,0,x)*[x+1]^-1 + 1/4*H(1,-1,0,1,x) - 1/2*H(1,-1,0,1,x)*[x+1]^-1 - 1/8*H(1,0,x)*z2*[x+1]^-1 + 1/16*H(1,0,x)*z2 + 5/16*H(1,0,0,x) - 5/8*H(1,0,0,x)*[x+1]^-1 + 3/16*H(1,0,0,0,x) - 3/8*H(1,0,0,0,x)*[x+1]^-1 + 3/8*H(1,0,0,1,x) - 3/4*H(1,0,0,1,x)*[x+1]^-1 + 5/8*H(1,0,1,x) - 5/4*H(1,0,1,x)*[x+1]^-1 + 1/4*H(1,0,1,0,x) - 1/2*H(1,0,1,0,x)*[x+1]^-1 + 1/2*H(1,0,1,1,x) - H(1,0,1,1,x)*[x+1]^-1 - 2*H(1,1,x)*z2*[x+1]^-1 + H(1,1,x)*z2 + 1/4*H(1,1,0,0,x) - 1/2*H(1,1,0,0,x)*[x+1]^-1 + 1/2*H(1,1,0,1,x) - H(1,1,0,1,x)*[x+1]^-1 ) + [d-4]^4*Help(8354,4) ; .sort * * The r.h.s. of Eq.(46) is equal to Topo(2,-4,16769); id Topo(2,-4,16769) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 - 1/8*H(0,x) - 1/4*H(1,x) ) + 19/32 + 1/4*z2*[x+1]^-1 - 1/4*z2 - 1/16*z3*[1-x]^-1 + 1/16*z3*[x+1]^-1 + 5/16*H(0,x) + 1/16*H(0,x)*z2*[1-x]^-1 - 1/16*H(0,x)*z2*[x+1]^-1 + 1/16*H(0,0,x) + 1/16*H(0,0,x)*[x+1]^-1 + 1/32*H(0,0,0,x)*[1-x]^-1 - 1/32*H(0,0,0,x)*[x+1]^-1 + 1/16*H(0,0,1,x)*[1-x]^-1 - 1/16*H(0,0,1,x)*[x+1]^-1 + 1/8*H(0,1,x) + 1/8*H(0,1,x)*[x+1]^-1 + 1/16*H(0,1,0,x)*[1-x]^-1 - 1/16*H(0,1,0,x)*[x+1]^-1 + 1/8*H(0,1,1,x)*[1-x]^-1 - 1/8*H(0,1,1,x)*[x+1]^-1 + 5/8*H(1,x) + 3/16*H(1,0,x) + 3/8*H(1,1,x) + [d-4] * ( - 65/64 - 5/8*z2*[x+1]^-1 + 5/8*z2 + 1/10*z2^2*[1-x]^-1 - 1/10*z2^2*[x+1]^-1 + 1/32*z3*[1-x]^-1 - 5/16*z3*[x+1]^-1 + 13/32*z3 - 1/4*H(-1,x)*z2*[x+1]^-1 + 1/8*H(-1,x)*z2 + 1/16*H(-1,x)*z3*[1-x]^-1 - 1/16*H(-1,x)*z3*[x+1]^-1 - 1/16*H(-1,0,x)*z2*[1-x]^-1 + 1/16*H(-1,0,x)*z2*[x+1]^-1 + 1/32*H(-1,0,0,x) - 1/16*H(-1,0,0,x)*[x+1]^-1 - 1/32*H(-1,0,0,0,x)*[1-x]^-1 + 1/32*H(-1,0,0,0,x)*[x+1]^-1 - 1/16*H(-1,0,0,1,x)*[1-x]^-1 + 1/16*H(-1,0,0,1,x)*[x+1]^-1 + 1/16*H(-1,0,1,x) - 1/8*H(-1,0,1,x)*[x+1]^-1 - 1/16*H(-1,0,1,0,x)*[1-x]^-1 + 1/16*H(-1,0,1,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,1,x)*[x+1]^-1 - 19/32*H(0,x) - 1/32*H(0,x)*z2*[1-x]^-1 + 1/16*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,x)*z2 + 3/64*H(0,x)*z3*[1-x]^-1 - 3/64*H(0,x)*z3*[x+1]^-1 - 5/32*H(0,0,x) - 1/64*H(0,0,x)*z2*[1-x]^-1 + 1/64*H(0,0,x)*z2*[x+1]^-1 - 5/32*H(0,0,x)*[x+1]^-1 - 1/16*H(0,0,0,x) - 1/64*H(0,0,0,x)*[1-x]^-1 - 3/64*H(0,0,0,x)*[x+1]^-1 - 3/64*H(0,0,0,0,x)*[1-x]^-1 + 3/64*H(0,0,0,0,x)*[x+1]^-1 - 3/32*H(0,0,0,1,x)*[1-x]^-1 + 3/32*H(0,0,0,1,x)*[x+1]^-1 - 1/8*H(0,0,1,x) - 1/32*H(0,0,1,x)*[1-x]^-1 - 3/32*H(0,0,1,x)*[x+1]^-1 - 1/16*H(0,0,1,0,x)*[1-x]^-1 + 1/16*H(0,0,1,0,x)*[x+1]^-1 - 1/8*H(0,0,1,1,x)*[1-x]^-1 + 1/8*H(0,0,1,1,x)*[x+1]^-1 - 5/16*H(0,1,x) + 1/32*H(0,1,x)*z2*[1-x]^-1 - 1/32*H(0,1,x)*z2*[x+1]^-1 - 5/16*H(0,1,x)*[x+1]^-1 - 1/8*H(0,1,0,x) - 1/32*H(0,1,0,x)*[1-x]^-1 - 1/32*H(0,1,0,x)*[x+1]^-1 - 3/32*H(0,1,0,0,x)*[1-x]^-1 + 3/32*H(0,1,0,0,x)*[x+1]^-1 - 3/16*H(0,1,0,1,x)*[1-x]^-1 + 3/16*H(0,1,0,1,x)*[x+1]^-1 - 1/4*H(0,1,1,x) - 1/16*H(0,1,1,x)*[1-x]^-1 - 1/16*H(0,1,1,x)*[x+1]^-1 - 3/16*H(0,1,1,0,x)*[1-x]^-1 + 3/16*H(0,1,1,0,x)*[x+1]^-1 - 3/8*H(0,1,1,1,x)*[1-x]^-1 + 3/8*H(0,1,1,1,x)*[x+1]^-1 - 19/16*H(1,x) - 1/2*H(1,x)*z2*[x+1]^-1 + 11/32*H(1,x)*z2 - 15/32*H(1,0,x) - 3/32*H(1,0,0,x) - 1/8*H(1,0,0,x)*[x+1]^-1 - 3/16*H(1,0,1,x) - 1/4*H(1,0,1,x)*[x+1]^-1 - 15/16*H(1,1,x) - 5/16*H(1,1,0,x) - 5/8*H(1,1,1,x) ) + [d-4]^2*Help(16769,2,1) ; .sort * * The r.h.s. of Eq.(47) is equal to m^2*Topo(2,-4,16769)*p1.k1; id Topo(2,-4,16769)*p1.k1 = + [d-4]^-2 * ( - 1/32 - 1/64*x^-1 - 1/64*x ) + [d-4]^-1 * ( + 9/128 + 9/256*x^-1 + 9/256*x + 1/32*H(0,x) + 1/64*H(0,x)*x^-1 + 1/64*H(0,x)*x + 1/16*H(1,x) + 1/32*H(1,x)*x^-1 + 1/32*H(1,x)*x ) - 63/512 - 63/1024*x^-1 + 1/32*x*z2 - 63/1024*x + 1/8*z2*[x+1]^-1 - 1/64*z2 + 1/64*z3*[1-x]^-1 - 1/64*z3*[x+1]^-1 - 5/128*H(0,x) - 9/256*H(0,x)*x^-1 - 9/256*H(0,x)*x - 1/64*H(0,x)*z2*[1-x]^-1 + 1/64*H(0,x)*z2*[x+1]^-1 - 1/32*H(0,0,x) - 1/64*H(0,0,x)*x^-1 - 1/128*H(0,0,x)*x + 1/32*H(0,0,x)*[x+1]^-1 - 1/128*H(0,0,0,x)*[1-x]^-1 + 1/128*H(0,0,0,x)*[x+1]^-1 - 1/64*H(0,0,1,x)*[1-x]^-1 + 1/64*H(0,0,1,x)*[x+1]^-1 - 1/16*H(0,1,x) - 1/32*H(0,1,x)*x^-1 - 1/64*H(0,1,x)*x + 1/16*H(0,1,x)*[x+1]^-1 - 1/64*H(0,1,0,x)*[1-x]^-1 + 1/64*H(0,1,0,x)*[x+1]^-1 - 1/32*H(0,1,1,x)*[1-x]^-1 + 1/32*H(0,1,1,x)*[x+1]^-1 - 5/64*H(1,x) - 9/128*H(1,x)*x^-1 - 9/128*H(1,x)*x - 1/32*H(1,0,x) - 3/128*H(1,0,x)*x^-1 - 3/128*H(1,0,x)*x - 1/16*H(1,1,x) - 3/64*H(1,1,x)*x^-1 - 3/64*H(1,1,x)*x + [d-4] * ( + 405/2048 - 1/64*x^-1*z3 + 405/4096*x^-1 - 9/128*x*z2 - 13/256*x*z3 + 405/4096*x - 1/4*z2*[x+1]^-1 + 23/256*z2 - 1/40*z2^2*[1-x]^-1 + 1/40*z2^2*[x+1]^-1 + 1/256*z3*[1-x]^-1 - 29/256*z3*[x+1]^-1 + 1/128*z3 + 1/64*H(-1,x)*x^-1*z2 - 1/64*H(-1,x)*x*z2 - 1/8*H(-1,x)*z2*[x+1]^-1 + 1/16*H(-1,x)*z2 - 1/64*H(-1,x)*z3*[1-x]^-1 + 1/64*H(-1,x)*z3*[x+1]^-1 + 1/64*H(-1,0,x)*z2*[1-x]^-1 - 1/64*H(-1,0,x)*z2*[x+1]^-1 + 1/64*H(-1,0,0,x) + 1/256*H(-1,0,0,x)*x^-1 - 1/256*H(-1,0,0,x)*x - 1/32*H(-1,0,0,x)*[x+1]^-1 + 1/128*H(-1,0,0,0,x)*[1-x]^-1 - 1/128*H(-1,0,0,0,x)*[x+1]^-1 + 1/64*H(-1,0,0,1,x)*[1-x]^-1 - 1/64*H(-1,0,0,1,x)*[x+1]^-1 + 1/32*H(-1,0,1,x) + 1/128*H(-1,0,1,x)*x^-1 - 1/128*H(-1,0,1,x)*x - 1/16*H(-1,0,1,x)*[x+1]^-1 + 1/64*H(-1,0,1,0,x)*[1-x]^-1 - 1/64*H(-1,0,1,0,x)*[x+1]^-1 + 1/32*H(-1,0,1,1,x)*[1-x]^-1 - 1/32*H(-1,0,1,1,x)*[x+1]^-1 + 15/512*H(0,x) + 63/1024*H(0,x)*x^-1 + 1/256*H(0,x)*x*z2 + 63/1024*H(0,x)*x - 1/256*H(0,x)*z2*[1-x]^-1 - 3/256*H(0,x)*z2*[x+1]^-1 - 3/256*H(0,x)*z3*[1-x]^-1 + 3/256*H(0,x)*z3*[x+1]^-1 + 3/64*H(0,0,x) + 9/256*H(0,0,x)*x^-1 + 9/512*H(0,0,x)*x + 1/256*H(0,0,x)*z2*[1-x]^-1 - 1/256*H(0,0,x)*z2*[x+1]^-1 - 1/16*H(0,0,x)*[x+1]^-1 + 1/32*H(0,0,0,x) + 1/64*H(0,0,0,x)*x^-1 + 1/128*H(0,0,0,x)*x - 1/512*H(0,0,0,x)*[1-x]^-1 - 23/512*H(0,0,0,x)*[x+1]^-1 + 3/256*H(0,0,0,0,x)*[1-x]^-1 - 3/256*H(0,0,0,0,x)*[x+1]^-1 + 3/128*H(0,0,0,1,x)*[1-x]^-1 - 3/128*H(0,0,0,1,x)*[x+1]^-1 + 1/16*H(0,0,1,x) + 1/32*H(0,0,1,x)*x^-1 + 1/64*H(0,0,1,x)*x - 1/256*H(0,0,1,x)*[1-x]^-1 - 23/256*H(0,0,1,x)*[x+1]^-1 + 1/64*H(0,0,1,0,x)*[1-x]^-1 - 1/64*H(0,0,1,0,x)*[x+1]^-1 + 1/32*H(0,0,1,1,x)*[1-x]^-1 - 1/32*H(0,0,1,1,x)*[x+1]^-1 + 3/32*H(0,1,x) + 9/128*H(0,1,x)*x^-1 + 9/256*H(0,1,x)*x - 1/128*H(0,1,x)*z2*[1-x]^-1 + 1/128*H(0,1,x)*z2*[x+1]^-1 - 1/8*H(0,1,x)*[x+1]^-1 + 3/64*H(0,1,0,x) + 3/128*H(0,1,0,x)*x^-1 + 1/64*H(0,1,0,x)*x - 1/256*H(0,1,0,x)*[1-x]^-1 - 15/256*H(0,1,0,x)*[x+1]^-1 + 3/128*H(0,1,0,0,x)*[1-x]^-1 - 3/128*H(0,1,0,0,x)*[x+1]^-1 + 3/64*H(0,1,0,1,x)*[1-x]^-1 - 3/64*H(0,1,0,1,x)*[x+1]^-1 + 3/32*H(0,1,1,x) + 3/64*H(0,1,1,x)*x^-1 + 1/32*H(0,1,1,x)*x - 1/128*H(0,1,1,x)*[1-x]^-1 - 15/128*H(0,1,1,x)*[x+1]^-1 + 3/64*H(0,1,1,0,x)*[1-x]^-1 - 3/64*H(0,1,1,0,x)*[x+1]^-1 + 3/32*H(0,1,1,1,x)*[1-x]^-1 - 3/32*H(0,1,1,1,x)*[x+1]^-1 + 15/256*H(1,x) + 5/256*H(1,x)*x^-1*z2 + 63/512*H(1,x)*x^-1 - 11/256*H(1,x)*x*z2 + 63/512*H(1,x)*x - 1/4*H(1,x)*z2*[x+1]^-1 + 7/64*H(1,x)*z2 + 1/32*H(1,0,x) + 27/512*H(1,0,x)*x^-1 + 27/512*H(1,0,x)*x + 3/64*H(1,0,0,x) + 7/256*H(1,0,0,x)*x^-1 + 3/256*H(1,0,0,x)*x - 1/16*H(1,0,0,x)*[x+1]^-1 + 3/32*H(1,0,1,x) + 7/128*H(1,0,1,x)*x^-1 + 3/128*H(1,0,1,x)*x - 1/8*H(1,0,1,x)*[x+1]^-1 + 1/16*H(1,1,x) + 27/256*H(1,1,x)*x^-1 + 27/256*H(1,1,x)*x + 1/32*H(1,1,0,x) + 5/128*H(1,1,0,x)*x^-1 + 5/128*H(1,1,0,x)*x + 1/16*H(1,1,1,x) + 5/64*H(1,1,1,x)*x^-1 + 5/64*H(1,1,1,x)*x ) + [d-4]^2*Help(16769,2,2) ; .sort * * The r.h.s. of Eq.(48) is equal to (1/m^2)*Topo(2,-4,16769)/Pk1; id Topo(2,-4,16769)/Pk1 = + [d-4]^-1 * ( + 1/4*z2*[1-x]^-1 - 1/4*z2*[x+1]^-1 + 1/16*H(0,0,x)*[1-x]^-1 - 1/16*H(0,0,x)*[x+1]^-1 + 1/8*H(0,1,x)*[1-x]^-1 - 1/8*H(0,1,x)*[x+1]^-1 ) - 9/32*z3*[1-x]^-1 + 9/32*z3*[x+1]^-1 - 1/4*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2*[x+1]^-1 - 1/16*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,x)*[x+1]^-1 + 1/32*H(0,x)*z2*[1-x]^-1 - 1/32*H(0,x)*z2*[x+1]^-1 - 1/16*H(0,0,0,x)*[1-x]^-1 + 1/16*H(0,0,0,x)*[x+1]^-1 - 1/8*H(0,0,1,x)*[1-x]^-1 + 1/8*H(0,0,1,x)*[x+1]^-1 - 1/16*H(0,1,0,x)*[1-x]^-1 + 1/16*H(0,1,0,x)*[x+1]^-1 - 1/8*H(0,1,1,x)*[1-x]^-1 + 1/8*H(0,1,1,x)*[x+1]^-1 - 1/2*H(1,x)*z2*[1-x]^-1 + 1/2*H(1,x)*z2*[x+1]^-1 - 1/8*H(1,0,0,x)*[1-x]^-1 + 1/8*H(1,0,0,x)*[x+1]^-1 - 1/4*H(1,0,1,x)*[1-x]^-1 + 1/4*H(1,0,1,x)*[x+1]^-1 + [d-4] * ( + 287/640*z2^2*[1-x]^-1 - 287/640*z2^2*[x+1]^-1 + 9/32*H(-1,x)*z3*[1-x]^-1 - 9/32*H(-1,x)*z3*[x+1]^-1 + 1/4*H(-1,-1,x)*z2*[1-x]^-1 - 1/4*H(-1,-1,x)*z2*[x+1]^-1 + 1/16*H(-1,-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,-1,0,1,x)*[x+1]^-1 - 1/32*H(-1,0,x)*z2*[1-x]^-1 + 1/32*H(-1,0,x)*z2*[x+1]^-1 + 1/16*H(-1,0,0,0,x)*[1-x]^-1 - 1/16*H(-1,0,0,0,x)*[x+1]^-1 + 1/8*H(-1,0,0,1,x)*[1-x]^-1 - 1/8*H(-1,0,0,1,x)*[x+1]^-1 + 1/16*H(-1,0,1,0,x)*[1-x]^-1 - 1/16*H(-1,0,1,0,x)*[x+1]^-1 + 1/8*H(-1,0,1,1,x)*[1-x]^-1 - 1/8*H(-1,0,1,1,x)*[x+1]^-1 + 1/2*H(-1,1,x)*z2*[1-x]^-1 - 1/2*H(-1,1,x)*z2*[x+1]^-1 + 1/8*H(-1,1,0,0,x)*[1-x]^-1 - 1/8*H(-1,1,0,0,x)*[x+1]^-1 + 1/4*H(-1,1,0,1,x)*[1-x]^-1 - 1/4*H(-1,1,0,1,x)*[x+1]^-1 - 3/64*H(0,x)*z3*[1-x]^-1 + 3/64*H(0,x)*z3*[x+1]^-1 + 1/8*H(0,-1,x)*z2*[1-x]^-1 - 1/8*H(0,-1,x)*z2*[x+1]^-1 + 1/32*H(0,-1,0,0,x)*[1-x]^-1 - 1/32*H(0,-1,0,0,x)*[x+1]^-1 + 1/16*H(0,-1,0,1,x)*[1-x]^-1 - 1/16*H(0,-1,0,1,x)*[x+1]^-1 + 1/16*H(0,0,0,0,x)*[1-x]^-1 - 1/16*H(0,0,0,0,x)*[x+1]^-1 + 1/8*H(0,0,0,1,x)*[1-x]^-1 - 1/8*H(0,0,0,1,x)*[x+1]^-1 + 3/32*H(0,0,1,0,x)*[1-x]^-1 - 3/32*H(0,0,1,0,x)*[x+1]^-1 + 3/16*H(0,0,1,1,x)*[1-x]^-1 - 3/16*H(0,0,1,1,x)*[x+1]^-1 + 7/32*H(0,1,x)*z2*[1-x]^-1 - 7/32*H(0,1,x)*z2*[x+1]^-1 + 3/32*H(0,1,0,0,x)*[1-x]^-1 - 3/32*H(0,1,0,0,x)*[x+1]^-1 + 3/16*H(0,1,0,1,x)*[1-x]^-1 - 3/16*H(0,1,0,1,x)*[x+1]^-1 + 1/16*H(0,1,1,0,x)*[1-x]^-1 - 1/16*H(0,1,1,0,x)*[x+1]^-1 + 1/8*H(0,1,1,1,x)*[1-x]^-1 - 1/8*H(0,1,1,1,x)*[x+1]^-1 + 1/2*H(1,x)*z3*[1-x]^-1 - 1/2*H(1,x)*z3*[x+1]^-1 + 1/2*H(1,-1,x)*z2*[1-x]^-1 - 1/2*H(1,-1,x)*z2*[x+1]^-1 + 1/8*H(1,-1,0,0,x)*[1-x]^-1 - 1/8*H(1,-1,0,0,x)*[x+1]^-1 + 1/4*H(1,-1,0,1,x)*[1-x]^-1 - 1/4*H(1,-1,0,1,x)*[x+1]^-1 + 5/32*H(1,0,0,0,x)*[1-x]^-1 - 5/32*H(1,0,0,0,x)*[x+1]^-1 + 5/16*H(1,0,0,1,x)*[1-x]^-1 - 5/16*H(1,0,0,1,x)*[x+1]^-1 + 3/16*H(1,0,1,0,x)*[1-x]^-1 - 3/16*H(1,0,1,0,x)*[x+1]^-1 + 3/8*H(1,0,1,1,x)*[1-x]^-1 - 3/8*H(1,0,1,1,x)*[x+1]^-1 + H(1,1,x)*z2*[1-x]^-1 - H(1,1,x)*z2*[x+1]^-1 + 1/4*H(1,1,0,0,x)*[1-x]^-1 - 1/4*H(1,1,0,0,x)*[x+1]^-1 + 1/2*H(1,1,0,1,x)*[1-x]^-1 - 1/2*H(1,1,0,1,x)*[x+1]^-1 ) + [d-4]^2*Help(16769,2,3) ; .sort * * The r.h.s. of Eq.(60) is equal to Topo(2,-4,3162113); id Topo(2,-4,3162113) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 + 1/8*H(0,x) - 1/4*H(0,x)*[1-x]^-1 ) + 19/32 + 1/4*z3*[1-x]^-2 - 1/4*z3*[1-x]^-1 + 1/8*H(-1,0,x) - 1/4*H(-1,0,x)*[1-x]^-1 - 5/16*H(0,x) + 1/8*H(0,x)*z2*[1-x]^-2 - 1/8*H(0,x)*z2*[1-x]^-1 + 5/8*H(0,x)*[1-x]^-1 - 1/16*H(0,0,x) + 3/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,0,x)*[1-x]^-2 - 1/16*H(0,0,0,x)*[1-x]^-1 + 1/8*H(0,1,0,x)*[1-x]^-2 - 1/8*H(0,1,0,x)*[1-x]^-1 - 1/16*H(1,0,x) + 1/8*H(1,0,x)*[1-x]^-1 + [d-4] * ( - 65/64 + 11/80*z2^2*[1-x]^-2 - 11/80*z2^2*[1-x]^-1 - 1/8*z3*[1-x]^-2 + 7/32*z3*[1-x]^-1 + 1/32*z3 + 1/8*H(-1,-1,0,x) - 1/4*H(-1,-1,0,x)*[1-x]^-1 - 5/16*H(-1,0,x) + 5/8*H(-1,0,x)*[1-x]^-1 - 3/32*H(-1,0,0,x) + 3/16*H(-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,1,0,x) + 1/8*H(-1,1,0,x)*[1-x]^-1 + 19/32*H(0,x) - 1/16*H(0,x)*z2*[1-x]^-2 + 1/32*H(0,x)*z2*[1-x]^-1 + 1/32*H(0,x)*z2 + 3/32*H(0,x)*z3*[1-x]^-2 - 3/32*H(0,x)*z3*[1-x]^-1 - 19/16*H(0,x)*[1-x]^-1 + 1/8*H(0,-1,x)*z2*[1-x]^-2 - 1/8*H(0,-1,x)*z2*[1-x]^-1 - 1/16*H(0,-1,0,x) + 3/16*H(0,-1,0,x)*[1-x]^-1 + 1/16*H(0,-1,0,0,x)*[1-x]^-2 - 1/16*H(0,-1,0,0,x)*[1-x]^-1 + 1/8*H(0,-1,1,0,x)*[1-x]^-2 - 1/8*H(0,-1,1,0,x)*[1-x]^-1 + 5/32*H(0,0,x) - 1/32*H(0,0,x)*z2*[1-x]^-2 + 1/32*H(0,0,x)*z2*[1-x]^-1 - 15/32*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,-1,0,x)*[1-x]^-2 - 1/16*H(0,0,-1,0,x)*[1-x]^-1 + 1/16*H(0,0,0,x) - 1/32*H(0,0,0,x)*[1-x]^-2 - 5/32*H(0,0,0,x)*[1-x]^-1 - 3/32*H(0,0,0,0,x)*[1-x]^-2 + 3/32*H(0,0,0,0,x)*[1-x]^-1 - 1/16*H(0,0,1,0,x)*[1-x]^-2 + 1/16*H(0,0,1,0,x)*[1-x]^-1 - 1/16*H(0,1,x)*z2*[1-x]^-2 + 1/16*H(0,1,x)*z2*[1-x]^-1 + 1/8*H(0,1,-1,0,x)*[1-x]^-2 - 1/8*H(0,1,-1,0,x)*[1-x]^-1 + 1/16*H(0,1,0,x) - 1/16*H(0,1,0,x)*[1-x]^-2 - 1/16*H(0,1,0,x)*[1-x]^-1 - 1/8*H(0,1,0,0,x)*[1-x]^-2 + 1/8*H(0,1,0,0,x)*[1-x]^-1 - 1/8*H(0,1,1,0,x)*[1-x]^-2 + 1/8*H(0,1,1,0,x)*[1-x]^-1 - 1/16*H(1,x)*z2*[1-x]^-1 + 1/32*H(1,x)*z2 + 1/4*H(1,x)*z3*[1-x]^-2 - 1/4*H(1,x)*z3*[1-x]^-1 - 1/16*H(1,-1,0,x) + 1/8*H(1,-1,0,x)*[1-x]^-1 + 5/32*H(1,0,x) + 1/8*H(1,0,x)*z2*[1-x]^-2 - 1/8*H(1,0,x)*z2*[1-x]^-1 - 5/16*H(1,0,x)*[1-x]^-1 + 1/32*H(1,0,0,x) - 1/8*H(1,0,0,x)*[1-x]^-1 + 1/16*H(1,0,0,0,x)*[1-x]^-2 - 1/16*H(1,0,0,0,x)*[1-x]^-1 + 1/8*H(1,0,1,0,x)*[1-x]^-2 - 1/8*H(1,0,1,0,x)*[1-x]^-1 + 1/16*H(1,1,0,x) - 1/8*H(1,1,0,x)*[1-x]^-1 ) + [d-4]^2*Help(3162113,2,1) ; .sort * * The r.h.s. of Eq.(61) is equal to m^2*Topo(2,-4,3162113)*k1.k2; id Topo(2,-4,3162113)*k1.k2 = + [d-4]^-2 * ( - 1/16 + 1/32*x^-1 + 1/32*x ) + [d-4]^-1 * ( + 9/64 - 9/128*x^-1 - 9/128*x - 1/16*H(0,x) - 1/32*H(0,x)*x^-1 + 1/8*H(0,x)*[1-x]^-1 + 1/32*H(0,x)*x ) - 71/256 + 63/512*x^-1 - 1/8*[1-x]^-2*z3 + 1/8*[1-x]^-1*z3 + 63/512*x - 1/16*H(-1,0,x) - 1/32*H(-1,0,x)*x^-1 + 1/8*H(-1,0,x)*[1-x]^-1 + 1/32*H(-1,0,x)*x + 1/8*H(0,x) + 9/128*H(0,x)*x^-1 - 1/16*H(0,x)*[1-x]^-2*z2 - 1/4*H(0,x)*[1-x]^-1 + 1/16*H(0,x)*[1-x]^-1*z2 - 9/128*H(0,x)*x + 1/32*H(0,0,x) + 1/32*H(0,0,x)*x^-1 - 3/32*H(0,0,x)*[1-x]^-1 - 1/64*H(0,0,x)*x - 1/32*H(0,0,0,x)*[1-x]^-2 + 1/32*H(0,0,0,x)*[1-x]^-1 - 1/16*H(0,1,0,x)*[1-x]^-2 + 1/16*H(0,1,0,x)*[1-x]^-1 + 1/32*H(1,0,x) + 1/64*H(1,0,x)*x^-1 - 1/16*H(1,0,x)*[1-x]^-1 - 1/64*H(1,0,x)*x + [d-4] * ( + 525/1024 - 405/2048*x^-1 + 1/32*x^-1*z3 - 11/160*[1-x]^-2*z2^2 + 1/32*[1-x]^-2*z3 + 1/64*[1-x]^-1*z2 + 11/160*[1-x]^-1*z2^2 - 5/64*[1-x]^-1*z3 - 1/128*z2 - 1/64*z3 - 405/2048*x + 1/128*x*z3 - 1/16*H(-1,-1,0,x) - 1/32*H(-1,-1,0,x)*x^-1 + 1/8*H(-1,-1,0,x)*[1-x]^-1 + 1/32*H(-1,-1,0,x)*x + 1/8*H(-1,0,x) + 9/128*H(-1,0,x)*x^-1 - 1/4*H(-1,0,x)*[1-x]^-1 - 9/128*H(-1,0,x)*x + 3/64*H(-1,0,0,x) + 3/128*H(-1,0,0,x)*x^-1 - 3/32*H(-1,0,0,x)*[1-x]^-1 - 3/128*H(-1,0,0,x)*x + 1/32*H(-1,1,0,x) + 1/64*H(-1,1,0,x)*x^-1 - 1/16*H(-1,1,0,x)*[1-x]^-1 - 1/64*H(-1,1,0,x)*x - 27/128*H(0,x) - 63/512*H(0,x)*x^-1 + 1/64*H(0,x)*[1-x]^-2*z2 - 3/64*H(0,x)*[1-x]^-2*z3 + 27/64*H(0,x)*[1-x]^-1 + 3/64*H(0,x)*[1-x]^-1*z3 - 1/64*H(0,x)*z2 + 63/512*H(0,x)*x + 1/128*H(0,x)*x*z2 - 1/16*H(0,-1,x)*[1-x]^-2*z2 + 1/16*H(0,-1,x)*[1-x]^-1*z2 + 1/32*H(0,-1,0,x) + 1/32*H(0,-1,0,x)*x^-1 - 3/32*H(0,-1,0,x)*[1-x]^-1 - 1/64*H(0,-1,0,x)*x - 1/32*H(0,-1,0,0,x)*[1-x]^-2 + 1/32*H(0,-1,0,0,x)*[1-x]^-1 - 1/16*H(0,-1,1,0,x)*[1-x]^-2 + 1/16*H(0,-1,1,0,x)*[1-x]^-1 - 7/128*H(0,0,x) - 9/128*H(0,0,x)*x^-1 + 1/64*H(0,0,x)*[1-x]^-2*z2 + 25/128*H(0,0,x)*[1-x]^-1 - 1/64*H(0,0,x)*[1-x]^-1*z2 + 9/256*H(0,0,x)*x - 1/32*H(0,0,-1,0,x)*[1-x]^-2 + 1/32*H(0,0,-1,0,x)*[1-x]^-1 - 1/32*H(0,0,0,x) - 1/32*H(0,0,0,x)*x^-1 + 1/128*H(0,0,0,x)*[1-x]^-2 + 11/128*H(0,0,0,x)*[1-x]^-1 + 1/64*H(0,0,0,x)*x + 3/64*H(0,0,0,0,x)*[1-x]^-2 - 3/64*H(0,0,0,0,x)*[1-x]^-1 + 1/32*H(0,0,1,0,x)*[1-x]^-2 - 1/32*H(0,0,1,0,x)*[1-x]^-1 + 1/32*H(0,1,x)*[1-x]^-2*z2 - 1/32*H(0,1,x)*[1-x]^-1*z2 - 1/16*H(0,1,-1,0,x)*[1-x]^-2 + 1/16*H(0,1,-1,0,x)*[1-x]^-1 - 1/32*H(0,1,0,x) - 1/64*H(0,1,0,x)*x^-1 + 1/64*H(0,1,0,x)*[1-x]^-2 + 3/64*H(0,1,0,x)*[1-x]^-1 + 1/64*H(0,1,0,x)*x + 1/16*H(0,1,0,0,x)*[1-x]^-2 - 1/16*H(0,1,0,0,x)*[1-x]^-1 + 1/16*H(0,1,1,0,x)*[1-x]^-2 - 1/16*H(0,1,1,0,x)*[1-x]^-1 - 1/128*H(1,x)*x^-1*z2 - 1/8*H(1,x)*[1-x]^-2*z3 + 1/32*H(1,x)*[1-x]^-1*z2 + 1/8*H(1,x)*[1-x]^-1*z3 - 1/64*H(1,x)*z2 + 1/128*H(1,x)*x*z2 + 1/32*H(1,-1,0,x) + 1/64*H(1,-1,0,x)*x^-1 - 1/16*H(1,-1,0,x)*[1-x]^-1 - 1/64*H(1,-1,0,x)*x - 9/128*H(1,0,x) - 9/256*H(1,0,x)*x^-1 - 1/16*H(1,0,x)*[1-x]^-2*z2 + 9/64*H(1,0,x)*[1-x]^-1 + 1/16*H(1,0,x)*[1-x]^-1*z2 + 9/256*H(1,0,x)*x - 1/64*H(1,0,0,x) - 3/128*H(1,0,0,x)*x^-1 + 1/16*H(1,0,0,x)*[1-x]^-1 + 1/128*H(1,0,0,x)*x - 1/32*H(1,0,0,0,x)*[1-x]^-2 + 1/32*H(1,0,0,0,x)*[1-x]^-1 - 1/16*H(1,0,1,0,x)*[1-x]^-2 + 1/16*H(1,0,1,0,x)*[1-x]^-1 - 1/32*H(1,1,0,x) - 1/64*H(1,1,0,x)*x^-1 + 1/16*H(1,1,0,x)*[1-x]^-1 + 1/64*H(1,1,0,x)*x ) + [d-4]^2*Help(3162113,2,2) ; .sort * * The r.h.s. of Eq.(62) is equal to (1/m^4)*Topo(2,-4,3162113)/Ek2^2; id Topo(2,-4,3162113)/Ek2^2 = + 1/32*H(0,0,x)*[1-x]^-2 - 1/32*H(0,0,x)*[1-x]^-1 + [d-4] * ( + 9/64*z3*[1-x]^-2 - 9/64*z3*[1-x]^-1 + 3/64*H(0,x)*z2*[1-x]^-2 - 3/64*H(0,x)*z2*[1-x]^-1 + 1/32*H(0,-1,0,x)*[1-x]^-2 - 1/32*H(0,-1,0,x)*[1-x]^-1 - 1/64*H(0,0,0,x)*[1-x]^-2 + 1/64*H(0,0,0,x)*[1-x]^-1 + 1/32*H(0,1,0,x)*[1-x]^-2 - 1/32*H(0,1,0,x)*[1-x]^-1 - 1/32*H(1,0,0,x)*[1-x]^-2 + 1/32*H(1,0,0,x)*[1-x]^-1 ) + [d-4]^2 * ( + 11/256*z2^2*[1-x]^-2 - 11/256*z2^2*[1-x]^-1 + 3/64*H(0,-1,x)*z2*[1-x]^-2 - 3/64*H(0,-1,x)*z2*[1-x]^-1 + 1/32*H(0,-1,-1,0,x)*[1-x]^-2 - 1/32*H(0,-1,-1,0,x)*[1-x]^-1 + 1/32*H(0,-1,1,0,x)*[1-x]^-2 - 1/32*H(0,-1,1,0,x)*[1-x]^-1 - 1/128*H(0,0,x)*z2*[1-x]^-2 + 1/128*H(0,0,x)*z2*[1-x]^-1 - 1/64*H(0,0,-1,0,x)*[1-x]^-2 + 1/64*H(0,0,-1,0,x)*[1-x]^-1 + 1/128*H(0,0,0,0,x)*[1-x]^-2 - 1/128*H(0,0,0,0,x)*[1-x]^-1 - 1/64*H(0,1,x)*z2*[1-x]^-2 + 1/64*H(0,1,x)*z2*[1-x]^-1 + 1/32*H(0,1,-1,0,x)*[1-x]^-2 - 1/32*H(0,1,-1,0,x)*[1-x]^-1 - 1/64*H(0,1,0,0,x)*[1-x]^-2 + 1/64*H(0,1,0,0,x)*[1-x]^-1 - 1/32*H(0,1,1,0,x)*[1-x]^-2 + 1/32*H(0,1,1,0,x)*[1-x]^-1 + 3/64*H(1,x)*z3*[1-x]^-2 - 3/64*H(1,x)*z3*[1-x]^-1 + 3/64*H(1,0,x)*z2*[1-x]^-2 - 3/64*H(1,0,x)*z2*[1-x]^-1 - 1/32*H(1,0,-1,0,x)*[1-x]^-2 + 1/32*H(1,0,-1,0,x)*[1-x]^-1 + 1/16*H(1,0,0,0,x)*[1-x]^-2 - 1/16*H(1,0,0,0,x)*[1-x]^-1 + 1/16*H(1,0,1,0,x)*[1-x]^-2 - 1/16*H(1,0,1,0,x)*[1-x]^-1 + 1/32*H(1,1,0,0,x)*[1-x]^-2 - 1/32*H(1,1,0,0,x)*[1-x]^-1 ) + [d-4]^3*Help(3162113,3,3) ; .sort * * The r.h.s. of Eq.(74) is equal to Topo(2,-4,24960); * the variable now is z, instead of x, and it is defined in Eq.(6); id Topo(2,-4,24960) = + [d-4]^-2 * ( + 1/8 ) + [d-4]^-1 * ( - 5/16 + 1/4*H(-1,z) - 1/8*H(0,z) ) + 19/32 + 1/8*z2*[z+1]^-1 - 1/8*z2 + 1/4*z3*[z+1]^-2 - 1/4*z3*[z+1]^-1 - 5/8*H(-1,z) + 1/4*H(-1,-1,z) - 1/8*H(-1,0,z) + 5/16*H(0,z) - 1/8*H(0,z)*z2*[z+1]^-2 + 1/8*H(0,z)*z2*[z+1]^-1 - 1/4*H(0,-1,z)*[z+1]^-1 + 1/8*H(0,0,z)*[z+1]^-1 + 1/4*H(0,0,-1,z)*[z+1]^-2 - 1/4*H(0,0,-1,z)*[z+1]^-1 - 1/8*H(0,0,0,z)*[z+1]^-2 + 1/8*H(0,0,0,z)*[z+1]^-1 + [d-4] * ( - 65/64 - 5/16*z2*[z+1]^-1 + 5/16*z2 + 1/32*z2^2*[z+1]^-2 - 1/32*z2^2*[z+1]^-1 - 3/8*z3*[z+1]^-2 + 5/8*z3*[z+1]^-1 - 1/8*z3 + 19/16*H(-1,z) + 1/8*H(-1,z)*z2*[z+1]^-1 - 1/8*H(-1,z)*z2 - 1/4*H(-1,z)*z3*[z+1]^-2 + 1/4*H(-1,z)*z3*[z+1]^-1 - 5/8*H(-1,-1,z) + 1/4*H(-1,-1,-1,z) - 1/8*H(-1,-1,0,z) + 5/16*H(-1,0,z) + 1/8*H(-1,0,z)*z2*[z+1]^-2 - 1/8*H(-1,0,z)*z2*[z+1]^-1 - 1/4*H(-1,0,-1,z)*[z+1]^-1 + 1/8*H(-1,0,0,z)*[z+1]^-1 - 1/4*H(-1,0,0,-1,z)*[z+1]^-2 + 1/4*H(-1,0,0,-1,z)*[z+1]^-1 + 1/8*H(-1,0,0,0,z)*[z+1]^-2 - 1/8*H(-1,0,0,0,z)*[z+1]^-1 - 19/32*H(0,z) + 3/16*H(0,z)*z2*[z+1]^-2 - 5/16*H(0,z)*z2*[z+1]^-1 + 1/8*H(0,z)*z2 - 1/8*H(0,z)*z3*[z+1]^-2 + 1/8*H(0,z)*z3*[z+1]^-1 - 1/8*H(0,-1,z)*z2*[z+1]^-2 + 1/8*H(0,-1,z)*z2*[z+1]^-1 + 5/8*H(0,-1,z)*[z+1]^-1 - 1/4*H(0,-1,-1,z)*[z+1]^-1 + 1/8*H(0,-1,0,z)*[z+1]^-1 + 1/4*H(0,-1,0,-1,z)*[z+1]^-2 - 1/4*H(0,-1,0,-1,z)*[z+1]^-1 - 1/8*H(0,-1,0,0,z)*[z+1]^-2 + 1/8*H(0,-1,0,0,z)*[z+1]^-1 + 1/16*H(0,0,z)*z2*[z+1]^-2 - 1/16*H(0,0,z)*z2*[z+1]^-1 - 5/16*H(0,0,z)*[z+1]^-1 - 1/4*H(0,0,-1,z) - 3/8*H(0,0,-1,z)*[z+1]^-2 + 7/8*H(0,0,-1,z)*[z+1]^-1 + 1/4*H(0,0,-1,-1,z)*[z+1]^-2 - 1/4*H(0,0,-1,-1,z)*[z+1]^-1 - 1/8*H(0,0,-1,0,z)*[z+1]^-2 + 1/8*H(0,0,-1,0,z)*[z+1]^-1 + 1/8*H(0,0,0,z) + 3/16*H(0,0,0,z)*[z+1]^-2 - 7/16*H(0,0,0,z)*[z+1]^-1 - 3/8*H(0,0,0,-1,z)*[z+1]^-2 + 3/8*H(0,0,0,-1,z)*[z+1]^-1 + 3/16*H(0,0,0,0,z)*[z+1]^-2 - 3/16*H(0,0,0,0,z)*[z+1]^-1 + 1/4*H(0,1,z)*z2*[z+1]^-2 - 1/4*H(0,1,z)*z2*[z+1]^-1 - 1/2*H(0,1,0,-1,z)*[z+1]^-2 + 1/2*H(0,1,0,-1,z)*[z+1]^-1 + 1/4*H(0,1,0,0,z)*[z+1]^-2 - 1/4*H(0,1,0,0,z)*[z+1]^-1 - 1/4*H(1,z)*z2*[z+1]^-1 + 1/8*H(1,z)*z2 - 1/4*H(1,0,-1,z) + 1/2*H(1,0,-1,z)*[z+1]^-1 + 1/8*H(1,0,0,z) - 1/4*H(1,0,0,z)*[z+1]^-1 ) + [d-4]^2*Help(24960,2) ; .sort * * The r.h.s. of Eq.(75) is equal to (1/m^2)*Topo(2,-4,24960)/P1k12; * the variable now is z, instead of x, and it is defined in Eq.(6); id Topo(2,-4,24960)/P1k12 = + [d-4]^-2 * ( + 1/4*[z+1]^-2 - 1/4*[z+1]^-1 ) + [d-4]^-1 * ( + 1/4*H(-1,z)*[z+1]^-2 - 1/4*H(-1,z)*[z+1]^-1 - 1/8*H(0,z)*[z+1]^-2 + 1/8*H(0,z)*[z+1]^-1 ) + 1/8*z2*[z+1]^-3 - 1/4*z2*[z+1]^-2 + 1/8*z2*[z+1]^-1 + 1/4*[z+1]^-2 - 1/4*[z+1]^-1 - 1/4*H(-1,z)*[z+1]^-2 + 1/4*H(-1,z)*[z+1]^-1 + 1/4*H(-1,-1,z)*[z+1]^-2 - 1/4*H(-1,-1,z)*[z+1]^-1 - 1/8*H(-1,0,z)*[z+1]^-2 + 1/8*H(-1,0,z)*[z+1]^-1 + 1/8*H(0,z)*[z+1]^-2 - 1/8*H(0,z)*[z+1]^-1 - 1/4*H(0,-1,z)*[z+1]^-3 + 1/4*H(0,-1,z)*[z+1]^-2 + 1/8*H(0,0,z)*[z+1]^-3 - 1/8*H(0,0,z)*[z+1]^-2 + [d-4] * ( - 1/8*z2*[z+1]^-3 + 1/4*z2*[z+1]^-2 - 1/8*z2*[z+1]^-1 + 1/4*z3*[z+1]^-3 - 3/8*z3*[z+1]^-2 + 1/8*z3*[z+1]^-1 + 1/8*H(-1,z)*z2*[z+1]^-3 - 1/4*H(-1,z)*z2*[z+1]^-2 + 1/8*H(-1,z)*z2*[z+1]^-1 + 1/4*H(-1,z)*[z+1]^-2 - 1/4*H(-1,z)*[z+1]^-1 - 1/4*H(-1,-1,z)*[z+1]^-2 + 1/4*H(-1,-1,z)*[z+1]^-1 + 1/4*H(-1,-1,-1,z)*[z+1]^-2 - 1/4*H(-1,-1,-1,z)*[z+1]^-1 - 1/8*H(-1,-1,0,z)*[z+1]^-2 + 1/8*H(-1,-1,0,z)*[z+1]^-1 + 1/8*H(-1,0,z)*[z+1]^-2 - 1/8*H(-1,0,z)*[z+1]^-1 - 1/4*H(-1,0,-1,z)*[z+1]^-3 + 1/4*H(-1,0,-1,z)*[z+1]^-2 + 1/8*H(-1,0,0,z)*[z+1]^-3 - 1/8*H(-1,0,0,z)*[z+1]^-2 - 1/8*H(0,z)*z2*[z+1]^-3 + 1/4*H(0,z)*z2*[z+1]^-2 - 1/8*H(0,z)*z2*[z+1]^-1 - 1/8*H(0,z)*[z+1]^-2 + 1/8*H(0,z)*[z+1]^-1 + 1/4*H(0,-1,z)*[z+1]^-3 - 1/4*H(0,-1,z)*[z+1]^-2 - 1/4*H(0,-1,-1,z)*[z+1]^-3 + 1/4*H(0,-1,-1,z)*[z+1]^-2 + 1/8*H(0,-1,0,z)*[z+1]^-3 - 1/8*H(0,-1,0,z)*[z+1]^-2 - 1/8*H(0,0,z)*[z+1]^-3 + 1/8*H(0,0,z)*[z+1]^-2 + 1/2*H(0,0,-1,z)*[z+1]^-3 - 3/4*H(0,0,-1,z)*[z+1]^-2 + 1/4*H(0,0,-1,z)*[z+1]^-1 - 1/4*H(0,0,0,z)*[z+1]^-3 + 3/8*H(0,0,0,z)*[z+1]^-2 - 1/8*H(0,0,0,z)*[z+1]^-1 - 1/4*H(1,z)*z2*[z+1]^-3 + 3/8*H(1,z)*z2*[z+1]^-2 - 1/8*H(1,z)*z2*[z+1]^-1 + 1/2*H(1,0,-1,z)*[z+1]^-3 - 3/4*H(1,0,-1,z)*[z+1]^-2 + 1/4*H(1,0,-1,z)*[z+1]^-1 - 1/4*H(1,0,0,z)*[z+1]^-3 + 3/8*H(1,0,0,z)*[z+1]^-2 - 1/8*H(1,0,0,z)*[z+1]^-1 ) + [d-4]^2 * ( + 1/8*z2*[z+1]^-3 - 1/4*z2*[z+1]^-2 + 1/8*z2*[z+1]^-1 - 1/32*z2^2*[z+1]^-3 + 1/40*z2^2*[z+1]^-2 + 1/160*z2^2*[z+1]^-1 - 1/4*z3*[z+1]^-3 + 3/8*z3*[z+1]^-2 - 1/8*z3*[z+1]^-1 + 1/4*[z+1]^-2 - 1/4*[z+1]^-1 - 1/8*H(-1,z)*z2*[z+1]^-3 + 1/4*H(-1,z)*z2*[z+1]^-2 - 1/8*H(-1,z)*z2*[z+1]^-1 + 1/4*H(-1,z)*z3*[z+1]^-3 - 1/4*H(-1,z)*z3*[z+1]^-2 - 1/4*H(-1,z)*[z+1]^-2 + 1/4*H(-1,z)*[z+1]^-1 + 1/8*H(-1,-1,z)*z2*[z+1]^-3 - 1/4*H(-1,-1,z)*z2*[z+1]^-2 + 1/8*H(-1,-1,z)*z2*[z+1]^-1 + 1/4*H(-1,-1,z)*[z+1]^-2 - 1/4*H(-1,-1,z)*[z+1]^-1 - 1/4*H(-1,-1,-1,z)*[z+1]^-2 + 1/4*H(-1,-1,-1,z)*[z+1]^-1 + 1/4*H(-1,-1,-1,-1,z)*[z+1]^-2 - 1/4*H(-1,-1,-1,-1,z)*[z+1]^-1 - 1/8*H(-1,-1,-1,0,z)*[z+1]^-2 + 1/8*H(-1,-1,-1,0,z)*[z+1]^-1 + 1/8*H(-1,-1,0,z)*[z+1]^-2 - 1/8*H(-1,-1,0,z)*[z+1]^-1 - 1/4*H(-1,-1,0,-1,z)*[z+1]^-3 + 1/4*H(-1,-1,0,-1,z)*[z+1]^-2 + 1/8*H(-1,-1,0,0,z)*[z+1]^-3 - 1/8*H(-1,-1,0,0,z)*[z+1]^-2 - 1/8*H(-1,0,z)*z2*[z+1]^-3 + 3/16*H(-1,0,z)*z2*[z+1]^-2 - 1/16*H(-1,0,z)*z2*[z+1]^-1 - 1/8*H(-1,0,z)*[z+1]^-2 + 1/8*H(-1,0,z)*[z+1]^-1 + 1/4*H(-1,0,-1,z)*[z+1]^-3 - 1/4*H(-1,0,-1,z)*[z+1]^-2 - 1/4*H(-1,0,-1,-1,z)*[z+1]^-3 + 1/4*H(-1,0,-1,-1,z)*[z+1]^-2 + 1/8*H(-1,0,-1,0,z)*[z+1]^-3 - 1/8*H(-1,0,-1,0,z)*[z+1]^-2 - 1/8*H(-1,0,0,z)*[z+1]^-3 + 1/8*H(-1,0,0,z)*[z+1]^-2 + 1/2*H(-1,0,0,-1,z)*[z+1]^-3 - 5/8*H(-1,0,0,-1,z)*[z+1]^-2 + 1/8*H(-1,0,0,-1,z)*[z+1]^-1 - 1/4*H(-1,0,0,0,z)*[z+1]^-3 + 5/16*H(-1,0,0,0,z)*[z+1]^-2 - 1/16*H(-1,0,0,0,z)*[z+1]^-1 - 1/4*H(-1,1,z)*z2*[z+1]^-3 + 3/8*H(-1,1,z)*z2*[z+1]^-2 - 1/8*H(-1,1,z)*z2*[z+1]^-1 + 1/2*H(-1,1,0,-1,z)*[z+1]^-3 - 3/4*H(-1,1,0,-1,z)*[z+1]^-2 + 1/4*H(-1,1,0,-1,z)*[z+1]^-1 - 1/4*H(-1,1,0,0,z)*[z+1]^-3 + 3/8*H(-1,1,0,0,z)*[z+1]^-2 - 1/8*H(-1,1,0,0,z)*[z+1]^-1 + 1/8*H(0,z)*z2*[z+1]^-3 - 1/4*H(0,z)*z2*[z+1]^-2 + 1/8*H(0,z)*z2*[z+1]^-1 - 1/4*H(0,z)*z3*[z+1]^-3 + 3/8*H(0,z)*z3*[z+1]^-2 - 1/8*H(0,z)*z3*[z+1]^-1 + 1/8*H(0,z)*[z+1]^-2 - 1/8*H(0,z)*[z+1]^-1 - 1/8*H(0,-1,z)*z2*[z+1]^-3 + 1/4*H(0,-1,z)*z2*[z+1]^-2 - 1/8*H(0,-1,z)*z2*[z+1]^-1 - 1/4*H(0,-1,z)*[z+1]^-3 + 1/4*H(0,-1,z)*[z+1]^-2 + 1/4*H(0,-1,-1,z)*[z+1]^-3 - 1/4*H(0,-1,-1,z)*[z+1]^-2 - 1/4*H(0,-1,-1,-1,z)*[z+1]^-3 + 1/4*H(0,-1,-1,-1,z)*[z+1]^-2 + 1/8*H(0,-1,-1,0,z)*[z+1]^-3 - 1/8*H(0,-1,-1,0,z)*[z+1]^-2 - 1/8*H(0,-1,0,z)*[z+1]^-3 + 1/8*H(0,-1,0,z)*[z+1]^-2 + 1/2*H(0,-1,0,-1,z)*[z+1]^-3 - 3/4*H(0,-1,0,-1,z)*[z+1]^-2 + 1/4*H(0,-1,0,-1,z)*[z+1]^-1 - 1/4*H(0,-1,0,0,z)*[z+1]^-3 + 3/8*H(0,-1,0,0,z)*[z+1]^-2 - 1/8*H(0,-1,0,0,z)*[z+1]^-1 + 1/16*H(0,0,z)*z2*[z+1]^-3 - 1/8*H(0,0,z)*z2*[z+1]^-2 + 1/16*H(0,0,z)*z2*[z+1]^-1 + 1/8*H(0,0,z)*[z+1]^-3 - 1/8*H(0,0,z)*[z+1]^-2 - 1/2*H(0,0,-1,z)*[z+1]^-3 + 3/4*H(0,0,-1,z)*[z+1]^-2 - 1/4*H(0,0,-1,z)*[z+1]^-1 + 1/2*H(0,0,-1,-1,z)*[z+1]^-3 - 3/4*H(0,0,-1,-1,z)*[z+1]^-2 + 1/4*H(0,0,-1,-1,z)*[z+1]^-1 - 1/4*H(0,0,-1,0,z)*[z+1]^-3 + 3/8*H(0,0,-1,0,z)*[z+1]^-2 - 1/8*H(0,0,-1,0,z)*[z+1]^-1 + 1/4*H(0,0,0,z)*[z+1]^-3 - 3/8*H(0,0,0,z)*[z+1]^-2 + 1/8*H(0,0,0,z)*[z+1]^-1 - 5/8*H(0,0,0,-1,z)*[z+1]^-3 + H(0,0,0,-1,z)*[z+1]^-2 - 3/8*H(0,0,0,-1,z)*[z+1]^-1 + 5/16*H(0,0,0,0,z)*[z+1]^-3 - 1/2*H(0,0,0,0,z)*[z+1]^-2 + 3/16*H(0,0,0,0,z)*[z+1]^-1 + 3/8*H(0,1,z)*z2*[z+1]^-3 - 5/8*H(0,1,z)*z2*[z+1]^-2 + 1/4*H(0,1,z)*z2*[z+1]^-1 - 3/4*H(0,1,0,-1,z)*[z+1]^-3 + 5/4*H(0,1,0,-1,z)*[z+1]^-2 - 1/2*H(0,1,0,-1,z)*[z+1]^-1 + 3/8*H(0,1,0,0,z)*[z+1]^-3 - 5/8*H(0,1,0,0,z)*[z+1]^-2 + 1/4*H(0,1,0,0,z)*[z+1]^-1 + 1/4*H(1,z)*z2*[z+1]^-3 - 3/8*H(1,z)*z2*[z+1]^-2 + 1/8*H(1,z)*z2*[z+1]^-1 - 1/2*H(1,z)*z3*[z+1]^-3 + 3/4*H(1,z)*z3*[z+1]^-2 - 1/4*H(1,z)*z3*[z+1]^-1 - 1/4*H(1,-1,z)*z2*[z+1]^-3 + 3/8*H(1,-1,z)*z2*[z+1]^-2 - 1/8*H(1,-1,z)*z2*[z+1]^-1 + 1/2*H(1,-1,0,-1,z)*[z+1]^-3 - 3/4*H(1,-1,0,-1,z)*[z+1]^-2 + 1/4*H(1,-1,0,-1,z)*[z+1]^-1 - 1/4*H(1,-1,0,0,z)*[z+1]^-3 + 3/8*H(1,-1,0,0,z)*[z+1]^-2 - 1/8*H(1,-1,0,0,z)*[z+1]^-1 + 1/4*H(1,0,z)*z2*[z+1]^-3 - 3/8*H(1,0,z)*z2*[z+1]^-2 + 1/8*H(1,0,z)*z2*[z+1]^-1 - 1/2*H(1,0,-1,z)*[z+1]^-3 + 3/4*H(1,0,-1,z)*[z+1]^-2 - 1/4*H(1,0,-1,z)*[z+1]^-1 + 1/2*H(1,0,-1,-1,z)*[z+1]^-3 - 3/4*H(1,0,-1,-1,z)*[z+1]^-2 + 1/4*H(1,0,-1,-1,z)*[z+1]^-1 - 1/4*H(1,0,-1,0,z)*[z+1]^-3 + 3/8*H(1,0,-1,0,z)*[z+1]^-2 - 1/8*H(1,0,-1,0,z)*[z+1]^-1 + 1/4*H(1,0,0,z)*[z+1]^-3 - 3/8*H(1,0,0,z)*[z+1]^-2 + 1/8*H(1,0,0,z)*[z+1]^-1 - H(1,0,0,-1,z)*[z+1]^-3 + 3/2*H(1,0,0,-1,z)*[z+1]^-2 - 1/2*H(1,0,0,-1,z)*[z+1]^-1 + 1/2*H(1,0,0,0,z)*[z+1]^-3 - 3/4*H(1,0,0,0,z)*[z+1]^-2 + 1/4*H(1,0,0,0,z)*[z+1]^-1 + 1/2*H(1,1,z)*z2*[z+1]^-3 - 3/4*H(1,1,z)*z2*[z+1]^-2 + 1/4*H(1,1,z)*z2*[z+1]^-1 - H(1,1,0,-1,z)*[z+1]^-3 + 3/2*H(1,1,0,-1,z)*[z+1]^-2 - 1/2*H(1,1,0,-1,z)*[z+1]^-1 + 1/2*H(1,1,0,0,z)*[z+1]^-3 - 3/4*H(1,1,0,0,z)*[z+1]^-2 + 1/4*H(1,1,0,0,z)*[z+1]^-1 ) + [d-4]^3*Help(24960,3) ; .sort * * The r.h.s. of Eq.(85) is equal to (1/m^2)*Topo(2,-5,9266); id Topo(2,-5,9266) = + [d-4]^-1 * ( - 1/4*z2*[1-x]^-1 + 1/4*z2*[x+1]^-1 - 1/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,x)*[x+1]^-1 - 1/8*H(0,1,x)*[1-x]^-1 + 1/8*H(0,1,x)*[x+1]^-1 ) + 1/4*z2*[1-x]^-1 - 1/4*z2*[x+1]^-1 + 5/32*z3*[1-x]^-1 - 5/32*z3*[x+1]^-1 + 1/4*H(-1,x)*z2*[1-x]^-1 - 1/4*H(-1,x)*z2*[x+1]^-1 + 1/16*H(-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,0,1,x)*[x+1]^-1 + 3/32*H(0,x)*z2*[1-x]^-1 - 3/32*H(0,x)*z2*[x+1]^-1 + 1/16*H(0,0,x)*[1-x]^-1 - 1/16*H(0,0,x)*[x+1]^-1 + 1/8*H(0,0,0,x)*[1-x]^-1 - 1/8*H(0,0,0,x)*[x+1]^-1 + 1/4*H(0,0,1,x)*[1-x]^-1 - 1/4*H(0,0,1,x)*[x+1]^-1 + 1/8*H(0,1,x)*[1-x]^-1 - 1/8*H(0,1,x)*[x+1]^-1 + 3/16*H(0,1,0,x)*[1-x]^-1 - 3/16*H(0,1,0,x)*[x+1]^-1 + 3/8*H(0,1,1,x)*[1-x]^-1 - 3/8*H(0,1,1,x)*[x+1]^-1 + 1/2*H(1,x)*z2*[1-x]^-1 - 1/2*H(1,x)*z2*[x+1]^-1 + 1/8*H(1,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,x)*[x+1]^-1 + 1/4*H(1,0,1,x)*[1-x]^-1 - 1/4*H(1,0,1,x)*[x+1]^-1 + [d-4] * ( - 1/4*z2*[1-x]^-1 + 1/4*z2*[x+1]^-1 - 19/640*z2^2*[1-x]^-1 + 19/640*z2^2*[x+1]^-1 - 5/32*z3*[1-x]^-1 + 5/32*z3*[x+1]^-1 - 1/4*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2*[x+1]^-1 - 5/32*H(-1,x)*z3*[1-x]^-1 + 5/32*H(-1,x)*z3*[x+1]^-1 - 1/4*H(-1,-1,x)*z2*[1-x]^-1 + 1/4*H(-1,-1,x)*z2*[x+1]^-1 - 1/16*H(-1,-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,-1,0,1,x)*[x+1]^-1 - 3/32*H(-1,0,x)*z2*[1-x]^-1 + 3/32*H(-1,0,x)*z2*[x+1]^-1 - 1/16*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,0,0,0,x)*[1-x]^-1 + 1/8*H(-1,0,0,0,x)*[x+1]^-1 - 1/4*H(-1,0,0,1,x)*[1-x]^-1 + 1/4*H(-1,0,0,1,x)*[x+1]^-1 - 1/8*H(-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,x)*[x+1]^-1 - 3/16*H(-1,0,1,0,x)*[1-x]^-1 + 3/16*H(-1,0,1,0,x)*[x+1]^-1 - 3/8*H(-1,0,1,1,x)*[1-x]^-1 + 3/8*H(-1,0,1,1,x)*[x+1]^-1 - 1/2*H(-1,1,x)*z2*[1-x]^-1 + 1/2*H(-1,1,x)*z2*[x+1]^-1 - 1/8*H(-1,1,0,0,x)*[1-x]^-1 + 1/8*H(-1,1,0,0,x)*[x+1]^-1 - 1/4*H(-1,1,0,1,x)*[1-x]^-1 + 1/4*H(-1,1,0,1,x)*[x+1]^-1 - 3/32*H(0,x)*z2*[1-x]^-1 + 3/32*H(0,x)*z2*[x+1]^-1 - 3/64*H(0,x)*z3*[1-x]^-1 + 3/64*H(0,x)*z3*[x+1]^-1 - 1/8*H(0,-1,x)*z2*[1-x]^-1 + 1/8*H(0,-1,x)*z2*[x+1]^-1 - 1/32*H(0,-1,0,0,x)*[1-x]^-1 + 1/32*H(0,-1,0,0,x)*[x+1]^-1 - 1/16*H(0,-1,0,1,x)*[1-x]^-1 + 1/16*H(0,-1,0,1,x)*[x+1]^-1 - 1/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,x)*[x+1]^-1 - 1/8*H(0,0,0,x)*[1-x]^-1 + 1/8*H(0,0,0,x)*[x+1]^-1 - 11/64*H(0,0,0,0,x)*[1-x]^-1 + 11/64*H(0,0,0,0,x)*[x+1]^-1 - 11/32*H(0,0,0,1,x)*[1-x]^-1 + 11/32*H(0,0,0,1,x)*[x+1]^-1 - 1/4*H(0,0,1,x)*[1-x]^-1 + 1/4*H(0,0,1,x)*[x+1]^-1 - 5/16*H(0,0,1,0,x)*[1-x]^-1 + 5/16*H(0,0,1,0,x)*[x+1]^-1 - 5/8*H(0,0,1,1,x)*[1-x]^-1 + 5/8*H(0,0,1,1,x)*[x+1]^-1 - 5/32*H(0,1,x)*z2*[1-x]^-1 + 5/32*H(0,1,x)*z2*[x+1]^-1 - 1/8*H(0,1,x)*[1-x]^-1 + 1/8*H(0,1,x)*[x+1]^-1 - 3/16*H(0,1,0,x)*[1-x]^-1 + 3/16*H(0,1,0,x)*[x+1]^-1 - 9/32*H(0,1,0,0,x)*[1-x]^-1 + 9/32*H(0,1,0,0,x)*[x+1]^-1 - 9/16*H(0,1,0,1,x)*[1-x]^-1 + 9/16*H(0,1,0,1,x)*[x+1]^-1 - 3/8*H(0,1,1,x)*[1-x]^-1 + 3/8*H(0,1,1,x)*[x+1]^-1 - 7/16*H(0,1,1,0,x)*[1-x]^-1 + 7/16*H(0,1,1,0,x)*[x+1]^-1 - 7/8*H(0,1,1,1,x)*[1-x]^-1 + 7/8*H(0,1,1,1,x)*[x+1]^-1 - 1/2*H(1,x)*z2*[1-x]^-1 + 1/2*H(1,x)*z2*[x+1]^-1 - 5/16*H(1,x)*z3*[1-x]^-1 + 5/16*H(1,x)*z3*[x+1]^-1 - 1/2*H(1,-1,x)*z2*[1-x]^-1 + 1/2*H(1,-1,x)*z2*[x+1]^-1 - 1/8*H(1,-1,0,0,x)*[1-x]^-1 + 1/8*H(1,-1,0,0,x)*[x+1]^-1 - 1/4*H(1,-1,0,1,x)*[1-x]^-1 + 1/4*H(1,-1,0,1,x)*[x+1]^-1 - 3/16*H(1,0,x)*z2*[1-x]^-1 + 3/16*H(1,0,x)*z2*[x+1]^-1 - 1/8*H(1,0,0,x)*[1-x]^-1 + 1/8*H(1,0,0,x)*[x+1]^-1 - 1/4*H(1,0,0,0,x)*[1-x]^-1 + 1/4*H(1,0,0,0,x)*[x+1]^-1 - 1/2*H(1,0,0,1,x)*[1-x]^-1 + 1/2*H(1,0,0,1,x)*[x+1]^-1 - 1/4*H(1,0,1,x)*[1-x]^-1 + 1/4*H(1,0,1,x)*[x+1]^-1 - 3/8*H(1,0,1,0,x)*[1-x]^-1 + 3/8*H(1,0,1,0,x)*[x+1]^-1 - 3/4*H(1,0,1,1,x)*[1-x]^-1 + 3/4*H(1,0,1,1,x)*[x+1]^-1 - H(1,1,x)*z2*[1-x]^-1 + H(1,1,x)*z2*[x+1]^-1 - 1/4*H(1,1,0,0,x)*[1-x]^-1 + 1/4*H(1,1,0,0,x)*[x+1]^-1 - 1/2*H(1,1,0,1,x)*[1-x]^-1 + 1/2*H(1,1,0,1,x)*[x+1]^-1 ) + [d-4]^2*Help(9266,2) ; .sort * * The r.h.s. of Eq.(89) is equal to (1/m^2)*Topo(2,-5,8413232); id Topo(2,-5,8413232) = + [d-4]^-1 * ( - 1/4*z2*[1-x]^-1 + 1/4*z2*[x+1]^-1 - 1/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,x)*[x+1]^-1 - 1/8*H(0,1,x)*[1-x]^-1 + 1/8*H(0,1,x)*[x+1]^-1 ) + 1/4*z2*[1-x]^-1 - 1/4*z2*[x+1]^-1 + 5/32*z3*[1-x]^-1 - 5/32*z3*[x+1]^-1 + 1/4*H(-1,x)*z2*[1-x]^-1 - 1/4*H(-1,x)*z2*[x+1]^-1 + 1/16*H(-1,0,0,x)*[1-x]^-1 - 1/16*H(-1,0,0,x)*[x+1]^-1 + 1/8*H(-1,0,1,x)*[1-x]^-1 - 1/8*H(-1,0,1,x)*[x+1]^-1 + 1/4*H(0,x)*z2*[1-x]^-2 - 9/32*H(0,x)*z2*[1-x]^-1 + 1/32*H(0,x)*z2*[x+1]^-1 + 1/16*H(0,0,x)*[1-x]^-1 - 1/16*H(0,0,x)*[x+1]^-1 + 3/16*H(0,0,0,x)*[1-x]^-2 - 5/32*H(0,0,0,x)*[1-x]^-1 - 1/32*H(0,0,0,x)*[x+1]^-1 + 1/4*H(0,0,1,x)*[1-x]^-2 - 3/16*H(0,0,1,x)*[1-x]^-1 - 1/16*H(0,0,1,x)*[x+1]^-1 + 1/8*H(0,1,x)*[1-x]^-1 - 1/8*H(0,1,x)*[x+1]^-1 + 1/8*H(0,1,0,x)*[1-x]^-2 - 1/16*H(0,1,0,x)*[1-x]^-1 - 1/16*H(0,1,0,x)*[x+1]^-1 + 1/8*H(0,1,1,x)*[1-x]^-1 - 1/8*H(0,1,1,x)*[x+1]^-1 + 1/4*H(1,x)*z2*[1-x]^-1 - 1/4*H(1,x)*z2*[x+1]^-1 + 1/16*H(1,0,0,x)*[1-x]^-1 - 1/16*H(1,0,0,x)*[x+1]^-1 + 1/8*H(1,0,1,x)*[1-x]^-1 - 1/8*H(1,0,1,x)*[x+1]^-1 + [d-4] * ( - 1/4*z2*[1-x]^-1 + 1/4*z2*[x+1]^-1 + 1/8*z2^2*[1-x]^-2 - 139/640*z2^2*[1-x]^-1 + 59/640*z2^2*[x+1]^-1 - 5/32*z3*[1-x]^-1 + 5/32*z3*[x+1]^-1 - 1/4*H(-1,x)*z2*[1-x]^-1 + 1/4*H(-1,x)*z2*[x+1]^-1 - 5/32*H(-1,x)*z3*[1-x]^-1 + 5/32*H(-1,x)*z3*[x+1]^-1 - 1/4*H(-1,-1,x)*z2*[1-x]^-1 + 1/4*H(-1,-1,x)*z2*[x+1]^-1 - 1/16*H(-1,-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,-1,0,0,x)*[x+1]^-1 - 1/8*H(-1,-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,-1,0,1,x)*[x+1]^-1 + 1/32*H(-1,0,x)*z2*[1-x]^-1 - 1/32*H(-1,0,x)*z2*[x+1]^-1 - 1/16*H(-1,0,0,x)*[1-x]^-1 + 1/16*H(-1,0,0,x)*[x+1]^-1 - 1/32*H(-1,0,0,0,x)*[1-x]^-1 + 1/32*H(-1,0,0,0,x)*[x+1]^-1 - 1/16*H(-1,0,0,1,x)*[1-x]^-1 + 1/16*H(-1,0,0,1,x)*[x+1]^-1 - 1/8*H(-1,0,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,x)*[x+1]^-1 - 1/16*H(-1,0,1,0,x)*[1-x]^-1 + 1/16*H(-1,0,1,0,x)*[x+1]^-1 - 1/8*H(-1,0,1,1,x)*[1-x]^-1 + 1/8*H(-1,0,1,1,x)*[x+1]^-1 - 1/4*H(-1,1,x)*z2*[1-x]^-1 + 1/4*H(-1,1,x)*z2*[x+1]^-1 - 1/16*H(-1,1,0,0,x)*[1-x]^-1 + 1/16*H(-1,1,0,0,x)*[x+1]^-1 - 1/8*H(-1,1,0,1,x)*[1-x]^-1 + 1/8*H(-1,1,0,1,x)*[x+1]^-1 - 1/4*H(0,x)*z2*[1-x]^-2 + 9/32*H(0,x)*z2*[1-x]^-1 - 1/32*H(0,x)*z2*[x+1]^-1 - 5/32*H(0,x)*z3*[1-x]^-2 + 3/16*H(0,x)*z3*[1-x]^-1 - 1/32*H(0,x)*z3*[x+1]^-1 - 1/4*H(0,-1,x)*z2*[1-x]^-2 + 1/4*H(0,-1,x)*z2*[1-x]^-1 + 1/16*H(0,-1,0,0,x)*[1-x]^-2 - 1/16*H(0,-1,0,0,x)*[1-x]^-1 + 1/8*H(0,-1,1,0,x)*[1-x]^-2 - 1/8*H(0,-1,1,0,x)*[1-x]^-1 - 1/32*H(0,0,x)*z2*[1-x]^-2 + 3/64*H(0,0,x)*z2*[1-x]^-1 - 1/64*H(0,0,x)*z2*[x+1]^-1 - 1/16*H(0,0,x)*[1-x]^-1 + 1/16*H(0,0,x)*[x+1]^-1 + 1/16*H(0,0,-1,0,x)*[1-x]^-2 - 1/16*H(0,0,-1,0,x)*[1-x]^-1 - 3/16*H(0,0,0,x)*[1-x]^-2 + 5/32*H(0,0,0,x)*[1-x]^-1 + 1/32*H(0,0,0,x)*[x+1]^-1 - 5/16*H(0,0,0,0,x)*[1-x]^-2 + 19/64*H(0,0,0,0,x)*[1-x]^-1 + 1/64*H(0,0,0,0,x)*[x+1]^-1 - 3/8*H(0,0,0,1,x)*[1-x]^-2 + 11/32*H(0,0,0,1,x)*[1-x]^-1 + 1/32*H(0,0,0,1,x)*[x+1]^-1 - 1/4*H(0,0,1,x)*[1-x]^-2 + 3/16*H(0,0,1,x)*[1-x]^-1 + 1/16*H(0,0,1,x)*[x+1]^-1 - 5/16*H(0,0,1,0,x)*[1-x]^-2 + 9/32*H(0,0,1,0,x)*[1-x]^-1 + 1/32*H(0,0,1,0,x)*[x+1]^-1 - 1/4*H(0,0,1,1,x)*[1-x]^-2 + 3/16*H(0,0,1,1,x)*[1-x]^-1 + 1/16*H(0,0,1,1,x)*[x+1]^-1 - 3/16*H(0,1,x)*z2*[1-x]^-2 + 7/32*H(0,1,x)*z2*[1-x]^-1 - 1/32*H(0,1,x)*z2*[x+1]^-1 - 1/8*H(0,1,x)*[1-x]^-1 + 1/8*H(0,1,x)*[x+1]^-1 + 1/8*H(0,1,-1,0,x)*[1-x]^-2 - 1/8*H(0,1,-1,0,x)*[1-x]^-1 - 1/8*H(0,1,0,x)*[1-x]^-2 + 1/16*H(0,1,0,x)*[1-x]^-1 + 1/16*H(0,1,0,x)*[x+1]^-1 - 1/4*H(0,1,0,0,x)*[1-x]^-2 + 7/32*H(0,1,0,0,x)*[1-x]^-1 + 1/32*H(0,1,0,0,x)*[x+1]^-1 - 1/4*H(0,1,0,1,x)*[1-x]^-2 + 3/16*H(0,1,0,1,x)*[1-x]^-1 + 1/16*H(0,1,0,1,x)*[x+1]^-1 - 1/8*H(0,1,1,x)*[1-x]^-1 + 1/8*H(0,1,1,x)*[x+1]^-1 - 1/8*H(0,1,1,0,x)*[1-x]^-2 + 1/16*H(0,1,1,0,x)*[1-x]^-1 + 1/16*H(0,1,1,0,x)*[x+1]^-1 - 1/8*H(0,1,1,1,x)*[1-x]^-1 + 1/8*H(0,1,1,1,x)*[x+1]^-1 - 1/4*H(1,x)*z2*[1-x]^-1 + 1/4*H(1,x)*z2*[x+1]^-1 - 5/32*H(1,x)*z3*[1-x]^-1 + 5/32*H(1,x)*z3*[x+1]^-1 - 1/4*H(1,-1,x)*z2*[1-x]^-1 + 1/4*H(1,-1,x)*z2*[x+1]^-1 - 1/16*H(1,-1,0,0,x)*[1-x]^-1 + 1/16*H(1,-1,0,0,x)*[x+1]^-1 - 1/8*H(1,-1,0,1,x)*[1-x]^-1 + 1/8*H(1,-1,0,1,x)*[x+1]^-1 - 1/4*H(1,0,x)*z2*[1-x]^-2 + 9/32*H(1,0,x)*z2*[1-x]^-1 - 1/32*H(1,0,x)*z2*[x+1]^-1 - 1/16*H(1,0,0,x)*[1-x]^-1 + 1/16*H(1,0,0,x)*[x+1]^-1 - 3/16*H(1,0,0,0,x)*[1-x]^-2 + 5/32*H(1,0,0,0,x)*[1-x]^-1 + 1/32*H(1,0,0,0,x)*[x+1]^-1 - 1/4*H(1,0,0,1,x)*[1-x]^-2 + 3/16*H(1,0,0,1,x)*[1-x]^-1 + 1/16*H(1,0,0,1,x)*[x+1]^-1 - 1/8*H(1,0,1,x)*[1-x]^-1 + 1/8*H(1,0,1,x)*[x+1]^-1 - 1/8*H(1,0,1,0,x)*[1-x]^-2 + 1/16*H(1,0,1,0,x)*[1-x]^-1 + 1/16*H(1,0,1,0,x)*[x+1]^-1 - 1/8*H(1,0,1,1,x)*[1-x]^-1 + 1/8*H(1,0,1,1,x)*[x+1]^-1 - 1/4*H(1,1,x)*z2*[1-x]^-1 + 1/4*H(1,1,x)*z2*[x+1]^-1 - 1/16*H(1,1,0,0,x)*[1-x]^-1 + 1/16*H(1,1,0,0,x)*[x+1]^-1 - 1/8*H(1,1,0,1,x)*[1-x]^-1 + 1/8*H(1,1,0,1,x)*[x+1]^-1 ) + [d-4]^2*Help(8413232,2) ; .sort * * The r.h.s. of Eq.(93) is equal to (1/m^2)*Topo(2,-5,16826881); id Topo(2,-5,16826881) = + 3/8*z3*[1-x]^-2 - 3/8*z3*[1-x]^-1 + 1/8*H(0,0,1,x)*[1-x]^-2 - 1/8*H(0,0,1,x)*[1-x]^-1 + 1/8*H(0,1,0,x)*[1-x]^-2 - 1/8*H(0,1,0,x)*[1-x]^-1 - 1/4*H(1,0,0,x)*[1-x]^-2 + 1/4*H(1,0,0,x)*[1-x]^-1 + [d-4] * ( - 9/80*z2^2*[1-x]^-2 + 9/80*z2^2*[1-x]^-1 - 3/8*z3*[1-x]^-2 + 3/8*z3*[1-x]^-1 - 3/8*H(0,x)*z3*[1-x]^-2 + 3/8*H(0,x)*z3*[1-x]^-1 + 1/8*H(0,-1,0,0,x)*[1-x]^-2 - 1/8*H(0,-1,0,0,x)*[1-x]^-1 + 1/8*H(0,-1,0,1,x)*[1-x]^-2 - 1/8*H(0,-1,0,1,x)*[1-x]^-1 + 1/8*H(0,-1,1,0,x)*[1-x]^-2 - 1/8*H(0,-1,1,0,x)*[1-x]^-1 - 5/16*H(0,0,-1,0,x)*[1-x]^-2 + 5/16*H(0,0,-1,0,x)*[1-x]^-1 - 1/4*H(0,0,0,1,x)*[1-x]^-2 + 1/4*H(0,0,0,1,x)*[1-x]^-1 - 1/8*H(0,0,1,x)*[1-x]^-2 + 1/8*H(0,0,1,x)*[1-x]^-1 - 1/8*H(0,0,1,0,x)*[1-x]^-2 + 1/8*H(0,0,1,0,x)*[1-x]^-1 - 1/8*H(0,0,1,1,x)*[1-x]^-2 + 1/8*H(0,0,1,1,x)*[1-x]^-1 + 1/16*H(0,1,x)*z2*[1-x]^-2 - 1/16*H(0,1,x)*z2*[1-x]^-1 + 1/8*H(0,1,-1,0,x)*[1-x]^-2 - 1/8*H(0,1,-1,0,x)*[1-x]^-1 - 1/8*H(0,1,0,x)*[1-x]^-2 + 1/8*H(0,1,0,x)*[1-x]^-1 - 3/16*H(0,1,0,0,x)*[1-x]^-2 + 3/16*H(0,1,0,0,x)*[1-x]^-1 - 1/8*H(0,1,0,1,x)*[1-x]^-2 + 1/8*H(0,1,0,1,x)*[1-x]^-1 - 1/8*H(0,1,1,0,x)*[1-x]^-2 + 1/8*H(0,1,1,0,x)*[1-x]^-1 - 3/4*H(1,x)*z3*[1-x]^-2 + 3/4*H(1,x)*z3*[1-x]^-1 - 1/8*H(1,0,x)*z2*[1-x]^-2 + 1/8*H(1,0,x)*z2*[1-x]^-1 - 3/4*H(1,0,-1,0,x)*[1-x]^-2 + 3/4*H(1,0,-1,0,x)*[1-x]^-1 + 1/4*H(1,0,0,x)*[1-x]^-2 - 1/4*H(1,0,0,x)*[1-x]^-1 + 3/8*H(1,0,0,0,x)*[1-x]^-2 - 3/8*H(1,0,0,0,x)*[1-x]^-1 - 1/8*H(1,0,0,1,x)*[1-x]^-2 + 1/8*H(1,0,0,1,x)*[1-x]^-1 + 1/8*H(1,0,1,0,x)*[1-x]^-2 - 1/8*H(1,0,1,0,x)*[1-x]^-1 ) + [d-4]^2*Help(16826881,2) ; .sort * * The r.h.s. of Eq.(97) is equal to (1/m^4)*Topo(2,-6,3170352); id Topo(2,-6,3170352) = + 3/80*[1-x]^-3*z2^2 - 9/160*[1-x]^-2*z2^2 + 3/320*[1-x]^-1*z2^2 + 3/320*[x+1]^-1*z2^2 + 1/16*H(0,x)*[1-x]^-3*z3 - 3/32*H(0,x)*[1-x]^-2*z3 + 1/64*H(0,x)*[1-x]^-1*z3 + 1/64*H(0,x)*[x+1]^-1*z3 + 1/8*H(0,0,x)*[1-x]^-3*z2 - 3/16*H(0,0,x)*[1-x]^-2*z2 + 1/32*H(0,0,x)*[1-x]^-1*z2 + 1/32*H(0,0,x)*[x+1]^-1*z2 + 1/4*H(0,0,-1,0,x)*[1-x]^-3 - 3/8*H(0,0,-1,0,x)*[1-x]^-2 + 1/16*H(0,0,-1,0,x)*[1-x]^-1 + 1/16*H(0,0,-1,0,x)*[x+1]^-1 + 1/32*H(0,0,0,0,x)*[1-x]^-3 - 3/64*H(0,0,0,0,x)*[1-x]^-2 + 1/128*H(0,0,0,0,x)*[1-x]^-1 + 1/128*H(0,0,0,0,x)*[x+1]^-1 + 3/16*H(0,0,0,1,x)*[1-x]^-3 - 9/32*H(0,0,0,1,x)*[1-x]^-2 + 3/64*H(0,0,0,1,x)*[1-x]^-1 + 3/64*H(0,0,0,1,x)*[x+1]^-1 + 1/8*H(0,1,0,0,x)*[1-x]^-3 - 3/16*H(0,1,0,0,x)*[1-x]^-2 + 1/32*H(0,1,0,0,x)*[1-x]^-1 + 1/32*H(0,1,0,0,x)*[x+1]^-1 + [d-4]*Help(3170352,1) ; .sort *