[ 1*x[7] + 1*x[8] + 1*x[9] + 1*x[57] = k[138] + k[139],
  1*x[8] + 1*x[9] + 1*x[32] + 1*x[33] = k[140],
  1*x[10] + 1*x[11] = k[141],
  1*x[12] + 1*x[13] = k[142],
  1*x[19] + 1*x[20] = k[143],
  1*x[28] + 1*x[29] + 1*x[71] + 1*x[72] = k[144] + k[145],
  1*x[38] + 1*x[39] = k[146],
  1*x[38] + 1*x[40] + 1*x[41] = k[147],
  1*x[55] + 1*x[57] + 1*x[58] = k[148],
  1*x[56] + 1*x[59] = k[149],
  1*x[60] + 1*x[62] + 1*x[63] = k[150],
  1*x[61] + 1*x[64] = k[151],
  1*x[70] + 1*x[73] = k[152] ]