pseudocode algorithm
rabin-miller probabilistic primality test in c plus plus