Man pages matching name random_proven_prime_with_cert in section 512: