import random
size = 1000
arr = list(range(0, size))
random.shuffle(arr)
with open("random_num.txt", 'w') as f:
    f.write("%d\n" % size)
    for i in arr:
        f.write("%d " % i)
    f.write('\n')