关键在与看懂集合M的生成是递归生成的

k,x=map(int,input().split(','))

res=0

#递归判断x是否在集合m中，不断生成集合m的元素

def rec(k,x):

    global res

    #相等表示x在集合中，改变res

    if k==x:

        res=1

        return

    if k>x:

        return

    rec(2*k+1,x)

    rec(3*k+1,x)

rec(k,x)

if res==1:

    print('YES')

else:

    print('NO')