#include #include using namespace std; using namespace atcoder; using ll=long long; int main() { int n; cin>>n; vector d(n); for(int i=0;i>d[i]; sort(d.begin(),d.end()); for(int i=0;i