[ 1*x[2] + 1*x[3] + 1*x[4] + 1*x[5] + 1*x[9] + 1*x[10] + 1*x[11] = k[142] + k[141] + k[140],
  1*x[6] + 1*x[7] + 1*x[8] = k[143],
  1*x[12] + 1*x[13] = k[144],
  1*x[14] + 1*x[25] = k[145],
  1*x[16] + 1*x[26] + 1*x[27] + 1*x[28] = k[146],
  1*x[17] + 1*x[19] + 1*x[26] + 1*x[27] + 1*x[28] = k[147],
  1*x[20] + 1*x[22] = k[148],
  1*x[21] + 1*x[23] = k[149],
  1*x[29] + 1*x[67] + 1*x[69] + 1*x[75] = k[150] + k[151],
  1*x[31] + 1*x[32] = k[152],
  1*x[33] + 1*x[68] = k[153],
  1*x[34] + 1*x[57] + 1*x[61] = k[154],
  1*x[35] + 1*x[60] + 1*x[65] = k[155],
  1*x[36] + 1*x[37] + 1*x[38] + 1*x[40] + 1*x[42] + 1*x[44] + 1*x[45] + 1*x[46] + 1*x[47] = k[156],
  1*x[39] + 1*x[66] = k[157],
  1*x[43] + 1*x[44] + 1*x[45] + 1*x[46] + 1*x[47] + 1*x[50] + 1*x[51] = k[158],
  1*x[48] + 1*x[49] = k[159],
  1*x[52] + 1*x[59] + 1*x[70] + 1*x[72] + 1*x[73] + 1*x[74] = k[160],
  1*x[53] + 1*x[55] = k[161],
  1*x[54] + 1*x[56] + 1*x[70] + 1*x[72] + 1*x[73] = k[162],
  1*x[58] + 1*x[62] = k[163],
  1*x[63] + 1*x[64] = k[164],
  1*x[71] + 1*x[73] + 1*x[74] = k[165] ]