[ Eq(x16, 453/200*k1),
  Eq(1*k19*x6 + 1*k19*x7, k19*k20),
  Eq(1*k19*x9 + 1*k19*x10, k19*k21),
  Eq(1*k19*x12 + 1*k19*x13, k19*k22) ]