Trie Automata Accelerates Constrained Decoding by 7X | HACKOBAR_