{"problem":{"name":"Magic 2","description":{"content":"M-kun has the following three cards: *   A red card with the integer $A$. *   A green card with the integer $B$. *   A blue card with the integer $C$. He is a genius magician who can do the followin","description_type":"Markdown"},"platform":"AtCoder","limit":{"time_limit":2000,"memory_limit":262144},"difficulty":"None","is_remote":true,"is_sync":true,"sync_url":null,"sign":"m_solutions2020_b"},"statements":[{"statement_type":"Markdown","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.\n\n## Constraints\n\n*   $1 \\leq A, B, C \\leq 7$\n*   $1 \\leq K \\leq 7$\n*   All values in input are integers.\n\n## Input\n\nInput is given from Standard Input in the following format:\n\n$A$ $B$ $C$\n$K$\n\n[samples]","is_translate":false,"language":"English"}],"meta":{"iden":"m_solutions2020_b","tags":[],"sample_group":[["7 2 5\n3","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."],["7 4 2\n3","No\n\nHe has no way to succeed in the magic with at most three operations."]],"created_at":"2026-03-03 11:01:14"}}