k5*x2 - k4*x1*x3 
2*k7*x4 - k5*x2 - 2*k6*x2^2 + k4*x1*x3 
k5*x2 - k4*x1*x3 
k9*x5 - k7*x4 + k6*x2^2 - k8*x4*x6 
k8*x4*x6 - k9*x5 
k9*x5 - k8*x4*x6 
k11*x5 - k10*x7 
x5 - k13 + x6 
x1 - k14 + x2 + 2*x4 + 2*x5 
x2 - k15 + x3 + 2*x4 + 2*x5 
