Asymptotically Exact Heuristics for Prime
Divisors of the Sequence $\{a^k+b^k\}_{k=1}^{\infty}$