#include <cassert>
#include <cmath>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <functional>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

using namespace std;

using Int = long long;

template <class T1, class T2> ostream &operator<<(ostream &os, const pair<T1, T2> &a) { return os << "(" << a.first << ", " << a.second << ")"; };
template <class T> ostream &operator<<(ostream &os, const vector<T> &as) { const int sz = as.size(); os << "["; for (int i = 0; i < sz; ++i) { if (i >= 256) { os << ", ..."; break; } if (i > 0) { os << ", "; } os << as[i]; } return os << "]"; }
template <class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; }
template <class T> bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; }
template <class T> bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; }


using U = unsigned __int128;
using Double = long double;
struct Solver {
  /*
    0^(not multiple of (2K+1)) ==> next 1^(>=2K+1)
    1^(not multiple of (2K+1)) ==> next 0^(>=3K+1)
    
    state
    0: empty
    [   1,  2K+1]: 0^1, ..., 0^(2K+1)
    [2K+2,  7K+2]: 0^1, ..., 0^(5K+1) (need >=3K+1)
    [7K+3,  9K+3]: 1^1, ..., 1^(2K+1)
    [9K+4, 13K+4]: 1^1, ..., 1^(4K+1) (need >=2K+1)
  */
  int K, N, V;
  inline int id0 (int k) { return (    0) + k; }
  inline int id00(int k) { return (2*K+1) + k; }
  inline int id1 (int k) { return (7*K+2) + k; }
  inline int id11(int k) { return (9*K+3) + k; }
  vector<vector<int>> trans;
  vector<vector<U>> dp;
  vector<vector<Double>> DP;
  Solver() : K(-1), N(-1), V(-1) {}
  explicit Solver(int K_) : K(K_), N(-1), V(-1) {
    V = 13*K+5;
    trans.assign(V, vector<int>(2, -2));
    trans[0][0] = id0(1);
    trans[0][1] = id1(1);
    for (int k = 1; k <= 2*K+1; ++k) {
      trans[id0(k)][0] = id0((k == 2*K+1) ? 1 : (k + 1));
      trans[id0(k)][1] = (k % (2*K+1) != 0) ? id11(1) : id1(1);
    }
    for (int k = 1; k <= 5*K+1; ++k) {
      trans[id00(k)][0] = id00((k == 5*K+1) ? (3*K+1) : (k + 1));
      trans[id00(k)][1] = (k >= 3*K+1) ? ((k % (2*K+1) != 0) ? id11(1) : id1(1)) : -1;
    }
    for (int k = 1; k <= 2*K+1; ++k) {
      trans[id1(k)][0] = (k % (2*K+1) != 0) ? id00(1) : id0(1);
      trans[id1(k)][1] = id1((k == 2*K+1) ? 1 : (k + 1));
    }
    for (int k = 1; k <= 4*K+1; ++k) {
      trans[id11(k)][0] = (k >= 2*K+1) ? ((k % (2*K+1) != 0) ? id00(1) : id0(1)) : -1;
      trans[id11(k)][1] = id11((k == 4*K+1) ? (2*K+1) : (k + 1));
    }
    dp.assign(1, vector<U>(V, 0));
    DP.assign(1, vector<Double>(V, 0));
    for (int u = 0; u < V; ++u) if (~trans[u][0] && ~trans[u][1]) {
      dp[0][u] = 1;
      DP[0][u] = 1;
    }
    for (int n = 1; ; ++n) {
      dp.emplace_back(V, 0);
      DP.emplace_back(V, 0);
      for (int u = 0; u < V; ++u) {
        for (int a = 0; a < 2; ++a) {
          const int v = trans[u][a];
          if (~v) {
            dp[n][u] += dp[n - 1][v];
            DP[n][u] += DP[n - 1][v];
          }
        }
      }
      const Double l = log(DP[n][0]) / log(2.0L);
      if (l >= 128) {
        N = n;
// cerr<<"K = "<<K<<": N = "<<N<<", log_2(DP[N][0]) = "<<l<<"; "<<(log(DP[N-1][trans[0][0]])/log(2.0L))<<" "<<(log(DP[N-1][trans[0][1]])/log(2.0L))<<endl;
        return;
      }
    }
  }
  string encode(U x) const {
    string s(N, '?');
    {
      int u = 0;
      for (int i = 0; i < N; ++i) {
        for (int a = 0; a < 2; ++a) {
          const int v = trans[u][a];
          if (~v) {
            if (x < dp[N - 1 - i][v]) {
              s[i] = '0' + a;
              u = v;
              break;
            } else {
              x -= dp[N - 1 - i][v];
            }
          }
        }
        assert(s[i] != '?');
      }
    }
// cerr<<s<<endl;
    return s;
  }
  U decode(const string &s) const {
    vector<int> iss[2];
    for (int i = 0; i < N; ++i) {
      iss[s[i] - '0'].push_back(i);
    }
    string t;
    int poss[2] = {};
    for (; poss[0] < (int)iss[0].size() || poss[1] < (int)iss[1].size(); ) {
      const int now = t.size();
      // next: 0^rs[0] or 1^rs[1]
      int rs[2] = {};
      for (int a = 0; a < 2; ++a) {
        for (; rs[a] < 2*K+1 &&
               poss[a] + rs[a] < (int)iss[a].size() &&
               iss[a][poss[a] + rs[a]] <= now + rs[a] + K; ++rs[a]) {}
      }
      int am = -1;
      assert(!(rs[0] == 0 && rs[1] == 0));
      if (rs[0] == 0) {
        am = 1;
      } else if (rs[1] == 0) {
        am = 0;
      } else {
        assert(!(rs[0] == 2*K+1 && rs[1] == 2*K+1));
        if (rs[0] == 2*K+1) {
          am = 1;
        } else if (rs[1] == 2*K+1) {
          am = 0;
        } else {
          if (rs[0] <= K) {
            /*
              consider i := (pos of rs[1]-th 1)
              if 0^rs[0] 1^(>=2K+1):
                i <= rs[0] + rs[1] + K
              if 1^rs[1] 0^(>=3K+1) 1:
                i >= rs[1] + 2K+1
            */
            const int i = (poss[1] + rs[1] < (int)iss[1].size()) ? (iss[1][poss[1] + rs[1]] - now) : (4*K+2);
            if (i <= rs[0] + rs[1] + K) {
              am = 0;
            } else if (i >= rs[1] + 2*K+1) {
              am = 1;
            } else {
              assert(false);
            }
          } else if (rs[1] <= K) {
            /*
              consider first (rs[0] + K+1) chars
              (# of 0) = rs[0]  (by def. of rs[0])
              (# of 1) = K+1
              1^rs[1] 0^(>=3K+1) 1: impossible
            */
            am = 0;
          } else {
            am = (iss[0][poss[0]] < iss[1][poss[0]]) ? 0 : 1;
          }
        }
      }
      assert(~am);
      t += string(rs[am], '0' + am);
      poss[am] += rs[am];
    }
// cerr<<"t =         "<<t<<endl;
    assert((int)t.size() == N);
    U x = 0;
    {
      int u = 0;
      for (int i = 0; i < N; ++i) {
        if (t[i] == '0') {
          u = trans[u][0];
        } else {
          if (~trans[u][0]) {
            x += dp[N - 1 - i][trans[u][0]];
          }
          u = trans[u][1];
        }
        assert(~u);
      }
    }
    return x;
  }
};

Solver solver;


#include <string>

//you may define some global variables, but it does not work if you try to transfer any information from function pigeon_num or function send to function receive through these variables.
//you had better not use the same global variables in function send and in function receive.

/*
Taskid:         The index of the subtask. If it is subtask 2, then Taskid=2.
k:              The time threshold. Suppose the i-th pigeon taking off is the p_i-th one to land. It is guaranteed that abs(i-p_i)<=k.
return value:   The number of pigeons Little E will use.
*/
int pigeon_num(int Taskid, int k){
	//you may do some initialization for SEND function here
	
  solver = Solver(k);
  return solver.N;
  
	return 5;//change this into your code
}

/*
Taskid:         The index of the subtask. If it is subtask 2, then Taskid=2.
n:              The number of pigeons Little E will use. This equals the return value of function pigeon_num.
k:              The time threshold. Suppose the i-th pigeon taking off is the p_i-th one to land. It is guaranteed that abs(i-p_i)<=k.
msg:            The content of the message.
return value:	The order of the pigeons taking off. The length of this string must be n. return_value[i]='0' means the (i+1)-th pigeon taking off is black. return_value[i]='1' means the (i+1)-th pigeon taking off is white.
*/
std::string send(int Taskid, int n, int k, __uint128_t msg){
  return solver.encode(msg);
  
	return "10101";//change this into your code
}

////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

class Init{
public:
	Init(){
		//you may do some initialization for RECEIVE function here
	}
};

/*
Taskid:         The index of the subtask. If it is subtask 2, then Taskid=2.
k:              The time threshold. Suppose the i-th pigeon taking off is the p_i-th one to land. It is guaranteed that abs(i-p_i)<=k.
msg:			The order of the pigeons landing. Its length is equal to n. msg[i] denotes the color of the (i+1)-th pigeon watched landing by Little F. '0' means black and '1' means white.
return value:	The content of the message. It should be correct.
*/
__uint128_t receive(int Taskid, int k, const std::string &msg){
	const static Init init;
  
  if (!~solver.K) {
    solver = Solver(k);
  }
  return solver.decode(msg);
  
	{//change this into your code
		__uint128_t hi = 5281683694948011861llu;
		__uint128_t lo = 3195384480471073102llu;
		return hi<<64|lo; //this value equals 97429867398990605044182047185430790478
	}
}