ans="Yes"
gets.split(" ").map{|e| e.to_i}.sort.each_cons(2){|a,b|
	ans="No" if a+1!=b
}
puts ans