题目描述

有长度为 $n$ 的序列 $a$，其中 $a_i\in\{4,8,15,16,23,42\}$。

现在需要删掉若干个元素，使得这个序列：

1. $k$ 是 $6$ 的倍数
2. $a_i$ 能被划分成 $\dfrac k6$ 个子序列，使得每一个子序列都是 $\{4,8,15,16,23,42\}$

假设 $k$ 是删除后的序列长度，你需要最小化删除的元素个数。

输入格式

第一行一个整数 $n$，表示序列长度。

第二行 $n$ 个整数表示序列。

输出格式

一行一个整数表示最少需要删除多少个元素。

样例 #1

样例输入 #1

5
4 8 15 16 23

样例输出 #1

5

提示

对于 $20\%$ 的数据，$n\le 20$.

对于 $40\%$ 的数据，$n\le 1000$.

对于 $100\%$ 的数据，$1\le n\le 5\times 10^5$.