[ Eq(1*x2 + 1*x4 + 1*x5 + 1*x23 + 1*x26 + 1*x31, k60 + k61),
  Eq(1*x2 + 1*x4 + 1*x12 + 1*x13 + 1*x15 + 1*x16 + 1*x17 + 1*x20 + 1*x23 + 1*x26 + 1*x28 + 1*x31 + 1*x32, k62 + k63 + k64),
  Eq(1*x2 + 1*x22 + 1*x23 + 1*x26 + 1*x27 + 1*x31, k65 + k66),
  Eq(1*x3 + 1*x4 + 1*x5 + 1*x7 + 1*x25 + 1*x26 + 1*x31, k67 + k68),
  Eq(1*x3 + 1*x4 + 1*x7 + 1*x12 + 1*x13 + 1*x15 + 1*x16 + 1*x17 + 1*x20 + 1*x25 + 1*x26 + 1*x28 + 1*x31 + 1*x32, k69 + k70 + k71),
  Eq(1*x3 + 1*x7 + 1*x22 + 1*x31, k72 + k73),
  Eq(1*x4 + 1*x5 + 1*x21 + 1*x23 + 1*x26 + 1*x31, k74),
  Eq(1*x4 + 1*x12 + 1*x13 + 1*x15 + 1*x16 + 1*x17 + 1*x20 + 1*x21 + 1*x23 + 1*x26 + 1*x28 + 1*x31 + 1*x32, k75 + k76),
  Eq(1*x9 + 1*x29, k77),
  Eq(1*x10 + 1*x12 + 1*x13 + 1*x16 + 1*x32, k78),
  Eq(1*x11 + 1*x13 + 1*x16 + 1*x32, k79),
  Eq(1*x12 + 1*x13 + 1*x14 + 1*x16 + 1*x32, k80),
  Eq(1*x17 + 1*x19 + 1*x20, k81),
  Eq(1*x21 + 1*x22 + 1*x23 + 1*x26 + 1*x27 + 1*x31, k83 + k82),
  Eq(1*x25 + 1*x26 + 1*x27, k84 + k85),
  Eq(1*x33 + 1*x36, k86),
  Eq(1*x34 + 1*x36, k87) ]