import sys
import math
#from collections import deque, defaultdict, Counter
#import heapq
#import bisect
#import itertools
#import functools

# 外部ライブラリ（AtCoder環境で利用可能）
#from sortedcontainers import SortedList, SortedSet, SortedDict
#from atcoder.dsu import DSU
#from atcoder.segtree import SegTree
#from atcoder.lazysegtree import LazySegTree
#from atcoder.fenwicktree import FenwickTree

# 入力高速化
#input = sys.stdin.readline
# 再帰回数上限

# よくあるmod
#MOD = 1000000007
MOD = 998244353

from collections import Counter

def solve():
    # 解答ここから
    A, B, C = map(int, input().split(' '))
    if (A + B + C) % 6 != 0 or (A*B*C) % 6 != 0:
        print("No")
        return
    print("Yes")
if __name__ == '__main__':
    T = 1
    for _ in range(T):
        solve()