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 following operation at most K times:    * Choose one of the three cards and multiply the written integer by 2.  His magic is successful if both of the following conditions are satisfied after the operations:    * The integer on the green card is **strictly** greater than the integer on the red card.   * The integer on the blue card is **strictly** greater than the integer on the green card.  Determine whether the magic can be successful.
import random
data = list(map(int, input().split()))
K = int(input())
for i in range(K):
    l = [0, 1, 2]
    num = random.choice(l)
    data[num] = data[num]*2
    if data[1] > data[0] and data[2] > data[1]:
        print("yes")
        exit()
print("NO")
a,b,c=map(int,input().split())
K=int(input())

isCheck = None
for i in range(K+1):
    for j in range(K+1):
        for k in range(K+1):
            x = a*2**(i)
            y = b*2**(j)
            z = c*2**(k)
            if i+j+k <= K and x < y and y < z:
                isCheck = True

if isCheck:
    print("Yes")
else:
    print("No")
