#include <bitset>
#include <iostream>
#include <map>
#include <queue>
using namespace std;
#define ll long long
int n,k;
char c;
ll asp=0;
// 10000000040
map<ll,bool> ban[2];
ll read()
{
    asp=0;
    for(int i=0;i<n;i++)
    {
        cin>>c;
        asp<<=1;
        asp+=c-'0';
    }
    return asp;
}
ll pw2[70];
int main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    cin>>n>>k;
    if(n<=44)
    {
        
    }
    else
    {
        exit(-1);
    }
    pw2[0]=1;
    for(int i=1;i<=n;i++)
        pw2[i]=2ll*pw2[i-1];
    ll st=read(),ed=read();
    for(int i=0;i<k;i++)
    {
        ll c=read();
        ban[0][c]=ban[1][c]=1;
    }
    // lets do a double sided bfs
    // better time complexity
    queue<pair<ll,bool>>pq;
    ban[0][st]=1;
    pq.push({st,0});
    ban[1][ed]=1;
    pq.push({ed,1});
    ll op=0;
    while(pq.size())
    {
        auto xa=pq.front();
        pq.pop();
        op++;
        ll x=xa.first;
        if(ban[0][x]&ban[1][x])
        {
            cout<<"TAK"<<endl;
            return 0;
        }
        if(op*n >= 2e9)
        {
            break;
        }
        for(int bi=0;bi<n;bi++)
        {
            ll y=x^pw2[bi];
            if(!ban[xa.second][y])
            {
                if(ban[1-xa.second][y])
                {
                    cout<<"TAK"<<endl;
                    return 0;
                }
                ban[xa.second][y]=1;
                pq.push({y,xa.second});
            }
        }
    }
    cout<<"NIE"<<endl;
    return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |