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 ll = long long;
using ull = unsigned long long;
using uint = unsigned int;
using ld = long double;
using vi = std::vector<int>;
using pii = std::pair<int, int>;
using vvi = std::vector<vi>;
using vii = std::vector<pii>;
using vll = std::vector<ll>;
using pll = std::pair<ll, ll>;
template <typename T>
int sign(const T& t) {
  return (t > 0) - (t < 0);
}
template <typename T, typename U>
bool remax(T& a, U b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}
template <typename T, typename U>
bool remin(T& a, U b) {
  if (a > b) {
    a = b;
    return true;
  }
  return false;
}
template <typename T>
T gcd(T a, T b) {
  a = std::abs(a);
  b = std::abs(b);
  while (b) {
    a %= b;
    std::swap(a, b);
  }
  return a;
}
template <typename T>
T lcm(T a, T b) {
  a = std::abs(a);
  b = std::abs(b);
  return a / gcd(a, b) * b;
}
double get_time() { return static_cast<double>(clock()) / CLOCKS_PER_SEC; }
long long current_nanoseconds() {
  return std::chrono::steady_clock::now().time_since_epoch().count();
}
long long default_seed = current_nanoseconds();
uint32_t mrand_32t() {
  static std::mt19937 rng(default_seed);
  return rng();
}
uint64_t mrand_64t() {
  static std::mt19937_64 rng(default_seed);
  return rng();
}
template <typename T>
void make_unique(std::vector<T>& v) {
  std::sort(std::begin(v), std::end(v));
  v.erase(std::unique(std::begin(v), std::end(v)), std::end(v));
}
namespace std {
template <typename A, typename B>
string to_string(const pair<A, B>& p) {
  string str;
  str += "(";
  str += to_string(p.first);
  str += ", ";
  str += to_string(p.second);
  str += ")";
  return str;
}
string to_string(bool value) { return value ? "true" : "false"; }
template <typename T>
string to_string(const vector<T>& vec) {
  string str = "{ ";
  bool first = true;
  for (const auto& it : vec) {
    if (!first) {
      str += ", ";
    }
    str += to_string(it);
    first = false;
  }
  str += " }";
  return str;
}
template <typename T>
string to_string(const set<T>& s) {
  string str = "{ ";
  bool first = true;
  for (const auto& it : s) {
    if (!first) {
      str += ", ";
    }
    str += to_string(it);
    first = false;
  }
  str += " }";
  return str;
}
template <typename K, typename V>
string to_string(const map<K, V>& m) {
  string str = "{ ";
  bool first = true;
  for (const auto& it : m) {
    if (!first) {
      str += ", ";
    }
    first = false;
    str += to_string(it.first);
    str += " -> ";
    str += to_string(it.second);
  }
  str += " }";
  return str;
}
string to_string(const string& s) { return "\"" + s + "\""; }
string to_string(const char* s) { return to_string(string(s)); }
string to_string(char ch) { return "\'" + string(1, ch) + "\'"; }
template <size_t N>
string to_string(const bitset<N>& b) {
  string res(N, '0');
  for (size_t i = 0; i < N; ++i) {
    res[i] = '0' + b[i];
  }
  return res;
}
template <typename T>
string to_string(const T& t) {
  std::stringstream ss;
  ss << t;
  return ss.str();
}
}  // namespace std
void debug_out() { std::cerr << std::endl; }
template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  std::cerr << " " << std::to_string(H);
  debug_out(T...);
}
using namespace std;
void rev(string& s, int l, int r) {
  for (int i = int(l); i < int(r + 1); ++i) {
    s[i] ^= '0' ^ '1';
  }
}
int cnt(const string& s, int l, int r) {
  int ans = 0;
  for (int i = int(l); i < int(r + 1); ++i) {
    ans += s[i] == '1';
  }
  return ans;
}
int n, t0;
bool read() {
  if (!(cin >> n >> t0)) {
    return 0;
  }
  return 1;
}
int ask(int l, int r) {
  assert(0 <= l);
  assert(l <= r);
  assert(r < n);
  cout << "? " << l + 1 << " " << r + 1 << endl;
  int t;
  cin >> t;
  if (t == -1) {
    exit(0);
  }
  return t;
}
string solve_even() {
  vii qs;
  string s(n, '0');
  int t = t0;
  for (int i = int(0); i < int(n); ++i) {
    while (1) {
      int tt = ask(i, i);
      if (abs(tt - t) % 2 == (i + 1) % 2) {
        const int y = cnt(s, 0, i - 1);
        const int p = i;
        rev(s, 0, i - 1);
        const int now = cnt(s, 0, i - 1);
        assert(now == p - y);
        const int val = tt - t - p + 2 * y - 1;
        if (val == 0) {
          s[i] = '1';
        } else if (val == -2) {
          s[i] = '0';
        } else {
          ;
          assert(0);
        }
        t = tt;
        qs.push_back(make_pair(0, i));
        break;
      } else {
        qs.push_back(make_pair(i, n - 1));
        t = tt;
      }
    }
  }
  for (const auto& q : qs) {
    int l, r;
    tie(l, r) = q;
    rev(s, l, r);
  }
  return s;
}
string solve_odd() {
  int t = t0;
  vi pref(n);
  vector<pii> qs0;
  {
    string s(n, '0');
    for (int i = 1; i < n; i += 2) {
      while (1) {
        int tt = ask(i - 1, i);
        if (abs(tt - t) % 2 == 0) {
          const int y = cnt(s, 0, i - 2);
          const int p = i - 1;
          rev(s, 0, i - 2);
          const int now = cnt(s, 0, i - 2);
          assert(now == p - y);
          const int val = tt - t - p + 2 * y - 2;
          if (abs(val) % 2 != 0) {
            assert(0);
          }
          const int x = (-val) / 2;
          if (x == 0) {
            s[i] = s[i - 1] = '1';
          } else if (x == 1) {
            s[i] = '1';
            s[i - 1] = '0';
          } else if (x == 2) {
            s[i] = s[i - 1] = '0';
          } else {
            ;
            assert(0);
          }
          t = tt;
          qs0.push_back(make_pair(0, i));
          break;
        } else {
          t = tt;
          qs0.push_back(make_pair(i - 1, n - 1));
        }
      }
    }
    for (int i = 1; i < n; i += 2) {
      pref[i] = (s[i - 1] - '0') + (s[i] - '0');
      if (i > 1) {
        pref[i] += pref[i - 2];
      }
    }
    pref[n - 1] = t;
  }
  int another_t0 = t;
  vector<pii> qs1;
  {
    string s(n, '0');
    for (int i = n - 2; i > 0; i -= 2) {
      while (1) {
        ;
        int tt = ask(i, i + 1);
        if (abs(tt - t) % 2 == 0) {
          const int y = cnt(s, i + 2, n - 1);
          const int p = n - 1 - (i + 1);
          rev(s, i + 2, n - 1);
          const int now = cnt(s, i + 2, n - 1);
          assert(now == p - y);
          const int val = tt - t - p + 2 * y - 2;
          if (abs(val) % 2 != 0) {
            assert(0);
          }
          const int x = (-val) / 2;
          if (x == 0) {
            s[i] = s[i + 1] = '1';
          } else if (x == 1) {
            s[i] = '1';
            s[i + 1] = '0';
          } else if (x == 2) {
            s[i] = s[i + 1] = '0';
          } else {
            ;
            assert(0);
          }
          t = tt;
          qs1.push_back(make_pair(i, n - 1));
          break;
        } else {
          t = tt;
          qs1.push_back(make_pair(0, i + 1));
        }
      }
    }
    for (const auto& q : qs1) {
      int l, r;
      tie(l, r) = q;
      rev(s, l, r);
    }
    vi suff(n);
    for (int i = n - 2; i > 0; i -= 2) {
      suff[i] = (s[i] - '0') + (s[i + 1] - '0');
      if (i < n - 2) {
        suff[i] += suff[i + 2];
      }
      pref[i - 1] = another_t0 - suff[i];
    }
  }
  string s(n, '0');
  for (int i = int(0); i < int(n); ++i) {
    int prev___ = 0;
    if (i > 0) {
      prev___ = pref[i - 1];
    }
    if (pref[i] > prev___) {
      s[i] = '1';
    }
  }
  for (const auto& q : qs0) {
    int l, r;
    tie(l, r) = q;
    rev(s, l, r);
  }
  return s;
}
string solve() {
  if (n % 2 == 0) {
    return solve_even();
  } else {
    return solve_odd();
  }
}
int main() {
  read();
  auto ans = solve();
  cout << "! " << ans << endl;
  return 0;
}