The Lisp

zhufei's blog

SCIP EX1.22. The order of growth of search-for-primes