#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'; }