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 PYTHON3):

Solution:
import sys


def ask(x1, y1, x2, y2):
    print(f'? {x1} {y1} {x2} {y2}')
    inp = int(input())
    sys.stdout.flush()
    return inp


def main():
    # sys.stdin = open("in.txt", "r")
    # sys.stdout = open("out.txt", "w")

    # it = iter(map(int, sys.stdin.read().split()))

    n = int(input())
    grid = [[None]*(n+1) for _ in range(n+1)]

    grid[1][1] = 1
    grid[n][n] = 0
    grid[1][3] = ask(1, 1, 1, 3)    # 1 if ask(1, 1, 1, 3) == 1 else 0
    grid[2][2] = ask(1, 1, 2, 2)

    # Let assume grid[1][2] = 1
    grid[1][2] = 1
    grid[2][3] = ask(1, 2, 2, 3)
    grid[2][1] = grid[2][3] if ask(2, 1, 2, 3) == 1 else (1 ^ grid[2][3])       # (1 ^ x) is to have the oppostive value of x

    # 1st and 2nd row.
    for i in [1, 2]:
        for j in range(4, n+1):
            grid[i][j] = grid[i][j-2] if ask(i, j-2, i, j) == 1 else (1 ^ grid[i][j-2])

    # The remaining rows.
    for i in range(3, n+1):
        for j in range(1, n+1):
            if i == n and j == n:
                continue
            grid[i][j] = grid[i-2][j] if ask(i-2, j, i, j) == 1 else (1 ^ grid[i-2][j])

    # Justify assumption.
    assumption_ok = True

    for i in range(1, n):   # from 1 to n-1
        to_break = False
        for j in range(1, n-1):     # from 1 to n-2
            if grid[i][j] != grid[i+1][j+2] and (grid[i][j+1] != grid[i][j+2] or grid[i][j+1] != grid[i+1][j+1] or grid[i+1][j] != grid[i+1][j+1]):
                # No palindrom from grid[i][j] to grid[i+1][j+2]
                if ask(i, j, i+1, j+2) == 1:    # But that's a palindrom
                    assumption_ok = False
                to_break = True
                break
            elif grid[i][j] == grid[i+1][j+2] and (grid[i][j+1] == grid[i][j+2] or grid[i][j+1] == grid[i+1][j+1] or grid[i+1][j] == grid[i+1][j+1]):
                # Got palindrom from grid[i][j] to grid[i+1][j+2]
                if ask(i, j, i+1, j+2) == 0:    # But that's not a palindrom
                    assumption_ok = False   # Assumption grid[1][2] = 1 is wrong.
                to_break = True
                break
        if to_break:
            break

    if not assumption_ok:
        for i in range(1, n+1):
            for j in range(2 if (i & 1) == 1 else 1, n+1, 2):
                grid[i][j] ^= 1     # Reverse grid[i][j]

    # Print asnwer.
    ansL = ['!\n']
    for row in grid[1:]:
        ansL += [str(row_elem) for row_elem in row[1:]]
        ansL.append('\n')

    sys.stdout.write(''.join(ansL))


if __name__ == '__main__':
    main()