#include <iostream>
using namespace std;
int main()
{
int x, max1, max2, max3;
cin >> x;
max1 = max2 = max3 = x;
while(1)
{
cin >> x;
if (x == 0)
break;
if (x > max1)
{
max3 = max2;
max2 = max1;
max1 = x;
}
else if (x > max2)
{
max3 = max2;
max2 = x;
}
else if (x > max3)
max3 = x;
}
cout << max1 << " " << max2 << " " << max3;
return 0;
}