var n = readLine()!.split(separator: " ").map{Int($0)!}.sorted()
for i in 0...n.count - 2{
    n[i] = n[i + 1] - n[i]
}
n.removeLast()
print(Set(n) == [1] ? "Yes" : "No")