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 A080912 #9 Mar 20 2022 23:41:33 %S A080912 1,523,1277,1277,12694,12694,12692,24154439,186075352,186074886 %N A080912 a(n) = first number that appears n times in A080900. %C A080912 Next term > 10^7. - Lambert Klasen (Lambert.Klasen(AT)gmx.net), Sep 26 2005 %C A080912 Next term > 26000000. - Lambert Herrgesell (zero815(AT)googlemail.com), Mar 09 2007 %C A080912 a(11) > 12*10^8. [_Donovan Johnson_, Sep 24 2009] %e A080912 Terms 181 through 200 of A080900 are: 502, 507, 512, 510, 515, 513, 518, 523, 521, 526, 531, 529, 527, 525, 523, 521, 519, 517, 522, 527 and at term 195 we see the first duplicate, 523. So a(2) = 523. %Y A080912 Cf. A080900, A080913 (when records occur). %K A080912 nonn,more %O A080912 1,2 %A A080912 _N. J. A. Sloane_, Apr 02 2003 %E A080912 One more term from Lambert Herrgesell (zero815(AT)googlemail.com), Mar 09 2007 %E A080912 a(9)-a(10) from _Donovan Johnson_, Sep 24 2009