[ Eq(1*k6*x2 + 1*k6*x4, k6*k17),
  Eq(1*k6*x3 + 1*k6*x5, k6*k18) ]