n = int(input())
ans = []
for i in range(1,n+1):
    print('?',n-1)
    for j in range(1,n+1):
        if j==i:
            continue
        print(j,end =' ')
    print()
    res = input()
    if res == '0':
        ans.append(i)
print('!',len(ans))
for i in ans:
    print(i,end=' ')
print()