Adleman–Pomerance–Rumely