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 A130429 #14 May 24 2023 17:19:19 %S A130429 0,9465000000,9471736170,9500000000,9757536170,9965000000,9971736170, %T A130429 10000000000,19465000000,19471736170,19500000000,19757536170, %U A130429 19965000000,19971736170,20000000000,29465000000,29471736170 %N A130429 List of all numbers n such that n is equal to the number of 7's in the decimal digits of all numbers <= n. %C A130429 A finite sequence with 49 terms. %H A130429 Graeme McRae, May 26 2007, <a href="/A130429/b130429.txt">Table of n, a(n) for n = 1..49</a> (full sequence) %H A130429 Tanya Khovanova and Gregory Marton, <a href="https://arxiv.org/abs/2305.10357">Archive Labeling Sequences</a>, arXiv:2305.10357 [math.HO], 2023. See p. 4. %e A130429 a(5)=9757536170 because the number of 7's in the decimal digits of the numbers from 0 to 9757536170 is 9757536170 and this is the 5th such number. %Y A130429 Cf. A014778 for proof these sequences are finite; Also A101639, A101640, A101641, A130427, A130428, A130430, A130431; Cf. A130432 for the number of numbers in these sequences. %K A130429 base,fini,full,nonn %O A130429 1,2 %A A130429 _Graeme McRae_, May 26 2007