Relation ‘lowercase f’ in group 1+(-1+2^t)*(2^(t+1))

1+2^{t+1} ≡ 2*(1+2^{2*t})

For t=11 set N (composite)

For t=23 group P

16777217

For t=39 group P

 1099511627777