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