AT_abc064_c [ABC064C] Colorful Leaderboard

在 AtCoder 中，参加比赛的人名字会变成一种颜色，对应于该人的评级如下： ``` Rating 1 - 399：灰名 Rating 400 - 799：棕名 Rating 800 - 1199：绿名 Rating 1200 - 1599：青名 Rating 1600 - 1999：蓝名 Rating 2000 - 2399：黄名 Rating 2400 - 2799：橙名 Rating 2800 - 3199：红名 ``` 除了上述之外，Rating 为 3200 及以上的人可以自由地选择 TA 的颜色，包括但不限于上面的八种颜色。 目前，有 $N$ 个用户参加过 AtCoder 的比赛，第 $i$ 个用户的评分是正整数 $a_i$。 查找用户的不同颜色的最小和最大可能数量。

输入由标准输入以下列格式给出： > $N$ > $a_1$ $a_2$ $\ldots$ $a_N$

输出不同名字颜色的用户的最小可能数量，以及不同颜色的最大可能数量，中间有空格。

$1 \leq n \leq 100$，$1 \leq a_i \leq 4800$。