[ Eq(1*k53*x1 + 1*k53*x2 + 1*k53*x6 + 1*k53*x8 + 1*k53*x9 + 1*k53*x10 + 1*k53*x11 + 1*k53*x12, k53*k54),
  Eq(1*k53*x3 + 1*k53*x4 + 1*k53*x5 + 1*k53*x6 + 1*k53*x8 + 1*k53*x9 + 1*k53*x10 + 1*k53*x11 + 1*k53*x12, k53*k55),
  Eq(1*k53*x3 + 1*k53*x6 + 1*k53*x7 + 1*k53*x8, k53*k56) ]