n=int(input())


P=[1]
for i in range(1,n+1):
    P.append(P[-1]*i)
               
OK=1
NG=P[-1]+1

def calc(x):
    x-=1
    ANS=[]
    USE=[0]*(n+1)
    for i in range(n-1,-1,-1):
        k=x//P[i]
        #print(x,k,USE)
        x=x%P[i]

        for j in range(n+1):
            if USE[j]==0:
                k-=1

                if k==-1:
                    ANS.append(j+1)
                    USE[j]=1
                    break

    return ANS
        

while NG>OK+1:
    mid=(OK+NG)//2

    print("?",*calc(mid),flush=True)

    ret=int(input())

    if ret==-1:
        exit()

    if ret==1:
        OK=mid
    else:
        NG=mid

print("!",*calc(OK),flush=True)