#include <bits/stdc++.h>

using namespace std;


int main()
{
    ifstream fileIn("input.txt");
    vector< int > maxs(3, -INT_MAX);
    int x;
    while(fileIn >> x){
        vector< int > :: iterator min_ptr = min_element(maxs.begin(), maxs.end());
        if (*min_ptr < x){
            *min_ptr = x;
        }
    }
    for(int i = 0; i < 3; i++)
        cerr << maxs[i] << ' ';
}