var input = ''

process.stdin.resume()
process.stdin.setEncoding('utf8')
process.stdin.on('data', function(chunk) {
  input += chunk
})
process.stdin.on('end', function() {
  input = input.split('\n')
  main()
})

function main() {
    input.sort(function(a, b) {
        return (parseInt(a) < parseInt(b)) ? 1 : -1;
});
console.log(input[0])
console.log(input[1])
console.log(input[2])
}
