#yuki689

k=int(raw_input())
res=[]
for i in xrange(100):
 res.append(8)
for i in xrange(k/100):
 res.append(9)
k%=100
i=1
while i*(i-1)/2<=k:
 i+=1
x=i-1
for i in xrange(x):
 res.append(1)
k-=x*(x-1)/2
res.append(24)
for i in xrange(k):
 res.append(37)
print len(res)
for i in xrange(len(res)):
 print res[i],
print