#include <bits/stdc++.h>
using namespace std;

int main()
{
	int N;
	cin >> N;
	int A;
	vector<int> C(36);
	for(int i = 0; i < N; i++)
	{
		cin >> A;
		C[A]++;
	}
	
	int ans = 0;
	for(int i = 35; i >= 3; i--) if(C[i - 1] == 0) ans += i * C[i];
	cout << ans << endl;
	return 0;
}