#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
 
#include<bits/stdc++.h>
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int n;
  cin>>n;
  vector<int> A(40);
  rep(i,n){
    int x;
    cin>>x;
    A[x]=1;
  }
  int ans=0;
  for(int i=3;i<=35;i++){
    if(A[i]==1 && A[i-1]==0) ans+=i;
  }
  cout<<ans<<endl;
  
  return 0;
}