raw_data = open('input.txt', 'r').read()
str_data = [str(x) for x in [int(x) for x in raw_data.split(" ")]]
print(' '.join(sorted(str_data)))