#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, int *, ...);
int main() {
  int t, count = 0;
  scanf("%d", &t);
  for (int a0 = 0; a0 < t; a0++) {
    int n;
    int k;
    scanf("%d %d", &n, &k);
    int a[n];
    for (int a_i = 0; a_i < n; a_i++) {
      scanf("%d", &a[a_i]);
    }
    count = 0;
    for (int i = 0; i < n; i++) {
      if (a[i] <= 0)
        count++;
    }
    if (count >= k)
      printf("NO\n");
    else
      printf("YES\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
lea    0xec6(%rip),%rdi
lea    -0x8(%rbp),%rsi
mov    $0x0,%al
call   1040 <scanf@plt>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    125c <main+0x13c>
lea    0xe9e(%rip),%rdi
xor    %eax,%eax
lea    -0x14(%rbp),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <scanf@plt>
mov    -0x14(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11d6 <main+0xb6>
mov    -0x38(%rbp),%rsi
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe42(%rip),%rdi
mov    $0x0,%al
call   1040 <scanf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    119f <main+0x7f>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    121e <main+0xfe>
mov    -0x38(%rbp),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jg     120b <main+0xeb>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1210 <main+0xf0>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11e4 <main+0xc4>
mov    -0xc(%rbp),%eax
cmp    -0x18(%rbp),%eax
jl     123b <main+0x11b>
lea    0xdd5(%rip),%rdi
call   1030 <printf@plt>
jmp    1247 <main+0x127>
lea    0xdc8(%rip),%rdi
call   1030 <printf@plt>
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    114f <main+0x2f>
xor    %eax,%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
lea    0xedb(%rip),%rdi
lea    -0x30(%rbp),%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
cmpl   $0x0,-0x30(%rbp)
jle    1324 <main+0x204>
lea    0xebf(%rip),%r13
xor    %ebx,%ebx
jmp    118a <main+0x6a>
nopl   0x0(%rax,%rax,1)
cmp    -0x38(%rbp),%r14d
lea    0xeaf(%rip),%rdi
lea    0xea4(%rip),%rax
cmovl  %rax,%rdi
call   1030 <puts@plt>
mov    %r12,%rsp
add    $0x1,%ebx
cmp    -0x30(%rbp),%ebx
jge    1324 <main+0x204>
xor    %r14d,%r14d
lea    0xe7c(%rip),%rdi
lea    -0x2c(%rbp),%rsi
lea    -0x38(%rbp),%rdx
xor    %eax,%eax
call   1040 <scanf@plt>
mov    %rsp,%r12
mov    -0x2c(%rbp),%eax
mov    %rsp,%r15
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r15
mov    %r15,%rsp
cmpl   $0x0,-0x2c(%rbp)
jle    1160 <main+0x40>
mov    %r12,-0x40(%rbp)
mov    %ebx,-0x34(%rbp)
mov    %r15,%rbx
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r13,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
add    $0x1,%r12
movslq -0x2c(%rbp),%rax
add    $0x4,%rbx
cmp    %rax,%r12
jl     11e0 <main+0xc0>
mov    %eax,%eax
test   %eax,%eax
mov    -0x34(%rbp),%ebx
mov    -0x40(%rbp),%r12
jle    1160 <main+0x40>
cmp    $0x8,%eax
jae    121e <main+0xfe>
xor    %ecx,%ecx
xor    %r14d,%r14d
jmp    12f0 <main+0x1d0>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     130b <main+0x1eb>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
movdqa 0xdac(%rip),%xmm4
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqa %xmm4,%xmm2
pcmpgtd (%r15,%rsi,4),%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm4,%xmm2
pcmpgtd 0x10(%r15,%rsi,4),%xmm2
psubd  %xmm2,%xmm1
movdqa %xmm4,%xmm2
pcmpgtd 0x20(%r15,%rsi,4),%xmm2
movdqa %xmm4,%xmm3
pcmpgtd 0x30(%r15,%rsi,4),%xmm3
psubd  %xmm2,%xmm0
psubd  %xmm3,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1260 <main+0x140>
test   $0x1,%dl
je     12c7 <main+0x1a7>
movdqa %xmm4,%xmm2
pcmpgtd (%r15,%rsi,4),%xmm2
psubd  %xmm2,%xmm0
movdqa %xmm4,%xmm2
pcmpgtd 0x10(%r15,%rsi,4),%xmm2
psubd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%r14d
cmp    %rax,%rcx
je     1160 <main+0x40>
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
cmpl   $0x0,(%r15,%rcx,4)
setle  %dl
add    %edx,%r14d
add    $0x1,%rcx
cmp    %rcx,%rax
jne    12f0 <main+0x1d0>
jmp    1160 <main+0x40>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
movdqa 0xce3(%rip),%xmm4
test   $0x1,%dl
jne    12aa <main+0x18a>
jmp    12c7 <main+0x1a7>
xor    %eax,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@.str.1 = [6 x i8] c"%d %d\00"
@.str.2 = [4 x i8] c"NO\0A\00"
@.str.3 = [5 x i8] c"YES\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %3
%11 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
store i32 0, i32* %4
br label %12
12: ; preds = %62, %0
%13 = load i32, i32* %4
%14 = load i32, i32* %2
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %65
16: ; preds = %12
%17 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32* %5, i32* %6)
%18 = load i32, i32* %5
%19 = zext i32 %18 to i64
%20 = call i8* @llvm.stacksave()
store i8* %20, i8** %7
%21 = alloca i32, i64 %19
store i64 %19, i64* %8
store i32 0, i32* %9
br label %22
22: ; preds = %31, %16
%23 = load i32, i32* %9
%24 = load i32, i32* %5
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %34
26: ; preds = %22
%27 = load i32, i32* %9
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %21, i64 %28
%30 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %29)
br label %31
31: ; preds = %26
%32 = load i32, i32* %9
%33 = add nsw i32 %32, 1
store i32 %33, i32* %9
br label %22
34: ; preds = %22
store i32 0, i32* %3
store i32 0, i32* %10
br label %35
35: ; preds = %49, %34
%36 = load i32, i32* %10
%37 = load i32, i32* %5
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %52
39: ; preds = %35
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %21, i64 %41
%43 = load i32, i32* %42
%44 = icmp sle i32 %43, 0
br i1 %44, label %45, label %48
45: ; preds = %39
%46 = load i32, i32* %3
%47 = add nsw i32 %46, 1
store i32 %47, i32* %3
br label %48
48: ; preds = %45, %39
br label %49
49: ; preds = %48
%50 = load i32, i32* %10
%51 = add nsw i32 %50, 1
store i32 %51, i32* %10
br label %35
52: ; preds = %35
%53 = load i32, i32* %3
%54 = load i32, i32* %6
%55 = icmp sge i32 %53, %54
br i1 %55, label %56, label %58
56: ; preds = %52
%57 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
br label %60
58: ; preds = %52
%59 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
br label %60
60: ; preds = %58, %56
%61 = load i8*, i8** %7
br label %62
62: ; preds = %60
%63 = load i32, i32* %4
%64 = add nsw i32 %63, 1
store i32 %64, i32* %4
br label %12
65: ; preds = %12
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.1 = [6 x i8] c"%d %d\00"
@str = [4 x i8] c"YES\00"
@str.4 = [3 x i8] c"NO\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = bitcast i32* %1 to i8*
%5 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%6 = load i32, i32* %1
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %11
8: ; preds = %0
%9 = bitcast i32* %2 to i8*
%10 = bitcast i32* %3 to i8*
br label %12
11: ; preds = %105, %0
ret i32 0
12: ; preds = %8, %105
%13 = phi i32 [ 0, %8 ], [ %111, %105 ]
%14 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32* %2, i32* %3)
%15 = load i32, i32* %2
%16 = zext i32 %15 to i64
%17 = call i8* @llvm.stacksave()
%18 = alloca i32, i64 %16
%19 = load i32, i32* %2
%20 = icmp sgt i32 %19, 0
br i1 %20, label %97, label %105
21: ; preds = %97
%22 = icmp sgt i32 %102, 0
br i1 %22, label %23, label %105
23: ; preds = %21
%24 = zext i32 %102 to i64
%25 = icmp ult i32 %102, 8
br i1 %25, label %94, label %26
26: ; preds = %23
%27 = and i64 %24, 4294967288
%28 = add nsw i64 %27, -8
%29 = lshr exact i64 %28, 3
%30 = add nuw nsw i64 %29, 1
%31 = and i64 %30, 1
%32 = icmp eq i64 %28, 0
br i1 %32, label %68, label %33
33: ; preds = %26
%34 = and i64 %30, 4611686018427387902
br label %35
35: ; preds = %35, %33
%36 = phi i64 [ 0, %33 ], [ %65, %35 ]
%37 = phi <4 x i32> [ zeroinitializer, %33 ], [ %63, %35 ]
%38 = phi <4 x i32> [ zeroinitializer, %33 ], [ %64, %35 ]
%39 = phi i64 [ 0, %33 ], [ %66, %35 ]
%40 = getelementptr inbounds i32, i32* %18, i64 %36
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = getelementptr inbounds i32, i32* %40, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = icmp slt <4 x i32> %42, <i32 1, i32 1, i32 1, i32 1>
%47 = icmp slt <4 x i32> %45, <i32 1, i32 1, i32 1, i32 1>
%48 = zext <4 x i1> %46 to <4 x i32>
%49 = zext <4 x i1> %47 to <4 x i32>
%50 = add <4 x i32> %37, %48
%51 = add <4 x i32> %38, %49
%52 = or i64 %36, 8
%53 = getelementptr inbounds i32, i32* %18, i64 %52
%54 = bitcast i32* %53 to <4 x i32>*
%55 = load <4 x i32>, <4 x i32>* %54
%56 = getelementptr inbounds i32, i32* %53, i64 4
%57 = bitcast i32* %56 to <4 x i32>*
%58 = load <4 x i32>, <4 x i32>* %57
%59 = icmp slt <4 x i32> %55, <i32 1, i32 1, i32 1, i32 1>
%60 = icmp slt <4 x i32> %58, <i32 1, i32 1, i32 1, i32 1>
%61 = zext <4 x i1> %59 to <4 x i32>
%62 = zext <4 x i1> %60 to <4 x i32>
%63 = add <4 x i32> %50, %61
%64 = add <4 x i32> %51, %62
%65 = add nuw i64 %36, 16
%66 = add i64 %39, 2
%67 = icmp eq i64 %66, %34
br i1 %67, label %68, label %35
68: ; preds = %35, %26
%69 = phi <4 x i32> [ undef, %26 ], [ %63, %35 ]
%70 = phi <4 x i32> [ undef, %26 ], [ %64, %35 ]
%71 = phi i64 [ 0, %26 ], [ %65, %35 ]
%72 = phi <4 x i32> [ zeroinitializer, %26 ], [ %63, %35 ]
%73 = phi <4 x i32> [ zeroinitializer, %26 ], [ %64, %35 ]
%74 = icmp eq i64 %31, 0
br i1 %74, label %88, label %75
75: ; preds = %68
%76 = getelementptr inbounds i32, i32* %18, i64 %71
%77 = bitcast i32* %76 to <4 x i32>*
%78 = load <4 x i32>, <4 x i32>* %77
%79 = getelementptr inbounds i32, i32* %76, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = icmp slt <4 x i32> %78, <i32 1, i32 1, i32 1, i32 1>
%83 = icmp slt <4 x i32> %81, <i32 1, i32 1, i32 1, i32 1>
%84 = zext <4 x i1> %82 to <4 x i32>
%85 = zext <4 x i1> %83 to <4 x i32>
%86 = add <4 x i32> %72, %84
%87 = add <4 x i32> %73, %85
br label %88
88: ; preds = %68, %75
%89 = phi <4 x i32> [ %69, %68 ], [ %86, %75 ]
%90 = phi <4 x i32> [ %70, %68 ], [ %87, %75 ]
%91 = add <4 x i32> %90, %89
%92 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %91)
%93 = icmp eq i64 %27, %24
br i1 %93, label %105, label %94
94: ; preds = %23, %88
%95 = phi i64 [ 0, %23 ], [ %27, %88 ]
%96 = phi i32 [ 0, %23 ], [ %92, %88 ]
br label %114
97: ; preds = %12, %97
%98 = phi i64 [ %101, %97 ], [ 0, %12 ]
%99 = getelementptr inbounds i32, i32* %18, i64 %98
%100 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %99)
%101 = add nuw nsw i64 %98, 1
%102 = load i32, i32* %2
%103 = sext i32 %102 to i64
%104 = icmp slt i64 %101, %103
br i1 %104, label %97, label %21
105: ; preds = %114, %88, %12, %21
%106 = phi i32 [ 0, %21 ], [ 0, %12 ], [ %92, %88 ], [ %121, %114 ]
%107 = load i32, i32* %3
%108 = icmp slt i32 %106, %107
%109 = select i1 %108, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @str.4, i64 0, i64 0)
%110 = call i32 @puts(i8* dereferenceable(1) %109)
%111 = add nuw nsw i32 %13, 1
%112 = load i32, i32* %1
%113 = icmp slt i32 %111, %112
br i1 %113, label %12, label %11
114: ; preds = %94, %114
%115 = phi i64 [ %122, %114 ], [ %95, %94 ]
%116 = phi i32 [ %121, %114 ], [ %96, %94 ]
%117 = getelementptr inbounds i32, i32* %18, i64 %115
%118 = load i32, i32* %117
%119 = icmp slt i32 %118, 1
%120 = zext i1 %119 to i32
%121 = add nuw nsw i32 %116, %120
%122 = add nuw nsw i64 %115, 1
%123 = icmp eq i64 %122, %24
br i1 %123, label %105, label %114
}