import times, strutils, sequtils, math, algorithm, tables, sets, lists, intsets
import critbits, future, strformat, deques
template `max=`(x,y) = x = max(x,y)
template `min=`(x,y) = x = min(x,y)
template `mod=`(x,y) = x = x mod y
template scan2 = (scan(), scan())
template scan3 = (scan(), scan())
let read* = iterator: string {.closure.} =
    while true: (for s in stdin.readLine.split: yield s)
proc scan(): int = read().parseInt
proc scanf(): float = read().parseFloat
proc toInt(c:char): int =
    return int(c) - int('0')



#var memo = initTable[(int,int),bool]()

proc dfs(a,b:int):bool=
  #if memo.haskey((a,b)):
    #return memo[(a,b)]
  if a.mod(2)==1 and b.mod(2)==1:
    return false
  if a<0 or b<0:
    return false
  if a==0 or b==0:
    return true
  else:
    result = false
    if a.mod(2)==0:
      result = result or dfs(a.div(2),b-1)
    if b.mod(2)==0:
      result = result or dfs(a-1,b div 2)
    #memo[(a,b)]=result


proc solve()=
  var
    a = scan()
    b = scan()
  if dfs(a,b):
    echo "Yes"
  else:
    echo "No"
  


    
  
solve()