BZOJ-3667: Rabin-Miller算法