[ x[8] = x[3] + x[5] + x[2] + x[6] + x[1] + x[4],
  1*k[18]*x[1] + 1*k[18]*x[2] + 1*k[18]*x[3] + 1*k[18]*x[4] + 1*k[18]*x[5] + 1*k[18]*x[6] + 1*k[18]*x[7] = k[18]*k[19] ]