A reference table of 20,000 product codes is loaded once, sorted, and searched many times. The codes rarely change, and memory locality matters. Which structure is a strong choice?