A. Хайку
ограничение по времени на тест
2 seconds
ограничение по памяти на тест
256 megabytes
ввод
stdin
вывод
stdout

Хайку — жанр традиционной японской лирической поэзии.

Стихотворение хайку состоит из 17 слогов, которые разбиты на три фразы, содержащие 5, 7 и 5 слогов соответственно (первая фраза должна содержать ровно 5 слогов, вторая — ровно 7 слогов, а третья — ровно 5). Мастерством хайку считается в этих трех фразах описать момент. В маленьком стихотворении каждое слово на счету, поэтому для хайку характерна символичность — каждое слово приобретает особую весомость, значимость. Сказать многое малым количеством слов — главный принцип хайку.

В данной задаче для простоты мы будем считать, что количество слогов в фразе равно количеству гласных букв в ней. Гласными буквами считаются только «a», «e», «i», «o» и «u».

Имеются три фразы некоторого стихотворения. Определите — являются они хайку или нет.

Входные данные

Входные данные представляют собой три строки длиной от 1 до 100 символов каждая. В i-й строке записана i-я фраза стихотворения. Каждая фраза состоит из одного или более слов, которые разделены одним или более пробелами. Словом считается некоторая непустая последовательность строчных латинских букв. В начале и в конце фразы может находиться некоторое количество пробелов (возможно, ни одного). В каждой фразе имеется хотя бы один символ, не являющийся пробелом. Смотрите пример для более точного понимания.

Выходные данные

Выведите «YES» (без кавычек) если стихотворение является хайку. Иначе выведите «NO» (тоже без кавычек).

Примеры
Входные данные
on  codeforces 
beta round is running
   a rustling of keys
Выходные данные
YES
Входные данные
how many gallons
of edo s rain did you drink
                                cuckoo
Выходные данные
NO