#include <stdio.h>

int main(void) {
	int i;
	int n, a, cards[36] = {0};
	int sum = 0;

	scanf("%d", &n);
	for(i = 0;i < n;i++){
		scanf("%d", &a);
		cards[a] = 1; 
	}
/*
	for(i = 0;i < 36;i++){
		printf("%d ", cards[i]);
	}
*/
	for(i = 3;i < 36;i++){
		if(cards[i] == 1 && cards[i - 1] == 0){
//			printf("%d\n", i);
			sum += i;
		}
	}
	printf("%d", sum);

	return 0;
}