#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  scanf("%d", &n);
  set<int> st;
  long long ans = 0;
  for (int i = 0; i < n; i++) {
    int tmp;
    scanf("%d", &tmp);
    if (!st.count(tmp)) {
      st.insert(tmp);
      ans += tmp;
    } else {
      tmp--;
      while (st.count(tmp)) {
        tmp--;
        if (tmp == 0) break;
      }
      if (tmp > 0 && !st.count(tmp)) {
        ans += tmp;
        st.insert(tmp);
      }
    }
  }
  printf("%I64d\n", ans);
  return 0;
}
