[ 1*x[8] + 1*x[9] + 1*x[10] + 1*x[11] = k[121],
  1*x[10] + 1*x[11] + 1*x[13] + 1*x[14] + 1*x[15] + 1*x[16] = k[122],
  1*x[17] + 1*x[18] = k[123],
  1*x[22] + 1*x[29] + 1*x[30] = k[124],
  1*x[24] + 1*x[25] = k[125],
  1*x[31] + 1*x[32] = k[126],
  1*x[37] + 1*x[38] = k[127],
  1*x[39] + 1*x[40] + 1*x[41] = k[128],
  1*x[41] + 1*x[44] + 1*x[45] = k[129],
  1*x[42] + 1*x[43] + 1*x[44] = k[130],
  1*x[51] + 1*x[52] + 1*x[53] + 1*x[54] + 1*x[55] + 1*x[62] = k[131] + k[132] ]