k=gets.to_i
e=[]
2.upto(31){|v|1.upto(v-1){|u|e<<u<<v};k[v-2]>0&&e<<v<<32}
p 32,e.size/2,*e