Annual Appeal: Please make a donation (tax deductible in USA) to keep the OEIS running. Over 5000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".
Heuristics show that these terms are valid, but a strict proof is yet to be done.
a(1)-a(11) verified via Størmer's theorem. - Charles R Greathouse IV, Feb 19 2013
Andrey V. Kulsha, Table of n, a(n) for n = 1..25
Cf. A003033, A193944, A193946, A145605.
Sequence in context: A115164 A088801 A003033 * A087147 A152607 A118559
Adjacent sequences: A193942 A193943 A193944 * A193946 A193947 A193948
Andrey V. Kulsha, Aug 10 2011