[ 1*x[2] + 1*x[4] + 1*x[5] + 1*x[23] + 1*x[26] + 1*x[31] = k[60] + k[61],
  1*x[2] + 1*x[4] + 1*x[12] + 1*x[13] + 1*x[15] + 1*x[16] + 1*x[17] + 1*x[20] + 1*x[23] + 1*x[26] + 1*x[28] + 1*x[31] + 1*x[32] = k[62] + k[63] + k[64],
  1*x[2] + 1*x[22] + 1*x[23] + 1*x[26] + 1*x[27] + 1*x[31] = k[65] + k[66],
  1*x[3] + 1*x[4] + 1*x[5] + 1*x[7] + 1*x[25] + 1*x[26] + 1*x[31] = k[67] + k[68],
  1*x[3] + 1*x[4] + 1*x[7] + 1*x[12] + 1*x[13] + 1*x[15] + 1*x[16] + 1*x[17] + 1*x[20] + 1*x[25] + 1*x[26] + 1*x[28] + 1*x[31] + 1*x[32] = k[69] + k[70] + k[71],
  1*x[3] + 1*x[7] + 1*x[22] + 1*x[31] = k[72] + k[73],
  1*x[4] + 1*x[5] + 1*x[21] + 1*x[23] + 1*x[26] + 1*x[31] = k[74],
  1*x[4] + 1*x[12] + 1*x[13] + 1*x[15] + 1*x[16] + 1*x[17] + 1*x[20] + 1*x[21] + 1*x[23] + 1*x[26] + 1*x[28] + 1*x[31] + 1*x[32] = k[75] + k[76],
  1*x[9] + 1*x[29] = k[77],
  1*x[10] + 1*x[12] + 1*x[13] + 1*x[16] + 1*x[32] = k[78],
  1*x[11] + 1*x[13] + 1*x[16] + 1*x[32] = k[79],
  1*x[12] + 1*x[13] + 1*x[14] + 1*x[16] + 1*x[32] = k[80],
  1*x[17] + 1*x[19] + 1*x[20] = k[81],
  1*x[21] + 1*x[22] + 1*x[23] + 1*x[26] + 1*x[27] + 1*x[31] = k[83] + k[82],
  1*x[25] + 1*x[26] + 1*x[27] = k[84] + k[85],
  1*x[33] + 1*x[36] = k[86],
  1*x[34] + 1*x[36] = k[87] ]