n = int(input()); s = 0
for i in range(n.bit_length()):
    r = []
    for j in range(1,n+1):
        if j>>i&1: r.append(j)
    print(n+1,len(r)); print(*r)
    s += int(input())*(1<<i)
print(0,1); print(s)