a=[]
a1=0
a2=0
a3=0
xor = "true"
if int(input())%3!=0:
  print("No")
else:
  a = list(map(int,input().split()))
  for i in range(len(a)):
    if xor == "true":
      if a[i] == 1:
        a1 = a1+1
      if a[i] == 2:
        a2=a2+1
      if a[i] == 3:
        a3=a3+1
      if a[i]>3:
        xor="false"
  if a1 == a2 == a3:
    print("Yes")
  else:
    print("No")