[ 1*k[16]*x[2] + 1*k[16]*x[7] + 1*k[16]*x[8] + 1*k[16]*x[9] + 1*k[16]*x[10] = k[16]*k[17],
  1*k[16]*x[3] + 1*k[16]*x[8] + 1*k[16]*x[9] + 1*k[16]*x[10] + 1*k[16]*x[11] + 1*k[16]*x[12] = k[16]*k[18],
  1*k[16]*x[4] + 1*k[16]*x[13] = k[16]*k[19],
  1*k[16]*x[5] + 1*k[16]*x[14] = k[16]*k[20],
  1*k[16]*x[5] + 1*k[16]*x[15] = k[16]*k[21],
  1*k[16]*x[6] + 1*k[16]*x[16] = k[16]*k[22],
  1*k[16]*x[6] + 1*k[16]*x[17] = k[16]*k[23] ]