peterverebics/CodeNet_Python_118 huggingface dataset:
a, b, c = map(int, input().split())
k = int(input())
ans = 'Yes'
for _ in range(k):
  if a >= b:
    b = 2*b
    k -= 1
    if b > a:
      break
k_2 = k
for _ in range(k_2):
  if b >= c:
    c = 2*c
if not a < b < c:
  ans = 'No'
print(ans)
import sys, math, itertools, collections, bisect 
input = lambda: sys.stdin.buffer.readline().rstrip().decode('utf-8') 
inf = float('inf') ;mod = 10**9+7 
mans = inf ;ans = 0 ;count = 0 ;pro = 1

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 and b < c:
    print("Yes")
else:
    print("No")
A,B,C = map(int, input().split())
K = int(input())

kk=0
while B<=A:
    B = B*2
    kk+=1

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

if kk<=K:
    ans="Yes"
else:
    ans = "No"

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

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

flg = False

for i in range(k+1):
  d = 2**i*b
  e = 2**(k-i)*c
  if a < d < e:
    flg = True
    break

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

while K:
    if A >= B:
        B *= 2
    elif B >= C:
        C *= 2
    K -= 1

if A < B < C:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
K = int(input())
count = 0
j = 1


while(A>=B):
    if(count<K):
        B *= 2
        count += 1
    else:
        j = 0
        break
while(C<=B):
    if(count<K):
        C *= 2
        count += 1
    else:
        j=0
        break
    
if(j == 1):
    print('Yes')
else:
    print('No')
abc=list(map(int,input().split()))
a,b,c=abc[0],abc[1],abc[2]
k=int(input())
for i in range(k+1):
    if a < b < c:
        print("Yes")
        break
    elif b <= a < c:
        b *= 2
    else:
        c *= 2
else:
    print("No")
a,b,c = map(int,input().split())
s = int(input())
f = 0
for i in range(s+1):
  for j in range(0,s-i+1):
    for k in range(0,s-i-j+1):
      if i+j+k != s:
        continue
      else:
        A = a*(2**i)
        B = b*(2**j)
        C = c*(2**k)
        if A < B and B < C:
          f += 1
if f == 0:
  print("No")
else:
  print("Yes")
a,b,c=map(int,input().split())
k=int(input())
for _ in range(k):
    if a>=b:
        b*=2
    else:
        if b>=c:
            c*=2
if a<b<c:
    print("Yes")
else:print("No")
from sys import stdin
input = stdin.readline

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())

while K > 0 and B <= A:
    B *= 2
    K -= 1

while K > 0 and C <= B:
    C *= 2
    K -= 1

if C > B > A:
    print('Yes')
else:
    print('No')
A,B,C = map(int,input().split())
K = int(input())
i = 0
while True:
    if B > A:
        break
    else:
        B = B * 2
    i += 1
q = 0
while True:
    if C > B:
        break
    else:
        C = C * 2
    q += 1
if (i + q) > K:
    print("No")
else:
    print("Yes")
a, b, c = map(int, input().split())
k = int(input())

cnt = 0

while b <= a:
    b += b
    cnt += 1

while c <= b:
    c += c
    cnt += 1

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 '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")
r, g, b = map(int, input().split())
t = 0
while r >= g: g *= 2; t += 1
while g >= b: b *= 2; t += 1
print('No' if t > int(input()) else 'Yes')
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=list(map(int, input().split()))
K=int(input())
ct=0
while b<=a:
  b*=2
  ct+=1
while c<=b:
  c*=2
  ct+=1
if ct<=K:
  print('Yes')
else:
  print('No')
main=list(map(int,input().split()))
k=int(input())
for i in range(k):
    if(main[0]>=main[1]):
        main[1]=main[1]*2
    elif(main[1]>=main[2]):
        main[2]=main[2]*2
if(main[1]>main[0] and main[2]>main[1]): print('Yes')
else: print('No')
a, b, c = map(int, input().split())
k = int(input())

i = 0
while a >= b:
  b = b * 2
  i += 1
while b >= c:
  c = c * 2
  i += 1

if i <= k:
  print("Yes")
else:
  print("No")
a,b,c,k=map(int,open(0).read().split())
while k:k-=1;t=a<b;b*=2-t;c*=1+t
print('NYoe s'[a<b<c::2])
A,B,C = map(int,input().split(" "))
K = int(input())
for i in range(K):
    if A >= B :
        B = B*2
    else:
        if B >= C :
            C = C*2

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

    
while B>=C:
    C*=2
    a-=1
    
if a>=0:
    print('Yes')
else:
    print('No')
A,B,C=map(int,input().split())
K=int(input())
abc=[A,B,C]
#赤＜緑＜青
for _ in range(K):
    if abc[0]>=abc[1]:
        abc[1]=abc[1]*2
    elif abc[1]>=abc[2]:
        abc[2]=abc[2]*2
    else:
        print("Yes")
        exit()

if abc[0]<abc[1] and abc[1]<abc[2]:
    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())

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

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

if a < b < c:
    print("Yes")
else:
    print("No")
a,b,c,k=map(int,open(0).read().split())
while a>=b:
    k-=1
    b*=2
while b>=c:
    k-=1
    c*=2
print("Yes" if k>=0 else "No")
a,b,c = [int(x) for x in input().split(' ')]
k = int(input())
z=0
while(a>=b):
    b*=2
    z+=1
while (b>=c):
    c*=2
    z+=1
if(z<=k):
    print("Yes")
else:
    print("No")
def judge(A, B, C):
  if A < B:
    if B < C:
      return True
  return False
  
A, B, C = map(int, input().split())
K = int(input())
ans = "No"
for _ in range(K):
  if B <= A:
    B = B * 2
  elif C <= B:
    C = C * 2
  
  if judge(A, B, C):
    ans = "Yes"
    break
print(ans)
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')
A,B,C = list(map(int,input().split()))
K = int(input())
flag= 0
for i in range(K):
    if A>=B:
        B *=2
    elif C <= B:
        C *=2
    if C >B and B>A:
        flag = 1
        break
if flag == 0:
    print("No")
else:
    print("Yes")
a,b,c=map(int,input().split())
k=int(input())
for i in range(k):
  if c<=b or c <= b*2:
    c*=2
  elif b<=a or b <= a*2:
    b*=2
  else:
    a*=2
  
if a<b and b<c:
  print("Yes")
else:
  print("No")
r,g,b=map(int,input().split())
k=int(input())
cnt=0
while(True):
    #print(r,g,b)
    if(g>r and b>g):
        break
    else:
        if(g<=r):
            g=g*2
            cnt+=1
        else:
            if(b<=g):
                b=b*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("No")
else:
    print("Yes")
A, B, C = map(int, input().split())
K = int(input())
L = []
for i in range(K+1):
    for j in range(K+1):
        if i+j > K:
            break
        if A*(2**i) < B*(2**j) < C*(2**(K-i-j)):
            L.append('Yes')
            break

if len(L)==0:
    print('No')
else:
    print('Yes')
A,B,C = map(int,input().split())
K = int(input())

cnt = 0
for i in range(100):
    if A >= B:
        B *= 2
        cnt += 1

for i in range(100):
    if B >= C:
        C *= 2
        cnt += 1

if cnt > K:
    print("No")
else:
    print("Yes")
A, B, C = map(int, input().split())
K = int(input())
for _ in range(K):
    if(A>=B):
        B *= 2
        continue
    if(B>=C):
        C *= 2
if(B>A and C>B):
     print("Yes")
else:
     print("No")
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('YNeos'[n>k::2])
A, B, C = map(int, input().split())
K = int(input())

for i in range(K):
    if B <= A:
        B *= 2
    elif C <= B:
        C *= 2
    
    if A < B and B < C:
        break

if (A < B and B < C):
    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
if a < b < c and k-count>= 0:
  print("Yes")
else:
  print("No")
a, b, c = map(int, input().split())
k = int(input())

while b <= a:
    if k == 0:
        print("No")
        exit()
    b *= 2
    k -= 1

while c <= b:
    if k == 0:
        print("No")
        exit()
    c *= 2
    k -= 1

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

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

i=0
while i<K:
    if A>=B:
        B*=2
    elif B>=C:
        C*=2
    i+=1

print('Yes' if A<B<C else 'No')
A,B,C = map(int, input().split())
K=int(input())
counter = 3**K
ans = False


for i in range(counter):
    tmp = i
    Ad= A
    Bd=B
    Cd=C
    for j in range(K):
        if tmp%3 ==0:
            Ad *=2
        elif tmp%3 ==1:
            Bd*=2
        else:
            Cd*=2
        tmp =tmp//3
    if Ad<Bd and Bd<Cd:
        ans =True



if ans:
    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 or b>=c:
    print('No')
else:
    print('Yes')
a,b,c=map(int,input().split())
k=int(input())

bb=b
bcnt=0
while a>=bb:
    bb=bb*2
    bcnt+=1

cc=c
ccnt=0
while bb>=cc:
    cc=cc*2
    ccnt+=1

if bcnt+ccnt<=k:
    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

print('Yes' if cnt <= k else 'No')
def check(r, g, b):
    return g > r and b > g


def main():
    r, g, b = map(int, input().split())
    k = int(input())
    for i in range(k + 1):
        if check(r, g * pow(2, i), b * pow(2, k - i)):
            print("Yes")
            break
    else:
        print("No")

if __name__ == '__main__':
    main()
a,b,c = list(map(int,input().split()))
k = int(input())

for i in range(k):
    if a >= b:
        b *= 2
    else:
        c *= 2
if a < b < c:
    print('Yes')
else:
    print('No')
a, b, c = map(int, input().split())
k = int(input())
flag = False

for i in range(k+1):
  tb = b
  tc = c
  for j in range(i):
    tb *= 2
  for j in range(k-i):
    tc *= 2
  if tb > a and tc > tb:
    flag = True
    break

if flag:
  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 and b < c:
        break

if cnt <= k:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
d=int(input())
result=[]
for i in range(d+1):
    for j in range(d+1):
        for k in range(d+1):
            if i+j+k>d:
                continue
            n=[(2**i)*a,(2**j)*b,(2**k)*c]
            result.append(n)
for i in range(len(result)):
    m=result[i]
    if m[1]>m[0] and m[2]>m[1]:
        print('Yes')
        exit()
print('No')
a,b,c=map(int,input().split())
k=int(input())

for i in range(k):
  if ( a >= b):
    b=b*2
    continue
  elif ( b >= c ):
    c=c*2
    continue
  else:
    break
    
if (a<b and b<c):
  print("Yes")
else:
  print("No")
R,G,B=map(int,input().split())
K=int(input())


for i in range (K+1):
    if R < G < B:
        print ('Yes')
        exit()
    else:
        pass
    
    if G < B:
        pass
    else:
        B*=2
        continue

    if R < G:
        pass
    else:
        G*=2
        continue

print('No')
r, g, b = [int(x) for x in input().split()]
times = int(input())

def check(r, g, b, times):
    while True:
        if b > g > r:
            return 'Yes'
        elif b <= g:
            times -= 1
            b *= 2
        elif g <= r:
            times -= 1
            g *= 2
        if times < 0:
            return 'No'

print(check(r, g, b, times))
a, b, c = map(int, input().split())
k = int(input())

while a >= b or b >= c:
    if a >= b:
        b *= 2
        k -= 1
    else:
        if b >= c:
            c *= 2
            k -= 1

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

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

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

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

while True:
    if a >= b:
        b *= 2
        # print(b)
        k -= 1
    else:
        break
while True:
    if b >= c:
        c *= 2
        # print(c)
        k -= 1
    else:
        break

if k < 0:
    print('No')
else:
    print('Yes')
A,B,C=map(int,input().split())
K=int(input())
list=[A,B,C]

for i in range(K):
    if list[0]<list[1]<list[2]:
        break
    if list[1]>=list[2]:
        list[2]=2*list[2]
        continue
    elif list[0]>=list[1]:
        list[1]=2*list[1]

if list[0]<list[1]<list[2]:
    print("Yes")
else:
    print("No")
A,B,C = map(int,input().split())
K = int(input())
flag = True

    
  
for i in range(K+1):
  num = K-i
  for j in range(num+1):
    num2 = num-j
    if A*2**i<B*2**j:
      if B*2**j<C*2**num2:
        print("Yes")
        flag = False
        break
  if flag ==False:
    break
        
if flag == True:
  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())

while A >= B and K > 0:
    B = B*2
    K=K-1

while B >= C and K > 0:
    C = C*2
    K=K-1

if A<B and B<C:
    print("Yes")
else:
    print("No")
R, G, B = map(int, input().strip().split(" "))
K = int(input())
k = 0
while (k < K):
    if (G <= R):
        G *= 2
    elif (B <= G):
        B *= 2
    k += 1
if (B > G and G > R):
    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
  else:
    C*=2

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

cnt = 0

while not G>R:
    G *= 2
    cnt += 1

while not B>G:
    B *= 2
    cnt += 1
    
if cnt<=K:
    print("Yes")
else:
    print("No")
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

if cnt <= k:
    print('Yes')
else:
    print('No')
r, g, b = list(map(int, input().split()))
k = int(input())
count = 0

while r >= g:
  g *= 2
  count += 1
  
while g >= b:
  b *= 2
  count += 1

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

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

if a < b and b < c:
    print('Yes')
else:
    print('No')
A,B,C = [int(x) for x in input().split()]
K=int(input())
 
while(A>=B and K>0):
  B=B*2
  K-=1
 
while(B>=C and K>0):
  C=C*2
  K-=1

if B>A and C>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")
R,G,B=map(int,input().split())
K = int(input())
    
while (B<=G or G<=R) and K>0:
    if R>=G:
        G = G*2
        K = K-1
    if G>=B:
        B = B*2
        K = K-1
if R<G and G<B and K>=0:
    print("Yes")
else:
    print('No')
a, b, c = map(int, input().split())
k = int(input())
l = 0
while a >= b:
    b *= 2
    l += 1
while b >= c:
    c *= 2
    l += 1
if k >= l:
    print("Yes")
else:
    print("No")
A, B, C = map(int, input().split())
K = int(input())

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

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

A, B, C = map(int, input().split())
k = int(input())
l = ['a', 'b', 'c']
for v in itertools.combinations_with_replacement(l, k):
  new_A = A * (2**(v.count('a')))
  new_B = B * (2**(v.count('b')))
  new_C = C * (2**(v.count('c')))
  if new_A < new_B < new_C:
    print('Yes')
    exit()
    
print('No')
A, B, C = map(int, input().split())
K = int(input())

k = 0
while A >= B:
    B *= 2
    k += 1
while B >= C:
    C *= 2
    k += 1
print('Yes' if k <= K else 'No')
r, g, b  = map(int, input().split())
k = int(input())

flag=0
for i in range(k):
    if g<=r:
        g=g*2
    elif b<=g:
        b=b*2
    else:
        break
    
if b>g and g>r:
    print("Yes")
else:
    print("No")
a, b, c = map(int, input().split())
k = int(input())
while b <= a:
    b *= 2
    k -= 1
while c <= b:
    c *= 2
    k -= 1
print("Yes" if k >= 0 else "No")
red, green, blue = map(int, input().split())
K = int(input())

for i in range(K):
    if red >= green:
        green = green * 2
    elif green >= blue:
        blue = blue * 2

if red < green and green < blue:
    print('Yes')
else:
    print('No')
A,B,C = map(int,input().split())
K = int(input())

while A >= B and K > 0:
    B = B*2
    K -= 1
while B >= C and K > 0:
    C = C*2
    K -= 1
if A < B and B < C:
    print("Yes")
else:
    print("No")
A,B,C=[int(s) for s in input().split()]
X=int(input())
count=0
while A>=B:
  B*=2
  count+=1
while B>=C:
  C*=2
  count+=1
if count<=X:
  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 and b < c:
    print("Yes")
else:
    print("No")
r, g, b = input().split(' ')

n = int(input())

for i in range(0, n):
  if int(r) >= int(g):
    g = int(g) * 2
    continue
  if int(g) >= int(b):
    b = int(b) * 2
    continue
if int(r) < int(g) < int(b):
  print('Yes')
else:
  print('No')
a, b, c = map(int, input().split())
k = int(input())
n = 0
while True:
    if b <= a:
        b *= 2
        n += 1
    else:
        break
while True:
    if c <= b:
        c *= 2
        n += 1
    else:
        break
if k >= n:
    print('Yes')
else:
    print('No')
a,b,c = map(int,input().split())
k = int(input())
for i in range(k):
    if not b > a:
        b *= 2
    elif not c > b:
        c *= 2

if a<b<c:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
k=int(input())
for i in range(1,k+1):
    if a>=b:
        b*=2
    else:
        c*=2
if a<b<c:
    print('Yes')
else:
    print('No')
from itertools import product

RGB0 = [*map(int, input().split())]
K = int(input())

for K_cards in product(range(3), repeat=K):
  RGB = RGB0[:]
  if RGB[2] > RGB[1] > RGB[0]:
    print("Yes")
    exit()
  for i in range(K):
    RGB[K_cards[i]] *= 2
    if RGB[2] > RGB[1] > RGB[0]:
      print("Yes")
      exit()
print("No")
# 入力
A,B,C = list(map(int, input().split()))
K = int(input())
ans = 'No'

for i in range(K+1):
    if(A>=B):
        B *= 2
    else:
        if(B>=C):
            C *= 2
        else:
            ans = 'Yes'
            break

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

ans = 0
while b <= a:
    b *= 2
    ans += 1
while c <= b:
    c *= 2
    ans += 1
#print(a,b,c, ans)
if ans <= k:
    print('Yes')
else:
    print('No')
A, B, C = map(int, input().split())
binary = [1, 2, 4, 8, 16, 32, 64, 128, 256]
K = int(input())
flg = False
for i in range(K+1):
  for j in range(K+1):
    for k in range(K+1):
      if i + j + k == K:
        if A*binary[i] < B*binary[j] and B*binary[j] < C*binary[k]:
          flg = True
if flg:
  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
    else:
        c *= 2

if a < b < c:
    print("Yes")
else:
    print("No")
a,b,c=map(int,input().split())
n=int(input())

while a>=b:
    n-=1
    b*=2
while b>=c:
    n-=1
    c*=2

print("Yes" if n>=0 else "No")
import sys
import numpy as np

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


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

if A < B and B < C:
    print('Yes')
else:
    print('No')
import copy
import itertools
r,g, b = map(int,input().split())
k = int(input())
#hl = list(map(int,input().split()))

lst = [r,g,b]
for v in itertools.product([0,1,2], repeat=k):
    tmplst = copy.deepcopy(lst)
    for i in v:
        tmplst[i] *= 2
    if tmplst[0] < tmplst[1] < tmplst[2]:
        print('Yes')
        exit()
print('No')
A,B,C = map(int, input().split())

K = int(input())
K+=1

resu = 0

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

C = C * math.pow(2, K)
for b in range(K+1):
    if A < B and B < C:
        print("Yes")
        exit()
    C = C//2
    B = B*2
print("No")
a,b,c=map(int,input().split())
k=int(input())
while k>0:
    k-=1
    if a>=b:
        b*=2
    elif b>=c:
        c*=2
    else:
        pass
if b>a and c>b:
    print("Yes")
else:
    print('No')
a,b,c=map(int,input().split())
k=int(input())
count=0
while(b<=a):
    b=b*2
    count+=1
while(c<=b):
    c=c*2
    count+=1
if count>k:
    print("No")
else:
    print("Yes")
A, B, C = list(map(int, input().split()))
K = int(input())

def dfs(k, a, b, c):
	if k == 0:
		if b > A and c > b:
			return True
		else:
			return False

	if dfs(k - 1, a * 2, b, c):
		return True

	if dfs(k - 1, a, b * 2, c):
		return True

	if dfs(k - 1, a, b, c * 2):
		return True

	return False

r = dfs(K, A, B, C)
if r:
	print('Yes')
else:
	print('No')
a,b,c= list(map(int, input().strip().split()))
N = int(input().strip())
x=0
y=N
if b<=a:
    for i in range(100):
        b*=2
        x=x+1
        y=y-1
        if b>a:
            break

if y<0:
    if c<=b:
        print("No")
    else:
        print("Yes")
else:
    for i in range(y):
        c*=2
    if c<=b:
        print("No")
    else:
        print("Yes")
def double(x, y):
    global count

    for _ in range(7):
        if x < y:
            break

        y *= 2
        count += 1

    return y


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

    b = double(a, b)
    c = double(b, c)

    if count <= k:
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    count = 0
    main()
import itertools

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

flag = False

for arr in list(itertools.product([0,1,2], repeat=k)):
    temp = [a,b,c]
    for i in range(k):
        temp[arr[i]] = temp[arr[i]]*2

        if temp[0] < temp[1] and temp[2] > temp[1]:
            flag = True

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