[ 1*k[1]*x[1] + 1*k[1]*x[2] + 1*k[1]*x[3] + 1*k[1]*x[5] + 1*k[1]*x[7] = k[1]*k[12],
  1*k[1]*x[1] + 1*k[1]*x[2] + 1*k[1]*x[3] + 1*k[1]*x[6] + 1*k[1]*x[7] + 1*k[1]*x[8] = k[1]*k[13],
  1*k[1]*x[2] + 1*k[1]*x[3] + 1*k[1]*x[5] + 1*k[1]*x[7] + 1*k[1]*x[10] = k[1]*k[14],
  1*k[1]*x[2] + 1*k[1]*x[3] + 1*k[1]*x[6] + 1*k[1]*x[7] + 1*k[1]*x[8] + 1*k[1]*x[10] = k[1]*k[15],
  1*k[1]*x[3] + 1*k[1]*x[4] + 1*k[1]*x[5] + 1*k[1]*x[7] + 1*k[1]*x[9] = k[1]*k[16],
  1*k[1]*x[3] + 1*k[1]*x[4] + 1*k[1]*x[6] + 1*k[1]*x[7] + 1*k[1]*x[8] + 1*k[1]*x[9] = k[1]*k[17] ]