k4*x9 + k4*x12 + k6*x11 - k8*x1*x4*x7 
k13*x14 - k12*x2 - k16*x2*x3*x12 
k15*x15 - k14*x3 - k16*x2*x3*x12 
k1 - k3*x4 - k5*x4 + k4*x6 + k6*x5 + k4*x12 + k6*x11 - k8*x1*x4*x7 
k5*x4 - k6*x5 
k3*x4 - k4*x6 - k10*x6 
k2 - k3*x7 - k5*x7 + k4*x9 + k6*x8 + k4*x12 + k6*x11 - k8*x1*x4*x7 
k5*x7 - k6*x8 
k3*x7 - k4*x9 - k11*x9 
k8*x1*x4*x7 - k5*x10 - k3*x10 
k5*x10 - k6*x11 - k9*x11*x16 
k3*x10 - k4*x12 - k7*x12 
k16*x2*x3*x12 - k17*x13 
k12*x2 - k13*x14 + k18*x16 
k14*x3 - k15*x15 + k18*x16 
k17*x13 - k18*x16 
x2 - k21 + x13 + x14 + x16 
x3 - k22 + x13 + x15 + x16 
