factor(2^64-1)