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