CULPEPER, Va. (AP) - A Virginia man who served nearly 12 years of a life sentence was set free Monday after a federal judge tossed out his murder conviction due to police and prosecutorial misconduct.

Let's say I have no more than a few hundred UUIDs, the set of which will only be updated rarely. Let's furthermore say I want to, at runtime, check if an arbitrary UUID belongs to said predefined set.