Encoding HashSet/HashDict