#include #include using namespace std; int main() { int x; vector v; while(cin>>x){ v.push_back(x); } sort(v.begin(),v.end(),greater()); cout<