You are developing a feature for a music streaming service that requires frequently checking if a specific song ID (an integer) exists in a user's large playlist of several thousand songs.
The most important consideration is minimizing the time it takes to perform this existence check.
Which data structure is the most efficient choice for storing the song IDs?