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 A055725 #16 Apr 04 2022 15:33:45 %S A055725 0,0,9,87,762,6448,56580,498141,4447890 %N A055725 Number of isolated lucky numbers <= 10^n. %C A055725 An isolated lucky number is a lucky number which is not a member of a lucky twin. The set of such numbers is A000959 setminus (A031158 union A031159). - _Sean A. Irvine_, Apr 04 2022 %Y A055725 Cf. A000959, A031158, A031159. %K A055725 nonn,less,more %O A055725 0,3 %A A055725 _Robert G. Wilson v_, Jun 09 2000 %E A055725 a(7) and title clarified by _Sean A. Irvine_, Apr 04 2022 %E A055725 a(8) from _Pontus von Brömssen_, Apr 04 2022