def solve(nums):
counts = [0]*9
for i in nums:
if i >9 or i < 1:
return False
if i == 1:
counts[0]+=1
if i == 2:
counts[1]+=1
if i == 3:
counts[2]+=1
if i == 4:
counts[3]+=1
if i == 5:
counts[4]+=1
if i == 6:
counts[5]+=1
if i == 7:
counts[6]+=1
if i == 8:
counts[7]+=1
if i == 9:
counts[8]+=1
m = n // 9
d = n % 9
if not all(x>=m for x in counts):
return False
if counts.count(m+1) != d:
return False
return True
n = int(input())
nums = list(map(int,input().split()))
if solve(nums):
print("YES")
else:
print("NO")