//解题思路:容易知道n为9的整数倍时,设倍数为x,则必须满足1~9每个数字的个数都是x个
//         若n=9*x+y,即多出y个多余的位置,则这多余的y个数不能重复
//         因为可随意调整顺序,保证前面x组1~9的前y个数和最后多出来的y个数顺序一致即可满足要求
//代码思路:设数组num[9],每个下标正好对应一个数,统计每个数字出现的个数
//         计算n/9和n%9,数组num整体减去n/9,循环判断数组元素是否大于0
//         有小于0的元素说明该元素个数不足返回NO,都大于0则统计剩余1的个数,若等于n%9,则打印YES,否则NO
import java.util.Scanner;
public class Main {
    public static void main(String[] args) {
        Scanner in = new Scanner(System.in);
        int n=in.nextInt(),i=0;
        int k=-n/9,l=n%9;
    //优化数组初始值全为-n/9,统计完数字个数若有小于0则返回NO
        int[] num={k,k,k,k,k,k,k,k,k};
        while(i<n&&in.hasNext()){
            int a=in.nextInt();
            num[a-1]++;
            i++;
        }
        for(i=0;i<9;i++){
            if(num[i]<0){ l=-1;   break; }
            if(num[i]==1) l--;
        }
        if(l==0)   System.out.print("YES");
        else       System.out.print("NO");
    }
}