n=eval *$<
f=->k,n{n+(2..k).sum{n/=2}}
z=64
0while f[z-=1,x=(1..).bsearch{f[z,_1]>=n}||0]>n
p x