Efficient selection from a big list