[ 1*k[1]*x[2] + 1*k[1]*x[8] + 1*k[1]*x[45] = k[1]*k[167],
  1*k[1]*x[3] + 1*k[1]*x[37] = k[1]*k[168],
  1*k[2]*x[4] + 1*k[2]*x[6] + 1*k[2]*x[43] = k[2]*k[169],
  1*k[1]*x[13] + 1*k[1]*x[28] = k[1]*k[170],
  1*k[2]*x[14] + 1*k[2]*x[27] = k[2]*k[171],
  1*k[2]*x[31] + 1*k[2]*x[46] = k[2]*k[172],
  1*k[1]*x[35] + 1*k[1]*x[40] = k[1]*k[173] ]