N = int(input())
ls = [i+1 for i in range(N)]
ll = []
for i in range(N):
    ls2 = ls[:]
    ls2.remove(i+1)
    print('? {}'.format(N-1))
    print(*ls2,sep=' ')
    f = int(input())
    if f == 0:
        ll.append(i+1)

print('! {}'.format(len(ll)))
print(*ll,sep=' ')