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;
pair<long long, long long> operator+(const pair<long long, long long>& a,
                                     const pair<long long, long long>& b) {
  return make_pair(a.first + b.first, a.second + b.second);
}
pair<long long, long long> operator-(const pair<long long, long long>& a,
                                     const pair<long long, long long>& b) {
  return make_pair(a.first - b.first, a.second - b.second);
}
pair<long long, long long> operator*(const pair<long long, long long>& a,
                                     const pair<long long, long long>& b) {
  return make_pair(a.first * b.first, a.second * b.second);
}
pair<long long, long long> operator%(const pair<long long, long long>& a,
                                     const pair<long long, long long>& b) {
  return make_pair(a.first % b.first, a.second % b.second);
}
template <class T>
inline T lowbit(T x) {
  return x & (-x);
}
template <class T>
T gcd(T a, T b) {
  return b ? gcd(b, a % b) : a;
}
inline int read() {
  int x = 0, f = 1;
  char ch = getchar();
  while (ch < '0' || ch > '9') {
    if (ch == '-') f = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    x = x * 10 + ch - '0';
    ch = getchar();
  }
  return x * f;
}
const int N = 320;
int n, t, s[N];
int ask(int l, int r) {
  printf("? %d %d\n", l, r);
  fflush(stdout);
  int ret;
  scanf("%d", &ret);
  return ret;
}
int query(int l, int r, int dest) {
  int cnt[2] = {0, 0}, lst = t, ret = -1;
  while (1) {
    int cur = ask(l, r);
    (cnt[abs(cur - lst) % 2] += 1) %= 2;
    lst = cur;
    if (ret == -1 && cnt[dest ^ 1] == 0 && cnt[dest] == 1) ret = cur;
    if (ret != -1 && cnt[0] == 0 && cnt[1] == 0) break;
  }
  return ret;
}
void odd() {
  if (n == 1) {
    s[1] = t;
    return;
  }
  int x = query(2, n, 0), pref = s[1] = t - (n - 1 + t - x) / 2;
  for (int i = (1); i <= (n - 1); i++) {
    int x = query(i, i + 1, (i + 1) % 2), sum = (i + 1 + t - x) / 2;
    s[i + 1] = sum - pref;
    pref = sum;
  }
}
void even() {
  int pref = 0;
  for (int i = (1); i <= (n); i++) {
    int x = query(i, i, i % 2), sum = (i + t - x) / 2;
    s[i] = sum - pref;
    pref = sum;
  }
}
int main() {
  scanf("%d%d", &n, &t);
  if (n % 2)
    odd();
  else
    even();
  printf("! ");
  for (int i = (1); i <= (n); i++) printf("%d", s[i]);
}