This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A145912 #20 Sep 07 2017 14:26:50 %S A145912 3,5,41,67,109,1973,5167,2692537,11405773,126491971,331160281, %T A145912 535828591,279167724889,145446920496281,28944668049352441, %U A145912 5760134388741632239,63880869269980199809,167242286979696845953,597222253637954133837103 %N A145912 Prime Leonardo numbers. %H A145912 Amiram Eldar, <a href="/A145912/b145912.txt">Table of n, a(n) for n = 1..50</a> %F A145912 a(n) = A001595(A228145(n)-1). - _Amiram Eldar_, Sep 04 2017 %t A145912 A228145 = Select[Range[200], PrimeQ[2 Fibonacci[#] - 1] &]; A001595[n_] := 2*Fibonacci[n + 1] - 1; a = A001595[A228145 - 1] (* _Amiram Eldar_, Sep 04 2017 *) %Y A145912 Cf. A001595. %K A145912 nonn %O A145912 1,1 %A A145912 Howard Berman (howard_berman(AT)hotmail.com), Oct 24 2008 %E A145912 Extended by _Klaus Brockhaus_, Oct 26 2008