[ Eq(1*x1 + 1*x25 + 1*x27 + 1*x33, k64 + k65),
  Eq(1*x2 + 1*x9, k66),
  Eq(1*x3 + 1*x4, k67),
  Eq(1*x5 + 1*x26, k68),
  Eq(1*x6 + 1*x15 + 1*x19, k69),
  Eq(1*x7 + 1*x18 + 1*x23, k70),
  Eq(1*x8 + 1*x24, k71),
  Eq(1*x10 + 1*x17 + 1*x28 + 1*x30 + 1*x31 + 1*x32, k72),
  Eq(1*x11 + 1*x13, k73),
  Eq(1*x12 + 1*x14 + 1*x28 + 1*x30 + 1*x31, k74),
  Eq(1*x16 + 1*x20, k75),
  Eq(1*x21 + 1*x22, k76),
  Eq(1*x29 + 1*x31 + 1*x32, k77) ]