Suponha que a entrada esteja em input.txt e você deseje a saída em output.txt. Crie um script python e chame-o de sort.py assim:
l=map(int,raw_input("").strip().split())
l.sort()
print l # It will store it as a list
# or more precisely your answer can be
k=""
for i in l:
k+=str(i)+" "
print k #same output as you want
Execute-o no terminal:
python sort.py < input.txt > output.txt