%I #5 May 04 2015 02:10:14

%S 8,7,9,7,13,2,10,7,13,2,14,8,7,2,11,7,13,2,14,8,7,2,15,8,7,9,7,14,1,2,

%T 12,7,13,2,14,8,7,2,15,8,7,9,7,14,1,2,16,8,7,9,7,14,1,10,7,14,1,15,8,

%U 7,1,2,13,7,13,2,14,8,7,2,15,8,7,9,7,14,1,2,16,8,7,9,7,14,1,10,7,14,1,15,8,7,1

%N First differences of A257512: a(n) = A257512(n+1) - A257512(n).

%C It seems that for all n >= 1, Sum_{k=1 .. 2^n} a(k) = 2^(n+3) - 1 = A000225(n+3).

%H Antti Karttunen, <a href="/A256490/b256490.txt">Table of n, a(n) for n = 1..16384</a>

%F a(n) = A257512(n+1) - A257512(n).

%o (Scheme) (define (A256490 n) (- (A257512 (+ n 1)) (A257512 n)))

%Y Cf. A000225, A257512, A256489.

%K nonn

%O 1,1

%A _Antti Karttunen_, May 03 2015