Working Rabin-Miller