#include using namespace std; typedef long long ll; typedef pair P; #define REP(i,n) for(int i=0;i> N >> M; a[0]=1; for(i=1;i<=15;i++) a[i]=2*a[i-1]; set t; int p=0,q=0; for(i=1;i<=M;i++){ string s; cin >> s; reverse(s.begin(),s.end()); int x=0; bool f=true; REP(j,N){ if(s[j]=='1') x+=a[j]; else f=false; } if(f) p=1; if(x==0) q=1; t.insert(x); b[i]=x; } if(p==0 || q==0){ cout << "No" << endl; return 0; } bool g=true; for(i=1;i<=M;i++){ for(j=i;j<=M;j++){ int c=b[i]&b[j]; if(t.count(c)==0){ g=false; break; } } if(!g) break; } if(g==false){ cout << "No" << endl; return 0; } for(i=1;i<=M;i++){ for(j=i;j<=M;j++){ int c=b[i]|b[j]; if(t.count(c)==0){ g=false; break; } } if(!g) break; } if(g==false){ cout << "No" << endl; return 0; } cout << "Yes" << endl; return 0; }