BFS + map, failed; BFS + Cantor expansion, failed; BFS + trie, failed; BFS + trie + abandon string, passed...