Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time