n = int(input())
ans = []
for i in range(1, n + 1):
    A = []
    for j in range(1, n + 1):
        if i != j:
            A.append(j)
    print("?", n - 1, flush = True)
    print(*A, flush = True)
    ret = int(input())
    if ret == 0:
        ans.append(i)
        
print("!", len(ans), flush = True)
print(*ans)