{"raw_statement":[{"iden":"statement","content":"Haiku is a genre of Japanese traditional poetry.\n\nA haiku poem consists of 17 syllables split into three phrases, containing 5, 7 and 5 syllables correspondingly (the first phrase should contain exactly 5 syllables, the second phrase should contain exactly 7 syllables, and the third phrase should contain exactly 5 syllables). A haiku masterpiece contains a description of a moment in those three phrases. Every word is important in a small poem, which is why haiku are rich with symbols. Each word has a special meaning, a special role. The main principle of haiku is to say much using a few words.\n\nTo simplify the matter, in the given problem we will consider that the number of syllable in the phrase is equal to the number of vowel letters there. Only the following letters are regarded as vowel letters: \"_a_\", \"_e_\", \"_i_\", \"_o_\" and \"_u_\".\n\nThree phases from a certain poem are given. Determine whether it is haiku or not."},{"iden":"input","content":"The input data consists of three lines. The length of each line is between 1 and 100, inclusive. The _i_\\-th line contains the _i_\\-th phrase of the poem. Each phrase consists of one or more words, which are separated by one or more spaces. A word is a non-empty sequence of lowercase Latin letters. Leading and/or trailing spaces in phrases are allowed. Every phrase has at least one non-space character. See the example for clarification."},{"iden":"output","content":"Print \"_YES_\" (without the quotes) if the poem is a haiku. Otherwise, print \"_NO_\" (also without the quotes)."},{"iden":"examples","content":"Input\n\non  codeforces \nbeta round is running\n   a rustling of keys \n\nOutput\n\nYES\n\nInput\n\nhow many gallons\nof edo s rain did you drink\n                                cuckoo\n\nOutput\n\nNO"}],"translated_statement":[{"iden":"statement","content":"俳句是日本传统诗歌的一种体裁。\n\n一首俳句诗由17个音节组成，分为三句，分别包含5、7和5个音节（第一句必须恰好有5个音节，第二句必须恰好有7个音节，第三句必须恰好有5个音节）。一首俳句杰作通过这三句描述一个瞬间。在如此短小的诗中，每个词都至关重要，因此俳句富含象征意义。每个词都有其特殊含义和特殊作用。俳句的核心原则是用极少的词表达丰富的内容。\n\n为简化问题，在本题中我们规定：一句话中的音节数等于其中元音字母的个数。仅以下字母被视为元音字母：\"_a_\"、\"_e_\"、\"_i_\"、\"_o_\" 和 \"_u_\"。\n\n给定一首诗的三句话，请判断它是否为俳句。\n\n输入数据包含三行。每行长度在 #cf_span[1] 到 #cf_span[100] 之间（含端点）。第 #cf_span[i]-th 行包含诗的第 #cf_span[i]-th 句。每句由一个或多个单词组成，单词间用一个或多个空格分隔。单词是非空的小写拉丁字母序列。句首和/或句尾允许有空格。每句至少包含一个非空格字符。详见示例。\n\n如果该诗是俳句，请输出 \"_YES_\"（不含引号）；否则输出 \"_NO_\"（同样不含引号）。"},{"iden":"input","content":"输入数据包含三行。每行长度在 #cf_span[1] 到 #cf_span[100] 之间（含端点）。第 #cf_span[i]-th 行包含诗的第 #cf_span[i]-th 句。每句由一个或多个单词组成，单词间用一个或多个空格分隔。单词是非空的小写拉丁字母序列。句首和/或句尾允许有空格。每句至少包含一个非空格字符。详见示例。"},{"iden":"output","content":"如果该诗是俳句，请输出 \"_YES_\"（不含引号）；否则输出 \"_NO_\"（同样不含引号）。"},{"iden":"examples","content":"输入\n\ncodeforces beta round is running   a rustling of keys\n\n输出\n\nYES\n\n输入\n\nhow many gallonsof edo s rain did you drink                                cuckoo\n\n输出\n\nNO"}],"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ L_1, L_2, L_3 $ be the three input lines (phrases) of the poem.  \nLet $ V = \\{a, e, i, o, u\\} $ be the set of vowel letters.  \nFor a string $ s $, define $ \\text{syllables}(s) = \\sum_{c \\in s} \\mathbb{I}[c \\in V] $, where $ \\mathbb{I} $ is the indicator function.\n\n**Constraints**  \n- Each $ L_i $ is a string of length between 1 and 100, inclusive.  \n- Each $ L_i $ contains only lowercase Latin letters, spaces, and at least one non-space character.  \n- Words in each $ L_i $ are separated by one or more spaces; leading/trailing spaces are allowed.\n\n**Objective**  \nCompute $ s_i = \\text{syllables}(L_i) $ for $ i \\in \\{1,2,3\\} $.  \nOutput \"YES\" if $ s_1 = 5 $, $ s_2 = 7 $, and $ s_3 = 5 $. Otherwise, output \"NO\".","simple_statement":null,"has_page_source":false}