N=int(input())
ans=0
for b in range(20):
    M=10000
    R=[m for m in range(M) if m&1<<b]
    K=len(R)
    if K==0:
        break
    print(M,K)
    print(*R)
    C=int(input())
    ans+=C<<b
print(0,1)
print(ans)