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

print(0,1)
print(ans)