conservatively compute the migration sequence