#!/usr/bin/env python3
import sys, math, itertools, heapq, collections, bisect
input = lambda: sys.stdin.buffer.readline().rstrip().decode('utf-8')
sys.setrecursionlimit(10**8)
inf = float('inf')
ans =[] 
count = 0

n=int(input())
li=[i for i in range(1,n+1)]
for i in range(n):
    print("?",n-1)
    sys.stdout.flush()
    print(*li[:i],*li[i+1:])
    sys.stdout.flush()
    inp=input()
    if not inp:
        ans.append(i+1)
print("!",len(ans))
print(*ans)