inter = input()
inter_s = inter.split(" ")
x_num = int(inter_s[0])
y_num = int(inter_s[1])
z_num = int(inter_s[2])

hantei = 0

if x_num%3 ==0 or y_num%3 ==0 or z_num%3 ==0:
	hantei=1

if hantei == 1:
	result = "Yes"
else:
	result = "No"

print(result)