N = int(input())
# tの値を決めればsは一意に決まる→二分探索
def is_ok(arg):
    val = 0
    bia = bin(arg)[2:]
    for j in range(1,len(bia)+1):
        val += int(bia[:j],2)
    return N <= val
 
 
def meguru_bisect(ng, ok):
    while (abs(ok - ng) > 1):
        mid = (ok + ng) // 2
        if is_ok(mid):
            ok = mid
        else:
            ng = mid
    return ok
arg = meguru_bisect(0,10**10)
val = 0
bia = bin(arg)[2:]
for j in range(1,len(bia)+1):
    val += int(bia[:j],2)
print('YES' if val == N else 'NO')