k3*x13 + k4*x13 - k2*x1*x3 
k6*x14 + k7*x14 - k5*x2*x4 
k3*x13 + k7*x14 - k2*x1*x3 
k4*x13 + k6*x14 + k9*x15 + k10*x15 + k15*x16 + k16*x16 - k5*x2*x4 - k8*x4*x5 - k14*x4*x6 
k9*x15 + k13*x20 - k8*x4*x5 
k10*x15 + k15*x16 + k12*x20 + k19*x19 - k14*x4*x6 - k11*x6*x12 
k16*x16 + k18*x19 + k21*x17 + k22*x17 + k27*x18 + k28*x18 - k20*x7*x8 - k17*x7*x12 - k26*x7*x9 
k21*x17 + k25*x22 - k20*x7*x8 
k22*x17 + k27*x18 + k24*x22 + k31*x21 - k26*x7*x9 - k23*x9*x11 
k28*x18 + k30*x21 - k29*x10*x11 
k24*x22 + k25*x22 + k30*x21 + k31*x21 - k23*x9*x11 - k29*x10*x11 
k12*x20 + k13*x20 + k18*x19 + k19*x19 - k11*x6*x12 - k17*x7*x12 
k2*x1*x3 - k4*x13 - k3*x13 
k5*x2*x4 - k7*x14 - k6*x14 
k8*x4*x5 - k10*x15 - k9*x15 
k14*x4*x6 - k16*x16 - k15*x16 
k20*x7*x8 - k22*x17 - k21*x17 
k26*x7*x9 - k28*x18 - k27*x18 
k17*x7*x12 - k19*x19 - k18*x19 
k11*x6*x12 - k13*x20 - k12*x20 
k29*x10*x11 - k31*x21 - k30*x21 
k23*x9*x11 - k25*x22 - k24*x22 
x11 - k36 + x21 + x22 
x8 - k37 + x9 + x10 + x17 + x18 + x21 + x22 
x12 - k38 + x19 + x20 
x5 - k39 + x6 + x7 + x15 + x16 + x17 + x18 + x19 + x20 
x2 - k40 + x14 
x1 - k41 + x13 
x3 - k42 + x4 + x13 + x14 + x15 + x16 
