很遗憾,@Leasier 的乱搞做法是错误的。
当 m=9553239947m = 9553239947m=9553239947 时,代码构造的 k=62k = 62k=62,不满足 k≤60k \le 60k≤60 的限制。