n = int(input()) val = n-1 kaku = [] for i in range(n): if val < 2: if i % 2 == 0: kaku.append(n-(i//2)) else: kaku.append(i//2+1) break print("?",val,flush=True) a = kaku[:] for j in range(val-len(kaku)): a.append(j+i//2+i%2+1) a.sort() print(*a,flush=True) ans = input() if ans == "1":#不要 val -= 1 else: if i % 2 == 0: kaku.append(n-(i//2)) else: kaku.append(i//2+1) a = kaku[:] a.sort() print("!",len(a),flush=True) print(*a,flush=True) exit()