Shoutmon给萌萌兽出了一个题：给出三条线段的长度，问能否组成三角形。不过线段的长度是通过每一个数位的英文给出的。你能帮助萌萌兽吗？

每个输入文件中一组数据。

分三行分别给出三条线段的长度。每行以一个整数N（1<=N<=5）开始，表示后面给出的单词个数；接下来跟着N个英文单词，每个单词表示一个数位，线段的长度由这些英文单词直接拼接而成（例如one two three代表123，one one代表11），每两个单词之间用一个空格隔开。数字0到9分别用下面十个单词表示：zero、one、two、three、four、five、six、seven、eight、nine。数据保证每条线段的长度都不为0。

如果可以组成三角形，那么输出YES；否则输出NO。