The values come from the result of many hash functions. I actually need them sorted as well hence they are added to an array, and deduplicated. I had a look a

The values come from the result of many hash functions. I actually need them sorted as well hence they are added to an array, and deduplicated. I had a look and didn’t see any obvious way to eliminate them hence the initial function, and the subsequent faster one.