AT_kupc2017_f.575

给定一个数列 $ s $，从中可以去掉一部分数（可以不去掉任何数），并按照原来的顺序排列，得到的新数列被称为 $ s $ 的子序列。例如，$ (4, 2, 1) $、$ (7, 4, 3, 2, 1) $ 和空序列都是 $ (7, 4, 3, 2, 1) $ 的子序列，但 $ (1, 2) $ 不是该数列的子序列。

对于长度为 $ n $ 的数列 $ s $，如果存在非空的数列 $ a $, $ b $, $ c $，使得它们满足以下条件，则称数列 $ s $ 为五七五列：

• 将 $ a $, $ b $, $ c $ 按顺序连接起来的数列是 $ (1, 2, \ldots, n) $ 的一个排列。
• $ \min_i(a_i) < \min_i(b_i) < \min_i(c_i) $
• 数列 $ a $ 中对应的 $ s $ 项之和为 5。
• 数列 $ b $ 中对应的 $ s $ 项之和为 7。
• 数列 $ c $ 中对应的 $ s $ 项之和为 5。

例如，数列 $ ex = (5, 3, 5, 4) $ 是一个五七五列，而数列 $ (5, 5, 7) $ 则不是。对于 $ ex $，可以取 $ a = (1) $, $ b = (2, 4) $, $ c = (3) $ 来满足五七五列的条件。

现给定一个长度为 $ N $ 的数列 $ x = (x_1, x_2, \ldots, x_N) $，其中每个 $ x_i $ 都满足 $ 2 \leq x_i \leq 7 $。请计算，从这个数列中，最多可以取出多少组这样的五七五列作为它的子序列。

输入以如下格式给出，为一行：

$ N $ $ x_1 $ $ x_2 $ $\ldots$ $ x_N $

输出一个整数，表示可以取出的五七五列的最大数量。

• $ 1 \leq N \leq 100 $
• $ 2 \leq x_i \leq 7 $
• $ N $ 和 $ x_i $ 为整数。

样例解释

当数列为 $ (2, 3, 5, 4, 3) $ 时，它是一个五七五列，例如 $ a=(1, 5) $, $ b=(2, 4) $, $ c=(3) $ 可以满足条件。

在另一个例子中，可以先从数列 $ (5, 2, 5, 5, 6, 3, 5, 7, 5, 3) $ 中移除一组五七五列 $(5, 2, 5, 5)$，其子序列可为 $ a=(1) $, $ b=(2, 4) $, $ c=(3) $。移除后剩下数列为 $ (6, 3, 5, 7, 5, 3) $，再从中选出一组五七五列 $(5, 7, 5)$。

本翻译由 AI 自动生成