#pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include using namespace std; #define rep(i, a, n) for(ll i = a; i < n; i++) #define rrep(i, a, n) for(ll i = a; i >= n; i--) #define inr(l, x, r) (l <= x && x < r) #define ll long long #define ld long double #define pii pair #define pll pair #define all(x) (x).begin(), (x).end() //constexpr ll MOD = 1000000007; constexpr ll MOD = 998244353; constexpr int IINF = 1001001001; constexpr ll INF = 1LL<<60; template void chmax(t&a,u b){if(a void chmin(t&a,u b){if(b> n >> m; vector s(m); unordered_set st; rep(i,0,m) cin >> s[i], st.insert(s[i]); rep(i,0,m){ ll f = 0; rep(j,0,n){ if(s[i][j] == '1') f = 1; } if(!f){ cout << "No" << endl; return 0; } } string x(n,'0'); rep(i,0,m)rep(j,i+1,m){ rep(k,0,n){ if(s[i][k] == '1' && s[j][k] == '1') x[k] = '1'; else x[k] = '0'; } if(st.find(x) == st.end()){ cout << "No" << endl; return 0; } } auto dfs = [&](auto dfs, ll i, ll j)-> void { if(j == n){ if(st.find(x) == st.end()){ cout << "No" << endl; exit(0); } return; }else{ x[j] = '1'; dfs(dfs,i,j+1); if(s[i][j] == '0'){ x[j] = '0'; dfs(dfs,i,j+1); } } }; rep(i,0,m) dfs(dfs,i,0); cout << "Yes" << endl; return 0; }