$n=<>;$n-=($_>>=1)*($n>=$_)for(~$-)x64;print$n?NO:YES