Interesting. So if we have more than 12 characters, the dictionary file should be unpleasantly huge. Or rather, even more unpleasantly huge.