N = int(input())

ans = 0
for i in range(10):
    R = []
    if 2**i > N:
        break
    for j in range(2**i, 2**(i+1)):
        R.append(j)
    print(2**(i+1), len(R))
    print(*R)
    ans += int(input())*2**i

print(0, 1)
print(ans)