Problem: This is an interactive problem

You are given a grid n× n, where n is odd. Rows are enumerated from 1 to n from up to down, columns are enumerated from 1 to n from left to right. Cell, standing on the intersection of row x and column y, is denoted by (x, y).

Every cell contains 0 or 1. It is known that the top-left cell contains 1, and the bottom-right cell contains 0.

We want to know numbers in all cells of the grid. To do so we can ask the following questions: 

"? x_1 y_1 x_2 y_2", where 1 ≤ x_1 ≤ x_2 ≤ n, 1 ≤ y_1 ≤ y_2 ≤ n, and x_1 + y_1 + 2 ≤ x_2 + y_2. In other words, we output two different cells (x_1, y_1), (x_2, y_2) of the grid such that we can get from the first to the second by moving only to the right and down, and they aren't adjacent.

As a response to such question you will be told if there exists a path between (x_1, y_1) and (x_2, y_2), going only to the right or down, numbers in cells of which form a palindrome.

For example, paths, shown in green, are palindromic, so answer for "? 1 1 2 3" and "? 1 2 3 3" would be that there exists such path. However, there is no palindromic path between (1, 1) and (3, 1).

<image>

Determine all cells of the grid by asking not more than n^2 questions. It can be shown that the answer always exists.

Input

The first line contains odd integer (3 ≤ n < 50) — the side of the grid.

Interaction

You begin the interaction by reading n.

To ask a question about cells (x_1, y_1), (x_2, y_2), in a separate line output "? x_1 y_1 x_2 y_2".

Numbers in the query have to satisfy 1 ≤ x_1 ≤ x_2 ≤ n, 1 ≤ y_1 ≤ y_2 ≤ n, and x_1 + y_1 + 2 ≤ x_2 + y_2. Don't forget to 'flush', to get the answer.

In response, you will receive 1, if there exists a path going from (x_1, y_1) to (x_2, y_2) only to the right or down, numbers in cells of which form a palindrome, and 0 otherwise.

In case your query is invalid or you asked more than n^2 queries, program will print -1 and will finish interaction. You will receive Wrong answer verdict. Make sure to exit immediately to avoid getting other verdicts.

When you determine numbers in all cells, output "!".

Then output n lines, the i-th of which is a string of length n, corresponding to numbers in the i-th row of the grid.

After printing a query do not forget to output end of line and flush the output. Otherwise, you will get Idleness limit exceeded. To do this, use:

  * 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.



Hack Format

To hack, use the following format.

The first line should contain a single odd integer n (side of your grid).

The i-th of n following lines should contain a string of length n corresponding to the i-th row of the grid. Top left element of the grid has to be equal to 1, bottom right has to be equal to 0.

Example

Input


3
0
1
0
1
1
1
1

Output


? 1 1 1 3
? 1 1 2 3
? 2 1 2 3
? 3 1 3 3
? 2 2 3 3
? 1 2 3 2
? 1 2 3 3
!
100
001
000

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n;
vector<vector<int> > g(n, vector<int>(n, -1));
bool q(int x1, int y1, int x2, int y2) {
  cout << "? " << x1 + 1 << " " << y1 + 1 << " " << x2 + 1 << " " << y2 + 1
       << endl;
  cout << flush;
  int resp;
  cin >> resp;
  return resp;
}
void easy_fill(int i, int j, bool larger_j) {
  if (i == 0) {
    if (q(0, j - 2, 0, j)) {
      g[i][j] = g[i][j - 2];
    } else {
      g[i][j] = 1 - g[i][j - 2];
    }
  } else if (j == 0 || (larger_j && j == 1)) {
    if (q(i - 2, j, i, j)) {
      g[i][j] = g[i - 2][j];
    } else {
      g[i][j] = 1 - g[i - 2][j];
    }
  } else {
    if (q(i - 1, j - 1, i, j)) {
      g[i][j] = g[i - 1][j - 1];
    } else {
      g[i][j] = 1 - g[i - 1][j - 1];
    }
  }
}
bool all_odds_same() {
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      if ((i + j) % 2 == 1) {
        if (g[i][j] != g[0][1]) {
          return false;
        }
      }
    }
  }
  return true;
}
int find_first_same_diag() {
  for (int i = 0; true; i++) {
    if (g[i][i] == g[i + 1][i + 1]) {
      return i;
    }
  }
}
bool treat_all_same_case() {
  int ind = find_first_same_diag();
  if (ind == 0) {
    if (q(0, 0, 2, 1)) {
      return (g[0][0] == g[1][0]);
    } else {
      return (g[0][0] != g[1][0]);
    }
  } else {
    if (q(ind - 1, ind, ind + 1, ind + 1)) {
      return (g[ind - 1][ind] == g[ind][ind]);
    } else {
      return (g[ind - 1][ind] != g[ind][ind]);
    }
  }
}
int eval(int i, int j, bool swap_odd) {
  if ((i + j) % 2 == 1 && swap_odd) {
    return 1 - g[i][j];
  } else {
    return g[i][j];
  }
}
bool treat_long_6(int i, int j, bool swap_odd) {
  int g11 = eval(i, j, swap_odd);
  int g12 = eval(i, j + 1, swap_odd);
  int g13 = eval(i, j + 2, swap_odd);
  int g21 = eval(i + 1, j, swap_odd);
  int g22 = eval(i + 1, j + 1, swap_odd);
  int g23 = eval(i + 1, j + 2, swap_odd);
  return (g11 == g23 && (g21 == g22 || g12 == g22 || g12 == g13));
}
bool treat_high_6(int i, int j, bool swap_odd) {
  int g11 = eval(i, j, swap_odd);
  int g12 = eval(i, j + 1, swap_odd);
  int g21 = eval(i + 1, j, swap_odd);
  int g22 = eval(i + 1, j + 1, swap_odd);
  int g31 = eval(i + 2, j, swap_odd);
  int g32 = eval(i + 2, j + 1, swap_odd);
  return (g11 == g32 && (g12 == g22 || g21 == g22 || g21 == g31));
}
bool treat_diff_case() {
  for (int i = 0; i < n - 2; i++) {
    for (int j = 0; j < n - 1; j++) {
      if (treat_high_6(i, j, true) != treat_high_6(i, j, false)) {
        if (q(i, j, i + 2, j + 1)) {
          return (g[i][j] == g[i + 2][j + 1]);
        } else {
          return (g[i][j] != g[i + 2][j + 1]);
        }
      }
    }
  }
  for (int i = 0; i < n - 1; i++) {
    for (int j = 0; j < n - 2; j++) {
      if (treat_long_6(i, j, true) != treat_long_6(i, j, false)) {
        if (q(i, j, i + 1, j + 2)) {
          return (g[i][j] == g[i + 1][j + 2]);
        } else {
          return (g[i][j] != g[i + 1][j + 2]);
        }
      }
    }
  }
  throw -40;
}
int main() {
  cin >> n;
  g = vector<vector<int> >(n, vector<int>(n, -1));
  g[0][0] = 1;
  g[n - 1][n - 1] = 0;
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      if ((i + j) % 2 == 0 && i + j != 0 && i + j != 2 * (n - 1)) {
        easy_fill(i, j, false);
      }
    }
  }
  g[0][1] = 1;
  for (int i = 0; i < n; i++) {
    for (int j = 1; j < n; j++) {
      if ((i + j) % 2 == 1 && i + j != 1) {
        easy_fill(i, j, true);
      }
    }
  }
  for (int i = 1; i < n; i += 2) {
    if (q(i, 0, i + 1, 1)) {
      g[i][0] = g[i + 1][1];
    } else {
      g[i][0] = 1 - g[i + 1][1];
    }
  }
  bool correct;
  if (all_odds_same()) {
    correct = treat_all_same_case();
  } else {
    correct = treat_diff_case();
  }
  cout << "!\n";
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      if ((i + j) % 2 == 0) {
        cout << g[i][j];
      } else {
        if (correct) {
          cout << g[i][j];
        } else {
          cout << 1 - g[i][j];
        }
      }
    }
    cout << endl;
  }
  cout << flush;
}