#include<bits/stdc++.h>
using namespace std;

using i64 = int64_t;

int main(){
    vector<int> v;
    for(int i=0;i<10;++i){
        int h;
        cin >> h;
        v.push_back(h);
    }
    sort(v.rbegin(), v.rend());
    for(int i=0;i<3;++i){
        cout << v[i] << endl;
    }

    return 0;
}

