A163862 a(n) = A170907(2^n).
1, 4, 13, 47, 176, 678, 2658, 10521, 41860, 166995, 667100, 2666651, 10663099, 42645332
Offset: 0
Formula
It appears that a(n)/4^n converges to a constant c which is roughly 0.635.
Extensions
a(8) onwards from David Applegate, May 12 2010
Comments