import random
random.seed (263125687)

n = 4000
a = [random.randint (1, 10 ** 9) for i in range (n)]
print (n)
print (' '.join (map (str, a)))