迷蒙马背眠
月随残梦天边远
淡淡起茶烟
      ———— 松尾芭蕉

题目描述

俳句是日本的一种古典短诗，这种诗歌的格式要求十分严格，总共分三行，第一行五个字，第二行七个字，第三行五个字。它较多地采取象征和比喻手法，崇尚简洁、含蓄、雅淡的意蕴，读来朗朗上口，韵味悠长。

现在我们规定一种“英文俳句”：仍然要求由三个短句组成，第一个短句有 $5$ 个音节，第二个短句有 $7$ 个音节，第三个短句有 $5$ 个音节。只要短句中出现元音字母 a e i o u 中的一个，就视为一个音节。现在输入三行字符串，请你判断它们是否满足英文俳句的格式要求。

输入格式

三行，每行一个字符串。

输出格式

若满足俳句的格式要求，输出yes；否则输出no。

样例

an apple a day
will keep doctor away
ha ha ha ha ha

yes

aeiou
aeioiou
abcdu

no

数据规模与约束

对于所有数据，输入的字符串仅由空格和小写字母组成，每行字符串长度不超过 $100$。