verified by PFGW

PRP of the form
4*2^f+Phi(f,x)-2
with f prime

To be completed...