题目描述

在 AtCoder 中，参加比赛的人会获得一个 颜色，该颜色对应于参赛者的等级，如下所示：

• 等级 $1$-$399$ ：灰色
• 等级 $400$-$799$ ：棕色
• 等级 $800$-$1199$ ：绿色
• 等级 $1200$-$1599$ ：青色
• 等级 $1600$-$1999$ ：蓝色
• 等级 $2000$-$2399$ ：黄色
• 等级 $2400$-$2799$ ：橙色
• 等级 $2800$-$3199$ ：红色

除上述之外，等级为 $3200$ 或更高的人可以自由选择颜色，可以是上述八种颜色中的一种，也可以是其他颜色。
目前，有 $N$ 个用户在 AtCoder 中参加了比赛，第 $i$ 个用户的等级为 $a_i$。
找出用户可能有的不同颜色的最小和最大数量。

约束条件

• $1 ≤ N ≤ 100$
• $1 ≤ a_i ≤ 4800$
• $a_i$ 是整数。

输入

输入的格式如下，从标准输入中给出：

$N$ $a_1$ $a_2$ $...$ $a_N$

输出

打印用户可能有的不同颜色的最小数量和最大数量，中间用一个空格隔开。

示例输入 1

4
2100 2500 2700 2700

示例输出 1

2 2

等级为 $2100$ 的用户是 "黄色"，其他用户是 "橙色"。有两种不同的颜色。

示例输入 2

5
1100 1900 2800 3200 3200

示例输出 2

3 5

等级为 $1100$ 的用户是 "绿色"，等级为 $1900$ 的用户是 "蓝色"，等级为 $2800$ 的用户是 "红色"。
如果第四个用户选择 "红色"，第五个用户选择 "蓝色"，则有三种不同的颜色。这是最小颜色数的一种可能情况。
如果第四个用户选择 "紫色"，第五个用户选择 "黑色"，则有五种不同的颜色。这是最大颜色数的一种可能情况。

示例输入 3

20
800 810 820 830 840 850 860 870 880 890 900 910 920 930 940 950 960 970 980 990

示例输出 3

1 1

所有用户都是 "绿色"，因此只有一种颜色。