hat-trie