process.stdin.on('data', function (chunk) {
    const n = chunk.toString();
    const a = n.replace("\n","");
    const ar = a.split(' ');
    const arr = ar.sort();
    console.log(arr[0]+" "+arr[1]+" "+arr[2]);
});
