Found with PFGW Version 3.6.0
4895^6272-6272^4895 is 2-PRP! (23.1837s+0.0020s)
4895^6272-6272^4895 is 3-PRP! (27.5791s+0.0027s)
4895^6272-6272^4895 is 5-PRP! (26.6869s+0.0026s)
4895^6272-6272^4895 is 7-PRP! (24.9691s+0.0018s)
4895^6272-6272^4895 is 11-PRP! (25.4955s+0.0019s)
Primality testing 4895^6272-6272^4895 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 3
Running N+1 test using discriminant 13, base 1+sqrt(13)
Calling N-1 BLS with factored part 0.03% and helper 0.02% (0.11% proof)
4895^6272-6272^4895 is Fermat and Lucas PRP! (121.9093s+0.0040s)
To be completed...