import sys
input = sys.stdin.readline
N = int(input())
ans = 0
for i in range(1, 11):
    M = 2**i
    K = M//2
    R = []
    for j in range(K):
        R.append(M-j-1)
    print(M, K, flush=True)
    print(*R, flush=True)
    C = int(input())
    ans += 2**(i-1)*C
print(ans)