Shawe-Taylor random provable primes.  No documentation.