Man pages matching name random_proven_prime in section 512: