{"raw_statement":[{"iden":"problem statement","content":"M-kun has the following three cards:\n\n*   A red card with the integer $A$.\n*   A green card with the integer $B$.\n*   A blue card with the integer $C$.\n\nHe is a genius magician who can do the following operation at most $K$ times:\n\n*   Choose one of the three cards and multiply the written integer by $2$.\n\nHis magic is successful if both of the following conditions are satisfied after the operations:\n\n*   The integer on the green card is **strictly** greater than the integer on the red card.\n*   The integer on the blue card is **strictly** greater than the integer on the green card.\n\nDetermine whether the magic can be successful."},{"iden":"constraints","content":"*   $1 \\leq A, B, C \\leq 7$\n*   $1 \\leq K \\leq 7$\n*   All values in input are integers."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$A$ $B$ $C$\n$K$"},{"iden":"sample input 1","content":"7 2 5\n3"},{"iden":"sample output 1","content":"Yes\n\nThe magic will be successful if, for example, he does the following operations:\n\n*   First, choose the blue card. The integers on the red, green, and blue cards are now $7$, $2$, and $10$, respectively.\n*   Second, choose the green card. The integers on the red, green, and blue cards are now $7$, $4$, and $10$, respectively.\n*   Third, choose the green card. The integers on the red, green, and blue cards are now $7$, $8$, and $10$, respectively."},{"iden":"sample input 2","content":"7 4 2\n3"},{"iden":"sample output 2","content":"No\n\nHe has no way to succeed in the magic with at most three operations."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}