#include<bits/stdc++.h>
using namespace std;
const long long mod=1e9+7;
long long T,a,b,c,d[1000001],o,h[1000001],fa[1000001],q,w,e,an,cn,fac[1000001],inv[1000001],st[1000001],u[1000001];
bool v[600001][13][3],vi[1000001];
char s[1000001];
struct p{int q,w,e;}l[1000001];
long long pow_(long long qq,long long ww){long long ee=1;while(ww){if(ww&1) ee*=qq,ee%=mod;qq*=qq,qq%=mod,ww>>=1;}return ee%mod;}
inline int read(){int x=0,f=1;char c=getchar();while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}while(c>='0'&&c<='9'){x=(x<<3)+(x<<1)+c-'0';c=getchar();}return x*f;}
void add(long long qq,long long ww){l[++o].q=ww,l[o].w=h[qq],h[qq]=o;}
long long gcd(long long qq,long long ww){return !ww?qq:gcd(ww,qq%ww);}
long long find(long long qq){return qq==fa[qq]?qq:fa[qq]=find(fa[qq]);}
void merge(long long qq,long long ww){long long f1=find(qq),f2=find(ww);if(f1==f2) return;fa[f1]=f2;}
long long C(long long qq,long long ww){return fac[qq]*inv[ww]%mod*inv[qq-ww]%mod;}
queue<p> qu;
void ins(int qq,int ww,int ee)
{
	if(ww==12&&!vi[qq]) return;
	if(v[qq][ww][ee]) return;
	if(ww==12&&qq==d[a])
	{
		printf("Yes");
		exit(0);
	}
	v[qq][ww][ee]=1;
	qu.push(p{qq,ww,ee});
}
void work(long long qq,long long ww,long long ee)
{
	if(ww==12)
	{
		int tt=qq,gg=1;cn=0;
		for(int i=0;i<12;i++)
		{
			st[cn++]=tt%3,tt/=3;
		}
		for(int i=0;i<12;i++)
		{
			for(int j=0;j<=st[i];j++)
			{
				ins(qq-st[i]*gg+j*gg,i,j);
			}
			gg=gg*3;
		}
	}
	else
	{
		ins(qq,12,0);
		int tt=qq,gg=1;cn=0;
		for(int i=0;i<12;i++)
		{
			st[cn++]=tt%3,tt/=3;
		}
		for(int i=0;i<cn;i++)
		{
			if(st[i]<2&&i!=ww)
			{
				ins(qq+gg,ww,ee);
//				dfs(qq+gg,ww,ee);
			}
			gg=gg*3;
		}
	}
}
int main()
{
//	freopen("1.in","r",stdin);
	srand((unsigned)(time(0)^(*new int)));
	fac[0]=1;for(int i=1;i<=1000000;i++) fac[i]=fac[i-1]*i%mod;
	inv[1000000]=pow_(fac[1000000],mod-2);for(int i=999999;i>=0;i--) inv[i]=inv[i+1]*(i+1)%mod;
	scanf("%lld",&a);
	for(int i=1;i<=a;i++)
	{
		scanf("%lld",&d[i]);
		vi[d[i]]=1;
	}
	ins(d[1],12,0);
	while(!qu.empty())
	{
		p r=qu.front();qu.pop();
		work(r.q,r.w,r.e);
	}
	printf("No");
	return 0;
}