import sys readline=sys.stdin.readline N=int(readline()) idx=[i for i in range(N)] for i in range(2*N): L,R=[0]*N,[0]*N LR=[] for l,r in zip(L,R): LR.append(l) LR.append(r) print("?",*LR) C=input().split() for j,c in zip(range(i%2,N,2),C): if j+1": idx[j],idx[j+1]=idx[j+1],idx[j] print("!",*idx)