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 A030517 #29 Mar 22 2022 17:45:40
%S A030517 1,2,13,52,273,1302,6573,32552,163073,813802,4070573,20345052,
%T A030517 101733073,508626302,2543170573,12715657552,63578483073,317891438802,
%U A030517 1589458170573,7947285970052,39736434733073,198682149251302,993410770670573,4967053731282552
%N A030517 Number of walks of length n between two vertices on an icosahedron at distance 1.
%H A030517 Colin Barker, <a href="/A030517/b030517.txt">Table of n, a(n) for n = 1..1000</a>
%H A030517 <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (4,10,-20,-25).
%F A030517 a(n) = 2*a(n-1) + 2*A030518(n-1) + 5*a(n-2).
%F A030517 A030518(n) = 2*a(n-1) + 2*A030518(n-1) + 5*A030518(n-2).
%F A030517 From _Emeric Deutsch_, Apr 03 2004: (Start)
%F A030517 a(n) = 5^n/12 - (-1)^n/12 + (sqrt(5))^(n+1)/20 + (-sqrt(5))^(n+1)/20.
%F A030517 a(n) = 4*a(n-1) + 10*a(n-2) - 20*a(n-3) - 25*a(n-4) for n>=5. (End)
%F A030517 From _Colin Barker_, Oct 17 2016: (Start)
%F A030517 G.f.: x*(1 - 2*x - 5*x^2)/((1 + x)*(1 - 5*x)*(1 - 5*x^2)).
%F A030517 a(n) = (5^n - 1)/12 for n even.
%F A030517 a(n) = (6*5^((n-1)/2) + 5^n + 1)/12 for n odd. (End)
%t A030517 LinearRecurrence[{4, 10, -20, -25}, {1, 2, 13, 52}, 24] (* _Jean-François Alcover_, Jul 12 2021 *)
%o A030517 (PARI) Vec(x*(1-2*x-5*x^2)/((1+x)*(1-5*x)*(1-5*x^2)) + O(x^30)) \\ _Colin Barker_, Oct 17 2016
%Y A030517 Cf. A030518.
%K A030517 nonn,walk,easy
%O A030517 1,2
%A A030517 _Yasutoshi Kohmoto_