MEX Sequences
给出一个长度为n的数组a,数组的值在0到n之间。
如果一个序列$s_1, s_2, \cdots, s_n$,每个对于每个$i,1\le i\le n$,满足$|MEX(s_1, s_2, \cdots, s_i)-s_i|\le 1$,那么这个序列是MEX-correct。
现在问数组a有多少个MEX-correct的子序列。
$MEX(s_1, s_2, \cdots, s_i)$代表$s_1, s_2, \cdots, s_i$中第一个未出现的非负数。
$1 \le n \le 5 \cdot 10^5$