[ Eq(x12, 472/125*k1),
  Eq(1*k13*x6 + 1*k13*x7, k13*k14),
  Eq(1*k13*x9 + 1*k13*x10, k13*k15) ]