import sys

read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

a, b, c = map(int, read().split())

p = a * b * c
print('Yes' if p % 3 == 0 else 'No')