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

Usually binary is used, but whichever is fine.