fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) fun canReach _ 0 0 = true | canReach 0 _ _ = false | canReach n x y = canReach (n - 1) (x - 2) (y - 1) orelse canReach (n - 1) (x - 2) (y + 1) orelse canReach (n - 1) (x - 1) (y - 2) orelse canReach (n - 1) (x - 1) (y + 2) orelse canReach (n - 1) (x + 1) (y - 2) orelse canReach (n - 1) (x + 1) (y + 2) orelse canReach (n - 1) (x + 2) (y - 1) orelse canReach (n - 1) (x + 2) (y + 1) val () = let val x = readLargeInt () val y = readLargeInt () val ans = if canReach 3 x y then "YES" else "NO" in print (ans ^ "\n") end