a = read_line.split.map(&.to_i)
[[0, 1], [0, 2], [1, 0], [1, 2], [2, 0], [2, 1]].each do |b23|
  if a[b23[0]] % 2 == 0 && a[b23[1]] % 3 == 0
    puts "Yes"
    exit
  end
end
puts "No"