#######################################################################################
# Near-collinear (flux-tube OPE) expansion of the six-gluon MHV amplitude at order T^2 F^0, planar N=4 SYM.
#
# KINEMATICS (arXiv:1903.10890): u = F/D, v = F S^2/((1+T^2) D), w = T^2/(1+T^2), D = F + F S^2 + S T + F^2 S T + F T^2,
#   T = exp(-tau), S = exp(sigma), F = exp(i phi);  y = S^2;  lny = Log[y] = 2 Log[S];  g^2 = lambda/(16 pi^2);  z_n = zeta(n).
#
# QUANTITY: C = the F^0 twist-two content of the framed hexagon Wilson loop W (BSV III, arXiv:1402.3307 eq. (53)):
#   W = 1 + T (F+1/F) W_[1] + T^2 [ (F^2+1/F^2) W_[2] + C ] + O(T^3),
#   C = 2 W_{F12} + W_{phi phi} + W^{LL}_{psi psibar} + W_{F Fbar},
# with  2 W_{F12}: the effective twist-2 excitation F_{+-} (large fermion at u + small fermion at u-2i),
#       2 W_{F12} = 2 Int_{R+i0} du/(2pi) mu_{F12}(u) T^{E_{F12}(u)-2} S^{i p_{F12}(u)},  mu_{F12} = pi g^2/(u sinh(pi u)) [1 + g^2 m(u) + ...]
#       (BSV III eqs. (49)-(52)); starts at ONE loop and is the ONLY F^0 contribution at LL (k = L-1);
#       W_{phi phi}, W^{LL}_{psi psibar}, W_{F Fbar}: two-particle singlet pairs (scalars, large fermions, gluon-antigluon
#       = W_[1,-1]); all start at TWO loops (g^4, BSV III eq. (54)) and therefore first enter at NLL (k = L-2) with
#       Born integrands x one-loop energies.
# CONVERSIONS (exact in g):
#   Log[W]|_{T^2 F^0} = C - (W_[1])^2            [F^0 part of -(1/2) (F+1/F)^2 W_[1]^2]
#   R6|_{T^2 F^0}     = Log[W]|_{T^2 F^0} - (Gcusp/4) X|_{T^2 F^0},   X|_{T^2 F^0} = -2 (Log[1+y] - lny)
#   E1|_{T^2 F^0}     = X|_{T^2 F^0}  (identical, like at T^1 and T^2 F^{+-2}),  hence
#   E|_{T^2 F^0}      = E|_{T^0} * C   EXACTLY,  with E|_{T^0} = rho^-1 exp[(Gcusp/4)(-2 Log[T]^2 - lny^2/2 - 2 z2)],
#   i.e. through O(T^2) and for every power of F:  E / E|_{T^0} = W  (the -(1/2)(F+1/F)^2 W_[1]^2 of Log[W] is cancelled
#   by the square of the T^1 term when exponentiating).
# VALIDATION: C reproduces BSV III Table 1 (all y^0, y^1 terms through g^8: k = L-1 and L-2 for L <= 4) and the
#   three-loop T^2 F^0 terms of R6 from arXiv:1308.2276 (ancillary R63_T2.m) at Log[T]^2 and Log[T]^1 through y^10
#   (1308.2276 expands in a = 2 g^2: its a^L coefficient = 2^(-L) x ours).  W_[1] needed for R6 is in hexagon_T1_OPE_LL_NLL.txt.
#
# THIS FILE: closed forms of the LEADING-LOG coefficients  CT2F0[L,L-1] = coefficient of g^(2L) T^2 Log[T]^(L-1) F^0 in W
#   (= 2 W_{F12}^(L) at Log[T]^(L-1)), written as CT2F0[L,k] = CT2F0A[L,k]/y + CT2F0B[L,k] + y*CT2F0C[L,k], A,B,C pure
#   G-functions Iy(a1,...,an) = G(a1,...,an; y) with indices in {0,-1} (G(0,..,0;y) = Log[y]^n/n!) times zeta values.
#   Fitted mod a 61-bit prime from the series through y^3300 and re-expanded exactly against exact series through y^40.
#######################################################################################

# ---- L = 1, k = 0
CT2F0A[1,0] := 0:
CT2F0B[1,0] := 2*Iy(0)-2*Iy(-1):
CT2F0C[1,0] := 0:
CT2F0[1,0] := CT2F0A[1,0]/y + CT2F0B[1,0] + y*CT2F0C[1,0]:

# ---- L = 2, k = 1
CT2F0A[2,1] := 0:
CT2F0B[2,1] := -4*Iy(0,-1)-4*Iy(-1,0)+8*Iy(-1,-1):
CT2F0C[2,1] := 0:
CT2F0[2,1] := CT2F0A[2,1]/y + CT2F0B[2,1] + y*CT2F0C[2,1]:

# ---- L = 3, k = 2
CT2F0A[3,2] := 0:
CT2F0B[3,2] := -4*Iy(0,0,-1)-8*Iy(0,-1,0)+16*Iy(0,-1,-1)-4*Iy(-1)*z2-4*Iy(-1,0,0)
+16*Iy(-1,0,-1)+16*Iy(-1,-1,0)-32*Iy(-1,-1,-1):
CT2F0C[3,2] := 0:
CT2F0[3,2] := CT2F0A[3,2]/y + CT2F0B[3,2] + y*CT2F0C[3,2]:

# ---- L = 4, k = 3
CT2F0A[4,3] := 0:
CT2F0B[4,3] := -8*Iy(0,0,0,-1)/3-8*Iy(0,0,-1,0)+16*Iy(0,0,-1,-1)-8*Iy(0,-1)*z2-8*Iy(0,-1,0,0)
+32*Iy(0,-1,0,-1)+32*Iy(0,-1,-1,0)-64*Iy(0,-1,-1,-1)+16*Iy(-1)*z3
-8*Iy(-1,0)*z2/3-8*Iy(-1,0,0,0)/3+64*Iy(-1,0,0,-1)/3+32*Iy(-1,0,-1,0)
-64*Iy(-1,0,-1,-1)+16*Iy(-1,-1)*z2+16*Iy(-1,-1,0,0)-64*Iy(-1,-1,0,-1)
-64*Iy(-1,-1,-1,0)+128*Iy(-1,-1,-1,-1):
CT2F0C[4,3] := 0:
CT2F0[4,3] := CT2F0A[4,3]/y + CT2F0B[4,3] + y*CT2F0C[4,3]:

# ---- L = 5, k = 4
CT2F0A[5,4] := 0:
CT2F0B[5,4] := -4*Iy(0,0,0,0,-1)/3-16*Iy(0,0,0,-1,0)/3+32*Iy(0,0,0,-1,-1)/3-8*Iy(0,0,-1)*z2
-8*Iy(0,0,-1,0,0)+32*Iy(0,0,-1,0,-1)+32*Iy(0,0,-1,-1,0)-64*Iy(0,0,-1,-1,-1)
+32*Iy(0,-1)*z3-16*Iy(0,-1,0)*z2/3-16*Iy(0,-1,0,0,0)/3+128*Iy(0,-1,0,0,-1)/3
+64*Iy(0,-1,0,-1,0)-128*Iy(0,-1,0,-1,-1)+32*Iy(0,-1,-1)*z2+32*Iy(0,-1,-1,0,0)
-128*Iy(0,-1,-1,0,-1)-128*Iy(0,-1,-1,-1,0)+256*Iy(0,-1,-1,-1,-1)-7*Iy(-1)*z4/3
+32*Iy(-1,0)*z3/3-4*Iy(-1,0,0)*z2/3-4*Iy(-1,0,0,0,0)/3+64*Iy(-1,0,0,0,-1)/3
+128*Iy(-1,0,0,-1,0)/3-256*Iy(-1,0,0,-1,-1)/3+32*Iy(-1,0,-1)*z2
+32*Iy(-1,0,-1,0,0)-128*Iy(-1,0,-1,0,-1)-128*Iy(-1,0,-1,-1,0)
+256*Iy(-1,0,-1,-1,-1)-64*Iy(-1,-1)*z3+32*Iy(-1,-1,0)*z2/3
+32*Iy(-1,-1,0,0,0)/3-256*Iy(-1,-1,0,0,-1)/3-128*Iy(-1,-1,0,-1,0)
+256*Iy(-1,-1,0,-1,-1)-64*Iy(-1,-1,-1)*z2-64*Iy(-1,-1,-1,0,0)
+256*Iy(-1,-1,-1,0,-1)+256*Iy(-1,-1,-1,-1,0)-512*Iy(-1,-1,-1,-1,-1):
CT2F0C[5,4] := 0:
CT2F0[5,4] := CT2F0A[5,4]/y + CT2F0B[5,4] + y*CT2F0C[5,4]:

# ---- L = 6, k = 5
CT2F0A[6,5] := 0:
CT2F0B[6,5] := -8*Iy(0,0,0,0,0,-1)/15-8*Iy(0,0,0,0,-1,0)/3+16*Iy(0,0,0,0,-1,-1)/3
-16*Iy(0,0,0,-1)*z2/3-16*Iy(0,0,0,-1,0,0)/3+64*Iy(0,0,0,-1,0,-1)/3
+64*Iy(0,0,0,-1,-1,0)/3-128*Iy(0,0,0,-1,-1,-1)/3+32*Iy(0,0,-1)*z3
-16*Iy(0,0,-1,0)*z2/3-16*Iy(0,0,-1,0,0,0)/3+128*Iy(0,0,-1,0,0,-1)/3
+64*Iy(0,0,-1,0,-1,0)-128*Iy(0,0,-1,0,-1,-1)+32*Iy(0,0,-1,-1)*z2
+32*Iy(0,0,-1,-1,0,0)-128*Iy(0,0,-1,-1,0,-1)-128*Iy(0,0,-1,-1,-1,0)
+256*Iy(0,0,-1,-1,-1,-1)-14*Iy(0,-1)*z4/3+64*Iy(0,-1,0)*z3/3
-8*Iy(0,-1,0,0)*z2/3-8*Iy(0,-1,0,0,0,0)/3+128*Iy(0,-1,0,0,0,-1)/3
+256*Iy(0,-1,0,0,-1,0)/3-512*Iy(0,-1,0,0,-1,-1)/3+64*Iy(0,-1,0,-1)*z2
+64*Iy(0,-1,0,-1,0,0)-256*Iy(0,-1,0,-1,0,-1)-256*Iy(0,-1,0,-1,-1,0)
+512*Iy(0,-1,0,-1,-1,-1)-128*Iy(0,-1,-1)*z3+64*Iy(0,-1,-1,0)*z2/3
+64*Iy(0,-1,-1,0,0,0)/3-512*Iy(0,-1,-1,0,0,-1)/3-256*Iy(0,-1,-1,0,-1,0)
+512*Iy(0,-1,-1,0,-1,-1)-128*Iy(0,-1,-1,-1)*z2-128*Iy(0,-1,-1,-1,0,0)
+512*Iy(0,-1,-1,-1,0,-1)+512*Iy(0,-1,-1,-1,-1,0)-1024*Iy(0,-1,-1,-1,-1,-1)
+16*Iy(-1)*z2*z3/3+16*Iy(-1)*z5/3-14*Iy(-1,0)*z4/15+16*Iy(-1,0,0)*z3/3
-8*Iy(-1,0,0,0)*z2/15-8*Iy(-1,0,0,0,0,0)/15+256*Iy(-1,0,0,0,0,-1)/15
+128*Iy(-1,0,0,0,-1,0)/3-256*Iy(-1,0,0,0,-1,-1)/3+128*Iy(-1,0,0,-1)*z2/3
+128*Iy(-1,0,0,-1,0,0)/3-512*Iy(-1,0,0,-1,0,-1)/3-512*Iy(-1,0,0,-1,-1,0)/3
+1024*Iy(-1,0,0,-1,-1,-1)/3-128*Iy(-1,0,-1)*z3+64*Iy(-1,0,-1,0)*z2/3
+64*Iy(-1,0,-1,0,0,0)/3-512*Iy(-1,0,-1,0,0,-1)/3-256*Iy(-1,0,-1,0,-1,0)
+512*Iy(-1,0,-1,0,-1,-1)-128*Iy(-1,0,-1,-1)*z2-128*Iy(-1,0,-1,-1,0,0)
+512*Iy(-1,0,-1,-1,0,-1)+512*Iy(-1,0,-1,-1,-1,0)-1024*Iy(-1,0,-1,-1,-1,-1)
+28*Iy(-1,-1)*z4/3-128*Iy(-1,-1,0)*z3/3+16*Iy(-1,-1,0,0)*z2/3
+16*Iy(-1,-1,0,0,0,0)/3-256*Iy(-1,-1,0,0,0,-1)/3-512*Iy(-1,-1,0,0,-1,0)/3
+1024*Iy(-1,-1,0,0,-1,-1)/3-128*Iy(-1,-1,0,-1)*z2-128*Iy(-1,-1,0,-1,0,0)
+512*Iy(-1,-1,0,-1,0,-1)+512*Iy(-1,-1,0,-1,-1,0)-1024*Iy(-1,-1,0,-1,-1,-1)
+256*Iy(-1,-1,-1)*z3-128*Iy(-1,-1,-1,0)*z2/3-128*Iy(-1,-1,-1,0,0,0)/3
+1024*Iy(-1,-1,-1,0,0,-1)/3+512*Iy(-1,-1,-1,0,-1,0)-1024*Iy(-1,-1,-1,0,-1,-1)
+256*Iy(-1,-1,-1,-1)*z2+256*Iy(-1,-1,-1,-1,0,0)-1024*Iy(-1,-1,-1,-1,0,-1)
-1024*Iy(-1,-1,-1,-1,-1,0)+2048*Iy(-1,-1,-1,-1,-1,-1):
CT2F0C[6,5] := 0:
CT2F0[6,5] := CT2F0A[6,5]/y + CT2F0B[6,5] + y*CT2F0C[6,5]:

# ---- L = 7, k = 6
CT2F0A[7,6] := 0:
CT2F0B[7,6] := -8*Iy(0,0,0,0,0,0,-1)/45-16*Iy(0,0,0,0,0,-1,0)/15+32*Iy(0,0,0,0,0,-1,-1)/15
-8*Iy(0,0,0,0,-1)*z2/3-8*Iy(0,0,0,0,-1,0,0)/3+32*Iy(0,0,0,0,-1,0,-1)/3
+32*Iy(0,0,0,0,-1,-1,0)/3-64*Iy(0,0,0,0,-1,-1,-1)/3+64*Iy(0,0,0,-1)*z3/3
-32*Iy(0,0,0,-1,0)*z2/9-32*Iy(0,0,0,-1,0,0,0)/9+256*Iy(0,0,0,-1,0,0,-1)/9
+128*Iy(0,0,0,-1,0,-1,0)/3-256*Iy(0,0,0,-1,0,-1,-1)/3+64*Iy(0,0,0,-1,-1)*z2/3
+64*Iy(0,0,0,-1,-1,0,0)/3-256*Iy(0,0,0,-1,-1,0,-1)/3
-256*Iy(0,0,0,-1,-1,-1,0)/3+512*Iy(0,0,0,-1,-1,-1,-1)/3-14*Iy(0,0,-1)*z4/3
+64*Iy(0,0,-1,0)*z3/3-8*Iy(0,0,-1,0,0)*z2/3-8*Iy(0,0,-1,0,0,0,0)/3
+128*Iy(0,0,-1,0,0,0,-1)/3+256*Iy(0,0,-1,0,0,-1,0)/3
-512*Iy(0,0,-1,0,0,-1,-1)/3+64*Iy(0,0,-1,0,-1)*z2+64*Iy(0,0,-1,0,-1,0,0)
-256*Iy(0,0,-1,0,-1,0,-1)-256*Iy(0,0,-1,0,-1,-1,0)+512*Iy(0,0,-1,0,-1,-1,-1)
-128*Iy(0,0,-1,-1)*z3+64*Iy(0,0,-1,-1,0)*z2/3+64*Iy(0,0,-1,-1,0,0,0)/3
-512*Iy(0,0,-1,-1,0,0,-1)/3-256*Iy(0,0,-1,-1,0,-1,0)+512*Iy(0,0,-1,-1,0,-1,-1)
-128*Iy(0,0,-1,-1,-1)*z2-128*Iy(0,0,-1,-1,-1,0,0)+512*Iy(0,0,-1,-1,-1,0,-1)
+512*Iy(0,0,-1,-1,-1,-1,0)-1024*Iy(0,0,-1,-1,-1,-1,-1)+32*Iy(0,-1)*z2*z3/3
+32*Iy(0,-1)*z5/3-28*Iy(0,-1,0)*z4/15+32*Iy(0,-1,0,0)*z3/3
-16*Iy(0,-1,0,0,0)*z2/15-16*Iy(0,-1,0,0,0,0,0)/15+512*Iy(0,-1,0,0,0,0,-1)/15
+256*Iy(0,-1,0,0,0,-1,0)/3-512*Iy(0,-1,0,0,0,-1,-1)/3+256*Iy(0,-1,0,0,-1)*z2/3
+256*Iy(0,-1,0,0,-1,0,0)/3-1024*Iy(0,-1,0,0,-1,0,-1)/3
-1024*Iy(0,-1,0,0,-1,-1,0)/3+2048*Iy(0,-1,0,0,-1,-1,-1)/3-256*Iy(0,-1,0,-1)*z3
+128*Iy(0,-1,0,-1,0)*z2/3+128*Iy(0,-1,0,-1,0,0,0)/3
-1024*Iy(0,-1,0,-1,0,0,-1)/3-512*Iy(0,-1,0,-1,0,-1,0)
+1024*Iy(0,-1,0,-1,0,-1,-1)-256*Iy(0,-1,0,-1,-1)*z2-256*Iy(0,-1,0,-1,-1,0,0)
+1024*Iy(0,-1,0,-1,-1,0,-1)+1024*Iy(0,-1,0,-1,-1,-1,0)
-2048*Iy(0,-1,0,-1,-1,-1,-1)+56*Iy(0,-1,-1)*z4/3-256*Iy(0,-1,-1,0)*z3/3
+32*Iy(0,-1,-1,0,0)*z2/3+32*Iy(0,-1,-1,0,0,0,0)/3-512*Iy(0,-1,-1,0,0,0,-1)/3
-1024*Iy(0,-1,-1,0,0,-1,0)/3+2048*Iy(0,-1,-1,0,0,-1,-1)/3
-256*Iy(0,-1,-1,0,-1)*z2-256*Iy(0,-1,-1,0,-1,0,0)+1024*Iy(0,-1,-1,0,-1,0,-1)
+1024*Iy(0,-1,-1,0,-1,-1,0)-2048*Iy(0,-1,-1,0,-1,-1,-1)+512*Iy(0,-1,-1,-1)*z3
-256*Iy(0,-1,-1,-1,0)*z2/3-256*Iy(0,-1,-1,-1,0,0,0)/3
+2048*Iy(0,-1,-1,-1,0,0,-1)/3+1024*Iy(0,-1,-1,-1,0,-1,0)
-2048*Iy(0,-1,-1,-1,0,-1,-1)+512*Iy(0,-1,-1,-1,-1)*z2
+512*Iy(0,-1,-1,-1,-1,0,0)-2048*Iy(0,-1,-1,-1,-1,0,-1)
-2048*Iy(0,-1,-1,-1,-1,-1,0)+4096*Iy(0,-1,-1,-1,-1,-1,-1)-32*Iy(-1)*z3^2/3
-31*Iy(-1)*z6/90+32*Iy(-1,0)*z2*z3/15+32*Iy(-1,0)*z5/15-14*Iy(-1,0,0)*z4/45
+32*Iy(-1,0,0,0)*z3/15-8*Iy(-1,0,0,0,0)*z2/45-8*Iy(-1,0,0,0,0,0,0)/45
+512*Iy(-1,0,0,0,0,0,-1)/45+512*Iy(-1,0,0,0,0,-1,0)/15
-1024*Iy(-1,0,0,0,0,-1,-1)/15+128*Iy(-1,0,0,0,-1)*z2/3
+128*Iy(-1,0,0,0,-1,0,0)/3-512*Iy(-1,0,0,0,-1,0,-1)/3
-512*Iy(-1,0,0,0,-1,-1,0)/3+1024*Iy(-1,0,0,0,-1,-1,-1)/3
-512*Iy(-1,0,0,-1)*z3/3+256*Iy(-1,0,0,-1,0)*z2/9+256*Iy(-1,0,0,-1,0,0,0)/9
-2048*Iy(-1,0,0,-1,0,0,-1)/9-1024*Iy(-1,0,0,-1,0,-1,0)/3
+2048*Iy(-1,0,0,-1,0,-1,-1)/3-512*Iy(-1,0,0,-1,-1)*z2/3
-512*Iy(-1,0,0,-1,-1,0,0)/3+2048*Iy(-1,0,0,-1,-1,0,-1)/3
+2048*Iy(-1,0,0,-1,-1,-1,0)/3-4096*Iy(-1,0,0,-1,-1,-1,-1)/3
+56*Iy(-1,0,-1)*z4/3-256*Iy(-1,0,-1,0)*z3/3+32*Iy(-1,0,-1,0,0)*z2/3
+32*Iy(-1,0,-1,0,0,0,0)/3-512*Iy(-1,0,-1,0,0,0,-1)/3
-1024*Iy(-1,0,-1,0,0,-1,0)/3+2048*Iy(-1,0,-1,0,0,-1,-1)/3
-256*Iy(-1,0,-1,0,-1)*z2-256*Iy(-1,0,-1,0,-1,0,0)+1024*Iy(-1,0,-1,0,-1,0,-1)
+1024*Iy(-1,0,-1,0,-1,-1,0)-2048*Iy(-1,0,-1,0,-1,-1,-1)+512*Iy(-1,0,-1,-1)*z3
-256*Iy(-1,0,-1,-1,0)*z2/3-256*Iy(-1,0,-1,-1,0,0,0)/3
+2048*Iy(-1,0,-1,-1,0,0,-1)/3+1024*Iy(-1,0,-1,-1,0,-1,0)
-2048*Iy(-1,0,-1,-1,0,-1,-1)+512*Iy(-1,0,-1,-1,-1)*z2
+512*Iy(-1,0,-1,-1,-1,0,0)-2048*Iy(-1,0,-1,-1,-1,0,-1)
-2048*Iy(-1,0,-1,-1,-1,-1,0)+4096*Iy(-1,0,-1,-1,-1,-1,-1)-64*Iy(-1,-1)*z2*z3/3
-64*Iy(-1,-1)*z5/3+56*Iy(-1,-1,0)*z4/15-64*Iy(-1,-1,0,0)*z3/3
+32*Iy(-1,-1,0,0,0)*z2/15+32*Iy(-1,-1,0,0,0,0,0)/15
-1024*Iy(-1,-1,0,0,0,0,-1)/15-512*Iy(-1,-1,0,0,0,-1,0)/3
+1024*Iy(-1,-1,0,0,0,-1,-1)/3-512*Iy(-1,-1,0,0,-1)*z2/3
-512*Iy(-1,-1,0,0,-1,0,0)/3+2048*Iy(-1,-1,0,0,-1,0,-1)/3
+2048*Iy(-1,-1,0,0,-1,-1,0)/3-4096*Iy(-1,-1,0,0,-1,-1,-1)/3
+512*Iy(-1,-1,0,-1)*z3-256*Iy(-1,-1,0,-1,0)*z2/3-256*Iy(-1,-1,0,-1,0,0,0)/3
+2048*Iy(-1,-1,0,-1,0,0,-1)/3+1024*Iy(-1,-1,0,-1,0,-1,0)
-2048*Iy(-1,-1,0,-1,0,-1,-1)+512*Iy(-1,-1,0,-1,-1)*z2
+512*Iy(-1,-1,0,-1,-1,0,0)-2048*Iy(-1,-1,0,-1,-1,0,-1)
-2048*Iy(-1,-1,0,-1,-1,-1,0)+4096*Iy(-1,-1,0,-1,-1,-1,-1)
-112*Iy(-1,-1,-1)*z4/3+512*Iy(-1,-1,-1,0)*z3/3-64*Iy(-1,-1,-1,0,0)*z2/3
-64*Iy(-1,-1,-1,0,0,0,0)/3+1024*Iy(-1,-1,-1,0,0,0,-1)/3
+2048*Iy(-1,-1,-1,0,0,-1,0)/3-4096*Iy(-1,-1,-1,0,0,-1,-1)/3
+512*Iy(-1,-1,-1,0,-1)*z2+512*Iy(-1,-1,-1,0,-1,0,0)
-2048*Iy(-1,-1,-1,0,-1,0,-1)-2048*Iy(-1,-1,-1,0,-1,-1,0)
+4096*Iy(-1,-1,-1,0,-1,-1,-1)-1024*Iy(-1,-1,-1,-1)*z3
+512*Iy(-1,-1,-1,-1,0)*z2/3+512*Iy(-1,-1,-1,-1,0,0,0)/3
-4096*Iy(-1,-1,-1,-1,0,0,-1)/3-2048*Iy(-1,-1,-1,-1,0,-1,0)
+4096*Iy(-1,-1,-1,-1,0,-1,-1)-1024*Iy(-1,-1,-1,-1,-1)*z2
-1024*Iy(-1,-1,-1,-1,-1,0,0)+4096*Iy(-1,-1,-1,-1,-1,0,-1)
+4096*Iy(-1,-1,-1,-1,-1,-1,0)-8192*Iy(-1,-1,-1,-1,-1,-1,-1):
CT2F0C[7,6] := 0:
CT2F0[7,6] := CT2F0A[7,6]/y + CT2F0B[7,6] + y*CT2F0C[7,6]:

# ---- L = 8, k = 7
CT2F0A[8,7] := 0:
CT2F0B[8,7] := -16*Iy(0,0,0,0,0,0,0,-1)/315-16*Iy(0,0,0,0,0,0,-1,0)/45
+32*Iy(0,0,0,0,0,0,-1,-1)/45-16*Iy(0,0,0,0,0,-1)*z2/15
-16*Iy(0,0,0,0,0,-1,0,0)/15+64*Iy(0,0,0,0,0,-1,0,-1)/15
+64*Iy(0,0,0,0,0,-1,-1,0)/15-128*Iy(0,0,0,0,0,-1,-1,-1)/15
+32*Iy(0,0,0,0,-1)*z3/3-16*Iy(0,0,0,0,-1,0)*z2/9-16*Iy(0,0,0,0,-1,0,0,0)/9
+128*Iy(0,0,0,0,-1,0,0,-1)/9+64*Iy(0,0,0,0,-1,0,-1,0)/3
-128*Iy(0,0,0,0,-1,0,-1,-1)/3+32*Iy(0,0,0,0,-1,-1)*z2/3
+32*Iy(0,0,0,0,-1,-1,0,0)/3-128*Iy(0,0,0,0,-1,-1,0,-1)/3
-128*Iy(0,0,0,0,-1,-1,-1,0)/3+256*Iy(0,0,0,0,-1,-1,-1,-1)/3
-28*Iy(0,0,0,-1)*z4/9+128*Iy(0,0,0,-1,0)*z3/9-16*Iy(0,0,0,-1,0,0)*z2/9
-16*Iy(0,0,0,-1,0,0,0,0)/9+256*Iy(0,0,0,-1,0,0,0,-1)/9
+512*Iy(0,0,0,-1,0,0,-1,0)/9-1024*Iy(0,0,0,-1,0,0,-1,-1)/9
+128*Iy(0,0,0,-1,0,-1)*z2/3+128*Iy(0,0,0,-1,0,-1,0,0)/3
-512*Iy(0,0,0,-1,0,-1,0,-1)/3-512*Iy(0,0,0,-1,0,-1,-1,0)/3
+1024*Iy(0,0,0,-1,0,-1,-1,-1)/3-256*Iy(0,0,0,-1,-1)*z3/3
+128*Iy(0,0,0,-1,-1,0)*z2/9+128*Iy(0,0,0,-1,-1,0,0,0)/9
-1024*Iy(0,0,0,-1,-1,0,0,-1)/9-512*Iy(0,0,0,-1,-1,0,-1,0)/3
+1024*Iy(0,0,0,-1,-1,0,-1,-1)/3-256*Iy(0,0,0,-1,-1,-1)*z2/3
-256*Iy(0,0,0,-1,-1,-1,0,0)/3+1024*Iy(0,0,0,-1,-1,-1,0,-1)/3
+1024*Iy(0,0,0,-1,-1,-1,-1,0)/3-2048*Iy(0,0,0,-1,-1,-1,-1,-1)/3
+32*Iy(0,0,-1)*z2*z3/3+32*Iy(0,0,-1)*z5/3-28*Iy(0,0,-1,0)*z4/15
+32*Iy(0,0,-1,0,0)*z3/3-16*Iy(0,0,-1,0,0,0)*z2/15-16*Iy(0,0,-1,0,0,0,0,0)/15
+512*Iy(0,0,-1,0,0,0,0,-1)/15+256*Iy(0,0,-1,0,0,0,-1,0)/3
-512*Iy(0,0,-1,0,0,0,-1,-1)/3+256*Iy(0,0,-1,0,0,-1)*z2/3
+256*Iy(0,0,-1,0,0,-1,0,0)/3-1024*Iy(0,0,-1,0,0,-1,0,-1)/3
-1024*Iy(0,0,-1,0,0,-1,-1,0)/3+2048*Iy(0,0,-1,0,0,-1,-1,-1)/3
-256*Iy(0,0,-1,0,-1)*z3+128*Iy(0,0,-1,0,-1,0)*z2/3+128*Iy(0,0,-1,0,-1,0,0,0)/3
-1024*Iy(0,0,-1,0,-1,0,0,-1)/3-512*Iy(0,0,-1,0,-1,0,-1,0)
+1024*Iy(0,0,-1,0,-1,0,-1,-1)-256*Iy(0,0,-1,0,-1,-1)*z2
-256*Iy(0,0,-1,0,-1,-1,0,0)+1024*Iy(0,0,-1,0,-1,-1,0,-1)
+1024*Iy(0,0,-1,0,-1,-1,-1,0)-2048*Iy(0,0,-1,0,-1,-1,-1,-1)
+56*Iy(0,0,-1,-1)*z4/3-256*Iy(0,0,-1,-1,0)*z3/3+32*Iy(0,0,-1,-1,0,0)*z2/3
+32*Iy(0,0,-1,-1,0,0,0,0)/3-512*Iy(0,0,-1,-1,0,0,0,-1)/3
-1024*Iy(0,0,-1,-1,0,0,-1,0)/3+2048*Iy(0,0,-1,-1,0,0,-1,-1)/3
-256*Iy(0,0,-1,-1,0,-1)*z2-256*Iy(0,0,-1,-1,0,-1,0,0)
+1024*Iy(0,0,-1,-1,0,-1,0,-1)+1024*Iy(0,0,-1,-1,0,-1,-1,0)
-2048*Iy(0,0,-1,-1,0,-1,-1,-1)+512*Iy(0,0,-1,-1,-1)*z3
-256*Iy(0,0,-1,-1,-1,0)*z2/3-256*Iy(0,0,-1,-1,-1,0,0,0)/3
+2048*Iy(0,0,-1,-1,-1,0,0,-1)/3+1024*Iy(0,0,-1,-1,-1,0,-1,0)
-2048*Iy(0,0,-1,-1,-1,0,-1,-1)+512*Iy(0,0,-1,-1,-1,-1)*z2
+512*Iy(0,0,-1,-1,-1,-1,0,0)-2048*Iy(0,0,-1,-1,-1,-1,0,-1)
-2048*Iy(0,0,-1,-1,-1,-1,-1,0)+4096*Iy(0,0,-1,-1,-1,-1,-1,-1)
-64*Iy(0,-1)*z3^2/3-31*Iy(0,-1)*z6/45+64*Iy(0,-1,0)*z2*z3/15
+64*Iy(0,-1,0)*z5/15-28*Iy(0,-1,0,0)*z4/45+64*Iy(0,-1,0,0,0)*z3/15
-16*Iy(0,-1,0,0,0,0)*z2/45-16*Iy(0,-1,0,0,0,0,0,0)/45
+1024*Iy(0,-1,0,0,0,0,0,-1)/45+1024*Iy(0,-1,0,0,0,0,-1,0)/15
-2048*Iy(0,-1,0,0,0,0,-1,-1)/15+256*Iy(0,-1,0,0,0,-1)*z2/3
+256*Iy(0,-1,0,0,0,-1,0,0)/3-1024*Iy(0,-1,0,0,0,-1,0,-1)/3
-1024*Iy(0,-1,0,0,0,-1,-1,0)/3+2048*Iy(0,-1,0,0,0,-1,-1,-1)/3
-1024*Iy(0,-1,0,0,-1)*z3/3+512*Iy(0,-1,0,0,-1,0)*z2/9
+512*Iy(0,-1,0,0,-1,0,0,0)/9-4096*Iy(0,-1,0,0,-1,0,0,-1)/9
-2048*Iy(0,-1,0,0,-1,0,-1,0)/3+4096*Iy(0,-1,0,0,-1,0,-1,-1)/3
-1024*Iy(0,-1,0,0,-1,-1)*z2/3-1024*Iy(0,-1,0,0,-1,-1,0,0)/3
+4096*Iy(0,-1,0,0,-1,-1,0,-1)/3+4096*Iy(0,-1,0,0,-1,-1,-1,0)/3
-8192*Iy(0,-1,0,0,-1,-1,-1,-1)/3+112*Iy(0,-1,0,-1)*z4/3
-512*Iy(0,-1,0,-1,0)*z3/3+64*Iy(0,-1,0,-1,0,0)*z2/3+64*Iy(0,-1,0,-1,0,0,0,0)/3
-1024*Iy(0,-1,0,-1,0,0,0,-1)/3-2048*Iy(0,-1,0,-1,0,0,-1,0)/3
+4096*Iy(0,-1,0,-1,0,0,-1,-1)/3-512*Iy(0,-1,0,-1,0,-1)*z2
-512*Iy(0,-1,0,-1,0,-1,0,0)+2048*Iy(0,-1,0,-1,0,-1,0,-1)
+2048*Iy(0,-1,0,-1,0,-1,-1,0)-4096*Iy(0,-1,0,-1,0,-1,-1,-1)
+1024*Iy(0,-1,0,-1,-1)*z3-512*Iy(0,-1,0,-1,-1,0)*z2/3
-512*Iy(0,-1,0,-1,-1,0,0,0)/3+4096*Iy(0,-1,0,-1,-1,0,0,-1)/3
+2048*Iy(0,-1,0,-1,-1,0,-1,0)-4096*Iy(0,-1,0,-1,-1,0,-1,-1)
+1024*Iy(0,-1,0,-1,-1,-1)*z2+1024*Iy(0,-1,0,-1,-1,-1,0,0)
-4096*Iy(0,-1,0,-1,-1,-1,0,-1)-4096*Iy(0,-1,0,-1,-1,-1,-1,0)
+8192*Iy(0,-1,0,-1,-1,-1,-1,-1)-128*Iy(0,-1,-1)*z2*z3/3-128*Iy(0,-1,-1)*z5/3
+112*Iy(0,-1,-1,0)*z4/15-128*Iy(0,-1,-1,0,0)*z3/3+64*Iy(0,-1,-1,0,0,0)*z2/15
+64*Iy(0,-1,-1,0,0,0,0,0)/15-2048*Iy(0,-1,-1,0,0,0,0,-1)/15
-1024*Iy(0,-1,-1,0,0,0,-1,0)/3+2048*Iy(0,-1,-1,0,0,0,-1,-1)/3
-1024*Iy(0,-1,-1,0,0,-1)*z2/3-1024*Iy(0,-1,-1,0,0,-1,0,0)/3
+4096*Iy(0,-1,-1,0,0,-1,0,-1)/3+4096*Iy(0,-1,-1,0,0,-1,-1,0)/3
-8192*Iy(0,-1,-1,0,0,-1,-1,-1)/3+1024*Iy(0,-1,-1,0,-1)*z3
-512*Iy(0,-1,-1,0,-1,0)*z2/3-512*Iy(0,-1,-1,0,-1,0,0,0)/3
+4096*Iy(0,-1,-1,0,-1,0,0,-1)/3+2048*Iy(0,-1,-1,0,-1,0,-1,0)
-4096*Iy(0,-1,-1,0,-1,0,-1,-1)+1024*Iy(0,-1,-1,0,-1,-1)*z2
+1024*Iy(0,-1,-1,0,-1,-1,0,0)-4096*Iy(0,-1,-1,0,-1,-1,0,-1)
-4096*Iy(0,-1,-1,0,-1,-1,-1,0)+8192*Iy(0,-1,-1,0,-1,-1,-1,-1)
-224*Iy(0,-1,-1,-1)*z4/3+1024*Iy(0,-1,-1,-1,0)*z3/3
-128*Iy(0,-1,-1,-1,0,0)*z2/3-128*Iy(0,-1,-1,-1,0,0,0,0)/3
+2048*Iy(0,-1,-1,-1,0,0,0,-1)/3+4096*Iy(0,-1,-1,-1,0,0,-1,0)/3
-8192*Iy(0,-1,-1,-1,0,0,-1,-1)/3+1024*Iy(0,-1,-1,-1,0,-1)*z2
+1024*Iy(0,-1,-1,-1,0,-1,0,0)-4096*Iy(0,-1,-1,-1,0,-1,0,-1)
-4096*Iy(0,-1,-1,-1,0,-1,-1,0)+8192*Iy(0,-1,-1,-1,0,-1,-1,-1)
-2048*Iy(0,-1,-1,-1,-1)*z3+1024*Iy(0,-1,-1,-1,-1,0)*z2/3
+1024*Iy(0,-1,-1,-1,-1,0,0,0)/3-8192*Iy(0,-1,-1,-1,-1,0,0,-1)/3
-4096*Iy(0,-1,-1,-1,-1,0,-1,0)+8192*Iy(0,-1,-1,-1,-1,0,-1,-1)
-2048*Iy(0,-1,-1,-1,-1,-1)*z2-2048*Iy(0,-1,-1,-1,-1,-1,0,0)
+8192*Iy(0,-1,-1,-1,-1,-1,0,-1)+8192*Iy(0,-1,-1,-1,-1,-1,-1,0)
-16384*Iy(0,-1,-1,-1,-1,-1,-1,-1)+32*Iy(-1)*z2*z5/45+56*Iy(-1)*z3*z4/45
+32*Iy(-1)*z7/45-64*Iy(-1,0)*z3^2/15-31*Iy(-1,0)*z6/315+32*Iy(-1,0,0)*z2*z3/45
+32*Iy(-1,0,0)*z5/45-4*Iy(-1,0,0,0)*z4/45+32*Iy(-1,0,0,0,0)*z3/45
-16*Iy(-1,0,0,0,0,0)*z2/315-16*Iy(-1,0,0,0,0,0,0,0)/315
+2048*Iy(-1,0,0,0,0,0,0,-1)/315+1024*Iy(-1,0,0,0,0,0,-1,0)/45
-2048*Iy(-1,0,0,0,0,0,-1,-1)/45+512*Iy(-1,0,0,0,0,-1)*z2/15
+512*Iy(-1,0,0,0,0,-1,0,0)/15-2048*Iy(-1,0,0,0,0,-1,0,-1)/15
-2048*Iy(-1,0,0,0,0,-1,-1,0)/15+4096*Iy(-1,0,0,0,0,-1,-1,-1)/15
-512*Iy(-1,0,0,0,-1)*z3/3+256*Iy(-1,0,0,0,-1,0)*z2/9
+256*Iy(-1,0,0,0,-1,0,0,0)/9-2048*Iy(-1,0,0,0,-1,0,0,-1)/9
-1024*Iy(-1,0,0,0,-1,0,-1,0)/3+2048*Iy(-1,0,0,0,-1,0,-1,-1)/3
-512*Iy(-1,0,0,0,-1,-1)*z2/3-512*Iy(-1,0,0,0,-1,-1,0,0)/3
+2048*Iy(-1,0,0,0,-1,-1,0,-1)/3+2048*Iy(-1,0,0,0,-1,-1,-1,0)/3
-4096*Iy(-1,0,0,0,-1,-1,-1,-1)/3+224*Iy(-1,0,0,-1)*z4/9
-1024*Iy(-1,0,0,-1,0)*z3/9+128*Iy(-1,0,0,-1,0,0)*z2/9
+128*Iy(-1,0,0,-1,0,0,0,0)/9-2048*Iy(-1,0,0,-1,0,0,0,-1)/9
-4096*Iy(-1,0,0,-1,0,0,-1,0)/9+8192*Iy(-1,0,0,-1,0,0,-1,-1)/9
-1024*Iy(-1,0,0,-1,0,-1)*z2/3-1024*Iy(-1,0,0,-1,0,-1,0,0)/3
+4096*Iy(-1,0,0,-1,0,-1,0,-1)/3+4096*Iy(-1,0,0,-1,0,-1,-1,0)/3
-8192*Iy(-1,0,0,-1,0,-1,-1,-1)/3+2048*Iy(-1,0,0,-1,-1)*z3/3
-1024*Iy(-1,0,0,-1,-1,0)*z2/9-1024*Iy(-1,0,0,-1,-1,0,0,0)/9
+8192*Iy(-1,0,0,-1,-1,0,0,-1)/9+4096*Iy(-1,0,0,-1,-1,0,-1,0)/3
-8192*Iy(-1,0,0,-1,-1,0,-1,-1)/3+2048*Iy(-1,0,0,-1,-1,-1)*z2/3
+2048*Iy(-1,0,0,-1,-1,-1,0,0)/3-8192*Iy(-1,0,0,-1,-1,-1,0,-1)/3
-8192*Iy(-1,0,0,-1,-1,-1,-1,0)/3+16384*Iy(-1,0,0,-1,-1,-1,-1,-1)/3
-128*Iy(-1,0,-1)*z2*z3/3-128*Iy(-1,0,-1)*z5/3+112*Iy(-1,0,-1,0)*z4/15
-128*Iy(-1,0,-1,0,0)*z3/3+64*Iy(-1,0,-1,0,0,0)*z2/15
+64*Iy(-1,0,-1,0,0,0,0,0)/15-2048*Iy(-1,0,-1,0,0,0,0,-1)/15
-1024*Iy(-1,0,-1,0,0,0,-1,0)/3+2048*Iy(-1,0,-1,0,0,0,-1,-1)/3
-1024*Iy(-1,0,-1,0,0,-1)*z2/3-1024*Iy(-1,0,-1,0,0,-1,0,0)/3
+4096*Iy(-1,0,-1,0,0,-1,0,-1)/3+4096*Iy(-1,0,-1,0,0,-1,-1,0)/3
-8192*Iy(-1,0,-1,0,0,-1,-1,-1)/3+1024*Iy(-1,0,-1,0,-1)*z3
-512*Iy(-1,0,-1,0,-1,0)*z2/3-512*Iy(-1,0,-1,0,-1,0,0,0)/3
+4096*Iy(-1,0,-1,0,-1,0,0,-1)/3+2048*Iy(-1,0,-1,0,-1,0,-1,0)
-4096*Iy(-1,0,-1,0,-1,0,-1,-1)+1024*Iy(-1,0,-1,0,-1,-1)*z2
+1024*Iy(-1,0,-1,0,-1,-1,0,0)-4096*Iy(-1,0,-1,0,-1,-1,0,-1)
-4096*Iy(-1,0,-1,0,-1,-1,-1,0)+8192*Iy(-1,0,-1,0,-1,-1,-1,-1)
-224*Iy(-1,0,-1,-1)*z4/3+1024*Iy(-1,0,-1,-1,0)*z3/3
-128*Iy(-1,0,-1,-1,0,0)*z2/3-128*Iy(-1,0,-1,-1,0,0,0,0)/3
+2048*Iy(-1,0,-1,-1,0,0,0,-1)/3+4096*Iy(-1,0,-1,-1,0,0,-1,0)/3
-8192*Iy(-1,0,-1,-1,0,0,-1,-1)/3+1024*Iy(-1,0,-1,-1,0,-1)*z2
+1024*Iy(-1,0,-1,-1,0,-1,0,0)-4096*Iy(-1,0,-1,-1,0,-1,0,-1)
-4096*Iy(-1,0,-1,-1,0,-1,-1,0)+8192*Iy(-1,0,-1,-1,0,-1,-1,-1)
-2048*Iy(-1,0,-1,-1,-1)*z3+1024*Iy(-1,0,-1,-1,-1,0)*z2/3
+1024*Iy(-1,0,-1,-1,-1,0,0,0)/3-8192*Iy(-1,0,-1,-1,-1,0,0,-1)/3
-4096*Iy(-1,0,-1,-1,-1,0,-1,0)+8192*Iy(-1,0,-1,-1,-1,0,-1,-1)
-2048*Iy(-1,0,-1,-1,-1,-1)*z2-2048*Iy(-1,0,-1,-1,-1,-1,0,0)
+8192*Iy(-1,0,-1,-1,-1,-1,0,-1)+8192*Iy(-1,0,-1,-1,-1,-1,-1,0)
-16384*Iy(-1,0,-1,-1,-1,-1,-1,-1)+128*Iy(-1,-1)*z3^2/3+62*Iy(-1,-1)*z6/45
-128*Iy(-1,-1,0)*z2*z3/15-128*Iy(-1,-1,0)*z5/15+56*Iy(-1,-1,0,0)*z4/45
-128*Iy(-1,-1,0,0,0)*z3/15+32*Iy(-1,-1,0,0,0,0)*z2/45
+32*Iy(-1,-1,0,0,0,0,0,0)/45-2048*Iy(-1,-1,0,0,0,0,0,-1)/45
-2048*Iy(-1,-1,0,0,0,0,-1,0)/15+4096*Iy(-1,-1,0,0,0,0,-1,-1)/15
-512*Iy(-1,-1,0,0,0,-1)*z2/3-512*Iy(-1,-1,0,0,0,-1,0,0)/3
+2048*Iy(-1,-1,0,0,0,-1,0,-1)/3+2048*Iy(-1,-1,0,0,0,-1,-1,0)/3
-4096*Iy(-1,-1,0,0,0,-1,-1,-1)/3+2048*Iy(-1,-1,0,0,-1)*z3/3
-1024*Iy(-1,-1,0,0,-1,0)*z2/9-1024*Iy(-1,-1,0,0,-1,0,0,0)/9
+8192*Iy(-1,-1,0,0,-1,0,0,-1)/9+4096*Iy(-1,-1,0,0,-1,0,-1,0)/3
-8192*Iy(-1,-1,0,0,-1,0,-1,-1)/3+2048*Iy(-1,-1,0,0,-1,-1)*z2/3
+2048*Iy(-1,-1,0,0,-1,-1,0,0)/3-8192*Iy(-1,-1,0,0,-1,-1,0,-1)/3
-8192*Iy(-1,-1,0,0,-1,-1,-1,0)/3+16384*Iy(-1,-1,0,0,-1,-1,-1,-1)/3
-224*Iy(-1,-1,0,-1)*z4/3+1024*Iy(-1,-1,0,-1,0)*z3/3
-128*Iy(-1,-1,0,-1,0,0)*z2/3-128*Iy(-1,-1,0,-1,0,0,0,0)/3
+2048*Iy(-1,-1,0,-1,0,0,0,-1)/3+4096*Iy(-1,-1,0,-1,0,0,-1,0)/3
-8192*Iy(-1,-1,0,-1,0,0,-1,-1)/3+1024*Iy(-1,-1,0,-1,0,-1)*z2
+1024*Iy(-1,-1,0,-1,0,-1,0,0)-4096*Iy(-1,-1,0,-1,0,-1,0,-1)
-4096*Iy(-1,-1,0,-1,0,-1,-1,0)+8192*Iy(-1,-1,0,-1,0,-1,-1,-1)
-2048*Iy(-1,-1,0,-1,-1)*z3+1024*Iy(-1,-1,0,-1,-1,0)*z2/3
+1024*Iy(-1,-1,0,-1,-1,0,0,0)/3-8192*Iy(-1,-1,0,-1,-1,0,0,-1)/3
-4096*Iy(-1,-1,0,-1,-1,0,-1,0)+8192*Iy(-1,-1,0,-1,-1,0,-1,-1)
-2048*Iy(-1,-1,0,-1,-1,-1)*z2-2048*Iy(-1,-1,0,-1,-1,-1,0,0)
+8192*Iy(-1,-1,0,-1,-1,-1,0,-1)+8192*Iy(-1,-1,0,-1,-1,-1,-1,0)
-16384*Iy(-1,-1,0,-1,-1,-1,-1,-1)+256*Iy(-1,-1,-1)*z2*z3/3
+256*Iy(-1,-1,-1)*z5/3-224*Iy(-1,-1,-1,0)*z4/15+256*Iy(-1,-1,-1,0,0)*z3/3
-128*Iy(-1,-1,-1,0,0,0)*z2/15-128*Iy(-1,-1,-1,0,0,0,0,0)/15
+4096*Iy(-1,-1,-1,0,0,0,0,-1)/15+2048*Iy(-1,-1,-1,0,0,0,-1,0)/3
-4096*Iy(-1,-1,-1,0,0,0,-1,-1)/3+2048*Iy(-1,-1,-1,0,0,-1)*z2/3
+2048*Iy(-1,-1,-1,0,0,-1,0,0)/3-8192*Iy(-1,-1,-1,0,0,-1,0,-1)/3
-8192*Iy(-1,-1,-1,0,0,-1,-1,0)/3+16384*Iy(-1,-1,-1,0,0,-1,-1,-1)/3
-2048*Iy(-1,-1,-1,0,-1)*z3+1024*Iy(-1,-1,-1,0,-1,0)*z2/3
+1024*Iy(-1,-1,-1,0,-1,0,0,0)/3-8192*Iy(-1,-1,-1,0,-1,0,0,-1)/3
-4096*Iy(-1,-1,-1,0,-1,0,-1,0)+8192*Iy(-1,-1,-1,0,-1,0,-1,-1)
-2048*Iy(-1,-1,-1,0,-1,-1)*z2-2048*Iy(-1,-1,-1,0,-1,-1,0,0)
+8192*Iy(-1,-1,-1,0,-1,-1,0,-1)+8192*Iy(-1,-1,-1,0,-1,-1,-1,0)
-16384*Iy(-1,-1,-1,0,-1,-1,-1,-1)+448*Iy(-1,-1,-1,-1)*z4/3
-2048*Iy(-1,-1,-1,-1,0)*z3/3+256*Iy(-1,-1,-1,-1,0,0)*z2/3
+256*Iy(-1,-1,-1,-1,0,0,0,0)/3-4096*Iy(-1,-1,-1,-1,0,0,0,-1)/3
-8192*Iy(-1,-1,-1,-1,0,0,-1,0)/3+16384*Iy(-1,-1,-1,-1,0,0,-1,-1)/3
-2048*Iy(-1,-1,-1,-1,0,-1)*z2-2048*Iy(-1,-1,-1,-1,0,-1,0,0)
+8192*Iy(-1,-1,-1,-1,0,-1,0,-1)+8192*Iy(-1,-1,-1,-1,0,-1,-1,0)
-16384*Iy(-1,-1,-1,-1,0,-1,-1,-1)+4096*Iy(-1,-1,-1,-1,-1)*z3
-2048*Iy(-1,-1,-1,-1,-1,0)*z2/3-2048*Iy(-1,-1,-1,-1,-1,0,0,0)/3
+16384*Iy(-1,-1,-1,-1,-1,0,0,-1)/3+8192*Iy(-1,-1,-1,-1,-1,0,-1,0)
-16384*Iy(-1,-1,-1,-1,-1,0,-1,-1)+4096*Iy(-1,-1,-1,-1,-1,-1)*z2
+4096*Iy(-1,-1,-1,-1,-1,-1,0,0)-16384*Iy(-1,-1,-1,-1,-1,-1,0,-1)
-16384*Iy(-1,-1,-1,-1,-1,-1,-1,0)+32768*Iy(-1,-1,-1,-1,-1,-1,-1,-1):
CT2F0C[8,7] := 0:
CT2F0[8,7] := CT2F0A[8,7]/y + CT2F0B[8,7] + y*CT2F0C[8,7]:

# ---- L = 9, k = 8
CT2F0A[9,8] := 0:
CT2F0B[9,8] := -4*Iy(0,0,0,0,0,0,0,0,-1)/315-32*Iy(0,0,0,0,0,0,0,-1,0)/315
+64*Iy(0,0,0,0,0,0,0,-1,-1)/315-16*Iy(0,0,0,0,0,0,-1)*z2/45
-16*Iy(0,0,0,0,0,0,-1,0,0)/45+64*Iy(0,0,0,0,0,0,-1,0,-1)/45
+64*Iy(0,0,0,0,0,0,-1,-1,0)/45-128*Iy(0,0,0,0,0,0,-1,-1,-1)/45
+64*Iy(0,0,0,0,0,-1)*z3/15-32*Iy(0,0,0,0,0,-1,0)*z2/45
-32*Iy(0,0,0,0,0,-1,0,0,0)/45+256*Iy(0,0,0,0,0,-1,0,0,-1)/45
+128*Iy(0,0,0,0,0,-1,0,-1,0)/15-256*Iy(0,0,0,0,0,-1,0,-1,-1)/15
+64*Iy(0,0,0,0,0,-1,-1)*z2/15+64*Iy(0,0,0,0,0,-1,-1,0,0)/15
-256*Iy(0,0,0,0,0,-1,-1,0,-1)/15-256*Iy(0,0,0,0,0,-1,-1,-1,0)/15
+512*Iy(0,0,0,0,0,-1,-1,-1,-1)/15-14*Iy(0,0,0,0,-1)*z4/9
+64*Iy(0,0,0,0,-1,0)*z3/9-8*Iy(0,0,0,0,-1,0,0)*z2/9-8*Iy(0,0,0,0,-1,0,0,0,0)/9
+128*Iy(0,0,0,0,-1,0,0,0,-1)/9+256*Iy(0,0,0,0,-1,0,0,-1,0)/9
-512*Iy(0,0,0,0,-1,0,0,-1,-1)/9+64*Iy(0,0,0,0,-1,0,-1)*z2/3
+64*Iy(0,0,0,0,-1,0,-1,0,0)/3-256*Iy(0,0,0,0,-1,0,-1,0,-1)/3
-256*Iy(0,0,0,0,-1,0,-1,-1,0)/3+512*Iy(0,0,0,0,-1,0,-1,-1,-1)/3
-128*Iy(0,0,0,0,-1,-1)*z3/3+64*Iy(0,0,0,0,-1,-1,0)*z2/9
+64*Iy(0,0,0,0,-1,-1,0,0,0)/9-512*Iy(0,0,0,0,-1,-1,0,0,-1)/9
-256*Iy(0,0,0,0,-1,-1,0,-1,0)/3+512*Iy(0,0,0,0,-1,-1,0,-1,-1)/3
-128*Iy(0,0,0,0,-1,-1,-1)*z2/3-128*Iy(0,0,0,0,-1,-1,-1,0,0)/3
+512*Iy(0,0,0,0,-1,-1,-1,0,-1)/3+512*Iy(0,0,0,0,-1,-1,-1,-1,0)/3
-1024*Iy(0,0,0,0,-1,-1,-1,-1,-1)/3+64*Iy(0,0,0,-1)*z2*z3/9
+64*Iy(0,0,0,-1)*z5/9-56*Iy(0,0,0,-1,0)*z4/45+64*Iy(0,0,0,-1,0,0)*z3/9
-32*Iy(0,0,0,-1,0,0,0)*z2/45-32*Iy(0,0,0,-1,0,0,0,0,0)/45
+1024*Iy(0,0,0,-1,0,0,0,0,-1)/45+512*Iy(0,0,0,-1,0,0,0,-1,0)/9
-1024*Iy(0,0,0,-1,0,0,0,-1,-1)/9+512*Iy(0,0,0,-1,0,0,-1)*z2/9
+512*Iy(0,0,0,-1,0,0,-1,0,0)/9-2048*Iy(0,0,0,-1,0,0,-1,0,-1)/9
-2048*Iy(0,0,0,-1,0,0,-1,-1,0)/9+4096*Iy(0,0,0,-1,0,0,-1,-1,-1)/9
-512*Iy(0,0,0,-1,0,-1)*z3/3+256*Iy(0,0,0,-1,0,-1,0)*z2/9
+256*Iy(0,0,0,-1,0,-1,0,0,0)/9-2048*Iy(0,0,0,-1,0,-1,0,0,-1)/9
-1024*Iy(0,0,0,-1,0,-1,0,-1,0)/3+2048*Iy(0,0,0,-1,0,-1,0,-1,-1)/3
-512*Iy(0,0,0,-1,0,-1,-1)*z2/3-512*Iy(0,0,0,-1,0,-1,-1,0,0)/3
+2048*Iy(0,0,0,-1,0,-1,-1,0,-1)/3+2048*Iy(0,0,0,-1,0,-1,-1,-1,0)/3
-4096*Iy(0,0,0,-1,0,-1,-1,-1,-1)/3+112*Iy(0,0,0,-1,-1)*z4/9
-512*Iy(0,0,0,-1,-1,0)*z3/9+64*Iy(0,0,0,-1,-1,0,0)*z2/9
+64*Iy(0,0,0,-1,-1,0,0,0,0)/9-1024*Iy(0,0,0,-1,-1,0,0,0,-1)/9
-2048*Iy(0,0,0,-1,-1,0,0,-1,0)/9+4096*Iy(0,0,0,-1,-1,0,0,-1,-1)/9
-512*Iy(0,0,0,-1,-1,0,-1)*z2/3-512*Iy(0,0,0,-1,-1,0,-1,0,0)/3
+2048*Iy(0,0,0,-1,-1,0,-1,0,-1)/3+2048*Iy(0,0,0,-1,-1,0,-1,-1,0)/3
-4096*Iy(0,0,0,-1,-1,0,-1,-1,-1)/3+1024*Iy(0,0,0,-1,-1,-1)*z3/3
-512*Iy(0,0,0,-1,-1,-1,0)*z2/9-512*Iy(0,0,0,-1,-1,-1,0,0,0)/9
+4096*Iy(0,0,0,-1,-1,-1,0,0,-1)/9+2048*Iy(0,0,0,-1,-1,-1,0,-1,0)/3
-4096*Iy(0,0,0,-1,-1,-1,0,-1,-1)/3+1024*Iy(0,0,0,-1,-1,-1,-1)*z2/3
+1024*Iy(0,0,0,-1,-1,-1,-1,0,0)/3-4096*Iy(0,0,0,-1,-1,-1,-1,0,-1)/3
-4096*Iy(0,0,0,-1,-1,-1,-1,-1,0)/3+8192*Iy(0,0,0,-1,-1,-1,-1,-1,-1)/3
-64*Iy(0,0,-1)*z3^2/3-31*Iy(0,0,-1)*z6/45+64*Iy(0,0,-1,0)*z2*z3/15
+64*Iy(0,0,-1,0)*z5/15-28*Iy(0,0,-1,0,0)*z4/45+64*Iy(0,0,-1,0,0,0)*z3/15
-16*Iy(0,0,-1,0,0,0,0)*z2/45-16*Iy(0,0,-1,0,0,0,0,0,0)/45
+1024*Iy(0,0,-1,0,0,0,0,0,-1)/45+1024*Iy(0,0,-1,0,0,0,0,-1,0)/15
-2048*Iy(0,0,-1,0,0,0,0,-1,-1)/15+256*Iy(0,0,-1,0,0,0,-1)*z2/3
+256*Iy(0,0,-1,0,0,0,-1,0,0)/3-1024*Iy(0,0,-1,0,0,0,-1,0,-1)/3
-1024*Iy(0,0,-1,0,0,0,-1,-1,0)/3+2048*Iy(0,0,-1,0,0,0,-1,-1,-1)/3
-1024*Iy(0,0,-1,0,0,-1)*z3/3+512*Iy(0,0,-1,0,0,-1,0)*z2/9
+512*Iy(0,0,-1,0,0,-1,0,0,0)/9-4096*Iy(0,0,-1,0,0,-1,0,0,-1)/9
-2048*Iy(0,0,-1,0,0,-1,0,-1,0)/3+4096*Iy(0,0,-1,0,0,-1,0,-1,-1)/3
-1024*Iy(0,0,-1,0,0,-1,-1)*z2/3-1024*Iy(0,0,-1,0,0,-1,-1,0,0)/3
+4096*Iy(0,0,-1,0,0,-1,-1,0,-1)/3+4096*Iy(0,0,-1,0,0,-1,-1,-1,0)/3
-8192*Iy(0,0,-1,0,0,-1,-1,-1,-1)/3+112*Iy(0,0,-1,0,-1)*z4/3
-512*Iy(0,0,-1,0,-1,0)*z3/3+64*Iy(0,0,-1,0,-1,0,0)*z2/3
+64*Iy(0,0,-1,0,-1,0,0,0,0)/3-1024*Iy(0,0,-1,0,-1,0,0,0,-1)/3
-2048*Iy(0,0,-1,0,-1,0,0,-1,0)/3+4096*Iy(0,0,-1,0,-1,0,0,-1,-1)/3
-512*Iy(0,0,-1,0,-1,0,-1)*z2-512*Iy(0,0,-1,0,-1,0,-1,0,0)
+2048*Iy(0,0,-1,0,-1,0,-1,0,-1)+2048*Iy(0,0,-1,0,-1,0,-1,-1,0)
-4096*Iy(0,0,-1,0,-1,0,-1,-1,-1)+1024*Iy(0,0,-1,0,-1,-1)*z3
-512*Iy(0,0,-1,0,-1,-1,0)*z2/3-512*Iy(0,0,-1,0,-1,-1,0,0,0)/3
+4096*Iy(0,0,-1,0,-1,-1,0,0,-1)/3+2048*Iy(0,0,-1,0,-1,-1,0,-1,0)
-4096*Iy(0,0,-1,0,-1,-1,0,-1,-1)+1024*Iy(0,0,-1,0,-1,-1,-1)*z2
+1024*Iy(0,0,-1,0,-1,-1,-1,0,0)-4096*Iy(0,0,-1,0,-1,-1,-1,0,-1)
-4096*Iy(0,0,-1,0,-1,-1,-1,-1,0)+8192*Iy(0,0,-1,0,-1,-1,-1,-1,-1)
-128*Iy(0,0,-1,-1)*z2*z3/3-128*Iy(0,0,-1,-1)*z5/3+112*Iy(0,0,-1,-1,0)*z4/15
-128*Iy(0,0,-1,-1,0,0)*z3/3+64*Iy(0,0,-1,-1,0,0,0)*z2/15
+64*Iy(0,0,-1,-1,0,0,0,0,0)/15-2048*Iy(0,0,-1,-1,0,0,0,0,-1)/15
-1024*Iy(0,0,-1,-1,0,0,0,-1,0)/3+2048*Iy(0,0,-1,-1,0,0,0,-1,-1)/3
-1024*Iy(0,0,-1,-1,0,0,-1)*z2/3-1024*Iy(0,0,-1,-1,0,0,-1,0,0)/3
+4096*Iy(0,0,-1,-1,0,0,-1,0,-1)/3+4096*Iy(0,0,-1,-1,0,0,-1,-1,0)/3
-8192*Iy(0,0,-1,-1,0,0,-1,-1,-1)/3+1024*Iy(0,0,-1,-1,0,-1)*z3
-512*Iy(0,0,-1,-1,0,-1,0)*z2/3-512*Iy(0,0,-1,-1,0,-1,0,0,0)/3
+4096*Iy(0,0,-1,-1,0,-1,0,0,-1)/3+2048*Iy(0,0,-1,-1,0,-1,0,-1,0)
-4096*Iy(0,0,-1,-1,0,-1,0,-1,-1)+1024*Iy(0,0,-1,-1,0,-1,-1)*z2
+1024*Iy(0,0,-1,-1,0,-1,-1,0,0)-4096*Iy(0,0,-1,-1,0,-1,-1,0,-1)
-4096*Iy(0,0,-1,-1,0,-1,-1,-1,0)+8192*Iy(0,0,-1,-1,0,-1,-1,-1,-1)
-224*Iy(0,0,-1,-1,-1)*z4/3+1024*Iy(0,0,-1,-1,-1,0)*z3/3
-128*Iy(0,0,-1,-1,-1,0,0)*z2/3-128*Iy(0,0,-1,-1,-1,0,0,0,0)/3
+2048*Iy(0,0,-1,-1,-1,0,0,0,-1)/3+4096*Iy(0,0,-1,-1,-1,0,0,-1,0)/3
-8192*Iy(0,0,-1,-1,-1,0,0,-1,-1)/3+1024*Iy(0,0,-1,-1,-1,0,-1)*z2
+1024*Iy(0,0,-1,-1,-1,0,-1,0,0)-4096*Iy(0,0,-1,-1,-1,0,-1,0,-1)
-4096*Iy(0,0,-1,-1,-1,0,-1,-1,0)+8192*Iy(0,0,-1,-1,-1,0,-1,-1,-1)
-2048*Iy(0,0,-1,-1,-1,-1)*z3+1024*Iy(0,0,-1,-1,-1,-1,0)*z2/3
+1024*Iy(0,0,-1,-1,-1,-1,0,0,0)/3-8192*Iy(0,0,-1,-1,-1,-1,0,0,-1)/3
-4096*Iy(0,0,-1,-1,-1,-1,0,-1,0)+8192*Iy(0,0,-1,-1,-1,-1,0,-1,-1)
-2048*Iy(0,0,-1,-1,-1,-1,-1)*z2-2048*Iy(0,0,-1,-1,-1,-1,-1,0,0)
+8192*Iy(0,0,-1,-1,-1,-1,-1,0,-1)+8192*Iy(0,0,-1,-1,-1,-1,-1,-1,0)
-16384*Iy(0,0,-1,-1,-1,-1,-1,-1,-1)+64*Iy(0,-1)*z2*z5/45+112*Iy(0,-1)*z3*z4/45
+64*Iy(0,-1)*z7/45-128*Iy(0,-1,0)*z3^2/15-62*Iy(0,-1,0)*z6/315
+64*Iy(0,-1,0,0)*z2*z3/45+64*Iy(0,-1,0,0)*z5/45-8*Iy(0,-1,0,0,0)*z4/45
+64*Iy(0,-1,0,0,0,0)*z3/45-32*Iy(0,-1,0,0,0,0,0)*z2/315
-32*Iy(0,-1,0,0,0,0,0,0,0)/315+4096*Iy(0,-1,0,0,0,0,0,0,-1)/315
+2048*Iy(0,-1,0,0,0,0,0,-1,0)/45-4096*Iy(0,-1,0,0,0,0,0,-1,-1)/45
+1024*Iy(0,-1,0,0,0,0,-1)*z2/15+1024*Iy(0,-1,0,0,0,0,-1,0,0)/15
-4096*Iy(0,-1,0,0,0,0,-1,0,-1)/15-4096*Iy(0,-1,0,0,0,0,-1,-1,0)/15
+8192*Iy(0,-1,0,0,0,0,-1,-1,-1)/15-1024*Iy(0,-1,0,0,0,-1)*z3/3
+512*Iy(0,-1,0,0,0,-1,0)*z2/9+512*Iy(0,-1,0,0,0,-1,0,0,0)/9
-4096*Iy(0,-1,0,0,0,-1,0,0,-1)/9-2048*Iy(0,-1,0,0,0,-1,0,-1,0)/3
+4096*Iy(0,-1,0,0,0,-1,0,-1,-1)/3-1024*Iy(0,-1,0,0,0,-1,-1)*z2/3
-1024*Iy(0,-1,0,0,0,-1,-1,0,0)/3+4096*Iy(0,-1,0,0,0,-1,-1,0,-1)/3
+4096*Iy(0,-1,0,0,0,-1,-1,-1,0)/3-8192*Iy(0,-1,0,0,0,-1,-1,-1,-1)/3
+448*Iy(0,-1,0,0,-1)*z4/9-2048*Iy(0,-1,0,0,-1,0)*z3/9
+256*Iy(0,-1,0,0,-1,0,0)*z2/9+256*Iy(0,-1,0,0,-1,0,0,0,0)/9
-4096*Iy(0,-1,0,0,-1,0,0,0,-1)/9-8192*Iy(0,-1,0,0,-1,0,0,-1,0)/9
+16384*Iy(0,-1,0,0,-1,0,0,-1,-1)/9-2048*Iy(0,-1,0,0,-1,0,-1)*z2/3
-2048*Iy(0,-1,0,0,-1,0,-1,0,0)/3+8192*Iy(0,-1,0,0,-1,0,-1,0,-1)/3
+8192*Iy(0,-1,0,0,-1,0,-1,-1,0)/3-16384*Iy(0,-1,0,0,-1,0,-1,-1,-1)/3
+4096*Iy(0,-1,0,0,-1,-1)*z3/3-2048*Iy(0,-1,0,0,-1,-1,0)*z2/9
-2048*Iy(0,-1,0,0,-1,-1,0,0,0)/9+16384*Iy(0,-1,0,0,-1,-1,0,0,-1)/9
+8192*Iy(0,-1,0,0,-1,-1,0,-1,0)/3-16384*Iy(0,-1,0,0,-1,-1,0,-1,-1)/3
+4096*Iy(0,-1,0,0,-1,-1,-1)*z2/3+4096*Iy(0,-1,0,0,-1,-1,-1,0,0)/3
-16384*Iy(0,-1,0,0,-1,-1,-1,0,-1)/3-16384*Iy(0,-1,0,0,-1,-1,-1,-1,0)/3
+32768*Iy(0,-1,0,0,-1,-1,-1,-1,-1)/3-256*Iy(0,-1,0,-1)*z2*z3/3
-256*Iy(0,-1,0,-1)*z5/3+224*Iy(0,-1,0,-1,0)*z4/15-256*Iy(0,-1,0,-1,0,0)*z3/3
+128*Iy(0,-1,0,-1,0,0,0)*z2/15+128*Iy(0,-1,0,-1,0,0,0,0,0)/15
-4096*Iy(0,-1,0,-1,0,0,0,0,-1)/15-2048*Iy(0,-1,0,-1,0,0,0,-1,0)/3
+4096*Iy(0,-1,0,-1,0,0,0,-1,-1)/3-2048*Iy(0,-1,0,-1,0,0,-1)*z2/3
-2048*Iy(0,-1,0,-1,0,0,-1,0,0)/3+8192*Iy(0,-1,0,-1,0,0,-1,0,-1)/3
+8192*Iy(0,-1,0,-1,0,0,-1,-1,0)/3-16384*Iy(0,-1,0,-1,0,0,-1,-1,-1)/3
+2048*Iy(0,-1,0,-1,0,-1)*z3-1024*Iy(0,-1,0,-1,0,-1,0)*z2/3
-1024*Iy(0,-1,0,-1,0,-1,0,0,0)/3+8192*Iy(0,-1,0,-1,0,-1,0,0,-1)/3
+4096*Iy(0,-1,0,-1,0,-1,0,-1,0)-8192*Iy(0,-1,0,-1,0,-1,0,-1,-1)
+2048*Iy(0,-1,0,-1,0,-1,-1)*z2+2048*Iy(0,-1,0,-1,0,-1,-1,0,0)
-8192*Iy(0,-1,0,-1,0,-1,-1,0,-1)-8192*Iy(0,-1,0,-1,0,-1,-1,-1,0)
+16384*Iy(0,-1,0,-1,0,-1,-1,-1,-1)-448*Iy(0,-1,0,-1,-1)*z4/3
+2048*Iy(0,-1,0,-1,-1,0)*z3/3-256*Iy(0,-1,0,-1,-1,0,0)*z2/3
-256*Iy(0,-1,0,-1,-1,0,0,0,0)/3+4096*Iy(0,-1,0,-1,-1,0,0,0,-1)/3
+8192*Iy(0,-1,0,-1,-1,0,0,-1,0)/3-16384*Iy(0,-1,0,-1,-1,0,0,-1,-1)/3
+2048*Iy(0,-1,0,-1,-1,0,-1)*z2+2048*Iy(0,-1,0,-1,-1,0,-1,0,0)
-8192*Iy(0,-1,0,-1,-1,0,-1,0,-1)-8192*Iy(0,-1,0,-1,-1,0,-1,-1,0)
+16384*Iy(0,-1,0,-1,-1,0,-1,-1,-1)-4096*Iy(0,-1,0,-1,-1,-1)*z3
+2048*Iy(0,-1,0,-1,-1,-1,0)*z2/3+2048*Iy(0,-1,0,-1,-1,-1,0,0,0)/3
-16384*Iy(0,-1,0,-1,-1,-1,0,0,-1)/3-8192*Iy(0,-1,0,-1,-1,-1,0,-1,0)
+16384*Iy(0,-1,0,-1,-1,-1,0,-1,-1)-4096*Iy(0,-1,0,-1,-1,-1,-1)*z2
-4096*Iy(0,-1,0,-1,-1,-1,-1,0,0)+16384*Iy(0,-1,0,-1,-1,-1,-1,0,-1)
+16384*Iy(0,-1,0,-1,-1,-1,-1,-1,0)-32768*Iy(0,-1,0,-1,-1,-1,-1,-1,-1)
+256*Iy(0,-1,-1)*z3^2/3+124*Iy(0,-1,-1)*z6/45-256*Iy(0,-1,-1,0)*z2*z3/15
-256*Iy(0,-1,-1,0)*z5/15+112*Iy(0,-1,-1,0,0)*z4/45-256*Iy(0,-1,-1,0,0,0)*z3/15
+64*Iy(0,-1,-1,0,0,0,0)*z2/45+64*Iy(0,-1,-1,0,0,0,0,0,0)/45
-4096*Iy(0,-1,-1,0,0,0,0,0,-1)/45-4096*Iy(0,-1,-1,0,0,0,0,-1,0)/15
+8192*Iy(0,-1,-1,0,0,0,0,-1,-1)/15-1024*Iy(0,-1,-1,0,0,0,-1)*z2/3
-1024*Iy(0,-1,-1,0,0,0,-1,0,0)/3+4096*Iy(0,-1,-1,0,0,0,-1,0,-1)/3
+4096*Iy(0,-1,-1,0,0,0,-1,-1,0)/3-8192*Iy(0,-1,-1,0,0,0,-1,-1,-1)/3
+4096*Iy(0,-1,-1,0,0,-1)*z3/3-2048*Iy(0,-1,-1,0,0,-1,0)*z2/9
-2048*Iy(0,-1,-1,0,0,-1,0,0,0)/9+16384*Iy(0,-1,-1,0,0,-1,0,0,-1)/9
+8192*Iy(0,-1,-1,0,0,-1,0,-1,0)/3-16384*Iy(0,-1,-1,0,0,-1,0,-1,-1)/3
+4096*Iy(0,-1,-1,0,0,-1,-1)*z2/3+4096*Iy(0,-1,-1,0,0,-1,-1,0,0)/3
-16384*Iy(0,-1,-1,0,0,-1,-1,0,-1)/3-16384*Iy(0,-1,-1,0,0,-1,-1,-1,0)/3
+32768*Iy(0,-1,-1,0,0,-1,-1,-1,-1)/3-448*Iy(0,-1,-1,0,-1)*z4/3
+2048*Iy(0,-1,-1,0,-1,0)*z3/3-256*Iy(0,-1,-1,0,-1,0,0)*z2/3
-256*Iy(0,-1,-1,0,-1,0,0,0,0)/3+4096*Iy(0,-1,-1,0,-1,0,0,0,-1)/3
+8192*Iy(0,-1,-1,0,-1,0,0,-1,0)/3-16384*Iy(0,-1,-1,0,-1,0,0,-1,-1)/3
+2048*Iy(0,-1,-1,0,-1,0,-1)*z2+2048*Iy(0,-1,-1,0,-1,0,-1,0,0)
-8192*Iy(0,-1,-1,0,-1,0,-1,0,-1)-8192*Iy(0,-1,-1,0,-1,0,-1,-1,0)
+16384*Iy(0,-1,-1,0,-1,0,-1,-1,-1)-4096*Iy(0,-1,-1,0,-1,-1)*z3
+2048*Iy(0,-1,-1,0,-1,-1,0)*z2/3+2048*Iy(0,-1,-1,0,-1,-1,0,0,0)/3
-16384*Iy(0,-1,-1,0,-1,-1,0,0,-1)/3-8192*Iy(0,-1,-1,0,-1,-1,0,-1,0)
+16384*Iy(0,-1,-1,0,-1,-1,0,-1,-1)-4096*Iy(0,-1,-1,0,-1,-1,-1)*z2
-4096*Iy(0,-1,-1,0,-1,-1,-1,0,0)+16384*Iy(0,-1,-1,0,-1,-1,-1,0,-1)
+16384*Iy(0,-1,-1,0,-1,-1,-1,-1,0)-32768*Iy(0,-1,-1,0,-1,-1,-1,-1,-1)
+512*Iy(0,-1,-1,-1)*z2*z3/3+512*Iy(0,-1,-1,-1)*z5/3-448*Iy(0,-1,-1,-1,0)*z4/15
+512*Iy(0,-1,-1,-1,0,0)*z3/3-256*Iy(0,-1,-1,-1,0,0,0)*z2/15
-256*Iy(0,-1,-1,-1,0,0,0,0,0)/15+8192*Iy(0,-1,-1,-1,0,0,0,0,-1)/15
+4096*Iy(0,-1,-1,-1,0,0,0,-1,0)/3-8192*Iy(0,-1,-1,-1,0,0,0,-1,-1)/3
+4096*Iy(0,-1,-1,-1,0,0,-1)*z2/3+4096*Iy(0,-1,-1,-1,0,0,-1,0,0)/3
-16384*Iy(0,-1,-1,-1,0,0,-1,0,-1)/3-16384*Iy(0,-1,-1,-1,0,0,-1,-1,0)/3
+32768*Iy(0,-1,-1,-1,0,0,-1,-1,-1)/3-4096*Iy(0,-1,-1,-1,0,-1)*z3
+2048*Iy(0,-1,-1,-1,0,-1,0)*z2/3+2048*Iy(0,-1,-1,-1,0,-1,0,0,0)/3
-16384*Iy(0,-1,-1,-1,0,-1,0,0,-1)/3-8192*Iy(0,-1,-1,-1,0,-1,0,-1,0)
+16384*Iy(0,-1,-1,-1,0,-1,0,-1,-1)-4096*Iy(0,-1,-1,-1,0,-1,-1)*z2
-4096*Iy(0,-1,-1,-1,0,-1,-1,0,0)+16384*Iy(0,-1,-1,-1,0,-1,-1,0,-1)
+16384*Iy(0,-1,-1,-1,0,-1,-1,-1,0)-32768*Iy(0,-1,-1,-1,0,-1,-1,-1,-1)
+896*Iy(0,-1,-1,-1,-1)*z4/3-4096*Iy(0,-1,-1,-1,-1,0)*z3/3
+512*Iy(0,-1,-1,-1,-1,0,0)*z2/3+512*Iy(0,-1,-1,-1,-1,0,0,0,0)/3
-8192*Iy(0,-1,-1,-1,-1,0,0,0,-1)/3-16384*Iy(0,-1,-1,-1,-1,0,0,-1,0)/3
+32768*Iy(0,-1,-1,-1,-1,0,0,-1,-1)/3-4096*Iy(0,-1,-1,-1,-1,0,-1)*z2
-4096*Iy(0,-1,-1,-1,-1,0,-1,0,0)+16384*Iy(0,-1,-1,-1,-1,0,-1,0,-1)
+16384*Iy(0,-1,-1,-1,-1,0,-1,-1,0)-32768*Iy(0,-1,-1,-1,-1,0,-1,-1,-1)
+8192*Iy(0,-1,-1,-1,-1,-1)*z3-4096*Iy(0,-1,-1,-1,-1,-1,0)*z2/3
-4096*Iy(0,-1,-1,-1,-1,-1,0,0,0)/3+32768*Iy(0,-1,-1,-1,-1,-1,0,0,-1)/3
+16384*Iy(0,-1,-1,-1,-1,-1,0,-1,0)-32768*Iy(0,-1,-1,-1,-1,-1,0,-1,-1)
+8192*Iy(0,-1,-1,-1,-1,-1,-1)*z2+8192*Iy(0,-1,-1,-1,-1,-1,-1,0,0)
-32768*Iy(0,-1,-1,-1,-1,-1,-1,0,-1)-32768*Iy(0,-1,-1,-1,-1,-1,-1,-1,0)
+65536*Iy(0,-1,-1,-1,-1,-1,-1,-1,-1)-64*Iy(-1)*z2*z3^2/45-128*Iy(-1)*z3*z5/45
-127*Iy(-1)*z8/5040+64*Iy(-1,0)*z2*z5/315+16*Iy(-1,0)*z3*z4/45
+64*Iy(-1,0)*z7/315-64*Iy(-1,0,0)*z3^2/45-31*Iy(-1,0,0)*z6/1260
+64*Iy(-1,0,0,0)*z2*z3/315+64*Iy(-1,0,0,0)*z5/315-Iy(-1,0,0,0,0)*z4/45
+64*Iy(-1,0,0,0,0,0)*z3/315-4*Iy(-1,0,0,0,0,0,0)*z2/315
-4*Iy(-1,0,0,0,0,0,0,0,0)/315+1024*Iy(-1,0,0,0,0,0,0,0,-1)/315
+4096*Iy(-1,0,0,0,0,0,0,-1,0)/315-8192*Iy(-1,0,0,0,0,0,0,-1,-1)/315
+1024*Iy(-1,0,0,0,0,0,-1)*z2/45+1024*Iy(-1,0,0,0,0,0,-1,0,0)/45
-4096*Iy(-1,0,0,0,0,0,-1,0,-1)/45-4096*Iy(-1,0,0,0,0,0,-1,-1,0)/45
+8192*Iy(-1,0,0,0,0,0,-1,-1,-1)/45-2048*Iy(-1,0,0,0,0,-1)*z3/15
+1024*Iy(-1,0,0,0,0,-1,0)*z2/45+1024*Iy(-1,0,0,0,0,-1,0,0,0)/45
-8192*Iy(-1,0,0,0,0,-1,0,0,-1)/45-4096*Iy(-1,0,0,0,0,-1,0,-1,0)/15
+8192*Iy(-1,0,0,0,0,-1,0,-1,-1)/15-2048*Iy(-1,0,0,0,0,-1,-1)*z2/15
-2048*Iy(-1,0,0,0,0,-1,-1,0,0)/15+8192*Iy(-1,0,0,0,0,-1,-1,0,-1)/15
+8192*Iy(-1,0,0,0,0,-1,-1,-1,0)/15-16384*Iy(-1,0,0,0,0,-1,-1,-1,-1)/15
+224*Iy(-1,0,0,0,-1)*z4/9-1024*Iy(-1,0,0,0,-1,0)*z3/9
+128*Iy(-1,0,0,0,-1,0,0)*z2/9+128*Iy(-1,0,0,0,-1,0,0,0,0)/9
-2048*Iy(-1,0,0,0,-1,0,0,0,-1)/9-4096*Iy(-1,0,0,0,-1,0,0,-1,0)/9
+8192*Iy(-1,0,0,0,-1,0,0,-1,-1)/9-1024*Iy(-1,0,0,0,-1,0,-1)*z2/3
-1024*Iy(-1,0,0,0,-1,0,-1,0,0)/3+4096*Iy(-1,0,0,0,-1,0,-1,0,-1)/3
+4096*Iy(-1,0,0,0,-1,0,-1,-1,0)/3-8192*Iy(-1,0,0,0,-1,0,-1,-1,-1)/3
+2048*Iy(-1,0,0,0,-1,-1)*z3/3-1024*Iy(-1,0,0,0,-1,-1,0)*z2/9
-1024*Iy(-1,0,0,0,-1,-1,0,0,0)/9+8192*Iy(-1,0,0,0,-1,-1,0,0,-1)/9
+4096*Iy(-1,0,0,0,-1,-1,0,-1,0)/3-8192*Iy(-1,0,0,0,-1,-1,0,-1,-1)/3
+2048*Iy(-1,0,0,0,-1,-1,-1)*z2/3+2048*Iy(-1,0,0,0,-1,-1,-1,0,0)/3
-8192*Iy(-1,0,0,0,-1,-1,-1,0,-1)/3-8192*Iy(-1,0,0,0,-1,-1,-1,-1,0)/3
+16384*Iy(-1,0,0,0,-1,-1,-1,-1,-1)/3-512*Iy(-1,0,0,-1)*z2*z3/9
-512*Iy(-1,0,0,-1)*z5/9+448*Iy(-1,0,0,-1,0)*z4/45-512*Iy(-1,0,0,-1,0,0)*z3/9
+256*Iy(-1,0,0,-1,0,0,0)*z2/45+256*Iy(-1,0,0,-1,0,0,0,0,0)/45
-8192*Iy(-1,0,0,-1,0,0,0,0,-1)/45-4096*Iy(-1,0,0,-1,0,0,0,-1,0)/9
+8192*Iy(-1,0,0,-1,0,0,0,-1,-1)/9-4096*Iy(-1,0,0,-1,0,0,-1)*z2/9
-4096*Iy(-1,0,0,-1,0,0,-1,0,0)/9+16384*Iy(-1,0,0,-1,0,0,-1,0,-1)/9
+16384*Iy(-1,0,0,-1,0,0,-1,-1,0)/9-32768*Iy(-1,0,0,-1,0,0,-1,-1,-1)/9
+4096*Iy(-1,0,0,-1,0,-1)*z3/3-2048*Iy(-1,0,0,-1,0,-1,0)*z2/9
-2048*Iy(-1,0,0,-1,0,-1,0,0,0)/9+16384*Iy(-1,0,0,-1,0,-1,0,0,-1)/9
+8192*Iy(-1,0,0,-1,0,-1,0,-1,0)/3-16384*Iy(-1,0,0,-1,0,-1,0,-1,-1)/3
+4096*Iy(-1,0,0,-1,0,-1,-1)*z2/3+4096*Iy(-1,0,0,-1,0,-1,-1,0,0)/3
-16384*Iy(-1,0,0,-1,0,-1,-1,0,-1)/3-16384*Iy(-1,0,0,-1,0,-1,-1,-1,0)/3
+32768*Iy(-1,0,0,-1,0,-1,-1,-1,-1)/3-896*Iy(-1,0,0,-1,-1)*z4/9
+4096*Iy(-1,0,0,-1,-1,0)*z3/9-512*Iy(-1,0,0,-1,-1,0,0)*z2/9
-512*Iy(-1,0,0,-1,-1,0,0,0,0)/9+8192*Iy(-1,0,0,-1,-1,0,0,0,-1)/9
+16384*Iy(-1,0,0,-1,-1,0,0,-1,0)/9-32768*Iy(-1,0,0,-1,-1,0,0,-1,-1)/9
+4096*Iy(-1,0,0,-1,-1,0,-1)*z2/3+4096*Iy(-1,0,0,-1,-1,0,-1,0,0)/3
-16384*Iy(-1,0,0,-1,-1,0,-1,0,-1)/3-16384*Iy(-1,0,0,-1,-1,0,-1,-1,0)/3
+32768*Iy(-1,0,0,-1,-1,0,-1,-1,-1)/3-8192*Iy(-1,0,0,-1,-1,-1)*z3/3
+4096*Iy(-1,0,0,-1,-1,-1,0)*z2/9+4096*Iy(-1,0,0,-1,-1,-1,0,0,0)/9
-32768*Iy(-1,0,0,-1,-1,-1,0,0,-1)/9-16384*Iy(-1,0,0,-1,-1,-1,0,-1,0)/3
+32768*Iy(-1,0,0,-1,-1,-1,0,-1,-1)/3-8192*Iy(-1,0,0,-1,-1,-1,-1)*z2/3
-8192*Iy(-1,0,0,-1,-1,-1,-1,0,0)/3+32768*Iy(-1,0,0,-1,-1,-1,-1,0,-1)/3
+32768*Iy(-1,0,0,-1,-1,-1,-1,-1,0)/3-65536*Iy(-1,0,0,-1,-1,-1,-1,-1,-1)/3
+256*Iy(-1,0,-1)*z3^2/3+124*Iy(-1,0,-1)*z6/45-256*Iy(-1,0,-1,0)*z2*z3/15
-256*Iy(-1,0,-1,0)*z5/15+112*Iy(-1,0,-1,0,0)*z4/45-256*Iy(-1,0,-1,0,0,0)*z3/15
+64*Iy(-1,0,-1,0,0,0,0)*z2/45+64*Iy(-1,0,-1,0,0,0,0,0,0)/45
-4096*Iy(-1,0,-1,0,0,0,0,0,-1)/45-4096*Iy(-1,0,-1,0,0,0,0,-1,0)/15
+8192*Iy(-1,0,-1,0,0,0,0,-1,-1)/15-1024*Iy(-1,0,-1,0,0,0,-1)*z2/3
-1024*Iy(-1,0,-1,0,0,0,-1,0,0)/3+4096*Iy(-1,0,-1,0,0,0,-1,0,-1)/3
+4096*Iy(-1,0,-1,0,0,0,-1,-1,0)/3-8192*Iy(-1,0,-1,0,0,0,-1,-1,-1)/3
+4096*Iy(-1,0,-1,0,0,-1)*z3/3-2048*Iy(-1,0,-1,0,0,-1,0)*z2/9
-2048*Iy(-1,0,-1,0,0,-1,0,0,0)/9+16384*Iy(-1,0,-1,0,0,-1,0,0,-1)/9
+8192*Iy(-1,0,-1,0,0,-1,0,-1,0)/3-16384*Iy(-1,0,-1,0,0,-1,0,-1,-1)/3
+4096*Iy(-1,0,-1,0,0,-1,-1)*z2/3+4096*Iy(-1,0,-1,0,0,-1,-1,0,0)/3
-16384*Iy(-1,0,-1,0,0,-1,-1,0,-1)/3-16384*Iy(-1,0,-1,0,0,-1,-1,-1,0)/3
+32768*Iy(-1,0,-1,0,0,-1,-1,-1,-1)/3-448*Iy(-1,0,-1,0,-1)*z4/3
+2048*Iy(-1,0,-1,0,-1,0)*z3/3-256*Iy(-1,0,-1,0,-1,0,0)*z2/3
-256*Iy(-1,0,-1,0,-1,0,0,0,0)/3+4096*Iy(-1,0,-1,0,-1,0,0,0,-1)/3
+8192*Iy(-1,0,-1,0,-1,0,0,-1,0)/3-16384*Iy(-1,0,-1,0,-1,0,0,-1,-1)/3
+2048*Iy(-1,0,-1,0,-1,0,-1)*z2+2048*Iy(-1,0,-1,0,-1,0,-1,0,0)
-8192*Iy(-1,0,-1,0,-1,0,-1,0,-1)-8192*Iy(-1,0,-1,0,-1,0,-1,-1,0)
+16384*Iy(-1,0,-1,0,-1,0,-1,-1,-1)-4096*Iy(-1,0,-1,0,-1,-1)*z3
+2048*Iy(-1,0,-1,0,-1,-1,0)*z2/3+2048*Iy(-1,0,-1,0,-1,-1,0,0,0)/3
-16384*Iy(-1,0,-1,0,-1,-1,0,0,-1)/3-8192*Iy(-1,0,-1,0,-1,-1,0,-1,0)
+16384*Iy(-1,0,-1,0,-1,-1,0,-1,-1)-4096*Iy(-1,0,-1,0,-1,-1,-1)*z2
-4096*Iy(-1,0,-1,0,-1,-1,-1,0,0)+16384*Iy(-1,0,-1,0,-1,-1,-1,0,-1)
+16384*Iy(-1,0,-1,0,-1,-1,-1,-1,0)-32768*Iy(-1,0,-1,0,-1,-1,-1,-1,-1)
+512*Iy(-1,0,-1,-1)*z2*z3/3+512*Iy(-1,0,-1,-1)*z5/3-448*Iy(-1,0,-1,-1,0)*z4/15
+512*Iy(-1,0,-1,-1,0,0)*z3/3-256*Iy(-1,0,-1,-1,0,0,0)*z2/15
-256*Iy(-1,0,-1,-1,0,0,0,0,0)/15+8192*Iy(-1,0,-1,-1,0,0,0,0,-1)/15
+4096*Iy(-1,0,-1,-1,0,0,0,-1,0)/3-8192*Iy(-1,0,-1,-1,0,0,0,-1,-1)/3
+4096*Iy(-1,0,-1,-1,0,0,-1)*z2/3+4096*Iy(-1,0,-1,-1,0,0,-1,0,0)/3
-16384*Iy(-1,0,-1,-1,0,0,-1,0,-1)/3-16384*Iy(-1,0,-1,-1,0,0,-1,-1,0)/3
+32768*Iy(-1,0,-1,-1,0,0,-1,-1,-1)/3-4096*Iy(-1,0,-1,-1,0,-1)*z3
+2048*Iy(-1,0,-1,-1,0,-1,0)*z2/3+2048*Iy(-1,0,-1,-1,0,-1,0,0,0)/3
-16384*Iy(-1,0,-1,-1,0,-1,0,0,-1)/3-8192*Iy(-1,0,-1,-1,0,-1,0,-1,0)
+16384*Iy(-1,0,-1,-1,0,-1,0,-1,-1)-4096*Iy(-1,0,-1,-1,0,-1,-1)*z2
-4096*Iy(-1,0,-1,-1,0,-1,-1,0,0)+16384*Iy(-1,0,-1,-1,0,-1,-1,0,-1)
+16384*Iy(-1,0,-1,-1,0,-1,-1,-1,0)-32768*Iy(-1,0,-1,-1,0,-1,-1,-1,-1)
+896*Iy(-1,0,-1,-1,-1)*z4/3-4096*Iy(-1,0,-1,-1,-1,0)*z3/3
+512*Iy(-1,0,-1,-1,-1,0,0)*z2/3+512*Iy(-1,0,-1,-1,-1,0,0,0,0)/3
-8192*Iy(-1,0,-1,-1,-1,0,0,0,-1)/3-16384*Iy(-1,0,-1,-1,-1,0,0,-1,0)/3
+32768*Iy(-1,0,-1,-1,-1,0,0,-1,-1)/3-4096*Iy(-1,0,-1,-1,-1,0,-1)*z2
-4096*Iy(-1,0,-1,-1,-1,0,-1,0,0)+16384*Iy(-1,0,-1,-1,-1,0,-1,0,-1)
+16384*Iy(-1,0,-1,-1,-1,0,-1,-1,0)-32768*Iy(-1,0,-1,-1,-1,0,-1,-1,-1)
+8192*Iy(-1,0,-1,-1,-1,-1)*z3-4096*Iy(-1,0,-1,-1,-1,-1,0)*z2/3
-4096*Iy(-1,0,-1,-1,-1,-1,0,0,0)/3+32768*Iy(-1,0,-1,-1,-1,-1,0,0,-1)/3
+16384*Iy(-1,0,-1,-1,-1,-1,0,-1,0)-32768*Iy(-1,0,-1,-1,-1,-1,0,-1,-1)
+8192*Iy(-1,0,-1,-1,-1,-1,-1)*z2+8192*Iy(-1,0,-1,-1,-1,-1,-1,0,0)
-32768*Iy(-1,0,-1,-1,-1,-1,-1,0,-1)-32768*Iy(-1,0,-1,-1,-1,-1,-1,-1,0)
+65536*Iy(-1,0,-1,-1,-1,-1,-1,-1,-1)-128*Iy(-1,-1)*z2*z5/45
-224*Iy(-1,-1)*z3*z4/45-128*Iy(-1,-1)*z7/45+256*Iy(-1,-1,0)*z3^2/15
+124*Iy(-1,-1,0)*z6/315-128*Iy(-1,-1,0,0)*z2*z3/45-128*Iy(-1,-1,0,0)*z5/45
+16*Iy(-1,-1,0,0,0)*z4/45-128*Iy(-1,-1,0,0,0,0)*z3/45
+64*Iy(-1,-1,0,0,0,0,0)*z2/315+64*Iy(-1,-1,0,0,0,0,0,0,0)/315
-8192*Iy(-1,-1,0,0,0,0,0,0,-1)/315-4096*Iy(-1,-1,0,0,0,0,0,-1,0)/45
+8192*Iy(-1,-1,0,0,0,0,0,-1,-1)/45-2048*Iy(-1,-1,0,0,0,0,-1)*z2/15
-2048*Iy(-1,-1,0,0,0,0,-1,0,0)/15+8192*Iy(-1,-1,0,0,0,0,-1,0,-1)/15
+8192*Iy(-1,-1,0,0,0,0,-1,-1,0)/15-16384*Iy(-1,-1,0,0,0,0,-1,-1,-1)/15
+2048*Iy(-1,-1,0,0,0,-1)*z3/3-1024*Iy(-1,-1,0,0,0,-1,0)*z2/9
-1024*Iy(-1,-1,0,0,0,-1,0,0,0)/9+8192*Iy(-1,-1,0,0,0,-1,0,0,-1)/9
+4096*Iy(-1,-1,0,0,0,-1,0,-1,0)/3-8192*Iy(-1,-1,0,0,0,-1,0,-1,-1)/3
+2048*Iy(-1,-1,0,0,0,-1,-1)*z2/3+2048*Iy(-1,-1,0,0,0,-1,-1,0,0)/3
-8192*Iy(-1,-1,0,0,0,-1,-1,0,-1)/3-8192*Iy(-1,-1,0,0,0,-1,-1,-1,0)/3
+16384*Iy(-1,-1,0,0,0,-1,-1,-1,-1)/3-896*Iy(-1,-1,0,0,-1)*z4/9
+4096*Iy(-1,-1,0,0,-1,0)*z3/9-512*Iy(-1,-1,0,0,-1,0,0)*z2/9
-512*Iy(-1,-1,0,0,-1,0,0,0,0)/9+8192*Iy(-1,-1,0,0,-1,0,0,0,-1)/9
+16384*Iy(-1,-1,0,0,-1,0,0,-1,0)/9-32768*Iy(-1,-1,0,0,-1,0,0,-1,-1)/9
+4096*Iy(-1,-1,0,0,-1,0,-1)*z2/3+4096*Iy(-1,-1,0,0,-1,0,-1,0,0)/3
-16384*Iy(-1,-1,0,0,-1,0,-1,0,-1)/3-16384*Iy(-1,-1,0,0,-1,0,-1,-1,0)/3
+32768*Iy(-1,-1,0,0,-1,0,-1,-1,-1)/3-8192*Iy(-1,-1,0,0,-1,-1)*z3/3
+4096*Iy(-1,-1,0,0,-1,-1,0)*z2/9+4096*Iy(-1,-1,0,0,-1,-1,0,0,0)/9
-32768*Iy(-1,-1,0,0,-1,-1,0,0,-1)/9-16384*Iy(-1,-1,0,0,-1,-1,0,-1,0)/3
+32768*Iy(-1,-1,0,0,-1,-1,0,-1,-1)/3-8192*Iy(-1,-1,0,0,-1,-1,-1)*z2/3
-8192*Iy(-1,-1,0,0,-1,-1,-1,0,0)/3+32768*Iy(-1,-1,0,0,-1,-1,-1,0,-1)/3
+32768*Iy(-1,-1,0,0,-1,-1,-1,-1,0)/3-65536*Iy(-1,-1,0,0,-1,-1,-1,-1,-1)/3
+512*Iy(-1,-1,0,-1)*z2*z3/3+512*Iy(-1,-1,0,-1)*z5/3-448*Iy(-1,-1,0,-1,0)*z4/15
+512*Iy(-1,-1,0,-1,0,0)*z3/3-256*Iy(-1,-1,0,-1,0,0,0)*z2/15
-256*Iy(-1,-1,0,-1,0,0,0,0,0)/15+8192*Iy(-1,-1,0,-1,0,0,0,0,-1)/15
+4096*Iy(-1,-1,0,-1,0,0,0,-1,0)/3-8192*Iy(-1,-1,0,-1,0,0,0,-1,-1)/3
+4096*Iy(-1,-1,0,-1,0,0,-1)*z2/3+4096*Iy(-1,-1,0,-1,0,0,-1,0,0)/3
-16384*Iy(-1,-1,0,-1,0,0,-1,0,-1)/3-16384*Iy(-1,-1,0,-1,0,0,-1,-1,0)/3
+32768*Iy(-1,-1,0,-1,0,0,-1,-1,-1)/3-4096*Iy(-1,-1,0,-1,0,-1)*z3
+2048*Iy(-1,-1,0,-1,0,-1,0)*z2/3+2048*Iy(-1,-1,0,-1,0,-1,0,0,0)/3
-16384*Iy(-1,-1,0,-1,0,-1,0,0,-1)/3-8192*Iy(-1,-1,0,-1,0,-1,0,-1,0)
+16384*Iy(-1,-1,0,-1,0,-1,0,-1,-1)-4096*Iy(-1,-1,0,-1,0,-1,-1)*z2
-4096*Iy(-1,-1,0,-1,0,-1,-1,0,0)+16384*Iy(-1,-1,0,-1,0,-1,-1,0,-1)
+16384*Iy(-1,-1,0,-1,0,-1,-1,-1,0)-32768*Iy(-1,-1,0,-1,0,-1,-1,-1,-1)
+896*Iy(-1,-1,0,-1,-1)*z4/3-4096*Iy(-1,-1,0,-1,-1,0)*z3/3
+512*Iy(-1,-1,0,-1,-1,0,0)*z2/3+512*Iy(-1,-1,0,-1,-1,0,0,0,0)/3
-8192*Iy(-1,-1,0,-1,-1,0,0,0,-1)/3-16384*Iy(-1,-1,0,-1,-1,0,0,-1,0)/3
+32768*Iy(-1,-1,0,-1,-1,0,0,-1,-1)/3-4096*Iy(-1,-1,0,-1,-1,0,-1)*z2
-4096*Iy(-1,-1,0,-1,-1,0,-1,0,0)+16384*Iy(-1,-1,0,-1,-1,0,-1,0,-1)
+16384*Iy(-1,-1,0,-1,-1,0,-1,-1,0)-32768*Iy(-1,-1,0,-1,-1,0,-1,-1,-1)
+8192*Iy(-1,-1,0,-1,-1,-1)*z3-4096*Iy(-1,-1,0,-1,-1,-1,0)*z2/3
-4096*Iy(-1,-1,0,-1,-1,-1,0,0,0)/3+32768*Iy(-1,-1,0,-1,-1,-1,0,0,-1)/3
+16384*Iy(-1,-1,0,-1,-1,-1,0,-1,0)-32768*Iy(-1,-1,0,-1,-1,-1,0,-1,-1)
+8192*Iy(-1,-1,0,-1,-1,-1,-1)*z2+8192*Iy(-1,-1,0,-1,-1,-1,-1,0,0)
-32768*Iy(-1,-1,0,-1,-1,-1,-1,0,-1)-32768*Iy(-1,-1,0,-1,-1,-1,-1,-1,0)
+65536*Iy(-1,-1,0,-1,-1,-1,-1,-1,-1)-512*Iy(-1,-1,-1)*z3^2/3
-248*Iy(-1,-1,-1)*z6/45+512*Iy(-1,-1,-1,0)*z2*z3/15+512*Iy(-1,-1,-1,0)*z5/15
-224*Iy(-1,-1,-1,0,0)*z4/45+512*Iy(-1,-1,-1,0,0,0)*z3/15
-128*Iy(-1,-1,-1,0,0,0,0)*z2/45-128*Iy(-1,-1,-1,0,0,0,0,0,0)/45
+8192*Iy(-1,-1,-1,0,0,0,0,0,-1)/45+8192*Iy(-1,-1,-1,0,0,0,0,-1,0)/15
-16384*Iy(-1,-1,-1,0,0,0,0,-1,-1)/15+2048*Iy(-1,-1,-1,0,0,0,-1)*z2/3
+2048*Iy(-1,-1,-1,0,0,0,-1,0,0)/3-8192*Iy(-1,-1,-1,0,0,0,-1,0,-1)/3
-8192*Iy(-1,-1,-1,0,0,0,-1,-1,0)/3+16384*Iy(-1,-1,-1,0,0,0,-1,-1,-1)/3
-8192*Iy(-1,-1,-1,0,0,-1)*z3/3+4096*Iy(-1,-1,-1,0,0,-1,0)*z2/9
+4096*Iy(-1,-1,-1,0,0,-1,0,0,0)/9-32768*Iy(-1,-1,-1,0,0,-1,0,0,-1)/9
-16384*Iy(-1,-1,-1,0,0,-1,0,-1,0)/3+32768*Iy(-1,-1,-1,0,0,-1,0,-1,-1)/3
-8192*Iy(-1,-1,-1,0,0,-1,-1)*z2/3-8192*Iy(-1,-1,-1,0,0,-1,-1,0,0)/3
+32768*Iy(-1,-1,-1,0,0,-1,-1,0,-1)/3+32768*Iy(-1,-1,-1,0,0,-1,-1,-1,0)/3
-65536*Iy(-1,-1,-1,0,0,-1,-1,-1,-1)/3+896*Iy(-1,-1,-1,0,-1)*z4/3
-4096*Iy(-1,-1,-1,0,-1,0)*z3/3+512*Iy(-1,-1,-1,0,-1,0,0)*z2/3
+512*Iy(-1,-1,-1,0,-1,0,0,0,0)/3-8192*Iy(-1,-1,-1,0,-1,0,0,0,-1)/3
-16384*Iy(-1,-1,-1,0,-1,0,0,-1,0)/3+32768*Iy(-1,-1,-1,0,-1,0,0,-1,-1)/3
-4096*Iy(-1,-1,-1,0,-1,0,-1)*z2-4096*Iy(-1,-1,-1,0,-1,0,-1,0,0)
+16384*Iy(-1,-1,-1,0,-1,0,-1,0,-1)+16384*Iy(-1,-1,-1,0,-1,0,-1,-1,0)
-32768*Iy(-1,-1,-1,0,-1,0,-1,-1,-1)+8192*Iy(-1,-1,-1,0,-1,-1)*z3
-4096*Iy(-1,-1,-1,0,-1,-1,0)*z2/3-4096*Iy(-1,-1,-1,0,-1,-1,0,0,0)/3
+32768*Iy(-1,-1,-1,0,-1,-1,0,0,-1)/3+16384*Iy(-1,-1,-1,0,-1,-1,0,-1,0)
-32768*Iy(-1,-1,-1,0,-1,-1,0,-1,-1)+8192*Iy(-1,-1,-1,0,-1,-1,-1)*z2
+8192*Iy(-1,-1,-1,0,-1,-1,-1,0,0)-32768*Iy(-1,-1,-1,0,-1,-1,-1,0,-1)
-32768*Iy(-1,-1,-1,0,-1,-1,-1,-1,0)+65536*Iy(-1,-1,-1,0,-1,-1,-1,-1,-1)
-1024*Iy(-1,-1,-1,-1)*z2*z3/3-1024*Iy(-1,-1,-1,-1)*z5/3
+896*Iy(-1,-1,-1,-1,0)*z4/15-1024*Iy(-1,-1,-1,-1,0,0)*z3/3
+512*Iy(-1,-1,-1,-1,0,0,0)*z2/15+512*Iy(-1,-1,-1,-1,0,0,0,0,0)/15
-16384*Iy(-1,-1,-1,-1,0,0,0,0,-1)/15-8192*Iy(-1,-1,-1,-1,0,0,0,-1,0)/3
+16384*Iy(-1,-1,-1,-1,0,0,0,-1,-1)/3-8192*Iy(-1,-1,-1,-1,0,0,-1)*z2/3
-8192*Iy(-1,-1,-1,-1,0,0,-1,0,0)/3+32768*Iy(-1,-1,-1,-1,0,0,-1,0,-1)/3
+32768*Iy(-1,-1,-1,-1,0,0,-1,-1,0)/3-65536*Iy(-1,-1,-1,-1,0,0,-1,-1,-1)/3
+8192*Iy(-1,-1,-1,-1,0,-1)*z3-4096*Iy(-1,-1,-1,-1,0,-1,0)*z2/3
-4096*Iy(-1,-1,-1,-1,0,-1,0,0,0)/3+32768*Iy(-1,-1,-1,-1,0,-1,0,0,-1)/3
+16384*Iy(-1,-1,-1,-1,0,-1,0,-1,0)-32768*Iy(-1,-1,-1,-1,0,-1,0,-1,-1)
+8192*Iy(-1,-1,-1,-1,0,-1,-1)*z2+8192*Iy(-1,-1,-1,-1,0,-1,-1,0,0)
-32768*Iy(-1,-1,-1,-1,0,-1,-1,0,-1)-32768*Iy(-1,-1,-1,-1,0,-1,-1,-1,0)
+65536*Iy(-1,-1,-1,-1,0,-1,-1,-1,-1)-1792*Iy(-1,-1,-1,-1,-1)*z4/3
+8192*Iy(-1,-1,-1,-1,-1,0)*z3/3-1024*Iy(-1,-1,-1,-1,-1,0,0)*z2/3
-1024*Iy(-1,-1,-1,-1,-1,0,0,0,0)/3+16384*Iy(-1,-1,-1,-1,-1,0,0,0,-1)/3
+32768*Iy(-1,-1,-1,-1,-1,0,0,-1,0)/3-65536*Iy(-1,-1,-1,-1,-1,0,0,-1,-1)/3
+8192*Iy(-1,-1,-1,-1,-1,0,-1)*z2+8192*Iy(-1,-1,-1,-1,-1,0,-1,0,0)
-32768*Iy(-1,-1,-1,-1,-1,0,-1,0,-1)-32768*Iy(-1,-1,-1,-1,-1,0,-1,-1,0)
+65536*Iy(-1,-1,-1,-1,-1,0,-1,-1,-1)-16384*Iy(-1,-1,-1,-1,-1,-1)*z3
+8192*Iy(-1,-1,-1,-1,-1,-1,0)*z2/3+8192*Iy(-1,-1,-1,-1,-1,-1,0,0,0)/3
-65536*Iy(-1,-1,-1,-1,-1,-1,0,0,-1)/3-32768*Iy(-1,-1,-1,-1,-1,-1,0,-1,0)
+65536*Iy(-1,-1,-1,-1,-1,-1,0,-1,-1)-16384*Iy(-1,-1,-1,-1,-1,-1,-1)*z2
-16384*Iy(-1,-1,-1,-1,-1,-1,-1,0,0)+65536*Iy(-1,-1,-1,-1,-1,-1,-1,0,-1)
+65536*Iy(-1,-1,-1,-1,-1,-1,-1,-1,0)-131072*Iy(-1,-1,-1,-1,-1,-1,-1,-1,-1):
CT2F0C[9,8] := 0:
CT2F0[9,8] := CT2F0A[9,8]/y + CT2F0B[9,8] + y*CT2F0C[9,8]: