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 A047381 #36 Oct 04 2023 11:03:14
%S A047381 0,1,2,4,5,7,8,9,11,12,14,15,16,18,19,21,22,23,25,26,28,29,30,32,33,
%T A047381 35,36,37,39,40,42,43,44,46,47,49,50,51,53,54,56,57,58,60,61,63,64,65,
%U A047381 67,68,70,71,72,74,75,77,78
%N A047381 Numbers that are congruent to {0, 1, 2, 4, 5} mod 7.
%H A047381 Vincenzo Librandi, <a href="/A047381/b047381.txt">Table of n, a(n) for n = 1..1000</a>
%H A047381 <a href="/index/Rec#order_06">Index entries for linear recurrences with constant coefficients</a>, signature (1,0,0,0,1,-1)
%F A047381 a(n) = floor( (7/5)(n-1) ). [_Gary Detlefs_, Feb 20 2010]
%F A047381 From _R. J. Mathar_, Mar 11 2011: (Start)
%F A047381 a(n) = a(n-1) + a(n-5) - a(n-6).
%F A047381 G.f.: x^2*(1 + x + 2*x^2 + x^3 + 2*x^4) / ((x^4 + x^3 + x^2 + x + 1)*(x-1)^2). (End)
%F A047381 5*a(n) = 7*n-9-b(n) where b(n) = b(n-5) = 1, -2, 0, 2, -1 (for offset 0). - _R. J. Mathar_, Jul 22 2020
%p A047381 seq(floor((7/5)*(n-1)),n=1..56); # _Gary Detlefs_, Feb 20 2010
%t A047381 CoefficientList[Series[x (1 + x + 2 x^2 + x^3 + 2 x^4) / ((x^4 + x^3 + x^2 + x + 1) (x - 1)^2), {x, 0, 60}], x] (* _Vincenzo Librandi_, Jul 26 2013 *)
%t A047381 LinearRecurrence[{1,0,0,0,1,-1},{0,1,2,4,5,7},80] (* _Harvey P. Dale_, Oct 04 2023 *)
%o A047381 (Magma) [ n: n in [1..80] | n mod 7 in [0,1,2,4,5] ]; // _Vincenzo Librandi_, Jul 26 2013
%K A047381 nonn,easy
%O A047381 1,3
%A A047381 _N. J. A. Sloane_
%E A047381 Formula and Maple code adapted to the offset by _Wesley Ivan Hurt_, Jul 16 2013