[ 1*k[1]*x[2] + 1*k[1]*x[38] = k[1]*k[169],
  2*k[2]*x[3] + 1*k[2]*x[4] + 1*k[2]*x[5] + 1*k[2]*x[6] + 1*k[2]*x[10] + 1*k[2]*x[16] + 1*k[2]*x[20] + 1*k[2]*x[23] + 1*k[2]*x[25] + 2*k[2]*x[33] + 1*k[2]*x[34] + 1*k[2]*x[39] + 1*k[2]*x[42] = k[2]*k[170],
  1*k[2]*x[3] + 1*k[2]*x[5] + 1*k[2]*x[44] = k[2]*k[171],
  1*k[1]*x[7] + 1*k[1]*x[14] + 1*k[1]*x[46] = k[1]*k[172],
  1*k[1]*x[9] + 1*k[1]*x[13] = k[1]*k[173],
  1*k[2]*x[15] + 1*k[2]*x[28] = k[2]*k[174],
  1*k[2]*x[32] + 1*k[2]*x[47] = k[2]*k[175],
  1*k[1]*x[36] + 1*k[1]*x[41] = k[1]*k[176] ]