[ 1*x[1] + 1*x[2] = k[60],
  1*x[9] + 1*x[10] = k[61],
  1*x[11] + 1*x[12] = k[62],
  1*x[13] + 1*x[14] = k[63],
  1*x[15] + 1*x[16] + 1*x[17] + 1*x[18] + 1*x[19] + 1*x[20] + 1*x[21] + 1*x[22] + 1*x[23] = k[64] + k[65] ]