def solve():
    t = tuple(map(lambda s_: int(s_), input().split()))
    if t[0] * t[1] * t[2] % 6:
        return False
    return True


case_t = 1
# case_t = int(input())
for _ in [None] * case_t:
    cond = solve()
    print("Yes" if cond else "No")