Adleman–Pomerance–Rumely primality test