reviewed
approved
proposed
editing
Lucas A. Brown, <a href="https://github.com/lucasaugustus/oeis/blob/main/A070523.py">A070523.py</a>.
All terms <= 1906 have been proven with PariPARI's ECPP. No other terms <= 20000. - Lucas A. Brown, Jan 03 2021
Wolfdieter Lang: The numbers for k = 3772, 4184, 4364 are also identified as primes by Maple.
Cf. A070518-, A070519, A070520, A070521, A070522.