The smallest known PRP of the form (a^2^17+1)/2

To be completed...