用于检查两个数字的二进制表示形式是否为字谜的Python程序。