n = int(input())
n2 = 2 * n
X = [0] * 3

def ansop(i):
    ans = []
    for j in range(3):
        ans.append(i % 3 + 1)
        ans.append((i + 1) % 3 + 1)
        i -= 2
    ans = ans * n
    print("!", *ans)
    exit()

for i in range(3):
    print("?", i + 1, 1, (i + 1) % 3 + 1, 1)
    if input() == "Yes":
        X[i] = 1
if X.count(0) == 3:
    ansop(0)
elif X.count(0) == 1:
    ansop((X.index(0) + 1) % 3)
else:
    ansop((X.index(1) - 1) % 3)