@Mathistopheles ooh, a very long time. prob(n prime) is still 1% at around 10^43, so unlikely!