A1707.日期统计

$AC$ 狗现在有一个长度为 $n$ 的数组，数组中的每个元素的值都在 $0$ 到 $9$ 的范围之内，现在它想要在这个数组中找出满足以下要求的子序列：

1. 子序列的长度为 $8$。
2. 这个子序列可以按照下标顺序组成一个 yyyymmdd 的格式的日期，并且要求这个日期是 $2023$ 年中的某一天的日期，例如 20230228、20230131。yyyy 表示年份，mm 表示月份，dd 表示天数，当月份或天数只有一位时需要一个前导 $0$ 作为补充。

请你帮 $AC$ 狗计算按上述条件一共能找到多少个不同的 $2023$ 年的日期。

第一行包含一个整数 $n$。
第二行包含 $n$ 个整数，表示数组元素。

输出一个整数表示可以组成的不同的 $2023$ 年的日期的个数。

$0 < n \le 200$