use a hash-set for constant look-up below