#include <stdio.h>

void main(void){
    int n = 0;
    scanf("%d",&n);
    int numList[n];
    for(int i = 0;i < n ; i++){
        scanf("%d",&numList[i]);
     }
    for(int i = 0;i < n ; i++){
        for(int j = i ; j < n ; j++){
            if(numList[i] > numList[j]){
                int num = numList[i];
                numList[i] = numList[j];
                numList[j] = num;
            }
        }
    }
    int score = numList[0];
    for(int i = 1;i < n ; i++){
       if(numList[i]-1 != numList[i-1]){
        score += numList[i];
       }
    }
    printf("%d",score);
}