p7: 10001st prime
Formatting