#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 length(char *);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, ...);
int main() {
  char s1[101], s2[101], c;
  int i, x = 0, j, k, y = 0, n, l1, l2;
  scanf("%s\n", s1);
  scanf("%c\n", &c);
  scanf("%d\n", &n);
  scanf("%s", s2);
  l1 = length(s1);
  l2 = length(s2);
  for (i = 0; i < l1; i++) {
    if (s1[i] == c)
      x++;
  }
  if (l1 >= l2) {
    for (j = 0; j < l1; j++) {
      y = 0;
      if (s1[j] == s2[0]) {
        for (k = 0; k < l2; k++) {
          if (s1[j + k] == s2[k])
            y++;
          else
            break;
        }
        if (y == (l2))
          break;
      }
    }
  }
  if (x < n || y == (l2)) {
    if (x < n && y == (l2))
      printf("NO");
    else
      printf("YES");
  } else
    printf("NO");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xec(%rbp)
movl   $0x0,-0xf8(%rbp)
lea    -0x70(%rbp),%rsi
lea    0xe9f(%rip),%rdi
mov    $0x0,%al
call   1050 <scanf@plt>
lea    0xe95(%rip),%rdi
lea    -0xe1(%rbp),%rsi
mov    $0x0,%al
call   1050 <scanf@plt>
lea    0xe84(%rip),%rdi
lea    -0xfc(%rbp),%rsi
mov    $0x0,%al
call   1050 <scanf@plt>
lea    -0xe0(%rbp),%rsi
lea    0xe6c(%rip),%rdi
mov    $0x0,%al
call   1050 <scanf@plt>
lea    -0x70(%rbp),%rdi
call   1030 <length@plt>
mov    %eax,-0x100(%rbp)
lea    -0xe0(%rbp),%rdi
call   1030 <length@plt>
mov    %eax,-0x104(%rbp)
movl   $0x0,-0xe8(%rbp)
mov    -0xe8(%rbp),%eax
cmp    -0x100(%rbp),%eax
jge    1227 <main+0xf7>
movslq -0xe8(%rbp),%rax
movsbl -0x70(%rbp,%rax,1),%eax
movsbl -0xe1(%rbp),%ecx
cmp    %ecx,%eax
jne    120e <main+0xde>
mov    -0xec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xec(%rbp)
jmp    1213 <main+0xe3>
mov    -0xe8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe8(%rbp)
jmp    11d2 <main+0xa2>
mov    -0x100(%rbp),%eax
cmp    -0x104(%rbp),%eax
jl     132c <main+0x1fc>
movl   $0x0,-0xf0(%rbp)
mov    -0xf0(%rbp),%eax
cmp    -0x100(%rbp),%eax
jge    1327 <main+0x1f7>
movl   $0x0,-0xf8(%rbp)
movslq -0xf0(%rbp),%rax
movsbl -0x70(%rbp,%rax,1),%eax
movsbl -0xe0(%rbp),%ecx
cmp    %ecx,%eax
jne    130e <main+0x1de>
movl   $0x0,-0xf4(%rbp)
mov    -0xf4(%rbp),%eax
cmp    -0x104(%rbp),%eax
jge    12f2 <main+0x1c2>
mov    -0xf0(%rbp),%eax
add    -0xf4(%rbp),%eax
cltq
movsbl -0x70(%rbp,%rax,1),%eax
movslq -0xf4(%rbp),%rcx
movsbl -0xe0(%rbp,%rcx,1),%ecx
ff
cmp    %ecx,%eax
jne    12d4 <main+0x1a4>
mov    -0xf8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf8(%rbp)
jmp    12d9 <main+0x1a9>
jmp    12f2 <main+0x1c2>
jmp    12de <main+0x1ae>
mov    -0xf4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf4(%rbp)
jmp    1284 <main+0x154>
mov    -0xf8(%rbp),%eax
cmp    -0x104(%rbp),%eax
jne    1309 <main+0x1d9>
jmp    1327 <main+0x1f7>
jmp    130e <main+0x1de>
jmp    1313 <main+0x1e3>
mov    -0xf0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf0(%rbp)
jmp    1243 <main+0x113>
jmp    132c <main+0x1fc>
mov    -0xec(%rbp),%eax
cmp    -0xfc(%rbp),%eax
jl     1350 <main+0x220>
mov    -0xf8(%rbp),%eax
cmp    -0x104(%rbp),%eax
jne    1396 <main+0x266>
mov    -0xec(%rbp),%eax
cmp    -0xfc(%rbp),%eax
jge    1385 <main+0x255>
mov    -0xf8(%rbp),%eax
cmp    -0x104(%rbp),%eax
jne    1385 <main+0x255>
lea    0xc94(%rip),%rdi
call   1040 <printf@plt>
jmp    1391 <main+0x261>
lea    0xc86(%rip),%rdi
call   1040 <printf@plt>
jmp    13a2 <main+0x272>
lea    0xc72(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0xf0,%rsp
lea    0xeca(%rip),%rdi
xor    %ebp,%ebp
lea    0x10(%rsp),%r12
mov    %r12,%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
lea    0xeb6(%rip),%rdi
lea    0xb(%rsp),%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
lea    0xea7(%rip),%rdi
lea    0xc(%rsp),%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
lea    0xe98(%rip),%rdi
lea    0x80(%rsp),%r15
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
mov    %r12,%rdi
call   1030 <length@plt>
mov    %eax,%r14d
mov    %r15,%rdi
call   1030 <length@plt>
mov    $0x0,%edx
test   %r14d,%r14d
jle    1382 <main+0x252>
mov    0xb(%rsp),%dl
mov    %r14d,%ecx
cmp    $0x8,%r14d
jae    11cd <main+0x9d>
xor    %esi,%esi
xor    %ebp,%ebp
jmp    1300 <main+0x1d0>
mov    %ecx,%esi
and    $0xfffffff8,%esi
movzbl %dl,%edi
movd   %edi,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%rsi),%rdi
mov    %rdi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdi,%rdi
je     13ce <main+0x29e>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm1,%xmm1
xor    %ebp,%ebp
movdqa 0xdf1(%rip),%xmm3
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movd   0x14(%rsp,%rbp,1),%xmm4
movdqa 0x10(%rsp,%rbp,1),%xmm5
pcmpeqb %xmm0,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm1,%xmm5
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm3,%xmm4
paddd  %xmm2,%xmm4
movq   0x18(%rsp,%rbp,1),%xmm1
movd   0x1c(%rsp,%rbp,1),%xmm2
pcmpeqb %xmm0,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm3,%xmm1
paddd  %xmm5,%xmm1
pcmpeqb %xmm0,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm3,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rdi
jne    1220 <main+0xf0>
test   $0x1,%r8b
je     12d4 <main+0x1a4>
movq   0x10(%rsp,%rbp,1),%xmm3
movd   0x14(%rsp,%rbp,1),%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movdqa 0xd48(%rip),%xmm5
pand   %xmm5,%xmm3
paddd  %xmm3,%xmm1
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm5,%xmm4
paddd  %xmm4,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebp
cmp    %rcx,%rsi
je     1315 <main+0x1e5>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %edi,%edi
cmp    %dl,0x10(%rsp,%rsi,1)
sete   %dil
add    %edi,%ebp
add    $0x1,%rsi
cmp    %rsi,%rcx
jne    1300 <main+0x1d0>
xor    %edx,%edx
cmp    %eax,%r14d
jl     1382 <main+0x252>
test   %r14d,%r14d
jle    1382 <main+0x252>
mov    0x80(%rsp),%r8b
mov    %eax,%edi
xor    %esi,%esi
jmp    1341 <main+0x211>
nop
cmp    %eax,%edx
je     1377 <main+0x247>
add    $0x1,%rsi
add    $0x1,%r12
cmp    %rcx,%rsi
je     1382 <main+0x252>
mov    $0x0,%edx
cmp    %r8b,0x10(%rsp,%rsi,1)
jne    1334 <main+0x204>
xor    %edx,%edx
test   %eax,%eax
jle    1330 <main+0x200>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%r12,%rdx,1),%ebx
cmp    0x80(%rsp,%rdx,1),%bl
jne    1330 <main+0x200>
add    $0x1,%rdx
cmp    %rdx,%rdi
jne    1360 <main+0x230>
cmp    0xc(%rsp),%ebp
setl   %cl
mov    $0x1,%bl
jmp    139d <main+0x26d>
cmp    %eax,%edx
sete   %bl
cmp    0xc(%rsp),%ebp
setl   %cl
jl     139d <main+0x26d>
cmp    %eax,%edx
je     139d <main+0x26d>
lea    0xc84(%rip),%rdi
jmp    13b7 <main+0x287>
lea    0xc7b(%rip),%rdi
lea    0xc77(%rip),%rax
test   %bl,%bl
cmove  %rax,%rdi
test   %cl,%cl
cmove  %rax,%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0xf0,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm1,%xmm1
xor    %ebp,%ebp
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    1298 <main+0x168>
jmp    12d4 <main+0x1a4>

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

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