{ 1*x2 + 1*x4 + 1*x5 + 1*x23 + 1*x26 + 1*x31 = k60 + k61,
  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,
  1*x2 + 1*x22 + 1*x23 + 1*x26 + 1*x27 + 1*x31 = k65 + k66,
  1*x3 + 1*x4 + 1*x5 + 1*x7 + 1*x25 + 1*x26 + 1*x31 = k67 + k68,
  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,
  1*x3 + 1*x7 + 1*x22 + 1*x31 = k72 + k73,
  1*x4 + 1*x5 + 1*x21 + 1*x23 + 1*x26 + 1*x31 = k74,
  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,
  1*x9 + 1*x29 = k77,
  1*x10 + 1*x12 + 1*x13 + 1*x16 + 1*x32 = k78,
  1*x11 + 1*x13 + 1*x16 + 1*x32 = k79,
  1*x12 + 1*x13 + 1*x14 + 1*x16 + 1*x32 = k80,
  1*x17 + 1*x19 + 1*x20 = k81,
  1*x21 + 1*x22 + 1*x23 + 1*x26 + 1*x27 + 1*x31 = k83 + k82,
  1*x25 + 1*x26 + 1*x27 = k84 + k85,
  1*x33 + 1*x36 = k86,
  1*x34 + 1*x36 = k87 }