GMP-ECM 6.4.4 [configured with GMP 6.0.0, --enable-asm-redc] : PRP
factordb.com : PRP to bases 2 , 3 , 5 , 7
PrimeForm v. 0.4 Upd.4 : PRP to bases 137 , 139
including trial-division to : 4017024
custom code : strongly-probable prime to prime bases
3158473 , 3158489 , 3158509 , 3158513 , 3158531 , 3158537 .
Define np ( n1 ) = n1^n1 + (n1+1)^(n1+1) .
Let a = 9506 .
Let p = np ( a ) / ( 853 * 1723 * 3278339 * 262648378139841409 ) .
p is a 37790-digit strongly-probable prime .
p*(p-1) + a has 75579 digits .
np ( p*(p-1) + a ) has more .
p divides np ( p*(p-1) + a ) .

To be completed...