题目描述

毅涵的仓库里有许多0到9单字字样，但可能不齐，有的多，有的少，有的缺。现在依次列出仓库里的所有单字字样（n个），问能拼成几个2017的整幅字样。

输入格式

第一行输入n;

第二行n个单字数字，空格隔开。

输出格式

一个数，能拼出几个2017？

样例 #1

样例输入 #1

10
1 2 2 7 2 1 6 5 0 7

样例输出 #1

1

提示

1<=n<=1000

样例中，虽然2有3个，1有2个，7也有2个，但0只有1个，所以最终只能拼出1个。