{"raw_statement":[{"iden":"statement","content":"Arild just turned $1$ year old, and is currently learning how to count. His favorite thing to count is how many mouthfuls he has in a meal: every time he gets a bite, he will count it by saying the number out loud.\n\nUnfortunately, talking while having a mouthful sometimes causes Arild to mumble incomprehensibly, making it hard to know how far he has counted. Sometimes you even suspect he loses his count! You decide to write a program to determine whether Arild's counting makes sense or not.\n\nThe first line of input contains an integer $n$ ($1 <= n <= 1 thin 000$), the number of bites Arild receives. Then second line contains $n$ space-separated words spoken by Arild, the $i$'th of which is either a non-negative integer $a_i$ ($0 <= a_i <= 10 thin 000$) or the string \"_mumble_\".\n\nIf Arild's counting might make sense, print the string \"_makes sense_\". Otherwise, print the string \"_something is fishy_\".\n\n"},{"iden":"input","content":"The first line of input contains an integer $n$ ($1 <= n <= 1 thin 000$), the number of bites Arild receives. Then second line contains $n$ space-separated words spoken by Arild, the $i$'th of which is either a non-negative integer $a_i$ ($0 <= a_i <= 10 thin 000$) or the string \"_mumble_\"."},{"iden":"output","content":"If Arild's counting might make sense, print the string \"_makes sense_\". Otherwise, print the string \"_something is fishy_\"."},{"iden":"examples","content":"Input51 2 3 mumble 5Outputmakes senseInput81 2 3 mumble mumble 7 mumble 8Outputsomething is fishyInput3mumble mumble mumbleOutputmakes sense"}],"translated_statement":null,"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ n \\in \\mathbb{Z} $ be the number of bites.  \nLet $ W = (w_1, w_2, \\dots, w_n) $ be a sequence of words, where each $ w_i $ is either a non-negative integer $ a_i \\in \\mathbb{Z}_{\\geq 0} $ or the string \"mumble\".\n\n**Constraints**  \n1. $ 1 \\leq n \\leq 1000 $  \n2. For each $ i \\in \\{1, \\dots, n\\} $:  \n   - If $ w_i \\neq \\text{\"mumble\"} $, then $ w_i = a_i $ for some $ a_i \\in \\mathbb{Z} $ with $ 0 \\leq a_i \\leq 10000 $.\n\n**Objective**  \nDetermine whether there exists an assignment of integers to \"mumble\" positions such that for all $ i \\in \\{1, \\dots, n\\} $:  \n$$\nw_i = i \\quad \\text{(if not \"mumble\")}\n$$  \nIf such an assignment exists, output \"makes sense\"; otherwise, output \"something is fishy\".","simple_statement":"Arild counts bites from 1 to n, but sometimes says \"mumble\" instead of a number. Check if the numbers he says match their position (1st bite = 1, 2nd = 2, etc.). If all said numbers are correct or mumble, print \"makes sense\". Otherwise, print \"something is fishy\".","has_page_source":false}