Fibonacci Numbers/Examples/F173/Historical Note

Historical Note Fibonacci Number $F_{173}$
reports in his of $1986$ that  and  found the prime factors of $F_{173}$ in just over $800$ seconds, but fails to provide a source to corroborate this.

Research is ongoing for further details.