Problem: This is an interactive problem.

Chouti was tired of studying, so he opened the computer and started playing a puzzle game.

Long long ago, the boy found a sequence s_1, s_2, …, s_n of length n, kept by a tricky interactor. It consisted of 0s and 1s only and the number of 1s is t. The boy knows nothing about this sequence except n and t, but he can try to find it out with some queries with the interactor.

We define an operation called flipping. Flipping [l,r] (1 ≤ l ≤ r ≤ n) means for each x ∈ [l,r], changing s_x to 1-s_x.

In each query, the boy can give the interactor two integers l,r satisfying 1 ≤ l ≤ r ≤ n and the interactor will either flip [1,r] or [l,n] (both outcomes have the same probability and all decisions made by interactor are independent from each other, see Notes section for more details). The interactor will tell the current number of 1s after each operation. Note, that the sequence won't be restored after each operation.

Help the boy to find the original sequence in no more than 10000 interactions.

"Weird legend, dumb game." he thought. However, after several tries, he is still stuck with it. Can you help him beat this game?

Interaction

The interaction starts with a line containing two integers n and t (1 ≤ n ≤ 300, 0 ≤ t ≤ n) — the length of the sequence and the number of 1s in it.

After that, you can make queries.

To make a query, print a line "? l r" (1 ≤ l ≤ r ≤ n), then flush the output.

After each query, read a single integer t (-1 ≤ t ≤ n).

  * If t=-1, it means that you're out of queries, you should terminate your program immediately, then you will get Wrong Answer, otherwise the judging result would be undefined because you will interact with a closed stream.
  * If t ≥ 0, it represents the current number of 1s in the sequence.



When you found the original sequence, print a line "! s", flush the output and terminate. Print s_1, s_2, …, s_n as a binary string and do not print spaces in between.

Your solution will get Idleness Limit Exceeded if you don't print anything or forget to flush the output.

To flush you need to do the following right after printing a query and a line end: 

  * fflush(stdout) or cout.flush() in C++; 
  * System.out.flush() in Java; 
  * flush(output) in Pascal; 
  * stdout.flush() in Python; 
  * see documentation for other languages. 



Hacks

For hacks, use the following format:

In the first and only line, print a non-empty binary string. Its length will be n and it will be treated as s_1, s_2, …, s_n.

For example, the the test corresponding to the example contains a line "0011".

Example

Input

4 2
2
2
0

Output

? 1 1
? 1 1
? 3 4
! 0011

Note

For first query 1,1, the interactor should flip [1,1] or [1,4]. It chose to flip [1,4], so the sequence became 1100.

For second query 1,1, the interactor should flip [1,1] or [1,4]. It again chose to flip [1,4], so the sequence became 0011.

For third query 3,4, the interactor should flip [1,4] or [3,4]. It chose to flip [3,4], so the sequence became 0000.

Q: How does interactor choose between [1,r] and [l,n]? Is it really random?

A: The interactor will use a secret [pseudorandom number generator](https://en.wikipedia.org/wiki/Pseudorandom_number_generator). Only s and your queries will be hashed and used as the seed. So if you give the same sequence of queries twice for the same secret string, you will get the same results. Except this, you can consider the choices fully random, like flipping a fair coin. You needn't (and shouldn't) exploit the exact generator to pass this problem.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
const ld eps = 1e-8;
template <class U, class V>
ostream& operator<<(ostream& out, const pair<U, V>& p) {
  return out << "(" << p.first << ", " << p.second << ")";
}
template <size_t i, class T>
ostream& print_tuple_utils(ostream& out, const T& tup) {
  if constexpr (i == tuple_size<T>::value)
    return out << ")";
  else
    return print_tuple_utils<i + 1, T>(out << (i ? ", " : "(") << get<i>(tup),
                                       tup);
}
template <class... U>
ostream& operator<<(ostream& out, const tuple<U...>& tup) {
  return print_tuple_utils<0, tuple<U...>>(out, tup);
}
template <class Con, class = decltype(begin(declval<Con>()))>
typename enable_if<!is_same<Con, string>::value, ostream&>::type operator<<(
    ostream& out, const Con& container) {
  out << "{";
  for (auto it = container.begin(); it != container.end(); ++it)
    out << (it == container.begin() ? "" : ", ") << *it;
  return out << "}";
}
struct solver {
  int n, t;
  virtual void init() = 0;
  virtual int ask(int l, int r) = 0;
  virtual void answer(const vector<bool>& ans) = 0;
  void solve() {
    init();
    if (t == 0 or t == n) {
      answer(vector<bool>(n, !!t));
      return;
    }
    vector<bool> cur_xor(n);
    vector<bool> ans(n);
    auto upd_cur_xor = [&](int l, int r) {
      for (int i = (int)(l); i < (int)(r); ++i) cur_xor[i] = 1 - cur_xor[i];
    };
    function<int(int, int, int)> ask_til_diff_parity = [&](int l, int r,
                                                           int par) {
      assert((r - l + n) % 2 == 0);
      int new_t = ask(l, r);
      int diff = (new_t - t) & 1;
      if (0)
        cerr << "["
                "l"
                " = "
             << (l) << "] "
             << "["
                "r"
                " = "
             << (r) << "] "
             << "["
                "par"
                " = "
             << (par) << "] "
             << "["
                "diff"
                " = "
             << (diff) << "] "
             << "["
                "new_t"
                " = "
             << (new_t) << "] " << endl;
      if (diff == (r & 1)) {
        upd_cur_xor(0, r);
      } else {
        upd_cur_xor(l - 1, n);
      }
      if (diff == par) {
        return new_t;
      }
      t = new_t;
      return ask_til_diff_parity(l, r, par);
    };
    auto ask_til_left_flip = [&](int l, int r) {
      return ask_til_diff_parity(l, r, r & 1);
    };
    auto ask_til_right_flip = [&](int l, int r) {
      return ask_til_diff_parity(l, r, !(r & 1));
    };
    {
      int new_t = ask_til_right_flip(2, n);
      ans[0] = cur_xor[0] ^ ((new_t + t - (n - 1)) / 2);
      t = new_t;
      if (0)
        cerr << "["
                "ans[0]"
                " = "
             << (ans[0]) << "] " << endl;
    }
    for (int i = (int)(1); i < (int)(n); ++i) {
      int new_t = ask_til_left_flip(i + (~n & 1), i + 1);
      int sx = (new_t + t - (i + 1)) / 2;
      int px = (new_t ^ sx) & 1;
      if (0)
        cerr << "["
                "i"
                " = "
             << (i) << "] "
             << "["
                "sx"
                " = "
             << (sx) << "] "
             << "["
                "px"
                " = "
             << (px) << "] " << endl;
      ans[i] = cur_xor[i] ^ px;
      for (int f = (int)(0); f < (int)(i); ++f)
        ans[i] = ans[i] ^ cur_xor[f] ^ ans[f];
      t = new_t;
    }
    answer(ans);
  }
};
struct IOSolver : solver {
  void init() override { cin >> n >> t; }
  int ask(int l, int r) override {
    cout << "? " << l << ' ' << r << endl;
    int ans;
    cin >> ans;
    return ans;
  }
  void answer(const vector<bool>& ans) override {
    cout << "! ";
    for (auto i : ans) cout << i;
    cout << endl;
  }
};
struct AutoSolver : solver {
  string s, org;
  mt19937 rng;
  AutoSolver(bool from_file) {
    if (from_file) {
      ifstream inp("main.inp");
      inp >> rng;
      inp >> s;
    } else {
      ll seed = (ll)this ^ time(0);
      s = "";
      rng.seed(seed);
      n = (int)(rng() % 10 + 1);
      for (int i = (int)(0); i < (int)(n); ++i) s += char((rng() & 1) + '0');
      rng.seed(seed + 1);
      dump_state();
    }
  }
  AutoSolver(const string& s_, ll seed) : s(s_) {
    rng.seed(seed);
    dump_state();
  }
  void dump_state() {
    ofstream inp("main.inp");
    inp << rng << endl;
    inp << s << endl;
  }
  int cnt_query;
  void init() override {
    n = ((int)s.size());
    t = (int)count((s).begin(), (s).end(), '1');
    cout << s << ' '
         << "["
            "n"
            " = "
         << (n) << "] "
         << "["
            "t"
            " = "
         << (t) << "] " << endl;
    org = s;
    cnt_query = 40;
  }
  int ask(int l, int r) override {
    --cnt_query;
    if (cnt_query < 0) {
      cout << "Query exceed " << endl;
      exit(0);
    }
    cout << "? " << l << ' ' << r << endl;
    if (rng() & 1) {
      r = n;
    } else {
      l = 1;
    }
    for (int i = (int)(l - 1); i < (int)(r); ++i) {
      s[i] ^= 1;
    }
    int new_t = (int)count((s).begin(), (s).end(), '1');
    cout << s << ' '
         << "["
            "n"
            " = "
         << (n) << "] "
         << "["
            "new_t"
            " = "
         << (new_t) << "] " << endl;
    return new_t;
  }
  void answer(const vector<bool>& ans) override {
    cout << "! ";
    for (auto i : ans) {
      cout << i;
    }
    cout << endl;
    cout << "["
            "org"
            " = "
         << (org) << "] " << endl;
    assert(((int)ans.size()) == n);
    for (int i = (int)(0); i < (int)(n); ++i) {
      assert((org[i] & 1) == ans[i]);
    }
  }
};
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  IOSolver().solve();
  return 0;
}