I just ran this for n=2017; confirmed that this number is prime!