n = int(input())
ans = []
for i in range(n):
    print('?', n - 1)
    if i == 0:
        print(' '.join(map(str, range(2, n + 1))))
    else:
        print(' '.join(map(str, range(1, i + 1))),
              ' '.join(map(str, range(i + 2, n + 1))))
    a = int(input())
    if a == 0:
        ans.append(i + 1)
print('!', len(ans))
print(' '.join(map(str, ans)))