[ 1*k[3]*x[2] + 1*k[3]*x[4] + 1*k[3]*x[8] = k[3]*k[110],
  1*k[3]*x[11] + 1*k[3]*x[13] = k[3]*k[111] ]