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