a(n) is the smallest k >= 2 such that k^(2^n)+1 is prime, or -1 if no such k exists.

A056993

a(n) is the smallest k >= 2 such that k^(2^n)+1 is prime, or -1 if no such k exists.