factor 2^4000 - 1