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