Migrated from Lutece 1350 卿学姐失恋了Ⅱ

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

‘热爱学习的卿学姐刚刚从图书馆自习出来，发现外面下着大雨，于是掏出了手机，拨通了男朋友的电话。

“亲爱的，外面下雨了，我在图书馆回不去，你来接我一下好吗？”

“你找找路上带伞的人一起走就行了嘛，我有事，走不开。”

腼腆的卿学姐走在路上，看到来来往往撑着伞的路人，不知如何开口，也没有人为她而停留，最后自己琳着雨跑回了寝室。

回到寝室后，卿学姐一只手抚摸着一头湿漉漉的长发，脸上不知是雨还是泪，一边给他的男朋友发了一条短信。

“我们分手吧！”

…… ……

几天后，无聊的卿学姐打算玩一个游戏来转移注意力，缓解分手后悲伤的心情。

游戏是这样的，卿学姐在桌子上点了三根蜡烛，序号分别为1,2,3，蜡烛不可以离开桌面，一根蜡烛可以持续燃烧M秒。

卿学姐还有20个大小不同的圆盘，从大到小依次编号为0,1,2,3,4……19。

每个圆盘中间有个洞，大小刚好可以让蜡烛穿过。

游戏开始前第i个圆盘套在第a[i]根蜡烛上，每根蜡烛上的圆盘从下往上依次减小。

卿学姐的目标是让这些圆盘都在一根蜡烛上。

每一秒钟卿学姐可以把一个处在任意一根蜡烛最上面的圆盘转移到另一个蜡烛的最上面，在移动过程中大的圆盘不能放在小的圆盘的上面。

卿学姐想知道她有没有可能在蜡烛烧完前完成这个游戏？可能，输出YES；不可能，输出NO；

Input

第一行包含一个整数 M (1 ≤ M ≤ 1000000)

第二行包含20个整数表示a[i] ,(1 ≤ a[i]  ≤ 3 , 0 ≤ i ≤ 19 )

Output

可能，输出YES；不可能，输出NO；

Samples

25018
3 1 1 3 1 1 2 2 1 3 2 2 2 3 1 3 3 2 3 3

NO

22725
3 3 3 3 3 3 2 2 2 2 2 2 1 1 1 1 1 1 2 3

YES