[ Eq(1*k6*x5 + 1*k6*x6, k6*k145),
  Eq(1*k6*x22 + 1*k6*x23, k6*k146) ]