[ x[5] = x[4] + x[3] + x[2],
  1*k[72]*x[1] + 1*k[72]*x[2] + 1*k[72]*x[3] + 1*k[72]*x[4] = k[72]*k[73] ]