$1 \le a_i \le 2^{60}$ 应为 $0 \le a_i < 2^{60}$。