k3*x5 - k5*x1 - k4*x1 + k6*x12 
k21*x3 - k17*x2 - k16*x2 - k22*x2 + k15*x11 + k18*x9 - k31*x2 + k32*x10 
k7*x4 - k8*x3 - k9*x3 - k14*x3 + k13*x5 + k10*x12 - k21*x3 + k22*x2 
k8*x3 - k7*x4 - k12*x4 + k11*x6 - k19*x4 + k20*x11 
k4*x1 + k1*x6 - k2*x5 - k3*x5 + k14*x3 - k13*x5 
k2*x5 - k1*x6 + k12*x4 - k11*x6 
k27*x10 - k28*x7 - k34*x7 + k33*x9 
k26*x10 - k25*x8 - k30*x8 + k29*x11 
k17*x2 - k18*x9 - k24*x9 + k23*x12 + k34*x7 - k33*x9 
k25*x8 + k31*x2 + k28*x7 - k26*x10 - k27*x10 - k32*x10 
k16*x2 + k19*x4 - k15*x11 - k20*x11 + k30*x8 - k29*x11 
k5*x1 + k9*x3 - k6*x12 - k10*x12 + k24*x9 - k23*x12 
x1 - k37 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 
