[ 1*k[15]*x[1] + 1*k[15]*x[2] + 1*k[15]*x[3] + 1*k[15]*x[5] = k[15]*k[16],
  1*k[15]*x[4] + 1*k[15]*x[5] = k[15]*k[17],
  1*k[15]*x[5] + 1*k[15]*x[6] + 1*k[15]*x[8] = k[15]*k[18],
  1*k[15]*x[7] + 1*k[15]*x[9] + 1*k[15]*x[10] + 1*k[15]*x[11] = k[15]*k[19] ]