The next entry a(15) in https://oeis.org/A099439: primes of the form 2^n-n-1 tested with LLR and PFGW
To be completed...