-
Notifications
You must be signed in to change notification settings - Fork 0
/
hom.jl
52 lines (52 loc) · 51.2 KB
/
hom.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
using HomotopyContinuation
@var x1 x2 x3 x4 x5 x6 x7 x8 x9 y3 y4 y5 y6 y7 y8 y9 z3 z4 z5 z6 z7 z8 z9 z10 u[1:45]
f1 = 725760-2*u[1]*x1
f2 = -2177280+2177280*z3+3*x1*(1-z3)*z3+2*u[2]*x2*(1-z3)*(2-z3)*z3
f3 = -2177280*(1+y3)+2177280*(1+y3)*z4+3*x1*(1+y3)*(1-z4)*z4+2*x2*u[3]*(1+y3)*(1-z4)*(2-z4)*z4+6*x3*(1-z4)*(2-z4)*(z3-z4)*z4
f4 = -2177280*(1+y3)*(1+y4)+2177280*(1+y3)*(1+y4)*z5+3*x1*(1+y3)*(1+y4)*(1-z5)*z5+2*x2*(1+y3)*(1+y4)*(1-z5)*(2-z5)*z5+6*x3*(1+y4)*(1-z5)*(2-z5)*(z3-z5)*z5+6*x4*u[4]*(1+y3)*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5
f5 = -2177280*(1+y3)*(1+y4)*(1+y5)+2177280*(1+y3)*(1+y4)*(1+y5)*z6+3*x1*(1+y3)*(1+y4)*(1+y5)*(1-z6)*z6+2*x2*(1+y3)*(1+y4)*(1+y5)*(1-z6)*(2-z6)*z6+6*x3*(1+y4)*(1+y5)*(1-z6)*(2-z6)*(z3-z6)*z6+6*x4*(1+y3)*(1+y5)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6+6*x5*(1+y3)*(1+y4)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*u[5]*(z5-z6)*z6
f6 = -2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)+2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*z7+3*x1*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1-z7)*z7+2*x2*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1-z7)*(2-z7)*z7+6*x3*(1+y4)*(1+y5)*(1+y6)*(1-z7)*(2-z7)*(z3-z7)*z7+6*x4*(1+y3)*(1+y5)*(1+y6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7+6*x5*(1+y3)*(1+y4)*(1+y6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7+6*x6*(1+y3)*(1+y4)*(1+y5)*(1-z7)*u[6]*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7
f7 = -2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)+2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*z8+3*x1*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1-z8)*z8+2*x2*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1-z8)*(2-z8)*z8+6*x3*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1-z8)*(2-z8)*u[7]*(z3-z8)*z8+6*x4*(1+y3)*(1+y5)*(1+y6)*(1+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8+6*x5*(1+y3)*(1+y4)*(1+y6)*(1+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8+6*x6*(1+y3)*(1+y4)*(1+y5)*(1+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8+6*x7*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8
f8 = -2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)+2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*z9+3*x1*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1-z9)*z9+2*x2*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1-z9)*(2-z9)*z9+6*x3*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1-z9)*(2-z9)*(z3-z9)*z9+6*x4*(1+y3)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9+6*x5*(1+y3)*(1+y4)*(1+y6)*(1+y7)*(1+y8)*(1-z9)*(2-z9)*(z3-z9)*u[8]*(z4-z9)*(z5-z9)*z9+6*x6*(1+y3)*(1+y4)*(1+y5)*(1+y7)*(1+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9+6*x7*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9+6*x8*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9
f9 = -2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)+2177280*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*z10+3*x1*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*z10+2*x2*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10+6*x3*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)+6*x4*(1+y3)*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)+6*x5*(1+y3)*(1+y4)*(1+y6)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)*(-z10+z5)+6*x6*(1+y3)*(1+y4)*(1+y5)*(1+y7)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)+6*x7*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y8)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)+6*x8*(1+y3)*(1+y4)*(1+y5)*(1+y6)*(1+y7)*(1+y9)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)+6*x9*(1+y3)*(1+y4)*u[9]*(1+y5)*(1+y6)*(1+y7)*(1+y8)*(1-z10)*(2-z10)*z10*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f10 = 24*x1*z3-8709120*(1+z3)+4354560*u[10]*z3*(1+z3)+8*x1*(1-z3)*z3*(1+z3)+6*x2*(1-z3)*(2-z3)*z3*(1+z3)
f11 = 24*x1*(2+y3)*z4-8709120*u[11]*(2+y3)*(1+z4)+4354560*(2+y3)*z4*(1+z4)+8*x1*(2+y3)*(1-z4)*z4*(1+z4)+6*x2*(2+y3)*(1-z4)*(2-z4)*z4*(1+z4)+24*x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)
f12 = 24*x1*(2+y3)*(2+y4)*z5-8709120*(2+y3)*(2+y4)*(1+z5)+4354560*(2+y3)*(2+y4)*z5*(1+z5)+8*x1*(2+y3)*(2+y4)*(1-z5)*z5*(1+z5)+6*x2*(2+y3)*(2+y4)*(1-z5)*u[12]*(2-z5)*z5*(1+z5)+24*x3*(2+y4)*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)+24*x4*(2+y3)*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)
f13 = 24*x1*(2+y3)*(2+y4)*(2+y5)*z6-8709120*(2+y3)*(2+y4)*(2+y5)*(1+z6)+4354560*(2+y3)*(2+y4)*(2+y5)*u[13]*z6*(1+z6)+8*x1*(2+y3)*(2+y4)*(2+y5)*(1-z6)*z6*(1+z6)+6*x2*(2+y3)*(2+y4)*(2+y5)*(1-z6)*(2-z6)*z6*(1+z6)+24*x3*(2+y4)*(2+y5)*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)+24*x4*(2+y3)*(2+y5)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)+24*x5*(2+y3)*(2+y4)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)
f14 = 24*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*z7-8709120*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(1+z7)+4354560*(2+y3)*(2+y4)*(2+y5)*(2+y6)*z7*(1+z7)+8*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(1-z7)*z7*(1+z7)+6*x2*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(1-z7)*(2-z7)*z7*(1+z7)+24*x3*u[14]*(2+y4)*(2+y5)*(2+y6)*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)+24*x4*(2+y3)*(2+y5)*(2+y6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)+24*x5*(2+y3)*(2+y4)*(2+y6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)+24*x6*(2+y3)*(2+y4)*(2+y5)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)
f15 = 24*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*z8-8709120*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(1+z8)+4354560*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*z8*(1+z8)+8*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(1-z8)*z8*(1+z8)+6*x2*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(1-z8)*(2-z8)*z8*(1+z8)+24*x3*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)+24*x4*(2+y3)*(2+y5)*(2+y6)*(2+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)+24*x5*(2+y3)*(2+y4)*(2+y6)*(2+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)+24*x6*(2+y3)*(2+y4)*(2+y5)*(2+y7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*u[15]*z8*(1+z8)+24*x7*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)
f16 = 24*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*z9-8709120*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1+z9)+4354560*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*z9*(1+z9)+8*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1-z9)*z9*(1+z9)+6*x2*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1-z9)*(2-z9)*z9*(1+z9)+24*x3*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)+24*x4*(2+y3)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)+24*x5*(2+y3)*(2+y4)*(2+y6)*(2+y7)*(2+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)+24*x6*(2+y3)*(2+y4)*(2+y5)*(2+y7)*(2+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)+24*x7*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)+24*x8*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*u[16]*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)
f17 = 24*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*z10-8709120*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1+z10)+4354560*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*z10*(1+z10)+8*x1*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*z10*(1+z10)+6*x2*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)+24*x3*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)+24*x4*(2+y3)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)*(-z10+z4)+24*x5*(2+y3)*(2+y4)*(2+y6)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)+24*x6*(2+y3)*(2+y4)*(2+y5)*(2+y7)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*u[17]*z10*(1+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)+24*x7*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y8)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)+24*x8*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y9)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)+24*x9*(2+y3)*(2+y4)*(2+y5)*(2+y6)*(2+y7)*(2+y8)*(1-z10)*(2-z10)*z10*(1+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f18 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*u[18]*(2+z3)*(y3+z3)*z4*(1+z4))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*z4*(2+z4)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(1+z4)*(2+z4)+362880*(1+z3)*(2+z3)*(y3+z3)*z4*(1+z4)*(2+z4)+x1*z3*(2+z3)*(y3+z3)*(1-z4)*z4*(1+z4)*(2+z4)+x2*z3*(1+z3)*(y3+z3)*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)+x3*z3*(1+z3)*(2+z3)*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)
f19 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*z5*(1+z5))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*z5*(2+z5)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(1+z5)*(2+z5)+362880*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*z5*(1+z5)*(2+z5)+x1*u[19]*z3*(2+z3)*(y3+z3)*(y4+z3)*(1-z5)*z5*(1+z5)*(2+z5)+x2*z3*(1+z3)*(y3+z3)*(y4+z3)*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)+x3*z3*(1+z3)*(2+z3)*(y4+z3)*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)+x4*z3*(1+z3)*(2+z3)*(y3+z3)*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)
f20 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*z6*(1+z6))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*z6*(2+z6)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(1+z6)*(2+z6)+362880*(1+z3)*u[20]*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*z6*(1+z6)*(2+z6)+x1*z3*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(1-z6)*z6*(1+z6)*(2+z6)+x2*z3*(1+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)+x3*z3*(1+z3)*(2+z3)*(y4+z3)*(y5+z3)*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)+x4*z3*(1+z3)*(2+z3)*(y3+z3)*(y5+z3)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)+x5*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)
f21 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*z7*(1+z7))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*z7*(2+z7)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(1+z7)*(2+z7)+362880*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*z7*(1+z7)*(2+z7)+x1*z3*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(1-z7)*z7*(1+z7)*(2+z7)+x2*z3*(1+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)+x3*z3*(1+z3)*(2+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(1-z7)*u[21]*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)+x4*z3*(1+z3)*(2+z3)*(y3+z3)*(y5+z3)*(y6+z3)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)+x5*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y6+z3)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)+x6*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)
f22 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*z8*(1+z8))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*z8*(2+z8)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1+z8)*(2+z8)+362880*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*z8*(1+z8)*(2+z8)+x1*z3*(2+z3)*(y3+z3)*u[22]*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1-z8)*z8*(1+z8)*(2+z8)+x2*z3*(1+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)+x3*z3*(1+z3)*(2+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)+x4*z3*(1+z3)*(2+z3)*(y3+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)+x5*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y6+z3)*(y7+z3)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)+x6*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y7+z3)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)+x7*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)
f23 = -(x2*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*z9*(1+z9))-x1*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*z9*(2+z9)-362880*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*u[23]*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1+z9)*(2+z9)+362880*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*z9*(1+z9)*(2+z9)+x1*z3*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1-z9)*z9*(1+z9)*(2+z9)+x2*z3*(1+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)+x3*z3*(1+z3)*(2+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)+x4*z3*(1+z3)*(2+z3)*(y3+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)+x5*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)+x6*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y7+z3)*(y8+z3)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)+x7*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y8+z3)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)+x8*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)
f24 = x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)+x1*(1-z10)*z10*(1+z10)*(2+z10)*z3*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)+362880*z10*(1+z10)*(2+z10)*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)-362880*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)-x1*z10*(2+z10)*(1-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)-x2*z10*(1+z10)*(1-z3)*(2-z3)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)*(-z10+z3)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)*(-z10+z3)*(-z10+z4)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y6+z3)*(y7+z3)*(y8+z3)*(y9+z3)*(-z10+z3)*(-z10+z4)*(-z10+z5)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y7+z3)*(y8+z3)*(y9+z3)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y8+z3)*(y9+z3)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*(y6+z3)*(y7+z3)*(y9+z3)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*z3*(1+z3)*(2+z3)*(y3+z3)*(y4+z3)*(y5+z3)*u[24]*(y6+z3)*(y7+z3)*(y8+z3)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f25 = -(x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*z5*u[25]*(1+z5)*(2+z5))-x2*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*z5*(1+z5)*(y3+z5)-x1*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*z5*(2+z5)*(y3+z5)-362880*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(1+z5)*(2+z5)*(y3+z5)+362880*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*z5*(1+z5)*(2+z5)*(y3+z5)+x1*z4*(2+z4)*(y3+z4)*(y4+z4)*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)+x2*z4*(1+z4)*(y3+z4)*(y4+z4)*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)+x3*z4*(1+z4)*(2+z4)*(y4+z4)*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)+x4*z4*(1+z4)*(2+z4)*(y3+z4)*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)
f26 = -(x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*z6*(1+z6)*(2+z6))-x2*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*z6*(1+z6)*(y3+z6)-x1*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*z6*(2+z6)*(y3+z6)-362880*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(1+z6)*(2+z6)*(y3+z6)+362880*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*z6*(1+z6)*(2+z6)*(y3+z6)+x1*z4*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)+x2*z4*(1+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)+x3*z4*(1+z4)*(2+z4)*(y4+z4)*(y5+z4)*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)+x4*z4*(1+z4)*(2+z4)*(y3+z4)*(y5+z4)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*u[26]*(1+z6)*(2+z6)*(y3+z6)+x5*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)
f27 = -(x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*z7*(1+z7)*(2+z7))-x2*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*u[27]*(y6+z4)*z7*(1+z7)*(y3+z7)-x1*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*z7*(2+z7)*(y3+z7)-362880*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(1+z7)*(2+z7)*(y3+z7)+362880*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*z7*(1+z7)*(2+z7)*(y3+z7)+x1*z4*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)+x2*z4*(1+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)+x3*z4*(1+z4)*(2+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)+x4*z4*(1+z4)*(2+z4)*(y3+z4)*(y5+z4)*(y6+z4)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)+x5*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y6+z4)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)*(y3+z7)+x6*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)
f28 = -(x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*z8*(1+z8)*(2+z8))-x2*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*z8*(1+z8)*(y3+z8)-x1*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*z8*(2+z8)*(y3+z8)-362880*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1+z8)*(2+z8)*(y3+z8)+362880*(1+z4)*u[28]*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*z8*(1+z8)*(2+z8)*(y3+z8)+x1*z4*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x2*z4*(1+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x3*z4*(1+z4)*(2+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x4*z4*(1+z4)*(2+z4)*(y3+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x5*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y6+z4)*(y7+z4)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x6*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y7+z4)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)+x7*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)
f29 = -(x3*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*z9*(1+z9)*(2+z9))-x2*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*z9*(1+z9)*(y3+z9)-x1*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*z9*(2+z9)*(y3+z9)-362880*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1+z9)*(2+z9)*(y3+z9)+362880*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*z9*u[29]*(1+z9)*(2+z9)*(y3+z9)+x1*z4*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x2*z4*(1+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x3*z4*(1+z4)*(2+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x4*z4*(1+z4)*(2+z4)*(y3+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x5*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x6*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y7+z4)*(y8+z4)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x7*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y8+z4)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)+x8*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)
f30 = x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*z4*(1+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)+x1*(1-z10)*z10*(1+z10)*(2+z10)*u[30]*(y3+z10)*z4*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)-362880*(1+z10)*(2+z10)*(y3+z10)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)-x1*z10*(2+z10)*(y3+z10)*(1-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)-x2*z10*(1+z10)*(y3+z10)*(1-z4)*(2-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)-x3*z10*(1+z10)*(2+z10)*(1-z4)*(2-z4)*(z3-z4)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)*(-z10+z4)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(y9+z4)*(-z10+z4)*(-z10+z5)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y7+z4)*(y8+z4)*(y9+z4)*(-z10+z4)*(-z10+z5)*(-z10+z6)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y8+z4)*(y9+z4)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y9+z4)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(-z10+z3)*z4*(1+z4)*(2+z4)*(y3+z4)*(y4+z4)*(y5+z4)*(y6+z4)*(y7+z4)*(y8+z4)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f31 = -(x4*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*z6*(1+z6)*(2+z6)*(y3+z6))-x3*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*z6*(1+z6)*(2+z6)*(y4+z6)-x2*u[31]*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*z6*(1+z6)*(y3+z6)*(y4+z6)-x1*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*z6*(2+z6)*(y3+z6)*(y4+z6)-362880*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+362880*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+x1*z5*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+x2*z5*(1+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+x3*z5*(1+z5)*(2+z5)*(y4+z5)*(y5+z5)*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+x4*z5*(1+z5)*(2+z5)*(y3+z5)*(y5+z5)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)+x5*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)
f32 = -(x4*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*z7*(1+z7)*(2+z7)*(y3+z7))-x3*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*z7*(1+z7)*(2+z7)*(y4+z7)-x2*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*z7*(1+z7)*(y3+z7)*(y4+z7)-x1*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*z7*(2+z7)*(y3+z7)*(y4+z7)-362880*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+362880*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x1*z5*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x2*z5*(1+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x3*z5*u[32]*(1+z5)*(2+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x4*z5*(1+z5)*(2+z5)*(y3+z5)*(y5+z5)*(y6+z5)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x5*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y6+z5)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)+x6*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)
f33 = -(x4*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*z8*(1+z8)*(2+z8)*(y3+z8))-x3*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*z8*(1+z8)*(2+z8)*(y4+z8)-x2*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*z8*(1+z8)*(y3+z8)*(y4+z8)-x1*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*z8*(2+z8)*(y3+z8)*(y4+z8)-362880*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+362880*(1+z5)*u[33]*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x1*z5*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x2*z5*(1+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x3*z5*(1+z5)*(2+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x4*z5*(1+z5)*(2+z5)*(y3+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x5*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y6+z5)*(y7+z5)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x6*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y7+z5)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)+x7*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)
f34 = -(x4*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*z9*(1+z9)*(2+z9)*(y3+z9))-x3*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*z9*(1+z9)*(2+z9)*(y4+z9)-x2*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*z9*(1+z9)*(y3+z9)*(y4+z9)-x1*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*z9*(2+z9)*(y3+z9)*(y4+z9)-362880*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+362880*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*z9*(1+z9)*(2+z9)*(y3+z9)*u[34]*(y4+z9)+x1*z5*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x2*z5*(1+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x3*z5*(1+z5)*(2+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x4*z5*(1+z5)*(2+z5)*(y3+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x5*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x6*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y7+z5)*(y8+z5)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x7*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y8+z5)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)+x8*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)
f35 = x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*z5*(1+z5)*(2+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*z5*(1+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)+x1*(1-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*z5*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)-362880*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)-x1*z10*(2+z10)*(y3+z10)*(y4+z10)*(1-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)-x2*z10*(1+z10)*(y3+z10)*(y4+z10)*(1-z5)*(2-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)-x3*z10*(1+z10)*(2+z10)*(y4+z10)*(1-z5)*(2-z5)*(z3-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)-x4*z10*(1+z10)*(2+z10)*(y3+z10)*(1-z5)*(2-z5)*(z3-z5)*(z4-z5)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(y9+z5)*(-z10+z5)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y7+z5)*(y8+z5)*(y9+z5)*(-z10+z5)*(-z10+z6)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y8+z5)*(y9+z5)*(-z10+z5)*(-z10+z6)*(-z10+z7)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y9+z5)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)+x9*u[35]*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(-z10+z3)*(-z10+z4)*z5*(1+z5)*(2+z5)*(y3+z5)*(y4+z5)*(y5+z5)*(y6+z5)*(y7+z5)*(y8+z5)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f36 = -(x5*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7))-x4*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y5+z7)-x3*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(1+z7)*(2+z7)*(y4+z7)*(y5+z7)-x2*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(1+z7)*(y3+z7)*(y4+z7)*(y5+z7)-x1*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(2+z7)*(y3+z7)*u[36]*(y4+z7)*(y5+z7)-362880*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+362880*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x1*z6*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x2*z6*(1+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x3*z6*(1+z6)*(2+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x4*z6*(1+z6)*(2+z6)*(y3+z6)*(y5+z6)*(y6+z6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x5*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y6+z6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)+x6*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)
f37 = -(x5*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8))-x4*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(1+z8)*(2+z8)*(y3+z8)*(y5+z8)-x3*(1-z6)*u[37]*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(1+z8)*(2+z8)*(y4+z8)*(y5+z8)-x2*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(1+z8)*(y3+z8)*(y4+z8)*(y5+z8)-x1*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)-362880*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+362880*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x1*z6*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x2*z6*(1+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x3*z6*(1+z6)*(2+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x4*z6*(1+z6)*(2+z6)*(y3+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x5*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y6+z6)*(y7+z6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x6*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y7+z6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)+x7*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)
f38 = -(x5*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9))-x4*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(1+z9)*(2+z9)*(y3+z9)*(y5+z9)-x3*u[38]*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(1+z9)*(2+z9)*(y4+z9)*(y5+z9)-x2*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(1+z9)*(y3+z9)*(y4+z9)*(y5+z9)-x1*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)-362880*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+362880*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x1*z6*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x2*z6*(1+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x3*z6*(1+z6)*(2+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x4*z6*(1+z6)*(2+z6)*(y3+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x5*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x6*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y7+z6)*(y8+z6)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x7*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y8+z6)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)+x8*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)
f39 = x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*z6*(1+z6)*(2+z6)*(y3+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*z6*(1+z6)*(2+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*z6*(1+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)+x1*(1-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*z6*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*u[39]*(y9+z6)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-362880*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-x1*z10*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(1-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-x2*z10*(1+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(1-z6)*(2-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-x3*z10*(1+z10)*(2+z10)*(y4+z10)*(y5+z10)*(1-z6)*(2-z6)*(z3-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-x4*z10*(1+z10)*(2+z10)*(y3+z10)*(y5+z10)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)-x5*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(1-z6)*(2-z6)*(z3-z6)*(z4-z6)*(z5-z6)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(y9+z6)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y7+z6)*(y8+z6)*(y9+z6)*(-z10+z6)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y8+z6)*(y9+z6)*(-z10+z6)*(-z10+z7)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y9+z6)*(-z10+z6)*(-z10+z7)*(-z10+z8)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z6*(1+z6)*(2+z6)*(y3+z6)*(y4+z6)*(y5+z6)*(y6+z6)*(y7+z6)*(y8+z6)*(-z10+z6)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f40 = -(x6*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8))-x5*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*u[40]*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y6+z8)-x4*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y5+z8)*(y6+z8)-x3*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(2+z8)*(y4+z8)*(y5+z8)*(y6+z8)-x2*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)-x1*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)-362880*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+362880*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x1*z7*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x2*z7*(1+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x3*z7*(1+z7)*(2+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x4*z7*(1+z7)*(2+z7)*(y3+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x5*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y6+z7)*(y7+z7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x6*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y7+z7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)+x7*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)
f41 = -(x6*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9))-x5*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y6+z9)-x4*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(2+z9)*(y3+z9)*(y5+z9)*(y6+z9)-x3*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(2+z9)*(y4+z9)*(y5+z9)*(y6+z9)-x2*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)-x1*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)-362880*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+362880*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x1*z7*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x2*z7*(1+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x3*z7*(1+z7)*(2+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x4*z7*(1+z7)*(2+z7)*(y3+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x5*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x6*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y7+z7)*(y8+z7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x7*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y8+z7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)+x8*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*u[41]*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)
f42 = x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*z7*(1+z7)*(2+z7)*(y3+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*z7*(1+z7)*(2+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*z7*(1+z7)*u[42]*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x1*(1-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*z7*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-362880*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x1*z10*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(1-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x2*z10*(1+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(1-z7)*(2-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x3*z10*(1+z10)*(2+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(1-z7)*(2-z7)*(z3-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x4*z10*(1+z10)*(2+z10)*(y3+z10)*(y5+z10)*(y6+z10)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x5*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y6+z10)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)-x6*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(1-z7)*(2-z7)*(z3-z7)*(z4-z7)*(z5-z7)*(z6-z7)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(y9+z7)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y8+z7)*(y9+z7)*(-z10+z7)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y9+z7)*(-z10+z7)*(-z10+z8)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z7*(1+z7)*(2+z7)*(y3+z7)*(y4+z7)*(y5+z7)*(y6+z7)*(y7+z7)*(y8+z7)*(-z10+z7)*(-z10+z8)*(-z10+z9)
f43 = -(x7*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9))-x6*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y7+z9)-x5*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y6+z9)*(y7+z9)-x4*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y5+z9)*(y6+z9)*(y7+z9)-x3*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)-x2*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)-x1*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)-362880*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+362880*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x1*z8*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*u[43]*(y7+z8)*(y8+z8)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x2*z8*(1+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x3*z8*(1+z8)*(2+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x4*z8*(1+z8)*(2+z8)*(y3+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x5*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x6*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y7+z8)*(y8+z8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x7*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y8+z8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)+x8*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)
f44 = x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y8+z8)*(y9+z8)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*z8*(1+z8)*(2+z8)*(y3+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*z8*(1+z8)*(2+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*z8*(1+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x1*(1-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*z8*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-362880*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x1*z10*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*u[44]*(y8+z8)*(y9+z8)-x2*z10*(1+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1-z8)*(2-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x3*z10*(1+z10)*(2+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1-z8)*(2-z8)*(z3-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x4*z10*(1+z10)*(2+z10)*(y3+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x5*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y6+z10)*(y7+z10)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x6*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y7+z10)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)-x7*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(1-z8)*(2-z8)*(z3-z8)*(z4-z8)*(z5-z8)*(z6-z8)*(z7-z8)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(y9+z8)+x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y9+z8)*(-z10+z8)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*z8*(1+z8)*(2+z8)*(y3+z8)*(y4+z8)*(y5+z8)*(y6+z8)*(y7+z8)*(y8+z8)*(-z10+z8)*(-z10+z9)
f45 = x8*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y9+z9)+x7*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y8+z9)*(y9+z9)+x6*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x5*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x4*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*z9*(1+z9)*(2+z9)*(y3+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x3*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*z9*(1+z9)*(2+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x2*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*z9*(1+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x1*(1-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*z9*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+362880*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-362880*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x1*z10*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x2*z10*(1+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1-z9)*(2-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x3*z10*(1+z10)*(2+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1-z9)*(2-z9)*(z3-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x4*z10*(1+z10)*(2+z10)*(y3+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x5*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x6*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y7+z10)*(y8+z10)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x7*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y8+z10)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)-x8*z10*(1+z10)*(2+z10)*u[45]*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(1-z9)*(2-z9)*(z3-z9)*(z4-z9)*(z5-z9)*(z6-z9)*(z7-z9)*(z8-z9)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(y9+z9)+x9*(1-z10)*(2-z10)*z10*(1+z10)*(2+z10)*(y3+z10)*(y4+z10)*(y5+z10)*(y6+z10)*(y7+z10)*(y8+z10)*(-z10+z3)*(-z10+z4)*(-z10+z5)*(-z10+z6)*(-z10+z7)*(-z10+z8)*z9*(1+z9)*(2+z9)*(y3+z9)*(y4+z9)*(y5+z9)*(y6+z9)*(y7+z9)*(y8+z9)*(-z10+z9)
F = System([f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32, f33, f34, f35, f36, f37, f38, f39, f40, f41, f42, f43, f44, f45], parameters = u)
result = monodromy_solve(F, [362880, 181440, 60480, 15120, 3024, 504, 72, 9, 1, 3, 4, 5, 6, 7, 8, 9, 3, 4, 5, 6, 7, 8, 9, 10], [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1])
nsols = nsolutions(result)
print(nsols)
jac = jacobian(F, [362880, 181440, 60480, 15120, 3024, 504, 72, 9, 1, 3, 4, 5, 6, 7, 8, 9, 3, 4, 5, 6, 7, 8, 9, 10], [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1])