k7*x3 - k6*k10*x1*x2 + k5*k10*x3*x4 
k1*x5 + k7*x3 - k2*x2*x4 - k6*k10*x1*x2 
k6*k10*x1*x2 - k7*x3 - k5*k10*x3*x4 
k1*x5 + k4*x8 - k2*x2*x4 - k5*k10*x3*x4 - k3*k10*x4*x6 
k9*x7 - k1*x5 + k2*x2*x4 + k5*k10*x3*x4 - k8*k10*x5*x6 
k4*x8 + k9*x7 - k3*k10*x4*x6 - k8*k10*x5*x6 
k8*k10*x5*x6 - k9*x7 
k3*k10*x4*x6 - k4*x8 
x6 - k14 + x7 + x8 
x4 - k15 + x5 + x7 + x8 
x1 - k16 + x3 
x2 - k17 + x3 + x5 + x7 
