import random
random.seed (263125687)

n = 2000
a = list (range (n))[::-1]
print (n)
print (' '.join (map (str, a)))