#yuki688 import math def nCr(n,r): f=math.factorial return f(n)/f(r)/f(n-r) k=int(raw_input()) for i in xrange(31): for j in xrange(2,31-i): if (1<