{ 1*x7 + 1*x8 + 1*x9 + 1*x57 = k138 + k139,
  1*x8 + 1*x9 + 1*x32 + 1*x33 = k140,
  1*x10 + 1*x11 = k141,
  1*x12 + 1*x13 = k142,
  1*x19 + 1*x20 = k143,
  1*x28 + 1*x29 + 1*x71 + 1*x72 = k144 + k145,
  1*x38 + 1*x39 = k146,
  1*x38 + 1*x40 + 1*x41 = k147,
  1*x55 + 1*x57 + 1*x58 = k148,
  1*x56 + 1*x59 = k149,
  1*x60 + 1*x62 + 1*x63 = k150,
  1*x61 + 1*x64 = k151,
  1*x70 + 1*x73 = k152 }