[ Eq(1*k47*x4 + 1*k47*x5 + 1*k47*x7 + 1*k47*x8 + 1*k47*x10 + 1*k47*x14 + 1*k47*x15, k47*k50),
  Eq(1*k47*x6 + 1*k47*x7 + 1*k47*x8 + 1*k47*x9, k47*k51),
  Eq(1*k47*x13 + 1*k47*x14 + 1*k47*x15 + 1*k47*x16 + 2*k47*x18 + 1*k47*x23, k47*k52),
  Eq(1*k47*x18 + 1*k47*x19 + 1*k47*x20, k47*k53) ]