[pat2man]

Well it all depends on whether someone out there is trying to solve prime numbers on a computer already. If so we kill two birds with one stone.