// 提出時にassertはオフ #ifndef DEBUG #ifndef NDEBUG #define NDEBUG #endif #endif #include using namespace std; using ll = long long; #define ALL(x) (x).begin(), (x).end() template using vec = vector; void solve() { int N, P; cin >> N >> P; vec> A(N, vec(N)); for(int i = 0; i < N; i++) { for(int j = 0; j < N; j++) { cin >> A[i][j]; } } if(P != 2) { cout << 0 << "\n"; return; } // P = 2 の場合 bool haveTwoWildInRowOrCol = false; vec noWildRow, noWildCol; for(int i = 0; i < N; i++) { int cnt = 0; for(int j = 0; j < N; j++) { if(A[i][j] == -1) { ++cnt; } } if(cnt >= 2) { haveTwoWildInRowOrCol = true; } else if(cnt == 0) { noWildRow.push_back(i); } } for(int j = 0; j < N; j++) { int cnt = 0; for(int i = 0; i < N; i++) { if(A[i][j] == -1) { ++cnt; } } if(cnt >= 2) { haveTwoWildInRowOrCol = true; } else if(cnt == 0) { noWildCol.push_back(j); } } if(haveTwoWildInRowOrCol) { cout << 0 << "\n"; return; } if(noWildCol.empty()) { cout << 1 << "\n"; return; } // xor基底を求める vec basis_candidate; for(int col : noWildCol) { ll beki = 1; ll num = 0; for(int row : noWildRow) { assert(A[row][col] != -1); num += beki * A[row][col]; beki <<= 1; } basis_candidate.push_back(num); } vec basis; for(ll v : basis_candidate) { for(ll e : basis) { v = min(v, v ^ e); } if(v > 0) { basis.push_back(v); } } if(basis.size() == basis_candidate.size()) { cout << 1 << "\n"; } else { cout << 0 << "\n"; } } int main() { ios_base::sync_with_stdio(false); cin.tie(nullptr); int T; cin >> T; for(int _ = 0; _ < T; _++) { solve(); } }