#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 n, i, x, flag = 0;
  int a[100100];
  scanf("%d", &n);
  for (i = 0; i < n; i++) {
    scanf("%d", &a[i]);
  }
  scanf("%d", &x);
  for (i = 0; i < n; i++) {
    if (a[i] == x) {
      flag = 1;
    }
  }
  if (flag == 1)
    printf("Yes\n");
  else
    printf("No\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x61c30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x14(%rbp)
lea    0xec0(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1040 <scanf@plt>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1188 <main+0x68>
movslq -0xc(%rbp),%rax
lea    -0x61c30(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe8b(%rip),%rdi
call   1040 <scanf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1150 <main+0x30>
lea    0xe71(%rip),%rdi
lea    -0x10(%rbp),%rsi
call   1040 <scanf@plt>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11d9 <main+0xb9>
movslq -0xc(%rbp),%rax
mov    -0x61c30(%rbp,%rax,4),%eax
cmp    -0x10(%rbp),%eax
jne    11c6 <main+0xa6>
movl   $0x1,-0x14(%rbp)
jmp    11cb <main+0xab>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    119f <main+0x7f>
cmpl   $0x1,-0x14(%rbp)
jne    11f4 <main+0xd4>
lea    0xe19(%rip),%rdi
call   1030 <printf@plt>
jmp    1200 <main+0xe0>
lea    0xe0d(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x61c30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x61c20,%rsp
lea    0xecd(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1040 <scanf@plt>
cmpl   $0x0,0x8(%rsp)
jle    117d <main+0x5d>
lea    0x10(%rsp),%r15
xor    %ebx,%ebx
lea    0xeae(%rip),%r14
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r14,%rdi
mov    %r15,%rsi
call   1040 <scanf@plt>
add    $0x1,%rbx
movslq 0x8(%rsp),%rax
add    $0x4,%r15
cmp    %rax,%rbx
jl     1160 <main+0x40>
lea    0xe7c(%rip),%rdi
lea    0xc(%rsp),%rsi
call   1040 <scanf@plt>
mov    0x8(%rsp),%eax
test   %eax,%eax
jle    12de <main+0x1be>
mov    0xc(%rsp),%ecx
cmp    $0x8,%eax
jae    11ac <main+0x8c>
xor    %edx,%edx
xor    %esi,%esi
jmp    12b0 <main+0x190>
mov    %eax,%edx
and    $0xfffffff8,%edx
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rdx),%rsi
mov    %rsi,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rsi,%rsi
je     12f9 <main+0x1d9>
mov    %rbx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm3,%xmm3
xor    %edi,%edi
pxor   %xmm4,%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa 0x10(%rsp,%rdi,4),%xmm1
pcmpeqd %xmm0,%xmm1
movdqa 0x20(%rsp,%rdi,4),%xmm2
pcmpeqd %xmm0,%xmm2
movdqa 0x30(%rsp,%rdi,4),%xmm5
pcmpeqd %xmm0,%xmm5
por    %xmm1,%xmm5
movdqa 0x40(%rsp,%rdi,4),%xmm6
pcmpeqd %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm5,%xmm1
pandn  %xmm3,%xmm1
psubd  %xmm5,%xmm1
movdqa %xmm6,%xmm2
pandn  %xmm4,%xmm2
psubd  %xmm6,%xmm2
add    $0x10,%rdi
movdqa %xmm1,%xmm3
movdqa %xmm2,%xmm4
add    $0xfffffffffffffffe,%rsi
jne    11f0 <main+0xd0>
test   $0x1,%bl
je     1283 <main+0x163>
movdqa %xmm0,%xmm3
pcmpeqd 0x10(%rsp,%rdi,4),%xmm3
movdqa 0x20(%rsp,%rdi,4),%xmm4
pcmpeqd %xmm0,%xmm4
movdqa %xmm3,%xmm0
pandn  %xmm1,%xmm0
psubd  %xmm3,%xmm0
movdqa %xmm4,%xmm3
pandn  %xmm2,%xmm3
psubd  %xmm4,%xmm3
movdqa %xmm0,%xmm1
movdqa %xmm3,%xmm2
pxor   %xmm0,%xmm0
movdqa %xmm1,%xmm3
pcmpeqd %xmm0,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm1,%xmm3
por    %xmm2,%xmm3
pcmpeqd %xmm0,%xmm3
movmskps %xmm3,%edi
xor    %esi,%esi
cmp    $0xf,%edi
setne  %sil
cmp    %rax,%rdx
je     12d0 <main+0x1b0>
mov    $0x1,%edi
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %ecx,0x10(%rsp,%rdx,4)
cmove  %edi,%esi
add    $0x1,%rdx
cmp    %rdx,%rax
jne    12c0 <main+0x1a0>
cmp    $0x1,%esi
jne    12de <main+0x1be>
lea    0xd2a(%rip),%rdi
jmp    12e5 <main+0x1c5>
lea    0xd1e(%rip),%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x61c20,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret
pxor   %xmm1,%xmm1
xor    %edi,%edi
pxor   %xmm2,%xmm2
test   $0x1,%bl
jne    124f <main+0x12f>
jmp    1283 <main+0x163>

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@.str.1 = [5 x i8] c"Yes\0A\00"
@.str.2 = [4 x i8] c"No\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [100100 x i32]
store i32 0, i32* %1
store i32 0, i32* %5
%7 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
store i32 0, i32* %3
br label %8
8: ; preds = %17, %0
%9 = load i32, i32* %3
%10 = load i32, i32* %2
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %20
12: ; preds = %8
%13 = load i32, i32* %3
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds [100100 x i32], [100100 x i32]* %6, i64 0, i64 %14
%16 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %15)
br label %17
17: ; preds = %12
%18 = load i32, i32* %3
%19 = add nsw i32 %18, 1
store i32 %19, i32* %3
br label %8
20: ; preds = %8
%21 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %4)
store i32 0, i32* %3
br label %22
22: ; preds = %35, %20
%23 = load i32, i32* %3
%24 = load i32, i32* %2
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %38
26: ; preds = %22
%27 = load i32, i32* %3
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [100100 x i32], [100100 x i32]* %6, i64 0, i64 %28
%30 = load i32, i32* %29
%31 = load i32, i32* %4
%32 = icmp eq i32 %30, %31
br i1 %32, label %33, label %34
33: ; preds = %26
store i32 1, i32* %5
br label %34
34: ; preds = %33, %26
br label %35
35: ; preds = %34
%36 = load i32, i32* %3
%37 = add nsw i32 %36, 1
store i32 %37, i32* %3
br label %22
38: ; preds = %22
%39 = load i32, i32* %5
%40 = icmp eq i32 %39, 1
br i1 %40, label %41, label %43
41: ; preds = %38
%42 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
br label %45
43: ; preds = %38
%44 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
br label %45
45: ; preds = %43, %41
ret i32 0
}

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