#include<bits/stdc++.h>
using namespace std;
int main(){
  vector<int> high(10);
  for(int i=0;i<10;++i){
    scanf("%d",&high[i]);
  }
  sort(high.begin(),high.end(),greater<int>());
  printf("%d\n%d\n%d\n",high[0],high[1],high[2]);
  return 0;
}