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