def query(i, x, j, y):
    print('?', i, x, j, y, flush=True, end='\r\n')
    response = input()
    if response == "Yes":
        return True
    elif response == "No":
        return False
    else:
        assert False

def output_answer(n, i1, j1, i2, j2, i3, j3):
    out = []
    for _ in range(n): out += [i1, j1]
    for _ in range(n): out += [i2, j2]
    for _ in range(n): out += [i3, j3]
    print('!', *out, flush=True, end='\r\n')

n = int(input())

if query(2, 2 * n, 3, 2 * n):
    if query(1, 2 * n, 3, 2 * n):
        i3, j3 = 1, 2
    else:
        i3, j3 = 2, 3
else:
    if query(1, 2 * n, 2, 2 * n):
        i3, j3 = 1, 3
    else:
        i3, j3 = 2, 3

i2 = i3 ^ j3
if query(i3, n, j3, n):
    j2 = i3
else:
    j2 = j3

i1, j1 = i2, j2 ^ i3 ^ j3

output_answer(n, i1, j1, i2, j2, i3, j3)