[ Eq(1*k25*x2 + 1*k25*x3 + 1*k25*x5 + 1*k25*x19, k25*k27),
  Eq(1*k25*x4 + 1*k25*x6 + 1*k26*x17 + 1*k26*x18, k25*k28 + k26*k29) ]