factor (2^71-1)