#yuki690

k=int(raw_input())
n=32
g=[]
for e in xrange(2,n):
 for v in xrange(1,e):
  g.append([v,e])
for a in xrange(30):
 if k>>a&1:
  g.append([a+2,n])
print n,len(g)
for i in xrange(len(g)):
 print g[i][0],g[i][1]