I4 := [Vector(15, [-40353607*cs[1]/x^2/(x-1)^3,(-40353607/2*cs[1]+201768035/4*
x*cs[1])/(x-1)^4/x^3,(-40353607/4*cs[1]+201768035/4*x*cs[1]-503890667/8*x^2*cs
[1])/(x-1)^5/x^4,(-40353607/8*cs[1]+605304105/16*x*cs[1]-1511672001/16*x^2*cs[
1]+1257079565/16*cs[1]*x^3)/(x-1)^6/x^5,(-40353607/16*cs[1]+201768035/8*x*cs[1
]-1511672001/16*x^2*cs[1]+1257079565/8*cs[1]*x^3-97898374*cs[1]*x^4)/(x-1)^7/x
^6,(-121060821/4*cs[1]+363182463/4*x*cs[1]-909544419/8*x^2*cs[1])/(x-1)^5/x^4,
(-121060821/8*cs[1]+1331669031/16*x*cs[1]-2724397893/16*x^2*cs[1]+141884694*cs
[1]*x^3)/(x-1)^6/x^5,(-121060821/16*cs[1]+121060821/2*x*cs[1]-756365421/4*x^2*
cs[1]+4535016003/16*cs[1]*x^3-353760939/2*cs[1]*x^4)/(x-1)^7/x^6,(-121060821/
32*cs[1]+2542277241/64*x*cs[1]-2722280211/16*x^2*cs[1]+24170869401/64*cs[1]*x^
3-7068584817/16*cs[1]*x^4+440542683/2*cs[1]*x^5)/(x-1)^8/x^7,(-363182463/16*cs
[1]+1089547389/8*x*cs[1]-5996216583/16*x^2*cs[1]+2044621971/4*cs[1]*x^3-\
319510674*cs[1]*x^4)/(x-1)^7/x^6,(-363182463/32*cs[1]+6174101871/64*x*cs[1]-\
11440777005/32*x^2*cs[1]+11574190971/16*cs[1]*x^3-51026273235/64*cs[1]*x^4+
398087172*cs[1]*x^5)/(x-1)^8/x^7,(-363182463/64*cs[1]+3995007093/64*x*cs[1]-\
38305690857/128*x^2*cs[1]+25853720697/32*cs[1]*x^3-83247885315/64*cs[1]*x^4+
152625975327/128*cs[1]*x^5-495451152*cs[1]*x^6)/(x-1)^9/x^8,(-1089547389/64*cs
[1]+9805926501/64*x*cs[1]-83374199181/128*x^2*cs[1]+12874447719/8*cs[1]*x^3-\
156283347969/64*cs[1]*x^4+275557378383/128*cs[1]*x^5-895649832*cs[1]*x^6)/(x-1
)^9/x^8,(-1089547389/128*cs[1]+25059589947/256*x*cs[1]-132375242979/256*x^2*cs
[1]+103538767185/64*cs[1]*x^3-826472542077/256*cs[1]*x^4+1054679436909/256*cs[
1]*x^5-400439905929/128*cs[1]*x^6+1114047648*cs[1]*x^7)/(x-1)^10/x^9,(-\
3268642167/256*cs[1]+9805926501/64*x*cs[1]-112782449115/128*x^2*cs[1]+
99288579411/32*cs[1]*x^3-465897044403/64*cs[1]*x^4+1487284695855/128*cs[1]*x^5
-3162559474449/256*cs[1]*x^6+16077545577/2*cs[1]*x^7-2504183040*cs[1]*x^8)/(x-\
1)^11/x^10]), Vector(15, [Y[1,1]^4*cs[1]-3087*Y[1,1]^2*Y[1,2]*Y[1,3]*cs[1]-\
3087/2*Y[1,1]^2*Y[1,3]^2*cs[1]+40353607*Y[1,2]^4*cs[1]+80707214*Y[1,2]^3*Y[1,3
]*cs[1]+481066761/8*Y[1,2]^2*Y[1,3]^2*cs[1]+158237905/8*Y[1,2]*Y[1,3]^3*cs[1]+
620051047/256*Y[1,3]^4*cs[1],Y[1,1]^3*Y[2,1]*cs[1]+40353607*Y[1,2]^3*Y[2,2]*cs
[1]-3087*(1/4*Y[1,1]^2*Y[1,2]*Y[2,3]+1/4*Y[1,1]^2*Y[1,3]*Y[2,2]+1/2*Y[1,1]*Y[1
,2]*Y[1,3]*Y[2,1])*cs[1]+80707214*(1/4*Y[1,2]^3*Y[2,3]+3/4*Y[1,2]^2*Y[1,3]*Y[2
,2])*cs[1]-3087/2*(1/2*Y[1,1]^2*Y[1,3]*Y[2,3]+1/2*Y[1,1]*Y[1,3]^2*Y[2,1])*cs[1
]+481066761/8*(1/2*Y[1,2]^2*Y[1,3]*Y[2,3]+1/2*Y[1,2]*Y[1,3]^2*Y[2,2])*cs[1]+
158237905/8*(3/4*Y[1,2]*Y[1,3]^2*Y[2,3]+1/4*Y[1,3]^3*Y[2,2])*cs[1]+620051047/
256*Y[1,3]^3*Y[2,3]*cs[1],Y[1,1]^2*Y[2,1]^2*cs[1]+40353607*Y[1,2]^2*Y[2,2]^2*
cs[1]-3087*(1/6*Y[1,1]^2*Y[2,2]*Y[2,3]+1/3*Y[1,1]*Y[1,2]*Y[2,1]*Y[2,3]+1/3*Y[1
,1]*Y[1,3]*Y[2,1]*Y[2,2]+1/6*Y[1,2]*Y[1,3]*Y[2,1]^2)*cs[1]+80707214*(1/2*Y[1,2
]^2*Y[2,2]*Y[2,3]+1/2*Y[1,2]*Y[1,3]*Y[2,2]^2)*cs[1]-3087/2*(1/6*Y[1,1]^2*Y[2,3
]^2+2/3*Y[1,1]*Y[1,3]*Y[2,1]*Y[2,3]+1/6*Y[1,3]^2*Y[2,1]^2)*cs[1]+481066761/8*(
1/6*Y[1,2]^2*Y[2,3]^2+2/3*Y[1,2]*Y[1,3]*Y[2,2]*Y[2,3]+1/6*Y[1,3]^2*Y[2,2]^2)*
cs[1]+158237905/8*(1/2*Y[1,2]*Y[1,3]*Y[2,3]^2+1/2*Y[1,3]^2*Y[2,2]*Y[2,3])*cs[1
]+620051047/256*Y[1,3]^2*Y[2,3]^2*cs[1],Y[1,1]*Y[2,1]^3*cs[1]+40353607*Y[1,2]*
Y[2,2]^3*cs[1]-3087*(1/2*Y[1,1]*Y[2,1]*Y[2,2]*Y[2,3]+1/4*Y[1,2]*Y[2,1]^2*Y[2,3
]+1/4*Y[1,3]*Y[2,1]^2*Y[2,2])*cs[1]+80707214*(3/4*Y[1,2]*Y[2,2]^2*Y[2,3]+1/4*Y
[1,3]*Y[2,2]^3)*cs[1]-3087/2*(1/2*Y[1,1]*Y[2,1]*Y[2,3]^2+1/2*Y[1,3]*Y[2,1]^2*Y
[2,3])*cs[1]+481066761/8*(1/2*Y[1,2]*Y[2,2]*Y[2,3]^2+1/2*Y[1,3]*Y[2,2]^2*Y[2,3
])*cs[1]+158237905/8*(1/4*Y[1,2]*Y[2,3]^3+3/4*Y[1,3]*Y[2,2]*Y[2,3]^2)*cs[1]+
620051047/256*Y[1,3]*Y[2,3]^3*cs[1],Y[2,1]^4*cs[1]+40353607*Y[2,2]^4*cs[1]-\
3087*Y[2,1]^2*Y[2,2]*Y[2,3]*cs[1]+80707214*Y[2,2]^3*Y[2,3]*cs[1]-3087/2*Y[2,1]
^2*Y[2,3]^2*cs[1]+481066761/8*Y[2,2]^2*Y[2,3]^2*cs[1]+158237905/8*Y[2,2]*Y[2,3
]^3*cs[1]+620051047/256*Y[2,3]^4*cs[1],Y[1,1]^3*Y[3,1]*cs[1]+40353607*Y[1,2]^3
*Y[3,2]*cs[1]-3087*(1/4*Y[1,1]^2*Y[1,2]*Y[3,3]+1/4*Y[1,1]^2*Y[1,3]*Y[3,2]+1/2*
Y[1,1]*Y[1,2]*Y[1,3]*Y[3,1])*cs[1]+80707214*(1/4*Y[1,2]^3*Y[3,3]+3/4*Y[1,2]^2*
Y[1,3]*Y[3,2])*cs[1]-3087/2*(1/2*Y[1,1]^2*Y[1,3]*Y[3,3]+1/2*Y[1,1]*Y[1,3]^2*Y[
3,1])*cs[1]+481066761/8*(1/2*Y[1,2]^2*Y[1,3]*Y[3,3]+1/2*Y[1,2]*Y[1,3]^2*Y[3,2]
)*cs[1]+158237905/8*(3/4*Y[1,2]*Y[1,3]^2*Y[3,3]+1/4*Y[1,3]^3*Y[3,2])*cs[1]+
620051047/256*Y[1,3]^3*Y[3,3]*cs[1],Y[1,1]^2*Y[2,1]*Y[3,1]*cs[1]+40353607*Y[1,
2]^2*Y[2,2]*Y[3,2]*cs[1]-3087*(1/12*Y[1,1]^2*Y[2,2]*Y[3,3]+1/12*Y[1,1]^2*Y[2,3
]*Y[3,2]+1/6*Y[1,1]*Y[1,2]*Y[2,1]*Y[3,3]+1/6*Y[1,1]*Y[1,2]*Y[2,3]*Y[3,1]+1/6*Y
[1,1]*Y[1,3]*Y[2,1]*Y[3,2]+1/6*Y[1,1]*Y[1,3]*Y[2,2]*Y[3,1]+1/6*Y[1,2]*Y[1,3]*Y
[2,1]*Y[3,1])*cs[1]+80707214*(1/4*Y[1,2]^2*Y[2,2]*Y[3,3]+1/4*Y[1,2]^2*Y[2,3]*Y
[3,2]+1/2*Y[1,2]*Y[1,3]*Y[2,2]*Y[3,2])*cs[1]-3087/2*(1/6*Y[1,1]^2*Y[2,3]*Y[3,3
]+1/3*Y[1,1]*Y[1,3]*Y[2,1]*Y[3,3]+1/3*Y[1,1]*Y[1,3]*Y[2,3]*Y[3,1]+1/6*Y[1,3]^2
*Y[2,1]*Y[3,1])*cs[1]+481066761/8*(1/6*Y[1,2]^2*Y[2,3]*Y[3,3]+1/3*Y[1,2]*Y[1,3
]*Y[2,2]*Y[3,3]+1/3*Y[1,2]*Y[1,3]*Y[2,3]*Y[3,2]+1/6*Y[1,3]^2*Y[2,2]*Y[3,2])*cs
[1]+158237905/8*(1/2*Y[1,2]*Y[1,3]*Y[2,3]*Y[3,3]+1/4*Y[1,3]^2*Y[2,2]*Y[3,3]+1/
4*Y[1,3]^2*Y[2,3]*Y[3,2])*cs[1]+620051047/256*Y[1,3]^2*Y[2,3]*Y[3,3]*cs[1],Y[1
,1]*Y[2,1]^2*Y[3,1]*cs[1]+40353607*Y[1,2]*Y[2,2]^2*Y[3,2]*cs[1]-3087*(1/6*Y[1,
1]*Y[2,1]*Y[2,2]*Y[3,3]+1/6*Y[1,1]*Y[2,1]*Y[2,3]*Y[3,2]+1/6*Y[1,1]*Y[2,2]*Y[2,
3]*Y[3,1]+1/12*Y[1,2]*Y[2,1]^2*Y[3,3]+1/6*Y[1,2]*Y[2,1]*Y[2,3]*Y[3,1]+1/12*Y[1
,3]*Y[2,1]^2*Y[3,2]+1/6*Y[1,3]*Y[2,1]*Y[2,2]*Y[3,1])*cs[1]+80707214*(1/4*Y[1,2
]*Y[2,2]^2*Y[3,3]+1/2*Y[1,2]*Y[2,2]*Y[2,3]*Y[3,2]+1/4*Y[1,3]*Y[2,2]^2*Y[3,2])*
cs[1]-3087/2*(1/3*Y[1,1]*Y[2,1]*Y[2,3]*Y[3,3]+1/6*Y[1,1]*Y[2,3]^2*Y[3,1]+1/6*Y
[1,3]*Y[2,1]^2*Y[3,3]+1/3*Y[1,3]*Y[2,1]*Y[2,3]*Y[3,1])*cs[1]+481066761/8*(1/3*
Y[1,2]*Y[2,2]*Y[2,3]*Y[3,3]+1/6*Y[1,2]*Y[2,3]^2*Y[3,2]+1/6*Y[1,3]*Y[2,2]^2*Y[3
,3]+1/3*Y[1,3]*Y[2,2]*Y[2,3]*Y[3,2])*cs[1]+158237905/8*(1/4*Y[1,2]*Y[2,3]^2*Y[
3,3]+1/2*Y[1,3]*Y[2,2]*Y[2,3]*Y[3,3]+1/4*Y[1,3]*Y[2,3]^2*Y[3,2])*cs[1]+
620051047/256*Y[1,3]*Y[2,3]^2*Y[3,3]*cs[1],Y[2,1]^3*Y[3,1]*cs[1]+40353607*Y[2,
2]^3*Y[3,2]*cs[1]-3087*(1/4*Y[2,1]^2*Y[2,2]*Y[3,3]+1/4*Y[2,1]^2*Y[2,3]*Y[3,2]+
1/2*Y[2,1]*Y[2,2]*Y[2,3]*Y[3,1])*cs[1]+80707214*(1/4*Y[2,2]^3*Y[3,3]+3/4*Y[2,2
]^2*Y[2,3]*Y[3,2])*cs[1]-3087/2*(1/2*Y[2,1]^2*Y[2,3]*Y[3,3]+1/2*Y[2,1]*Y[2,3]^
2*Y[3,1])*cs[1]+481066761/8*(1/2*Y[2,2]^2*Y[2,3]*Y[3,3]+1/2*Y[2,2]*Y[2,3]^2*Y[
3,2])*cs[1]+158237905/8*(3/4*Y[2,2]*Y[2,3]^2*Y[3,3]+1/4*Y[2,3]^3*Y[3,2])*cs[1]
+620051047/256*Y[2,3]^3*Y[3,3]*cs[1],Y[1,1]^2*Y[3,1]^2*cs[1]+40353607*Y[1,2]^2
*Y[3,2]^2*cs[1]-3087*(1/6*Y[1,1]^2*Y[3,2]*Y[3,3]+1/3*Y[1,1]*Y[1,2]*Y[3,1]*Y[3,
3]+1/3*Y[1,1]*Y[1,3]*Y[3,1]*Y[3,2]+1/6*Y[1,2]*Y[1,3]*Y[3,1]^2)*cs[1]+80707214*
(1/2*Y[1,2]^2*Y[3,2]*Y[3,3]+1/2*Y[1,2]*Y[1,3]*Y[3,2]^2)*cs[1]-3087/2*(1/6*Y[1,
1]^2*Y[3,3]^2+2/3*Y[1,1]*Y[1,3]*Y[3,1]*Y[3,3]+1/6*Y[1,3]^2*Y[3,1]^2)*cs[1]+
481066761/8*(1/6*Y[1,2]^2*Y[3,3]^2+2/3*Y[1,2]*Y[1,3]*Y[3,2]*Y[3,3]+1/6*Y[1,3]^
2*Y[3,2]^2)*cs[1]+158237905/8*(1/2*Y[1,2]*Y[1,3]*Y[3,3]^2+1/2*Y[1,3]^2*Y[3,2]*
Y[3,3])*cs[1]+620051047/256*Y[1,3]^2*Y[3,3]^2*cs[1],Y[1,1]*Y[2,1]*Y[3,1]^2*cs[
1]+40353607*Y[1,2]*Y[2,2]*Y[3,2]^2*cs[1]-3087*(1/6*Y[1,1]*Y[2,1]*Y[3,2]*Y[3,3]
+1/6*Y[1,1]*Y[2,2]*Y[3,1]*Y[3,3]+1/6*Y[1,1]*Y[2,3]*Y[3,1]*Y[3,2]+1/6*Y[1,2]*Y[
2,1]*Y[3,1]*Y[3,3]+1/12*Y[1,2]*Y[2,3]*Y[3,1]^2+1/6*Y[1,3]*Y[2,1]*Y[3,1]*Y[3,2]
+1/12*Y[1,3]*Y[2,2]*Y[3,1]^2)*cs[1]+80707214*(1/2*Y[1,2]*Y[2,2]*Y[3,2]*Y[3,3]+
1/4*Y[1,2]*Y[2,3]*Y[3,2]^2+1/4*Y[1,3]*Y[2,2]*Y[3,2]^2)*cs[1]-3087/2*(1/6*Y[1,1
]*Y[2,1]*Y[3,3]^2+1/3*Y[1,1]*Y[2,3]*Y[3,1]*Y[3,3]+1/3*Y[1,3]*Y[2,1]*Y[3,1]*Y[3
,3]+1/6*Y[1,3]*Y[2,3]*Y[3,1]^2)*cs[1]+481066761/8*(1/6*Y[1,2]*Y[2,2]*Y[3,3]^2+
1/3*Y[1,2]*Y[2,3]*Y[3,2]*Y[3,3]+1/3*Y[1,3]*Y[2,2]*Y[3,2]*Y[3,3]+1/6*Y[1,3]*Y[2
,3]*Y[3,2]^2)*cs[1]+158237905/8*(1/4*Y[1,2]*Y[2,3]*Y[3,3]^2+1/4*Y[1,3]*Y[2,2]*
Y[3,3]^2+1/2*Y[1,3]*Y[2,3]*Y[3,2]*Y[3,3])*cs[1]+620051047/256*Y[1,3]*Y[2,3]*Y[
3,3]^2*cs[1],Y[2,1]^2*Y[3,1]^2*cs[1]+40353607*Y[2,2]^2*Y[3,2]^2*cs[1]-3087*(1/
6*Y[2,1]^2*Y[3,2]*Y[3,3]+1/3*Y[2,1]*Y[2,2]*Y[3,1]*Y[3,3]+1/3*Y[2,1]*Y[2,3]*Y[3
,1]*Y[3,2]+1/6*Y[2,2]*Y[2,3]*Y[3,1]^2)*cs[1]+80707214*(1/2*Y[2,2]^2*Y[3,2]*Y[3
,3]+1/2*Y[2,2]*Y[2,3]*Y[3,2]^2)*cs[1]-3087/2*(1/6*Y[2,1]^2*Y[3,3]^2+2/3*Y[2,1]
*Y[2,3]*Y[3,1]*Y[3,3]+1/6*Y[2,3]^2*Y[3,1]^2)*cs[1]+481066761/8*(1/6*Y[2,2]^2*Y
[3,3]^2+2/3*Y[2,2]*Y[2,3]*Y[3,2]*Y[3,3]+1/6*Y[2,3]^2*Y[3,2]^2)*cs[1]+158237905
/8*(1/2*Y[2,2]*Y[2,3]*Y[3,3]^2+1/2*Y[2,3]^2*Y[3,2]*Y[3,3])*cs[1]+620051047/256
*Y[2,3]^2*Y[3,3]^2*cs[1],Y[1,1]*Y[3,1]^3*cs[1]+40353607*Y[1,2]*Y[3,2]^3*cs[1]-\
3087*(1/2*Y[1,1]*Y[3,1]*Y[3,2]*Y[3,3]+1/4*Y[1,2]*Y[3,1]^2*Y[3,3]+1/4*Y[1,3]*Y[
3,1]^2*Y[3,2])*cs[1]+80707214*(3/4*Y[1,2]*Y[3,2]^2*Y[3,3]+1/4*Y[1,3]*Y[3,2]^3)
*cs[1]-3087/2*(1/2*Y[1,1]*Y[3,1]*Y[3,3]^2+1/2*Y[1,3]*Y[3,1]^2*Y[3,3])*cs[1]+
481066761/8*(1/2*Y[1,2]*Y[3,2]*Y[3,3]^2+1/2*Y[1,3]*Y[3,2]^2*Y[3,3])*cs[1]+
158237905/8*(1/4*Y[1,2]*Y[3,3]^3+3/4*Y[1,3]*Y[3,2]*Y[3,3]^2)*cs[1]+620051047/
256*Y[1,3]*Y[3,3]^3*cs[1],Y[2,1]*Y[3,1]^3*cs[1]+40353607*Y[2,2]*Y[3,2]^3*cs[1]
-3087*(1/2*Y[2,1]*Y[3,1]*Y[3,2]*Y[3,3]+1/4*Y[2,2]*Y[3,1]^2*Y[3,3]+1/4*Y[2,3]*Y
[3,1]^2*Y[3,2])*cs[1]+80707214*(3/4*Y[2,2]*Y[3,2]^2*Y[3,3]+1/4*Y[2,3]*Y[3,2]^3
)*cs[1]-3087/2*(1/2*Y[2,1]*Y[3,1]*Y[3,3]^2+1/2*Y[2,3]*Y[3,1]^2*Y[3,3])*cs[1]+
481066761/8*(1/2*Y[2,2]*Y[3,2]*Y[3,3]^2+1/2*Y[2,3]*Y[3,2]^2*Y[3,3])*cs[1]+
158237905/8*(1/4*Y[2,2]*Y[3,3]^3+3/4*Y[2,3]*Y[3,2]*Y[3,3]^2)*cs[1]+620051047/
256*Y[2,3]*Y[3,3]^3*cs[1],Y[3,1]^4*cs[1]+40353607*Y[3,2]^4*cs[1]-3087*Y[3,1]^2
*Y[3,2]*Y[3,3]*cs[1]+80707214*Y[3,2]^3*Y[3,3]*cs[1]-3087/2*Y[3,1]^2*Y[3,3]^2*
cs[1]+481066761/8*Y[3,2]^2*Y[3,3]^2*cs[1]+158237905/8*Y[3,2]*Y[3,3]^3*cs[1]+
620051047/256*Y[3,3]^4*cs[1]]), Vector(15, [cs[1],0,0,0,40353607*cs[1],0,-3087
*cs[1],0,80707214*cs[1],-3087/2*cs[1],0,481066761/8*cs[1],0,158237905/8*cs[1],
620051047/256*cs[1]]), Array(1..15, [1/x^2/(x-1)^3,1/(x-1)^4/x^3,1/(x-1)^5/x^4
,1/(x-1)^6/x^5,1/(x-1)^7/x^6,1/(x-1)^5/x^4,1/(x-1)^6/x^5,1/(x-1)^7/x^6,1/(x-1)
^8/x^7,1/(x-1)^7/x^6,1/(x-1)^8/x^7,1/(x-1)^9/x^8,1/(x-1)^9/x^8,1/(x-1)^10/x^9,
1/(x-1)^11/x^10])];