import sys


n = int(input())
ans = []
for i in range(n+1)[::-1]:
    if i == 0 and not ans:
        print("!", 1)
        print(1)
        exit()
        
    print("?", len(ans) + i)   
    print(*([j+1 for j in range(i)] + ans[::-1]))
    
    sys.stdout.flush()
    res = int(input())
    
    if res == 1:
        continue
    else:
        ans.append(i+1)

print("!", len(ans))
print(*ans[::-1])