report: exhaustive search done, src: add 56to64 in exhaustiveSearch, solved bug in Distinguished_point