Efficient set-membership filters and dictionaries based on SATgithub.com/NationalSecurityAgency50 pointskeepamovina year ago