2013184domain: NAppears in sequencesa(n) = A027144(2n, n).at n=9A027145a(n) = A027144(n, floor(n/2)).at n=18A027150Least b such that b^(2^n) + 1 is a Proth prime (A080076).at n=9A334053