Found with PFGW Version 3.7.5

5880^10517-10517^5880 is 2-PRP! (34.4392s+0.0017s)
5880^10517-10517^5880 is 3-PRP! (34.1431s+0.0018s)
5880^10517-10517^5880 is 5-PRP! (34.0902s+0.0016s)
5880^10517-10517^5880 is 7-PRP! (34.1068s+0.0016s)
5880^10517-10517^5880 is 11-PRP! (34.0978s+0.0019s)

Primality testing 5880^10517-10517^5880 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 17
Running N+1 test using discriminant 23, base 1+sqrt(23)
Calling N-1 BLS with factored part 0.02% and helper 0.02% (0.09% proof)
5880^10517-10517^5880 is Fermat and Lucas PRP! (165.7189s+0.0024s)

To be completed...