[ Eq(1*k16*x2 + 1*k16*x7 + 1*k16*x8 + 1*k16*x9 + 1*k16*x10, k16*k17),
  Eq(1*k16*x3 + 1*k16*x8 + 1*k16*x9 + 1*k16*x10 + 1*k16*x11 + 1*k16*x12, k16*k18),
  Eq(1*k16*x4 + 1*k16*x13, k16*k19),
  Eq(1*k16*x5 + 1*k16*x14, k16*k20),
  Eq(1*k16*x5 + 1*k16*x15, k16*k21),
  Eq(1*k16*x6 + 1*k16*x16, k16*k22),
  Eq(1*k16*x6 + 1*k16*x17, k16*k23) ]