#include <cstdio> #include <cstring> #include <iostream> #include <string> #include <cmath> #include <bitset> #include <vector> #include <map> #include <set> #include <queue> #include <deque> #include <algorithm> #include <complex> #include <unordered_map> #include <unordered_set> #include <random> #include <cassert> #include <fstream> #include <utility> #include <functional> #include <time.h> #include <stack> #include <array> #include <list> #define popcount __builtin_popcount using namespace std; typedef long long ll; typedef pair<int, int> P; bitset<2000> e[61][2000]; bitset<2000> f[2000]; int main() { int v; ll d; cin>>v>>d; char s[2002]; for(int i=0; i<v; i++){ scanf("%s", s); for(int j=0; j<v; j++){ e[0][i][j]=s[j]-'0'; } } if(d==1){ for(int i=0; i<v; i++){ if(e[0][i].count()<v){ cout<<"No"<<endl; return 0; } } cout<<"Yes"<<endl; return 0; } for(int i=0; i<60; i++){ for(int j=0; j<2000; j++){ for(int k=0; k<2000; k++){ if(e[i][j][k]){ e[i+1][j]|=e[i][k]; } } } bool ok=1; for(int j=0; j<v; j++){ if(e[i+1][j].count()<v){ ok=0;break; } } if(ok){ if((1ll<<i)<=d){ cout<<"Yes"<<endl; return 0; } for(int p=0; p<i; p++){ if(d&(1ll<<p)){ bitset<2000> nf[2000]; for(int j=0; j<2000; j++){ for(int k=0; k<2000; k++){ if(f[j][k]){ nf[j]|=e[p][k]; } } } for(int j=0; j<2000; j++) f[j]=nf[j]; } } for(int j=0; j<v; j++){ if(f[j].count()<v){ cout<<"No"<<endl; return 0; } } cout<<"Yes"<<endl; return 0; } if((1ll<<i)>=d) break; } cout<<"No"<<endl; return 0; }