factor(2^96*(1379916467085693296759+1)-1)