N = int(input())
ALL = set(range(1,N+1))
ANS = []
for i in range(1,N+1):
    ALL.remove(i)
    print('? ' + str(N-1),flush=True)
    print(*sorted(list(ALL)),flush=True)
    if input() == '0':
        ANS.append(i)
    ALL.add(i)
print('! ' + str(len(ANS)))
print(*ANS)