题目描述
小土豆正在玩他最喜欢的游戏。游戏中有$4$个技能和$4$个类型的能量，能量类型$i$的存储上限为$c_i$。技能$i$只有在其相应类型的能量已满时才能释放。释放技能$i$将消耗所有类型为$i$的能量，然后产生$a_{ij}$的$j$类型能量。
一开始，所有能量都是满的。小土豆想找到一种策略来释放$1919810^{114514}$次技能，并且任意四次连续释放的技能都两两不同。请帮助小土豆计算这是否可能。
输入格式
第一行包含$4$个整数$c_1,c_2,c_3,c_4$，表示每种技能所需的能量。
在接下来的$4$行中，第$i$行包含$4$个整数$a_{i1},a_{i2},a_{i3},a_{i4}$，表示每种技能的充能参数。
输出格式
输出Yes代表可能，No代表不可能。
输入样例1
20 20 20 20
10 10 10 10
10 10 10 10
10 10 10 10
10 10 10 10输出样例1
Yes输入样例2
80 80 80 80
10 10 10 10
10 10 10 10
10 10 10 10
10 10 10 10输出样例2
No输入样例3
40 40 40 40
10 10 10 10
10 10 10 10
10 10 10 10
10 10 10 10输出样例3
Yes对于样例$1$，按照$1,2,3,4$的顺序释放技能即可。
对于样例$2$，无论如何释放都不可能。
数据范围
对于$50\%$的数据，保证所有值在范围内等概率随机生成。
对于所有数据，$1\leq c_i\leq 80,0\leq a_{i,j}\leq 80$.
