User blog comment:LittlePeng9/Intractable problems from hidden information games/@comment-80.98.179.160-20180306135717

Given a 11-symbol machine, so that we can write n in decimal instead of unarily obfuscating it.