[ Eq(1*k2*x4 + 1*k2*x5 + 1*k2*x7, k2*k51),
  Eq(1*k2*x4 + 1*k2*x6 + 1*k2*x9 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 + 1*k2*x33, k2*k52),
  Eq(1*k2*x8 + 1*k2*x9 + 1*k2*x10 + 1*k2*x12 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24, k2*k53),
  Eq(1*k2*x8 + 1*k2*x9 + 1*k2*x11 + 1*k2*x12 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24, k2*k54),
  Eq(1*k2*x8 + 1*k2*x9 + 1*k2*x13 + 1*k2*x15 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24, k2*k55),
  Eq(1*k2*x8 + 1*k2*x9 + 1*k2*x14 + 1*k2*x15 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x23 + 1*k2*x24 + 1*k2*x26, k2*k56),
  Eq(1*k2*x16 + 1*k2*x17 + 1*k2*x18 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24, k2*k57),
  Eq(1*k2*x25 + 1*k2*x26, k2*k58),
  Eq(1*k2*x27 + 1*k2*x28 + 1*k1*x29, k1*k60 + k2*k59),
  Eq(1*k2*x30 + 1*k2*x31 + 1*k2*x32 + 1*k2*x33 + 1*k2*x34, k2*k61),
  Eq(1*k2*x34 + 1*k2*x35, k2*k62) ]