N=int(input())
ans=0
for i in range(11):
	print(2**i,2**i)
	print(*[i for i in range(2**i,2**(i+1))])
	C=int(input())
	ans+=C*(2**i)

print(0,1)
print(ans)