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