n = int(input())
Ans = [i for i in range(1, n+1)]
X = []
for i in range(n-1):
    x = Ans.pop()
    l = 0
    r = len(Ans)
    S = [(l, r)]
    while S:
        l, r = S.pop()
        if l == r: continue
        print("?", 1, x, r-l, *Ans[l: r])
        t = int(input())
        if t:
            if r-l == 1:
                X.append((x, Ans[l]))
            else:
                m = (l+r) >> 1
                S.append((l, m))
                S.append((m, r))

print("!", len(X))
for l, r in X:
    print(l, r)