#include<stdio.h>
#include<>
int manzoku(int order, int kind);

void main(){
    int kind = 0;
    int order[20];
    int i = 0;
    int manzokuA = 0;
    
    while(1){
        scanf("%d\n",&kind);
        if(kind < 2){
            printf("please 3 or more!");
            continue;
        }
        break;
    }
    for(kind; kind > 0; kind--){
        scanf("%d "&order[i]); 
        i++;
        manzokuA = manzoku(order, kind);   
    }
    printf("\n");
    printf("%d",manzoku);
    
}

int manzoku(int order[], int kind){
    int manzokuC = 3;
    int manzokuB = 0;
    for(int i = order.length; i > 0; i--){
            manzokuB += i; 
        if((order[i] - 1) == order[i - 1]){
            manzokuB += manzokuC;
        }
    }
    return manzokuB;
}