ll@n,@m,a[1<<16]{},b[m];
rep(i,m){
	ll x=0;
	rep(n){
		char@c;
		x=x<<1|c&1;
	}
	a[x]=1;
	b[i]=x;
}
if(!a[0]||!a[(1<<n)-1]){
	wt("No");
	exit(0);
}
rep(i,m){
	rep(j,i){
		if(!a[b[i]&b[j]]||!a[b[i]|b[j]]){
			wt("No");
			exit(0);
		}
	}
}
wt("Yes");