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")