[ 1*k[1]*x[2] + 1*k[1]*x[37] = k[1]*k[163],
  1*k[2]*x[3] + 1*k[2]*x[5] + 1*k[2]*x[43] = k[2]*k[164],
  1*k[1]*x[7] + 1*k[1]*x[13] + 1*k[1]*x[45] = k[1]*k[165],
  1*k[1]*x[12] + 1*k[1]*x[28] = k[1]*k[166],
  1*k[2]*x[14] + 1*k[2]*x[27] = k[2]*k[167],
  1*k[2]*x[31] + 1*k[2]*x[46] = k[2]*k[168],
  1*k[1]*x[35] + 1*k[1]*x[40] = k[1]*k[169] ]