peterverebics/CodeNet_Python_118 huggingface dataset:
a, b, c = map(int, input().split())
k = int(input())
counter = 0
while b <= a:
    b *= 2
    counter += 1
while c <= b:
    c *= 2
    counter += 1
if counter <= k:
    print('Yes')
else: 
    print('No')
a, b, c = map(int, input().split())
k = int(input())

while a >= b:
    b *= 2
    k -= 1

while b >= c:
    c *= 2
    k -= 1

print("Yes" if k >= 0 else "No")
a,b,c = map(int, input().split())
k = int(input())
cnt = 0

while a >= b:
    b *= 2
    cnt += 1
    
while b >= c:
    c *= 2
    cnt += 1

print("Yes") if k >= cnt else print("No")
A,B,C = map(int, input().split())
K = int(input())
for  i in range(K):
    if A < B:
        if B<C:
            break
        else:
            C = 2*C
    else:
        B = 2*B
if A<B<C :
    print('Yes')
else:
    print('No')
a,b,c=list(map(int,input().split()))
k=int(input())
while a>=b and k>0:
    k-=1
    b*=2
while b>=c and k>0:
    k-=1
    c*=2
if c>b and b>a:
    print('Yes')
else:
    print('No')
A,B,C = map(int,input().split())
K = int(input())

for _ in range(K):
    if(B<=A):
        B=B*2
    elif(C<=B):
        C=C*2
if((B>A) and (C>B)):
    print('Yes')
else:
    print('No')
import sys

sys.setrecursionlimit(10 ** 7)
input = sys.stdin.readline
f_inf = float('inf')
mod = 10 ** 9 + 7


def resolve():
    a, b, c = map(int, input().split())
    k = int(input())

    while k and a >= b:
        b *= 2
        k -= 1

    while k and b >= c:
        c *= 2
        k -= 1

    print("Yes" if a < b < c else "No")


if __name__ == '__main__':
    resolve()
A,B,C = map(int,input().split())
K = int(input())

for i in range(K):
  if A >= B:
    B = B*2
  else:
    C = C*2

print("Yes" if A < B and B < C else "No")
A, B, C = map(int, input().split())
K = int(input())

while A >= B:
    B *= 2
    K -= 1
    if K < 0:
        print("No")
        exit()
while B >= C:
    C *= 2
    K -= 1
    if K < 0:
        print("No")
        exit()
print("Yes")
a,b,c=map(int,input().split())
k=int(input())
for i in range(1,k+1):
  if a>=b>=c or a>=c>=b:
    c=c*2
  elif b>=a>=c or b>=c>=a:
    c=c*2
  elif c>=b>a:
    c=c*2
  elif c>b==a:
    b=b*2
  elif c>a>=b:
    b=b*2
if c>b>a:
  print('Yes')
else:
  print('No')
A, B, C = map(int, input().split())
K = int(input())
cnt = 0

while A>=B:
    cnt+=1
    B*=2
while B>=C:
    cnt+=1
    C*=2
print("Yes" if cnt<=K else "No")
A, B, C = map(int, input().split() )

t = 0
while A >= B:
  t += 1
  B *= 2
while B >= C:
  t += 1
  C *= 2

K = int(input())
print('Yes') if t <= K else print('No')
A,B,C=map(int,input().split())
K=int(input())
ans='No'
for i in range(K+1):
    if A<B:
        if B<C:
            ans='Yes'
            break
        else:
            C=C*2
    else:
        B=B*2
print(ans)
a, b, c = map(int, input().split())
k = int(input())
for i in range(k):
  if a < b < c:
    break
  elif a >= c  or b >= c:
    c *= 2
  else:
    b *= 2
if a < b < c:
  ans = 'Yes'
else:
  ans = 'No'
print(ans)
A, B, C = map(int,input().split())
K = int(input())

cnt = 0

while A >= B:
    B *= 2
    cnt += 1

while B >= C:
    C *= 2
    cnt += 1

if cnt <= K:
    print('Yes')
else:
    print('No')
a,b,c=map(int,input().split())
k=int(input())
abc=[a,b,c]
for i in range(k):
    if a>=b:
        b*=2
    elif a<b:
        if b>=c:
            c*=2
        else:
            c*=2
if a<b<c:
    print("Yes")
else:
    print("No")
a,b,c = map(int, input().split())
k = int(input())


cnt = 0
# let b > a
while a >= b:
  b *= 2
  cnt += 1

# let c > b
while b >= c:
  c *= 2
  cnt += 1

if k < cnt:
  print('No')
else:
  print('Yes')
a = list(map(int, input().split()))
b = list(map(int, input().split()))
c = 0
while a[0] >= a[1]:
  a[1] = a[1] * 2
  c += 1
while a[1] >= a[2]:
  a[2] = a[2] * 2
  c += 1
if c <= b[0]:
  print("Yes")
else:
  print("No")
a, b,c = map(int, input().split())
K = int(input())

count = 0
while a >= b:
    b *= 2
    count += 1
while b >= c:
    c *= 2
    count += 1
print("Yes" if count <= K else "No")
A, B, C = map(lambda x:int(x), input().split(' '))
K = int(input())
count = 0
while count < K:
    if A >= B:
        B *= 2
        count+=1
    elif B >= C:
        C *= 2
        count+=1
    else:
        break
if A < B < C:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())

for k in range(K):
    if A >= B:
        B = 2*B
        continue
    elif B >= C:
        C = 2*C
        continue
    elif A >= C:
        C = 2*C
        continue
        
if A < B and B < C:
    print("Yes")
else:
    print("No")
A, B, C = map(int, input().split())

K = int(input())

cnt = 0

while True:
    if A >= B:
        B *= 2
        cnt += 1

    if B >= C:
        C *= 2
        cnt += 1

    if (A < B) & (B < C):
        break

    
print("Yes" if cnt <= K else "No")
a,b,c = map(int,input().split())
k = int(input())
res = 0
while a>=b:
    b *= 2
    res += 1
while b>=c:
    c *= 2
    res += 1
if res<=k:
    print("Yes")
else:
    print("No")
A, B, C = map(int,input().split())
K = int(input())
flag = False

for p in range(8):
    for q in range(8):
        for r in range(8):
            if A * 2 ** p < B * 2 ** q < C * 2 ** r and p + q + r <= K:
                flag = True

if flag:
    print('Yes')
else:
    print('No')
a,b,c = map(int,input().split())
k = int(input())

cnt = 0
while not(a<b<c):
    if a >= b:
        b = 2*b
    else:
        if b >= c:
            c = 2*c
    
    cnt += 1

if cnt <= k:
    print("Yes")
else:
    print("No")
A, B, C = map(int, input().split())
K = int(input())

for k in range(K):
    if B <= A:
        B *= 2
    elif C <= B:
        C *= 2
        
if A < B and B < C:
    print('Yes')
else:
    print('No')
a,b,c = map(int,input().split())
k = int(input())
while((not b>a) and k):
	b*=2
	k-=1
while((not c>b) and k):
	c*=2
	k-=1
if(a<b and b<c):
	print('Yes')
else:
	print('No')
a,b,c = map(int,input().split())
k = int(input())

while k>0 and b<=a:
    b*=2
    k -= 1

while k>0 and c<=b:
    c *= 2
    k -= 1

print('Yes' if c>b>a else 'No')
import itertools
A, B, C = map(int, input().split())
K = int(input())
targets = [A, B, C]
answer = 'No'

def check(targets):
    if targets[1] > targets[0] and targets[2] > targets[1]:
        return True
    else:
        return False

cases = itertools.product([0, 1, 2], repeat=K)
for case in cases:
    copy_targets = targets.copy()
    for i in case:
        copy_targets[i] = copy_targets[i] * 2
    if check(copy_targets):
        answer = 'Yes'
        break

print(answer)
import sys
def input():
    return sys.stdin.readline()[:-1]


def main():
    A, B, C = map(int,input().split())
    K = int(input())
    count = 0
    while A >= B:
        B = B * 2
        count += 1
    while B >= C:
        C = C * 2
        count += 1
    if count <= K:
        print("Yes")
    else:
        print("No")
    
if __name__ == "__main__":
    main()
a, b, c = map(int, input().split())
k = int(input())

ans = "No"

for _ in range(k):
    if c <= b:
        c *= 2
    elif b <= a:
        b *= 2

    if c > b and b > a:
        ans = "Yes"
        break

print(ans)
a,b,c = map(int,input().split())
k = int(input())

while k>0 and b <= a:
    b*=2
    k-=1
while k>0 and c <=b:
    c*=2
    k-=1
if a <b and b<c:
    print("Yes")
else:
    print("No")
A, B, C = map(int, input().split())
K = int(input())

cnt = 0
while A >= B:
    B *= 2
    cnt += 1

while B >= C:
    C *= 2
    cnt += 1

if cnt <= K:
    print("Yes")
else:
    print("No")
def main():
    a, b, c = map(int, input().split())
    k = int(input())
    while b <= a:
        b *= 2
        k -= 1
        if k < 0:
            print('No')
            exit()
    while c <= b:
        c *= 2
        k -= 1
        if k < 0:
            print('No')
            exit()
    if a < b < c:
        print('Yes')
    else:
        print('No')

if __name__ == '__main__':
    main()
a, b, c = map(int, input().split())
k = int(input())
while a >= b and k > 0:
    b *= 2
    k -= 1
while b >= c and k > 0:
    c *= 2
    k -= 1
print('Yes' if a < b < c else 'No')
a, b, c = map(int, input().split())
k = int(input())
cnt = 0
while a >= b:
    b *= 2
    cnt += 1

while b >= c:
    c *= 2
    cnt += 1

print("Yes" if k >= cnt else "No")
A, B, C = map(int, input().split())
K = int(input())
k = 0
ans = 'Yes'
while k <= K and (B <= A or C <= B):
    if B <= A:
        B *= 2
    elif C <= B:
        C *= 2
    if k == K:
        ans = 'No'
    k += 1
print(ans)
a, b, c = map(int, input().split())
k = int(input())
n = 0
while a >= b:
    b *= 2
    n += 1
while b >= c:
    c *= 2
    n += 1

print('Yes' if n <= k else 'No')
def main():
    A, B, C = (int(x) for x in input().split(" "))
    K = int(input())
    for i in range(K):
        if A < B:
            if B < C:
                print("Yes")
                exit()
            C = 2*C
        else:
            B = 2*B

    if A < B and B < C:
        print("Yes")
    else:
        print("No")


if __name__ == '__main__':
    main()
A, B, C = map(int, input().split())
K = int(input())
cnt = 0
if A>=B:
    for i in range(K):
        B = 2*B
        cnt += 1
        if A<B:
            break
if B>=C:
     for j in range(K-cnt):
        C = 2*C
if A<B and B<C:
    print('Yes')
else:
    print('No')
import sys
a, b, c = map(int, input().split())
k = int(input())
for i in range(k):
  if a < b and b < c:
    print('Yes')
    sys.exit()
  if a >= b:
    b *= 2
  else:
    c *= 2
if a < b and b < c:
  print('Yes')
else:
  print('No')
#!/usr/bin/env python3

import sys


def judge(a, b, c, k):
    while a >= b:
        b *= 2
        k -= 1
    while b >= c:
        c *= 2
        k -= 1
    return k >= 0


def main():
    a, b, c = (int(z) for z in input().split())
    k = int(input())
    if judge(a, b, c, k):
        print("Yes")
    else:
        print("No")


if __name__ == '__main__':
    main()
a,b,c=(int(x) for x in input().split())
k=int(input())
count=0

while a>=b:
  b=b*2
  count+=1
while b>=c:
  c=c*2
  count+=1

if count <=k:
  print('Yes')
else:
  print('No')
N,M,K = map(int,input().split())
num = int(input())
while num>0:
  if K<=M or K<=N:
    K = K*2
    num -= 1
  elif M<=N:
    M = M*2
    num -= 1
  elif M>N:
    K = K*2
    num -= 1
    
if N<M and M<K:
  print('Yes')
else:
  print('No')
a,b,c=[int(i) for i in input().split()]
n=int(input())
flag=0
e=0
while(a>=b):
    b=b*2
    e=e+1
while(e<n and c<=b):
    c=c*2
    e=e+1
if(b>a and c>b and e<=n):
    print('Yes')
else:
    print('No')
def main():
    A,B,C = map(int,input().split())
    K = int(input())
    
    for k in range(K):
        if A >= B:
            B *= 2
        elif B >= C:
            C *= 2
            
    if A < B and B < C:
        print('Yes')
    else:
        print('No')
    
if __name__ == '__main__':
    main()
li = list(map(int, input().split()))
k = int(input())

for i in range(k):

    if li[0] >= li[1]:
        li[1]=li[1]*2
    elif li[2] <= li[1]:
        li[2]=li[2]*2
    if li[0] < li[1] and li[1] < li[2]:
        print("Yes")
        quit()
print("No")
a,b,c=map(int,input().split())
k=int(input())
s=0
while a>=b:
    b=2*b
    s+=1
while b>=c:
    c=2*c
    s+=1
if s<=k:
    print("Yes")
else:
    print("No")
a,b,c = list(map(int,input().split()))

k = int(input())

count=0
while True:
    if b>a:
        break
    count+=1
    b=b*2
#print(b)
while True:
    if c>b:
        break
    count+=1
    c=c*2

if count <= k:
    print('Yes')
else:
    print('No')
def resolve():
    a,b,c = list(map(int, input().split()))
    k = int(input())

    # a < b < c
    cnt = 0

    while a >= b:
        b *= 2
        cnt += 1
    
    while b >= c:
        c *= 2
        cnt += 1
    
    if cnt <= k:
        print('Yes')
    else:
        print('No')

resolve()
cards = input()
times = int(input())
card = cards.split(" ")
result = "No"
wktimes = 0
idx = 0
div = int(card[0]) / int(card[1])
while ( 2 ** idx ) <= div:
  idx = idx + 1
wktimes = idx
card[1] = int(card[1]) * ( 2 ** idx)

idx = 0
div = int(card[1]) / int(card[2])
while ( 2 ** idx ) <= div:
  idx = idx + 1
wktimes = wktimes + idx
card[2] = int(card[2]) * ( 2 ** idx)
if wktimes <= times:
  result = "Yes"
print (result)
A,B,C = map(int, input().split())
K = int(input())

for i in range(K):
    if A >= B:
        B *= 2
    else:
        C *= 2

if A < B and B < C:
    print('Yes')
else:
    print('No')
a,b,c=map(int,input().split())
k=int(input())
cnt=0
for i in range(k):
    if b>a:
        break
    else:
        b*=2
        cnt+=1
for i in range(k):
    if c>b:
        break
    else:
        c*=2
        cnt+=1

#print(a,b,c)

if cnt>k or c<=b or a>=b:
    print('No')
else:
    print('Yes')
a, b, c = list(map(int, input().split()))
k = int(input())

count = 0
while True:
    if b > a:
        break
    b *= 2
    count += 1
while True:
    if c > b:
        break
    c *= 2
    count += 1
if count <= k:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
k = int(input())
flag = False
for i in range(1,k+2):
    for j in range(1,k-i+3):
        for d in range(1,k-i-j+4):
            if (a*(2**(i-1)))<(b*(2**(j-1)))<(c*(2**(d-1))):
                flag = True
                
if flag == True:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())
while A >= B:
    B *= 2
    K -= 1
while B >= C:
    C *= 2
    K -= 1

if K >= 0:
    print('Yes')
else:
    print('No')
read = lambda: list(map(int, input().split()))
card = read()
k = int(input())
for _ in range(k):
    if card[0] >= card[1]:
        card[1] *= 2
    elif card[1] >= card[2]:
        card[2] *= 2

if card[0] < card[1] < card[2]:
    print("Yes")
else:
    print("No")
def main():
    A, B, C = map(int, input().split())
    K = int(input())
    
    while K>0:
        if A < B: break
        else:
            B*=2
            K-=1

    while K>0:
        if B < C: break
        else:
            C*=2
            K-=1


    
    ans = "No"
    if A<B and B<C:
        ans = "Yes"



    return ans

if __name__ == '__main__':
    print(main())
#m-solutions2020 b
import sys  
input = sys.stdin.readline


A,B,C = list(map(int,input().split()))
K= int(input())

cnt = 0
while B<=A:
    B *= 2
    cnt +=1
while C<=B:
    C *=2
    cnt +=1
print('Yes' if cnt <=K else 'No')
A, B, C = map(int, input().split())
K = int(input())
while K and A >= B:
    B *= 2
    K -= 1
while K and B >= C:
    C *= 2
    K -= 1
print('Yes' if A < B < C else 'No')
#!/usr/bin/env python3
# -*- coding: utf-8 -*-

import array
from bisect import *
from collections import *
import fractions
import heapq
from itertools import *
import math
import random
import re
import string
import sys

R, G, B = map(int, input().split())
K = int(input())

for k in range(K):
    if G <= R:
        G *= 2
    elif B <= G:
        B *= 2
    else:
        B *= 2

if B > G > R:
    print("Yes")
else:
    print("No")
r, g, b = map(int, input().split())
K = int(input())
while r >= g:
    g *= 2
    K -= 1
while g >= b:
    b *= 2
    K -= 1
if K >= 0:
    print("Yes")
else:
    print("No")
a, b, c = map(int, input().split())
k = int(input())
for _ in range(k + 1):
    if a >= b:
        b *= 2
        continue
    elif b >= c:
        c *= 2
        continue
    else:
        print("Yes")
        break
else:
    print("No")
from itertools import product


def f(n):
    tmp = [range(3)] * n
    return product(*tmp)


a, b, c = map(int, input().split())
K = int(input())
flag = 0
for I in f(K):
    x, y, z = a, b, c
    for i in I:
        if i == 0:
            x *= 2
        elif i == 1:
            y *= 2
        else:
            z *= 2

    if x < y < z:
        flag = 1
        break

print(['No', 'Yes'][flag])
a,b,c=map(int, input().split())
k=int(input())

for i in range(k):
    if a>=b:
        b*=2
    elif b>=c:
        c*=2

print("Yes" if c>b>a else "No")
import sys
sys.setrecursionlimit(10**6)

a, b, c = map(int, input().split())
k = int(input())

trial = 0

while trial <= k:
    if b > a and c > b:
        print('Yes')
        break
    elif b <= a:
        b *= 2
        trial += 1
    elif c <= b:
        c *= 2
        trial += 1
else:
    print('No')
#!/usr/bin/env python3

import math

numbers = input().split(" ")
a = int(numbers[0])
b = int(numbers[1])
c = int(numbers[2])

k = int(input())



for i in range(k):
    if a < b:
        break
    b *= 2
    k -= 1

c = c * (2 ** k)

if (a < b) and (b < c):
    print("Yes")
else:
    print("No")
A, B, C = map(int, input().split())
K = int(input())
cnt = 0
while not(B > A):
  B *= 2
  cnt += 1
while not(C > B):
  C *= 2
  cnt += 1
print('Yes' if cnt <= K else 'No')
r, g, b = map(int, input().split())
k = int(input())
for i in range(k):
    if b <= r or b <= g:
        b *= 2
    elif g <= r:
        g *= 2
    else:
        b *= 2
if r < g and g < b:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())
for i in range(K):
    if A >= B:
        B *= 2
    elif B >= C:
        C *= 2
if A < B < C:
    print('Yes')
else:
    print('No')
import sys
input = lambda : sys.stdin.readline().rstrip()
sys.setrecursionlimit(max(1000, 10**9))
write = lambda x: sys.stdout.write(x+"\n")


a,b,c = list(map(int, input().split()))
k = int(input())
ans = 0
while a>=b:
    b *= 2
    ans += 1
while b>=c:
    c *= 2
    ans += 1
if ans<=k:
    print("Yes")
else:
    print("No")
R,G,B=map(int,input().split())
K=int(input())


for _ in range (K) :
    if R < G :
        pass
    else:
        G*=2
        continue

    if G < B :
        pass
    else:
        B*=2
        continue
    
if R < G < B :
    print('Yes')
else :
    print('No')
a,b,c=map(int,input().split())
k=int(input())
cnt=0
while a>=b:
    b*=2
    cnt+=1
while b>=c:
    c*=2
    cnt+=1
if cnt<=k:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())

i = 0

while B<=A:
  i += 1
  B *= 2

while C<=B:
  i += 1
  C *= 2

if i<=K:
  print('Yes')
else:
  print('No')
import math
A,B,C=map(int,input().split())
K=int(input())
ans=0

while A>=B:
    B*=2
    ans+=1
while B>=C:
    C*=2
    ans+=1
if ans>K:
    print("No")
else:
    print("Yes")
def resolve():
    a,b,c = map(int, input().split())
    k=int(input())
    while True:
        if a<b and b<c:
            print("Yes")
            break
        elif k==0:
            print("No")
            break
        elif a>=b:
            b*=2
            k-=1
        elif b>=c:
            c*=2
            k-=1
resolve()
a,b,c=map(int,input().split())
k=int(input())
ans=0
while(b<=a):
    b<<=1
    ans+=1
while(c<=b):
    c<<=1
    ans+=1
if ans<=k:
    print("Yes")
else:
    print("No")
A, B, C = list(map(int, input().split()))
K = int(input())

for i in range(K):
    if B <= A:
        B = B * 2
        #print("B=",B)
    else:
        C = C * 2
        #print("C=",C)
        

if C > B and B > A:
    print("Yes")
else:
    print("No")
A,B,C = list(map(int,input().split()))
K = int(input())

ans = 0

for i in range(K):
    if A < B * (2**i) < C * (2**(K-i)):
        ans += 1
    else:
        pass

if ans > 0:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
k=int(input())
i=0
while True:
  if a<b:
    break
  b*=2
  i+=1
while True:
  if b<c:
    break
  c*=2
  i+=1
if i<=k:
  print("Yes")
elif i>k:
  print("No")
a, b, c = map(int,input().split())
k = int(input())

for i in range(k):
    if a>=b:
        b = 2*b
    elif b>=c:
        c = 2*c
    else:
        continue

if a<b<c:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
k=int(input())
while a>=b:
  b=b*2
  k=k-1
while b>=c:
  c=c*2
  k=k-1
if k>=0:
  print("Yes")
else:
  print("No")
A,B,C = map(int,input().split())
K = int(input())

for num in range(K):
  if (A >= B) :
    B = 2*B
  elif B >= C:
    C = 2*C
  else:
    A = A *2

if A<B and B < C and A < C:
  print("Yes")
else:
  print("No")
X = list(map(int,input().split()))
A = X[0]
B = X[1]
C = X[2]
K = int(input())
cnt = 0
if A > B:
  for i in range(K):
   B = B*2
   cnt = cnt + 1
   if A < B:
    break
print(B)
if B > C:
  for j in range(K):
   C = C*2
   cnt = cnt + 1
   if B < C:
    break
print(C)
print(cnt)
if cnt <= K:
  print('Yes')
else:
  print('No')
a, b, c = map(int, input().split())
k = int(input())
for i in range(k):
    if a > b:
        b *= 2
    elif b > c:
        c *= 2
print('Yes') if a < b < c else print('No')
A, B, C = map(int,(input().split()))
K = int(input())

for kkk in range(0, K-1):
    if B < A:
        B *= 2
    elif C < B:
        C *= 2

if A < B and B < C:
    print('Yes')
else:
    print('No')
R,G,B=map(int,input().split())
K=int(input())
#print(R,G,B,K)

for i in range(K):
  if(B<=G):
    B*=2
  if(G<=R):
    G*=2
#print(R,G,B,K)
if(R<G and G<B):
  print('Yes')
else:
  print('No')
a, b, c = map(int, input().split())
k = int(input())
n = 0
if a+1 > b:
    i = 1
    while b*(2**i) < a+1:
        i += 1
    n += i
    #print(n,i)
if a+2 > c:
    i = 1
    while c*(2**i) < a+2:
        i += 1
    n += i
    #print(n,i)

if k >= n:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())

for i in range(K):
    for j in range(K):
        for k in range(K):
            if i+j+k != K:
                continue
            A = A*pow(2,i)
            B = B*pow(2,j)
            C = C*pow(2,k)
            if A < B and B < C:
                print("Yes")
                exit()
print("No")
import sys
import  math
import fractions
from collections import defaultdict
stdin = sys.stdin
     
ns = lambda: stdin.readline().rstrip()
ni = lambda: int(stdin.readline().rstrip())
nm = lambda: map(int, stdin.readline().split())
nl = lambda: list(map(int, stdin.readline().split()))

A,B,C=nm()
K=int(input())

count=0
while(B<A):
    B*=2
    count+=1
while(C<B):
    C*=2
    count+=1

print('No' if K<count else 'Yes')
R, G, B = map(int, input().split())
K = int(input())

if G > 2 * R or B > 2 * G:
    print("Yes")
else:
    print("No")
r, g, b = map(int, input().split())
k = int(input())

for i in range(k):
    if r < g < b:
        break
    else:
        if b < g and b < r:
            b *= 2
        elif g < r:
            g *= 2
        else:
            r *= 2

if r < g < b:
    print("Yes")
else:
    print("No")
import numpy as np
A = [int(x) for x in input().split()]
src = np.array(A)
K = int(input())
flag = 0

for i in range(K):
  if(src[0] < src[1]):
    if(src[1] < src[2]):
      flag = 1
      break
    else:
      src[2] *= 2
  else:
    src[1] *= 2
   
if(src[0] < src[1]):
	if(src[1] < src[2]):
		print("yes")
else:
	print("no")
r, g, b = [int(x) for x in input().split()]
m = int(input())
if g < r:
    while g < r:
        g *= 2
        m += 1
if b < g:
    while b < g:
        b *= 2
        m += 1
print("Yes" if r < g < b else "No")
i = list(map(int, input().split()))
K = int(input())
red=i[0]
green=i[1]
blue=i[2]
success=0
for num in range(K):
  if green < red:
    green = green*2
  elif blue < green:
    blue = blue*2
if (blue > green and  green > red):
  print("Yes")
else:
  print("No")
i = list(map(int, input().split()))
K = int(input())
red=i[0]
red_double=i[0]*2
green=i[1]
green_double=i[1]*2
blue=i[2]
blue_double=i[2]*2
success=0

for num in range(K):
  if green < red:
    green = green_double
    green_double = green_double*2
  elif blue < green:
    blue = blue_double
    blue_double = blue_double*2
    
if (blue > green and  green > red):
  success=1

if success == 1:
  print("Yes")
else:
  print("No")
a = list(map(int, input().split()))
num = int(input())
k = 0
for i in range(num):    #num回２倍を繰り返す。でなければNoをprint
  if a[2] < max(a):   #リストaの中のmaxよりも青が小さいならば青を二倍する
    a[2] = a[2] * 2
    k += 1
  elif a[1] < max(a) and k <num:
    a[1] = a[1] * 2
    k += 1
if a[0] < a[1] and a[1] < a[2]:
  print("Yes")
else:
  print("No")
A, B, C = map(int, input().split())
K = int(input())
cnt = 0

while A > B and cnt <= K:
    B = B*2
    cnt += 1

if cnt >= K and B > C:
    print("No")
else:
    while B > C and cnt < K:
        C = C*2
        cnt += 1

if C > B:
    print("Yes")
else:
    print("No")
import sys
input = sys.stdin.readline
def main():
    A, B, C = map(int, input().split())
    K = int(input())
    for i in range(K):
        if A < B:
            break
        B *= 2
    K -= i
    for i in range(K):
        if B < C:
            break
        C *= 2
    if A < B and B < C:
        print('Yes')
    else:
        print('No')

if __name__ == '__main__':
    main()