import sys
input = sys.stdin.readline

N=int(input())

ANS=0

for i in range(1,12):
    x=2**i

    print(x,x//2,flush=True)
    LIST=[]
    for j in range(x//2,x):
        LIST.append(j)

    print(*LIST,flush=True)

    C=int(input())
    ANS+=x//2*C

print(0,1,flush=True)
print(ANS,flush=True)