def resolve():
    L = list(map(int, input().split()))
    print("Yes" if len(L)-1 == len(set(L)) else "No")

if '__main__' == __name__:
    resolve() def resolve():
    L = list(map(int, input().split()))
    print("Yes" if len(L)-1 == len(set(L)) else "No") resolve L = list(map(int, input().split())) L list(map(int, input().split())) list map(int, input().split()) map int input().split() ().split () input split print("Yes" if len(L)-1 == len(set(L)) else "No") print "Yes" if len(L)-1 == len(set(L)) else "No" len(L)-1 == len(set(L)) len(L)-1 len(L) len L 1 len(set(L)) len set(L) set L "Yes" "No" if '__main__' == __name__:
    resolve() '__main__' == __name__ '__main__' __name__ resolve() resolve def resolve():
    L = list(map(int, input().split()))
    print("Yes" if len(L)-1 == len(set(L)) else "No") def resolve():
    L = list(map(int, input().split()))
    print("Yes" if len(L)-1 == len(set(L)) else "No") resolve
def resolve():
    L = list(map(int, input().split()))
    print("Yes" if len(L)-1 == len(set(L)) else "No")

if '__main__' == __name__:
    resolve()