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 A172267 #7 Sep 08 2022 08:45:50
%S A172267 0,0,0,1,1,2,2,2,3,3,4,4,4,5,5,6,6,6,7,7,8,8,9,9,9,10,10,11,11,11,12,
%T A172267 12,13,13,13,14,14,15,15,15,16,16,17,17,18,18,18,19,19,20,20,20,21,21,
%U A172267 22,22,22,23,23,24,24,24,25,25,26,26,27,27,27,28,28,29,29,29,30,30,31,31
%N A172267 a(n) = floor(n*(sqrt(7)-sqrt(5))).
%H A172267 Vincenzo Librandi, <a href="/A172267/b172267.txt">Table of n, a(n) for n = 0..1000</a>
%t A172267 With[{c = Sqrt[7] - Sqrt[5]}, Floor[c Range[0, 80]]] (* _Vincenzo Librandi_, Aug 01 2013 *)
%o A172267 (Magma) [Floor(n*(Sqrt(7)-Sqrt(5))): n in [0..80]]; // _Vincenzo Librandi_, Aug 01 2013
%Y A172267 Cf. A172264, A172266-A172270, A172272-A172278.
%K A172267 nonn,easy
%O A172267 0,6
%A A172267 _Vincenzo Librandi_, Jan 30 2010