OFFSET
1,1
LINKS
Robert G. Wilson v, Table of n, a(n) for n = 1..1000
FORMULA
Conjecture: a(n) ~ 16n. This holds with probability 1 in a random model. - Charles R Greathouse IV, Sep 22 2016
PROG
(PARI) is(n)=my(t=4*n+2, s=1-hammingweight(n)); while(s<0, s+=valuation(t+=2, 2)); s>3 \\ Charles R Greathouse IV, Sep 22 2016
CROSSREFS
KEYWORD
base,nonn
AUTHOR
Carl R. White, Jan 21 2008
STATUS
approved