#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll=long long;
using Graph=vector<vector<int>>;
#define INF 1000000000
#define MOD 998244353
#define MAX 100000

int main(){
  int N;
  cin>>N;
  vector<int> A(N);
  vector<int> cnt(40,0);
  for(int i=0;i<N;i++){
    cin>>A[i];
    cnt[A[i]]++;
  }
  int ans=0;
  for(int i=0;i<N;i++){
    if(cnt[A[i]-1]==0){
      ans+=A[i];
    }
  }
  cout<<ans<<'\n';
}