#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 */
scalar_t__ isupper(char);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, char *, char *, char *);
int /*<<< orphan*/ strcat(char *, char *);
int strlen(char *);
char tolower(char);
int main() {
  char name1[101];
  char name2[101];
  char pile[101];
  char names[202];
  int letters_count_names[26] = {0};
  int letters_count_pile[26] = {0};
  scanf("%100s\n%100s\n%100s", name1, name2, pile);
  strcat(names, name1);
  strcat(names, name2);
  if (strlen(names) != strlen(pile)) {
    printf("NO\n");
    return 0;
  }
  for (int i = 0; i < strlen(names); i++) {
    if (isupper(names[i]))
      names[i] = tolower(names[i]);
    if (isupper(pile[i]))
      pile[i] = tolower(pile[i]);
  }
  for (int i = 0; i < strlen(names); i++) {
    switch (names[i]) {
    case 'a':
      letters_count_names[0]++;
      break;
    case 'b':
      letters_count_names[1]++;
      break;
    case 'c':
      letters_count_names[2]++;
      break;
    case 'd':
      letters_count_names[3]++;
      break;
    case 'e':
      letters_count_names[4]++;
      break;
    case 'f':
      letters_count_names[5]++;
      break;
    case 'g':
      letters_count_names[6]++;
      break;
    case 'h':
      letters_count_names[7]++;
      break;
    case 'i':
      letters_count_names[8]++;
      break;
    case 'j':
      letters_count_names[9]++;
      break;
    case 'k':
      letters_count_names[10]++;
      break;
    case 'l':
      letters_count_names[11]++;
      break;
    case 'm':
      letters_count_names[12]++;
      break;
    case 'n':
      letters_count_names[13]++;
      break;
    case 'o':
      letters_count_names[14]++;
      break;
    case 'p':
      letters_count_names[15]++;
      break;
    case 'q':
      letters_count_names[16]++;
      break;
    case 'r':
      letters_count_names[17]++;
      break;
    case 's':
      letters_count_names[18]++;
      break;
    case 't':
      letters_count_names[19]++;
      break;
    case 'u':
      letters_count_names[20]++;
      break;
    case 'v':
      letters_count_names[21]++;
      break;
    case 'w':
      letters_count_names[22]++;
      break;
    case 'x':
      letters_count_names[23]++;
      break;
    case 'y':
      letters_count_names[24]++;
      break;
    case 'z':
      letters_count_names[25]++;
      break;
    }
  }
  for (int i = 0; i < strlen(pile); i++) {
    switch (pile[i]) {
    case 'a':
      letters_count_pile[0]++;
      break;
    case 'b':
      letters_count_pile[1]++;
      break;
    case 'c':
      letters_count_pile[2]++;
      break;
    case 'd':
      letters_count_pile[3]++;
      break;
    case 'e':
      letters_count_pile[4]++;
      break;
    case 'f':
      letters_count_pile[5]++;
      break;
    case 'g':
      letters_count_pile[6]++;
      break;
    case 'h':
      letters_count_pile[7]++;
      break;
    case 'i':
      letters_count_pile[8]++;
      break;
    case 'j':
      letters_count_pile[9]++;
      break;
    case 'k':
      letters_count_pile[10]++;
      break;
    case 'l':
      letters_count_pile[11]++;
      break;
    case 'm':
      letters_count_pile[12]++;
      break;
    case 'n':
      letters_count_pile[13]++;
      break;
    case 'o':
      letters_count_pile[14]++;
      break;
    case 'p':
      letters_count_pile[15]++;
      break;
    case 'q':
      letters_count_pile[16]++;
      break;
    case 'r':
      letters_count_pile[17]++;
      break;
    case 's':
      letters_count_pile[18]++;
      break;
    case 't':
      letters_count_pile[19]++;
      break;
    case 'u':
      letters_count_pile[20]++;
      break;
    case 'v':
      letters_count_pile[21]++;
      break;
    case 'w':
      letters_count_pile[22]++;
      break;
    case 'x':
      letters_count_pile[23]++;
      break;
    case 'y':
      letters_count_pile[24]++;
      break;
    case 'z':
      letters_count_pile[25]++;
      break;
    }
  }
  for (int i = 0; i < 26; i++) {
    if (letters_count_names[i] != letters_count_pile[i]) {
      printf("NO\n");
      return 0;
    }
  }
  printf("YES\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x340,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x290(%rbp),%rdi
xor    %esi,%esi
mov    $0x68,%edx
call   1050 <memset@plt>
lea    -0x300(%rbp),%rdi
xor    %esi,%esi
mov    $0x68,%edx
call   1050 <memset@plt>
lea    -0x70(%rbp),%rsi
lea    -0xe0(%rbp),%rdx
lea    -0x150(%rbp),%rcx
lea    0xf0f(%rip),%rdi
call   1080 <scanf@plt>
lea    -0x220(%rbp),%rdi
lea    -0x70(%rbp),%rsi
call   1090 <strcat@plt>
lea    -0x220(%rbp),%rdi
lea    -0xe0(%rbp),%rsi
call   1090 <strcat@plt>
lea    -0x220(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x314(%rbp)
lea    -0x150(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x314(%rbp),%eax
cmp    %ecx,%eax
je     122f <main+0xbf>
lea    0xec4(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    188d <main+0x71d>
movl   $0x0,-0x304(%rbp)
mov    -0x304(%rbp),%eax
mov    %eax,-0x318(%rbp)
lea    -0x220(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x318(%rbp),%eax
cmp    %ecx,%eax
jge    12fe <main+0x18e>
movslq -0x304(%rbp),%rax
movsbl -0x220(%rbp,%rax,1),%edi
ff
call   1070 <isupper@plt>
cmp    $0x0,%rax
je     12a3 <main+0x133>
movslq -0x304(%rbp),%rax
movsbl -0x220(%rbp,%rax,1),%edi
ff
call   1060 <tolower@plt>
mov    %al,%cl
movslq -0x304(%rbp),%rax
mov    %cl,-0x220(%rbp,%rax,1)
movslq -0x304(%rbp),%rax
movsbl -0x150(%rbp,%rax,1),%edi
ff
call   1070 <isupper@plt>
cmp    $0x0,%rax
je     12e5 <main+0x175>
movslq -0x304(%rbp),%rax
movsbl -0x150(%rbp,%rax,1),%edi
ff
call   1060 <tolower@plt>
mov    %al,%cl
movslq -0x304(%rbp),%rax
mov    %cl,-0x150(%rbp,%rax,1)
jmp    12ea <main+0x17a>
mov    -0x304(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x304(%rbp)
jmp    1239 <main+0xc9>
movl   $0x0,-0x308(%rbp)
mov    -0x308(%rbp),%eax
mov    %eax,-0x31c(%rbp)
lea    -0x220(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x31c(%rbp),%eax
cmp    %ecx,%eax
jge    1587 <main+0x417>
movslq -0x308(%rbp),%rax
movsbl -0x220(%rbp,%rax,1),%eax
ff
add    $0xffffff9f,%eax
mov    %eax,%ecx
mov    %rcx,-0x328(%rbp)
sub    $0x19,%eax
ja     156e <main+0x3fe>
mov    -0x328(%rbp),%rax
lea    0xd06(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x290(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x290(%rbp)
jmp    156e <main+0x3fe>
mov    -0x28c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x288(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x288(%rbp)
jmp    156e <main+0x3fe>
mov    -0x284(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x284(%rbp)
jmp    156e <main+0x3fe>
mov    -0x280(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x280(%rbp)
jmp    156e <main+0x3fe>
mov    -0x27c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x27c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x278(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x278(%rbp)
jmp    156e <main+0x3fe>
mov    -0x274(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x274(%rbp)
jmp    156e <main+0x3fe>
mov    -0x270(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x270(%rbp)
jmp    156e <main+0x3fe>
mov    -0x26c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x26c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x268(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x268(%rbp)
jmp    156e <main+0x3fe>
mov    -0x264(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x264(%rbp)
jmp    156e <main+0x3fe>
mov    -0x260(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x260(%rbp)
jmp    156e <main+0x3fe>
mov    -0x25c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x25c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x258(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x258(%rbp)
jmp    156e <main+0x3fe>
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    156e <main+0x3fe>
mov    -0x250(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x250(%rbp)
jmp    156e <main+0x3fe>
mov    -0x24c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x248(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x248(%rbp)
jmp    156e <main+0x3fe>
mov    -0x244(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x244(%rbp)
jmp    156e <main+0x3fe>
mov    -0x240(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x240(%rbp)
jmp    156e <main+0x3fe>
mov    -0x23c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x23c(%rbp)
jmp    156e <main+0x3fe>
mov    -0x238(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x238(%rbp)
jmp    156e <main+0x3fe>
mov    -0x234(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x234(%rbp)
jmp    156e <main+0x3fe>
mov    -0x230(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x230(%rbp)
jmp    156e <main+0x3fe>
mov    -0x22c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x22c(%rbp)
jmp    1573 <main+0x403>
mov    -0x308(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x308(%rbp)
jmp    1308 <main+0x198>
movl   $0x0,-0x30c(%rbp)
mov    -0x30c(%rbp),%eax
mov    %eax,-0x32c(%rbp)
lea    -0x150(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x32c(%rbp),%eax
cmp    %ecx,%eax
jge    1810 <main+0x6a0>
movslq -0x30c(%rbp),%rax
movsbl -0x150(%rbp,%rax,1),%eax
ff
add    $0xffffff9f,%eax
mov    %eax,%ecx
mov    %rcx,-0x338(%rbp)
sub    $0x19,%eax
ja     17f7 <main+0x687>
mov    -0x338(%rbp),%rax
lea    0xa15(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x300(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x300(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2fc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2fc(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2f8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2f4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2f0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2ec(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2ec(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2e8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2e8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2e4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2e4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2e0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2e0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2dc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2dc(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2d8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2d8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2d4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2d4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2d0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2d0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2cc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2cc(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2c8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2c4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2c0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2bc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2bc(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2b8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2b4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2b0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2b0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2ac(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2ac(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2a8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2a8(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2a4(%rbp)
jmp    17f7 <main+0x687>
mov    -0x2a0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2a0(%rbp)
jmp    17f7 <main+0x687>
mov    -0x29c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x29c(%rbp)
jmp    17fc <main+0x68c>
mov    -0x30c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30c(%rbp)
jmp    1591 <main+0x421>
movl   $0x0,-0x310(%rbp)
cmpl   $0x1a,-0x310(%rbp)
jge    187a <main+0x70a>
movslq -0x310(%rbp),%rax
mov    -0x290(%rbp,%rax,4),%eax
movslq -0x310(%rbp),%rcx
cmp    -0x300(%rbp,%rcx,4),%eax
je     1861 <main+0x6f1>
lea    0x892(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    188d <main+0x71d>
jmp    1866 <main+0x6f6>
mov    -0x310(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x310(%rbp)
jmp    181a <main+0x6aa>
lea    0x865(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x340,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2e8,%rsp
lea    0xf58(%rip),%rdi
lea    0x280(%rsp),%r12
lea    0x210(%rsp),%r14
lea    0xd0(%rsp),%r15
mov    %r12,%rsi
mov    %r14,%rdx
mov    %r15,%rcx
call   1070 <scanf@plt>
lea    0x140(%rsp),%rbx
mov    %rbx,%rdi
mov    %r12,%rsi
call   1080 <strcat@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1080 <strcat@plt>
mov    %rbx,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebx
mov    %r15,%rdi
call   1040 <strlen@plt>
cmp    %eax,%ebx
jne    1251 <main+0xf1>
lea    0x140(%rsp),%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    125d <main+0xfd>
xor    %ebp,%ebp
lea    0x140(%rsp),%rbx
jmp    1203 <main+0xa3>
nop
add    $0x1,%rbp
mov    %rbx,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbp
jge    125d <main+0xfd>
movsbl 0x140(%rsp,%rbp,1),%edi
call   1060 <isupper@plt>
test   %rax,%rax
je     1229 <main+0xc9>
movsbl 0x140(%rsp,%rbp,1),%edi
call   1050 <tolower@plt>
mov    %al,0x140(%rsp,%rbp,1)
movsbl 0xd0(%rsp,%rbp,1),%edi
call   1060 <isupper@plt>
test   %rax,%rax
je     11f0 <main+0x90>
movsbl 0xd0(%rsp,%rbp,1),%edi
call   1050 <tolower@plt>
mov    %al,0xd0(%rsp,%rbp,1)
jmp    11f0 <main+0x90>
lea    0xe8e(%rip),%rdi
jmp    1a17 <main+0x8b7>
lea    0x140(%rsp),%rdi
call   1040 <strlen@plt>
xor    %ecx,%ecx
mov    %rcx,0xc0(%rsp)
mov    $0x0,%ecx
mov    %rcx,0xc8(%rsp)
movl   $0x0,0xb8(%rsp)
movl   $0x0,0xbc(%rsp)
movl   $0x0,0xb4(%rsp)
movl   $0x0,0xb0(%rsp)
movl   $0x0,0xac(%rsp)
movl   $0x0,0xa8(%rsp)
movl   $0x0,0xa0(%rsp)
movl   $0x0,0x9c(%rsp)
movl   $0x0,0x98(%rsp)
movl   $0x0,0xa4(%rsp)
movl   $0x0,0x94(%rsp)
movl   $0x0,0x90(%rsp)
movl   $0x0,0x8c(%rsp)
movl   $0x0,0x88(%rsp)
mov    $0x0,%r13d
movl   $0x0,0x84(%rsp)
movl   $0x0,0x80(%rsp)
movl   $0x0,0x7c(%rsp)
mov    $0x0,%r14d
movl   $0x0,0x78(%rsp)
movl   $0x0,0x74(%rsp)
mov    $0x0,%r12d
movl   $0x0,0x70(%rsp)
movl   $0x0,0x6c(%rsp)
movl   $0x0,0x68(%rsp)
test   %eax,%eax
jle    15e3 <main+0x483>
xor    %eax,%eax
mov    %rax,0xc8(%rsp)
lea    0x140(%rsp),%rbx
lea    0xc6c(%rip),%r15
movl   $0x0,0xb8(%rsp)
movl   $0x0,0xbc(%rsp)
movl   $0x0,0xb4(%rsp)
movl   $0x0,0xb0(%rsp)
movl   $0x0,0xac(%rsp)
movl   $0x0,0xa8(%rsp)
movl   $0x0,0xa0(%rsp)
movl   $0x0,0x9c(%rsp)
movl   $0x0,0x98(%rsp)
movl   $0x0,0xa4(%rsp)
movl   $0x0,0x94(%rsp)
movl   $0x0,0x90(%rsp)
movl   $0x0,0x8c(%rsp)
movl   $0x0,0x88(%rsp)
xor    %r13d,%r13d
movl   $0x0,0x84(%rsp)
movl   $0x0,0x80(%rsp)
movl   $0x0,0x7c(%rsp)
xor    %r14d,%r14d
movl   $0x0,0x78(%rsp)
movl   $0x0,0x74(%rsp)
xor    %r12d,%r12d
movl   $0x0,0x70(%rsp)
movl   $0x0,0x6c(%rsp)
movl   $0x0,0x68(%rsp)
xor    %ebp,%ebp
jmp    14a7 <main+0x347>
addl   $0x1,0x68(%rsp)
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rbp
mov    %rbx,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbp
jge    15e3 <main+0x483>
movsbl 0x140(%rsp,%rbp,1),%eax
add    $0xffffff9f,%eax
cmp    $0x19,%eax
ja     1490 <main+0x330>
movslq (%r15,%rax,4),%rax
add    %r15,%rax
jmp    *%rax
mov    0xc8(%rsp),%rax
add    $0x1,%eax
mov    %rax,0xc8(%rsp)
jmp    1490 <main+0x330>
addl   $0x1,0xb8(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xbc(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xb4(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xb0(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xac(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xa8(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xa0(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x9c(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x98(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0xa4(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x94(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x90(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x8c(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x88(%rsp)
01
jmp    1490 <main+0x330>
add    $0x1,%r13d
jmp    1490 <main+0x330>
addl   $0x1,0x84(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x80(%rsp)
01
jmp    1490 <main+0x330>
addl   $0x1,0x7c(%rsp)
jmp    1490 <main+0x330>
add    $0x1,%r14d
jmp    1490 <main+0x330>
addl   $0x1,0x78(%rsp)
jmp    1490 <main+0x330>
addl   $0x1,0x74(%rsp)
jmp    1490 <main+0x330>
add    $0x1,%r12d
jmp    1490 <main+0x330>
addl   $0x1,0x70(%rsp)
jmp    1490 <main+0x330>
addl   $0x1,0x6c(%rsp)
jmp    1490 <main+0x330>
lea    0xd0(%rsp),%rdi
call   1040 <strlen@plt>
movl   $0x0,0x64(%rsp)
movl   $0x0,0x60(%rsp)
movl   $0x0,0x5c(%rsp)
movl   $0x0,0x58(%rsp)
movl   $0x0,0x54(%rsp)
movl   $0x0,0x50(%rsp)
movl   $0x0,0x4c(%rsp)
movl   $0x0,0x48(%rsp)
movl   $0x0,0x44(%rsp)
movl   $0x0,0x40(%rsp)
movl   $0x0,0x3c(%rsp)
movl   $0x0,0x38(%rsp)
movl   $0x0,0x34(%rsp)
movl   $0x0,0x30(%rsp)
movl   $0x0,0x2c(%rsp)
movl   $0x0,0x28(%rsp)
movl   $0x0,0x24(%rsp)
movl   $0x0,0x20(%rsp)
movl   $0x0,0x1c(%rsp)
movl   $0x0,0x18(%rsp)
movl   $0x0,0x14(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
test   %eax,%eax
jle    18ce <main+0x76e>
xor    %eax,%eax
mov    %rax,0xc0(%rsp)
lea    0xd0(%rsp),%r15
lea    0x98f(%rip),%rbp
movl   $0x0,0x64(%rsp)
movl   $0x0,0x60(%rsp)
movl   $0x0,0x5c(%rsp)
movl   $0x0,0x58(%rsp)
movl   $0x0,0x54(%rsp)
movl   $0x0,0x50(%rsp)
movl   $0x0,0x4c(%rsp)
movl   $0x0,0x48(%rsp)
movl   $0x0,0x44(%rsp)
movl   $0x0,0x40(%rsp)
movl   $0x0,0x3c(%rsp)
movl   $0x0,0x38(%rsp)
movl   $0x0,0x34(%rsp)
movl   $0x0,0x30(%rsp)
movl   $0x0,0x2c(%rsp)
movl   $0x0,0x28(%rsp)
movl   $0x0,0x24(%rsp)
movl   $0x0,0x20(%rsp)
movl   $0x0,0x1c(%rsp)
movl   $0x0,0x18(%rsp)
movl   $0x0,0x14(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
xor    %ebx,%ebx
jmp    17c7 <main+0x667>
addl   $0x1,0x4(%rsp)
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbx
mov    %r15,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    18ce <main+0x76e>
movsbl 0xd0(%rsp,%rbx,1),%eax
add    $0xffffff9f,%eax
cmp    $0x19,%eax
ja     17b0 <main+0x650>
movslq 0x0(%rbp,%rax,4),%rax
add    %rbp,%rax
jmp    *%rax
mov    0xc0(%rsp),%rax
add    $0x1,%eax
mov    %rax,0xc0(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x64(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x60(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x5c(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x58(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x54(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x50(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x4c(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x48(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x44(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x40(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x3c(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x38(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x34(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x30(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x2c(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x28(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x24(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x20(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x1c(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x18(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x14(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x10(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0xc(%rsp)
jmp    17b0 <main+0x650>
addl   $0x1,0x8(%rsp)
jmp    17b0 <main+0x650>
mov    0x68(%rsp),%eax
xor    0x4(%rsp),%eax
mov    0x6c(%rsp),%ecx
xor    0x8(%rsp),%ecx
or     %eax,%ecx
mov    0x70(%rsp),%eax
xor    0xc(%rsp),%eax
xor    0x10(%rsp),%r12d
or     %eax,%r12d
or     %ecx,%r12d
mov    0x74(%rsp),%ecx
xor    0x14(%rsp),%ecx
mov    0x78(%rsp),%eax
xor    0x18(%rsp),%eax
or     %ecx,%eax
xor    0x1c(%rsp),%r14d
or     %eax,%r14d
or     %r12d,%r14d
mov    0x7c(%rsp),%eax
xor    0x20(%rsp),%eax
mov    0x80(%rsp),%ecx
xor    0x24(%rsp),%ecx
or     %eax,%ecx
mov    0x84(%rsp),%eax
xor    0x28(%rsp),%eax
or     %ecx,%eax
xor    0x2c(%rsp),%r13d
or     %eax,%r13d
or     %r14d,%r13d
mov    0x88(%rsp),%ecx
xor    0x30(%rsp),%ecx
mov    0x8c(%rsp),%eax
xor    0x34(%rsp),%eax
or     %ecx,%eax
mov    0x90(%rsp),%ecx
xor    0x38(%rsp),%ecx
or     %eax,%ecx
mov    0x94(%rsp),%eax
xor    0x3c(%rsp),%eax
or     %ecx,%eax
mov    0xa4(%rsp),%esi
xor    0x40(%rsp),%esi
or     %eax,%esi
or     %r13d,%esi
mov    0x98(%rsp),%eax
xor    0x44(%rsp),%eax
mov    0x9c(%rsp),%ecx
xor    0x48(%rsp),%ecx
or     %eax,%ecx
mov    0xa0(%rsp),%eax
xor    0x4c(%rsp),%eax
or     %ecx,%eax
mov    0xa8(%rsp),%ecx
xor    0x50(%rsp),%ecx
or     %eax,%ecx
mov    0xac(%rsp),%eax
xor    0x54(%rsp),%eax
or     %ecx,%eax
mov    0xb0(%rsp),%edx
xor    0x58(%rsp),%edx
or     %eax,%edx
or     %esi,%edx
mov    0xb4(%rsp),%eax
xor    0x5c(%rsp),%eax
mov    0xbc(%rsp),%ecx
xor    0x60(%rsp),%ecx
or     %eax,%ecx
or     %edx,%ecx
mov    0xb8(%rsp),%edx
xor    0x64(%rsp),%edx
mov    0xc8(%rsp),%rax
xor    0xc0(%rsp),%eax
or     %edx,%eax
or     %ecx,%eax
lea    0x6d6(%rip),%rax
lea    0x6d3(%rip),%rdi
cmove  %rax,%rdi
call   1030 <puts@plt>
xor    %eax,%eax
add    $0x2e8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [18 x i8] c"%100s\0A%100s\0A%100s\00"
@.str.1 = [4 x i8] c"NO\0A\00"
@.str.2 = [5 x i8] c"YES\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [101 x i8]
%3 = alloca [101 x i8]
%4 = alloca [101 x i8]
%5 = alloca [202 x i8]
%6 = alloca [26 x i32]
%7 = alloca [26 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 0, i32* %1
%12 = bitcast [26 x i32]* %6 to i8*
%13 = bitcast [26 x i32]* %7 to i8*
%14 = getelementptr inbounds [101 x i8], [101 x i8]* %2, i64 0, i64 0
%15 = getelementptr inbounds [101 x i8], [101 x i8]* %3, i64 0, i64 0
%16 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 0
%17 = call i32 @scanf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i8* %14, i8* %15, i8* %16)
%18 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 0
%19 = getelementptr inbounds [101 x i8], [101 x i8]* %2, i64 0, i64 0
%20 = call i32 @strcat(i8* %18, i8* %19)
%21 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 0
%22 = getelementptr inbounds [101 x i8], [101 x i8]* %3, i64 0, i64 0
%23 = call i32 @strcat(i8* %21, i8* %22)
%24 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 0
%25 = call i32 @strlen(i8* %24)
%26 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 0
%27 = call i32 @strlen(i8* %26)
%28 = icmp ne i32 %25, %27
br i1 %28, label %29, label %31
29: ; preds = %0
%30 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %335
31: ; preds = %0
store i32 0, i32* %8
br label %32
32: ; preds = %70, %31
%33 = load i32, i32* %8
%34 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 0
%35 = call i32 @strlen(i8* %34)
%36 = icmp slt i32 %33, %35
br i1 %36, label %37, label %73
37: ; preds = %32
%38 = load i32, i32* %8
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 %39
%41 = load i8, i8* %40
%42 = call i64 @isupper(i8 signext %41)
%43 = icmp ne i64 %42, 0
br i1 %43, label %44, label %53
44: ; preds = %37
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 %46
%48 = load i8, i8* %47
%49 = call signext i8 @tolower(i8 signext %48)
%50 = load i32, i32* %8
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 %51
store i8 %49, i8* %52
br label %53
53: ; preds = %44, %37
%54 = load i32, i32* %8
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 %55
%57 = load i8, i8* %56
%58 = call i64 @isupper(i8 signext %57)
%59 = icmp ne i64 %58, 0
br i1 %59, label %60, label %69
60: ; preds = %53
%61 = load i32, i32* %8
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 %62
%64 = load i8, i8* %63
%65 = call signext i8 @tolower(i8 signext %64)
%66 = load i32, i32* %8
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 %67
store i8 %65, i8* %68
br label %69
69: ; preds = %60, %53
br label %70
70: ; preds = %69
%71 = load i32, i32* %8
%72 = add nsw i32 %71, 1
store i32 %72, i32* %8
br label %32
73: ; preds = %32
store i32 0, i32* %9
br label %74
74: ; preds = %190, %73
%75 = load i32, i32* %9
%76 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 0
%77 = call i32 @strlen(i8* %76)
%78 = icmp slt i32 %75, %77
br i1 %78, label %79, label %193
79: ; preds = %74
%80 = load i32, i32* %9
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [202 x i8], [202 x i8]* %5, i64 0, i64 %81
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
switch i32 %84, label %189 [
i32 97, label %85
i32 98, label %89
i32 99, label %93
i32 100, label %97
i32 101, label %101
i32 102, label %105
i32 103, label %109
i32 104, label %113
i32 105, label %117
i32 106, label %121
i32 107, label %125
i32 108, label %129
i32 109, label %133
i32 110, label %137
i32 111, label %141
i32 112, label %145
i32 113, label %149
i32 114, label %153
i32 115, label %157
i32 116, label %161
i32 117, label %165
i32 118, label %169
i32 119, label %173
i32 120, label %177
i32 121, label %181
i32 122, label %185
]
85: ; preds = %79
%86 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 0
%87 = load i32, i32* %86
%88 = add nsw i32 %87, 1
store i32 %88, i32* %86
br label %189
89: ; preds = %79
%90 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 1
%91 = load i32, i32* %90
%92 = add nsw i32 %91, 1
store i32 %92, i32* %90
br label %189
93: ; preds = %79
%94 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 2
%95 = load i32, i32* %94
%96 = add nsw i32 %95, 1
store i32 %96, i32* %94
br label %189
97: ; preds = %79
%98 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 3
%99 = load i32, i32* %98
%100 = add nsw i32 %99, 1
store i32 %100, i32* %98
br label %189
101: ; preds = %79
%102 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 4
%103 = load i32, i32* %102
%104 = add nsw i32 %103, 1
store i32 %104, i32* %102
br label %189
105: ; preds = %79
%106 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 5
%107 = load i32, i32* %106
%108 = add nsw i32 %107, 1
store i32 %108, i32* %106
br label %189
109: ; preds = %79
%110 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 6
%111 = load i32, i32* %110
%112 = add nsw i32 %111, 1
store i32 %112, i32* %110
br label %189
113: ; preds = %79
%114 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 7
%115 = load i32, i32* %114
%116 = add nsw i32 %115, 1
store i32 %116, i32* %114
br label %189
117: ; preds = %79
%118 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 8
%119 = load i32, i32* %118
%120 = add nsw i32 %119, 1
store i32 %120, i32* %118
br label %189
121: ; preds = %79
%122 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 9
%123 = load i32, i32* %122
%124 = add nsw i32 %123, 1
store i32 %124, i32* %122
br label %189
125: ; preds = %79
%126 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 10
%127 = load i32, i32* %126
%128 = add nsw i32 %127, 1
store i32 %128, i32* %126
br label %189
129: ; preds = %79
%130 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 11
%131 = load i32, i32* %130
%132 = add nsw i32 %131, 1
store i32 %132, i32* %130
br label %189
133: ; preds = %79
%134 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 12
%135 = load i32, i32* %134
%136 = add nsw i32 %135, 1
store i32 %136, i32* %134
br label %189
137: ; preds = %79
%138 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 13
%139 = load i32, i32* %138
%140 = add nsw i32 %139, 1
store i32 %140, i32* %138
br label %189
141: ; preds = %79
%142 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 14
%143 = load i32, i32* %142
%144 = add nsw i32 %143, 1
store i32 %144, i32* %142
br label %189
145: ; preds = %79
%146 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 15
%147 = load i32, i32* %146
%148 = add nsw i32 %147, 1
store i32 %148, i32* %146
br label %189
149: ; preds = %79
%150 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 16
%151 = load i32, i32* %150
%152 = add nsw i32 %151, 1
store i32 %152, i32* %150
br label %189
153: ; preds = %79
%154 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 17
%155 = load i32, i32* %154
%156 = add nsw i32 %155, 1
store i32 %156, i32* %154
br label %189
157: ; preds = %79
%158 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 18
%159 = load i32, i32* %158
%160 = add nsw i32 %159, 1
store i32 %160, i32* %158
br label %189
161: ; preds = %79
%162 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 19
%163 = load i32, i32* %162
%164 = add nsw i32 %163, 1
store i32 %164, i32* %162
br label %189
165: ; preds = %79
%166 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 20
%167 = load i32, i32* %166
%168 = add nsw i32 %167, 1
store i32 %168, i32* %166
br label %189
169: ; preds = %79
%170 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 21
%171 = load i32, i32* %170
%172 = add nsw i32 %171, 1
store i32 %172, i32* %170
br label %189
173: ; preds = %79
%174 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 22
%175 = load i32, i32* %174
%176 = add nsw i32 %175, 1
store i32 %176, i32* %174
br label %189
177: ; preds = %79
%178 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 23
%179 = load i32, i32* %178
%180 = add nsw i32 %179, 1
store i32 %180, i32* %178
br label %189
181: ; preds = %79
%182 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 24
%183 = load i32, i32* %182
%184 = add nsw i32 %183, 1
store i32 %184, i32* %182
br label %189
185: ; preds = %79
%186 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 25
%187 = load i32, i32* %186
%188 = add nsw i32 %187, 1
store i32 %188, i32* %186
br label %189
189: ; preds = %79, %185, %181, %177, %173, %169, %165, %161, %157, %153, %149, %145, %141, %137, %133, %129, %125, %121, %117, %113, %109, %105, %101, %97, %93, %89, %85
br label %190
190: ; preds = %189
%191 = load i32, i32* %9
%192 = add nsw i32 %191, 1
store i32 %192, i32* %9
br label %74
193: ; preds = %74
store i32 0, i32* %10
br label %194
194: ; preds = %310, %193
%195 = load i32, i32* %10
%196 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 0
%197 = call i32 @strlen(i8* %196)
%198 = icmp slt i32 %195, %197
br i1 %198, label %199, label %313
199: ; preds = %194
%200 = load i32, i32* %10
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds [101 x i8], [101 x i8]* %4, i64 0, i64 %201
%203 = load i8, i8* %202
%204 = sext i8 %203 to i32
switch i32 %204, label %309 [
i32 97, label %205
i32 98, label %209
i32 99, label %213
i32 100, label %217
i32 101, label %221
i32 102, label %225
i32 103, label %229
i32 104, label %233
i32 105, label %237
i32 106, label %241
i32 107, label %245
i32 108, label %249
i32 109, label %253
i32 110, label %257
i32 111, label %261
i32 112, label %265
i32 113, label %269
i32 114, label %273
i32 115, label %277
i32 116, label %281
i32 117, label %285
i32 118, label %289
i32 119, label %293
i32 120, label %297
i32 121, label %301
i32 122, label %305
]
205: ; preds = %199
%206 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 0
%207 = load i32, i32* %206
%208 = add nsw i32 %207, 1
store i32 %208, i32* %206
br label %309
209: ; preds = %199
%210 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 1
%211 = load i32, i32* %210
%212 = add nsw i32 %211, 1
store i32 %212, i32* %210
br label %309
213: ; preds = %199
%214 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 2
%215 = load i32, i32* %214
%216 = add nsw i32 %215, 1
store i32 %216, i32* %214
br label %309
217: ; preds = %199
%218 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 3
%219 = load i32, i32* %218
%220 = add nsw i32 %219, 1
store i32 %220, i32* %218
br label %309
221: ; preds = %199
%222 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 4
%223 = load i32, i32* %222
%224 = add nsw i32 %223, 1
store i32 %224, i32* %222
br label %309
225: ; preds = %199
%226 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 5
%227 = load i32, i32* %226
%228 = add nsw i32 %227, 1
store i32 %228, i32* %226
br label %309
229: ; preds = %199
%230 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 6
%231 = load i32, i32* %230
%232 = add nsw i32 %231, 1
store i32 %232, i32* %230
br label %309
233: ; preds = %199
%234 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 7
%235 = load i32, i32* %234
%236 = add nsw i32 %235, 1
store i32 %236, i32* %234
br label %309
237: ; preds = %199
%238 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 8
%239 = load i32, i32* %238
%240 = add nsw i32 %239, 1
store i32 %240, i32* %238
br label %309
241: ; preds = %199
%242 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 9
%243 = load i32, i32* %242
%244 = add nsw i32 %243, 1
store i32 %244, i32* %242
br label %309
245: ; preds = %199
%246 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 10
%247 = load i32, i32* %246
%248 = add nsw i32 %247, 1
store i32 %248, i32* %246
br label %309
249: ; preds = %199
%250 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 11
%251 = load i32, i32* %250
%252 = add nsw i32 %251, 1
store i32 %252, i32* %250
br label %309
253: ; preds = %199
%254 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 12
%255 = load i32, i32* %254
%256 = add nsw i32 %255, 1
store i32 %256, i32* %254
br label %309
257: ; preds = %199
%258 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 13
%259 = load i32, i32* %258
%260 = add nsw i32 %259, 1
store i32 %260, i32* %258
br label %309
261: ; preds = %199
%262 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 14
%263 = load i32, i32* %262
%264 = add nsw i32 %263, 1
store i32 %264, i32* %262
br label %309
265: ; preds = %199
%266 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 15
%267 = load i32, i32* %266
%268 = add nsw i32 %267, 1
store i32 %268, i32* %266
br label %309
269: ; preds = %199
%270 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 16
%271 = load i32, i32* %270
%272 = add nsw i32 %271, 1
store i32 %272, i32* %270
br label %309
273: ; preds = %199
%274 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 17
%275 = load i32, i32* %274
%276 = add nsw i32 %275, 1
store i32 %276, i32* %274
br label %309
277: ; preds = %199
%278 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 18
%279 = load i32, i32* %278
%280 = add nsw i32 %279, 1
store i32 %280, i32* %278
br label %309
281: ; preds = %199
%282 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 19
%283 = load i32, i32* %282
%284 = add nsw i32 %283, 1
store i32 %284, i32* %282
br label %309
285: ; preds = %199
%286 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 20
%287 = load i32, i32* %286
%288 = add nsw i32 %287, 1
store i32 %288, i32* %286
br label %309
289: ; preds = %199
%290 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 21
%291 = load i32, i32* %290
%292 = add nsw i32 %291, 1
store i32 %292, i32* %290
br label %309
293: ; preds = %199
%294 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 22
%295 = load i32, i32* %294
%296 = add nsw i32 %295, 1
store i32 %296, i32* %294
br label %309
297: ; preds = %199
%298 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 23
%299 = load i32, i32* %298
%300 = add nsw i32 %299, 1
store i32 %300, i32* %298
br label %309
301: ; preds = %199
%302 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 24
%303 = load i32, i32* %302
%304 = add nsw i32 %303, 1
store i32 %304, i32* %302
br label %309
305: ; preds = %199
%306 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 25
%307 = load i32, i32* %306
%308 = add nsw i32 %307, 1
store i32 %308, i32* %306
br label %309
309: ; preds = %199, %305, %301, %297, %293, %289, %285, %281, %277, %273, %269, %265, %261, %257, %253, %249, %245, %241, %237, %233, %229, %225, %221, %217, %213, %209, %205
br label %310
310: ; preds = %309
%311 = load i32, i32* %10
%312 = add nsw i32 %311, 1
store i32 %312, i32* %10
br label %194
313: ; preds = %194
store i32 0, i32* %11
br label %314
314: ; preds = %330, %313
%315 = load i32, i32* %11
%316 = icmp slt i32 %315, 26
br i1 %316, label %317, label %333
317: ; preds = %314
%318 = load i32, i32* %11
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds [26 x i32], [26 x i32]* %6, i64 0, i64 %319
%321 = load i32, i32* %320
%322 = load i32, i32* %11
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds [26 x i32], [26 x i32]* %7, i64 0, i64 %323
%325 = load i32, i32* %324
%326 = icmp ne i32 %321, %325
br i1 %326, label %327, label %329
327: ; preds = %317
%328 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %335
329: ; preds = %317
br label %330
330: ; preds = %329
%331 = load i32, i32* %11
%332 = add nsw i32 %331, 1
store i32 %332, i32* %11
br label %314
333: ; preds = %314
%334 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %1
br label %335
335: ; preds = %333, %327, %29
%336 = load i32, i32* %1
ret i32 %336
}

LLVM IR (-O2):
@.str = [18 x i8] c"%100s\0A%100s\0A%100s\00"
@str = [4 x i8] c"YES\00"
@str.4 = [3 x i8] c"NO\00"
define i32 @main() {
%1 = alloca [101 x i8]
%2 = alloca [101 x i8]
%3 = alloca [101 x i8]
%4 = alloca [202 x i8]
%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 = getelementptr inbounds [101 x i8], [101 x i8]* %3, i64 0, i64 0
%8 = getelementptr inbounds [202 x i8], [202 x i8]* %4, i64 0, i64 0
%9 = call i32 @scanf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i8* %5, i8* %6, i8* %7)
%10 = call i32 @strcat(i8* %8, i8* %5)
%11 = call i32 @strcat(i8* %8, i8* %6)
%12 = call i32 @strlen(i8* %8)
%13 = call i32 @strlen(i8* %7)
%14 = icmp eq i32 %12, %13
br i1 %14, label %15, label %379
15: ; preds = %0
%16 = call i32 @strlen(i8* %8)
%17 = icmp sgt i32 %16, 0
br i1 %17, label %21, label %18
18: ; preds = %38, %15
%19 = call i32 @strlen(i8* %8)
%20 = icmp sgt i32 %19, 0
br i1 %20, label %72, label %43
21: ; preds = %15, %38
%22 = phi i64 [ %39, %38 ], [ 0, %15 ]
%23 = getelementptr inbounds [202 x i8], [202 x i8]* %4, i64 0, i64 %22
%24 = load i8, i8* %23
%25 = call i64 @isupper(i8 signext %24)
%26 = icmp eq i64 %25, 0
br i1 %26, label %30, label %27
27: ; preds = %21
%28 = load i8, i8* %23
%29 = call signext i8 @tolower(i8 signext %28)
store i8 %29, i8* %23
br label %30
30: ; preds = %27, %21
%31 = getelementptr inbounds [101 x i8], [101 x i8]* %3, i64 0, i64 %22
%32 = load i8, i8* %31
%33 = call i64 @isupper(i8 signext %32)
%34 = icmp eq i64 %33, 0
br i1 %34, label %38, label %35
35: ; preds = %30
%36 = load i8, i8* %31
%37 = call signext i8 @tolower(i8 signext %36)
store i8 %37, i8* %31
br label %38
38: ; preds = %30, %35
%39 = add nuw nsw i64 %22, 1
%40 = call i32 @strlen(i8* %8)
%41 = sext i32 %40 to i64
%42 = icmp slt i64 %39, %41
br i1 %42, label %21, label %18
43: ; preds = %155, %18
%44 = phi i32 [ 0, %18 ], [ %156, %155 ]
%45 = phi i32 [ 0, %18 ], [ %157, %155 ]
%46 = phi i32 [ 0, %18 ], [ %158, %155 ]
%47 = phi i32 [ 0, %18 ], [ %159, %155 ]
%48 = phi i32 [ 0, %18 ], [ %160, %155 ]
%49 = phi i32 [ 0, %18 ], [ %161, %155 ]
%50 = phi i32 [ 0, %18 ], [ %162, %155 ]
%51 = phi i32 [ 0, %18 ], [ %163, %155 ]
%52 = phi i32 [ 0, %18 ], [ %164, %155 ]
%53 = phi i32 [ 0, %18 ], [ %165, %155 ]
%54 = phi i32 [ 0, %18 ], [ %166, %155 ]
%55 = phi i32 [ 0, %18 ], [ %167, %155 ]
%56 = phi i32 [ 0, %18 ], [ %168, %155 ]
%57 = phi i32 [ 0, %18 ], [ %169, %155 ]
%58 = phi i32 [ 0, %18 ], [ %170, %155 ]
%59 = phi i32 [ 0, %18 ], [ %171, %155 ]
%60 = phi i32 [ 0, %18 ], [ %172, %155 ]
%61 = phi i32 [ 0, %18 ], [ %173, %155 ]
%62 = phi i32 [ 0, %18 ], [ %174, %155 ]
%63 = phi i32 [ 0, %18 ], [ %175, %155 ]
%64 = phi i32 [ 0, %18 ], [ %176, %155 ]
%65 = phi i32 [ 0, %18 ], [ %177, %155 ]
%66 = phi i32 [ 0, %18 ], [ %178, %155 ]
%67 = phi i32 [ 0, %18 ], [ %179, %155 ]
%68 = phi i32 [ 0, %18 ], [ %180, %155 ]
%69 = phi i32 [ 0, %18 ], [ %181, %155 ]
%70 = call i32 @strlen(i8* %7)
%71 = icmp sgt i32 %70, 0
br i1 %71, label %265, label %186
72: ; preds = %18, %155
%73 = phi i32 [ %156, %155 ], [ 0, %18 ]
%74 = phi i32 [ %157, %155 ], [ 0, %18 ]
%75 = phi i32 [ %158, %155 ], [ 0, %18 ]
%76 = phi i32 [ %159, %155 ], [ 0, %18 ]
%77 = phi i32 [ %160, %155 ], [ 0, %18 ]
%78 = phi i32 [ %161, %155 ], [ 0, %18 ]
%79 = phi i32 [ %162, %155 ], [ 0, %18 ]
%80 = phi i32 [ %163, %155 ], [ 0, %18 ]
%81 = phi i32 [ %164, %155 ], [ 0, %18 ]
%82 = phi i32 [ %165, %155 ], [ 0, %18 ]
%83 = phi i32 [ %166, %155 ], [ 0, %18 ]
%84 = phi i32 [ %167, %155 ], [ 0, %18 ]
%85 = phi i32 [ %168, %155 ], [ 0, %18 ]
%86 = phi i32 [ %169, %155 ], [ 0, %18 ]
%87 = phi i32 [ %170, %155 ], [ 0, %18 ]
%88 = phi i32 [ %171, %155 ], [ 0, %18 ]
%89 = phi i32 [ %172, %155 ], [ 0, %18 ]
%90 = phi i32 [ %173, %155 ], [ 0, %18 ]
%91 = phi i32 [ %174, %155 ], [ 0, %18 ]
%92 = phi i32 [ %175, %155 ], [ 0, %18 ]
%93 = phi i32 [ %176, %155 ], [ 0, %18 ]
%94 = phi i32 [ %177, %155 ], [ 0, %18 ]
%95 = phi i32 [ %178, %155 ], [ 0, %18 ]
%96 = phi i32 [ %179, %155 ], [ 0, %18 ]
%97 = phi i32 [ %180, %155 ], [ 0, %18 ]
%98 = phi i32 [ %181, %155 ], [ 0, %18 ]
%99 = phi i64 [ %182, %155 ], [ 0, %18 ]
%100 = getelementptr inbounds [202 x i8], [202 x i8]* %4, i64 0, i64 %99
%101 = load i8, i8* %100
%102 = sext i8 %101 to i32
switch i32 %102, label %155 [
i32 97, label %103
i32 98, label %105
i32 99, label %107
i32 100, label %109
i32 101, label %111
i32 102, label %113
i32 103, label %115
i32 104, label %117
i32 105, label %119
i32 106, label %121
i32 107, label %123
i32 108, label %125
i32 109, label %127
i32 110, label %129
i32 111, label %131
i32 112, label %133
i32 113, label %135
i32 114, label %137
i32 115, label %139
i32 116, label %141
i32 117, label %143
i32 118, label %145
i32 119, label %147
i32 120, label %149
i32 121, label %151
i32 122, label %153
]
103: ; preds = %72
%104 = add nsw i32 %73, 1
br label %155
105: ; preds = %72
%106 = add nsw i32 %74, 1
br label %155
107: ; preds = %72
%108 = add nsw i32 %75, 1
br label %155
109: ; preds = %72
%110 = add nsw i32 %76, 1
br label %155
111: ; preds = %72
%112 = add nsw i32 %77, 1
br label %155
113: ; preds = %72
%114 = add nsw i32 %78, 1
br label %155
115: ; preds = %72
%116 = add nsw i32 %79, 1
br label %155
117: ; preds = %72
%118 = add nsw i32 %80, 1
br label %155
119: ; preds = %72
%120 = add nsw i32 %81, 1
br label %155
121: ; preds = %72
%122 = add nsw i32 %82, 1
br label %155
123: ; preds = %72
%124 = add nsw i32 %83, 1
br label %155
125: ; preds = %72
%126 = add nsw i32 %84, 1
br label %155
127: ; preds = %72
%128 = add nsw i32 %85, 1
br label %155
129: ; preds = %72
%130 = add nsw i32 %86, 1
br label %155
131: ; preds = %72
%132 = add nsw i32 %87, 1
br label %155
133: ; preds = %72
%134 = add nsw i32 %88, 1
br label %155
135: ; preds = %72
%136 = add nsw i32 %89, 1
br label %155
137: ; preds = %72
%138 = add nsw i32 %90, 1
br label %155
139: ; preds = %72
%140 = add nsw i32 %91, 1
br label %155
141: ; preds = %72
%142 = add nsw i32 %92, 1
br label %155
143: ; preds = %72
%144 = add nsw i32 %93, 1
br label %155
145: ; preds = %72
%146 = add nsw i32 %94, 1
br label %155
147: ; preds = %72
%148 = add nsw i32 %95, 1
br label %155
149: ; preds = %72
%150 = add nsw i32 %96, 1
br label %155
151: ; preds = %72
%152 = add nsw i32 %97, 1
br label %155
153: ; preds = %72
%154 = add nsw i32 %98, 1
br label %155
155: ; preds = %103, %105, %107, %109, %111, %113, %115, %117, %119, %121, %123, %125, %127, %129, %131, %133, %135, %137, %139, %141, %143, %145, %147, %149, %151, %153, %72
%156 = phi i32 [ %73, %72 ], [ %73, %153 ], [ %73, %151 ], [ %73, %149 ], [ %73, %147 ], [ %73, %145 ], [ %73, %143 ], [ %73, %141 ], [ %73, %139 ], [ %73, %137 ], [ %73, %135 ], [ %73, %133 ], [ %73, %131 ], [ %73, %129 ], [ %73, %127 ], [ %73, %125 ], [ %73, %123 ], [ %73, %121 ], [ %73, %119 ], [ %73, %117 ], [ %73, %115 ], [ %73, %113 ], [ %73, %111 ], [ %73, %109 ], [ %73, %107 ], [ %73, %105 ], [ %104, %103 ]
%157 = phi i32 [ %74, %72 ], [ %74, %153 ], [ %74, %151 ], [ %74, %149 ], [ %74, %147 ], [ %74, %145 ], [ %74, %143 ], [ %74, %141 ], [ %74, %139 ], [ %74, %137 ], [ %74, %135 ], [ %74, %133 ], [ %74, %131 ], [ %74, %129 ], [ %74, %127 ], [ %74, %125 ], [ %74, %123 ], [ %74, %121 ], [ %74, %119 ], [ %74, %117 ], [ %74, %115 ], [ %74, %113 ], [ %74, %111 ], [ %74, %109 ], [ %74, %107 ], [ %106, %105 ], [ %74, %103 ]
%158 = phi i32 [ %75, %72 ], [ %75, %153 ], [ %75, %151 ], [ %75, %149 ], [ %75, %147 ], [ %75, %145 ], [ %75, %143 ], [ %75, %141 ], [ %75, %139 ], [ %75, %137 ], [ %75, %135 ], [ %75, %133 ], [ %75, %131 ], [ %75, %129 ], [ %75, %127 ], [ %75, %125 ], [ %75, %123 ], [ %75, %121 ], [ %75, %119 ], [ %75, %117 ], [ %75, %115 ], [ %75, %113 ], [ %75, %111 ], [ %75, %109 ], [ %108, %107 ], [ %75, %105 ], [ %75, %103 ]
%159 = phi i32 [ %76, %72 ], [ %76, %153 ], [ %76, %151 ], [ %76, %149 ], [ %76, %147 ], [ %76, %145 ], [ %76, %143 ], [ %76, %141 ], [ %76, %139 ], [ %76, %137 ], [ %76, %135 ], [ %76, %133 ], [ %76, %131 ], [ %76, %129 ], [ %76, %127 ], [ %76, %125 ], [ %76, %123 ], [ %76, %121 ], [ %76, %119 ], [ %76, %117 ], [ %76, %115 ], [ %76, %113 ], [ %76, %111 ], [ %110, %109 ], [ %76, %107 ], [ %76, %105 ], [ %76, %103 ]
%160 = phi i32 [ %77, %72 ], [ %77, %153 ], [ %77, %151 ], [ %77, %149 ], [ %77, %147 ], [ %77, %145 ], [ %77, %143 ], [ %77, %141 ], [ %77, %139 ], [ %77, %137 ], [ %77, %135 ], [ %77, %133 ], [ %77, %131 ], [ %77, %129 ], [ %77, %127 ], [ %77, %125 ], [ %77, %123 ], [ %77, %121 ], [ %77, %119 ], [ %77, %117 ], [ %77, %115 ], [ %77, %113 ], [ %112, %111 ], [ %77, %109 ], [ %77, %107 ], [ %77, %105 ], [ %77, %103 ]
%161 = phi i32 [ %78, %72 ], [ %78, %153 ], [ %78, %151 ], [ %78, %149 ], [ %78, %147 ], [ %78, %145 ], [ %78, %143 ], [ %78, %141 ], [ %78, %139 ], [ %78, %137 ], [ %78, %135 ], [ %78, %133 ], [ %78, %131 ], [ %78, %129 ], [ %78, %127 ], [ %78, %125 ], [ %78, %123 ], [ %78, %121 ], [ %78, %119 ], [ %78, %117 ], [ %78, %115 ], [ %114, %113 ], [ %78, %111 ], [ %78, %109 ], [ %78, %107 ], [ %78, %105 ], [ %78, %103 ]
%162 = phi i32 [ %79, %72 ], [ %79, %153 ], [ %79, %151 ], [ %79, %149 ], [ %79, %147 ], [ %79, %145 ], [ %79, %143 ], [ %79, %141 ], [ %79, %139 ], [ %79, %137 ], [ %79, %135 ], [ %79, %133 ], [ %79, %131 ], [ %79, %129 ], [ %79, %127 ], [ %79, %125 ], [ %79, %123 ], [ %79, %121 ], [ %79, %119 ], [ %79, %117 ], [ %116, %115 ], [ %79, %113 ], [ %79, %111 ], [ %79, %109 ], [ %79, %107 ], [ %79, %105 ], [ %79, %103 ]
%163 = phi i32 [ %80, %72 ], [ %80, %153 ], [ %80, %151 ], [ %80, %149 ], [ %80, %147 ], [ %80, %145 ], [ %80, %143 ], [ %80, %141 ], [ %80, %139 ], [ %80, %137 ], [ %80, %135 ], [ %80, %133 ], [ %80, %131 ], [ %80, %129 ], [ %80, %127 ], [ %80, %125 ], [ %80, %123 ], [ %80, %121 ], [ %80, %119 ], [ %118, %117 ], [ %80, %115 ], [ %80, %113 ], [ %80, %111 ], [ %80, %109 ], [ %80, %107 ], [ %80, %105 ], [ %80, %103 ]
%164 = phi i32 [ %81, %72 ], [ %81, %153 ], [ %81, %151 ], [ %81, %149 ], [ %81, %147 ], [ %81, %145 ], [ %81, %143 ], [ %81, %141 ], [ %81, %139 ], [ %81, %137 ], [ %81, %135 ], [ %81, %133 ], [ %81, %131 ], [ %81, %129 ], [ %81, %127 ], [ %81, %125 ], [ %81, %123 ], [ %81, %121 ], [ %120, %119 ], [ %81, %117 ], [ %81, %115 ], [ %81, %113 ], [ %81, %111 ], [ %81, %109 ], [ %81, %107 ], [ %81, %105 ], [ %81, %103 ]
%165 = phi i32 [ %82, %72 ], [ %82, %153 ], [ %82, %151 ], [ %82, %149 ], [ %82, %147 ], [ %82, %145 ], [ %82, %143 ], [ %82, %141 ], [ %82, %139 ], [ %82, %137 ], [ %82, %135 ], [ %82, %133 ], [ %82, %131 ], [ %82, %129 ], [ %82, %127 ], [ %82, %125 ], [ %82, %123 ], [ %122, %121 ], [ %82, %119 ], [ %82, %117 ], [ %82, %115 ], [ %82, %113 ], [ %82, %111 ], [ %82, %109 ], [ %82, %107 ], [ %82, %105 ], [ %82, %103 ]
%166 = phi i32 [ %83, %72 ], [ %83, %153 ], [ %83, %151 ], [ %83, %149 ], [ %83, %147 ], [ %83, %145 ], [ %83, %143 ], [ %83, %141 ], [ %83, %139 ], [ %83, %137 ], [ %83, %135 ], [ %83, %133 ], [ %83, %131 ], [ %83, %129 ], [ %83, %127 ], [ %83, %125 ], [ %124, %123 ], [ %83, %121 ], [ %83, %119 ], [ %83, %117 ], [ %83, %115 ], [ %83, %113 ], [ %83, %111 ], [ %83, %109 ], [ %83, %107 ], [ %83, %105 ], [ %83, %103 ]
%167 = phi i32 [ %84, %72 ], [ %84, %153 ], [ %84, %151 ], [ %84, %149 ], [ %84, %147 ], [ %84, %145 ], [ %84, %143 ], [ %84, %141 ], [ %84, %139 ], [ %84, %137 ], [ %84, %135 ], [ %84, %133 ], [ %84, %131 ], [ %84, %129 ], [ %84, %127 ], [ %126, %125 ], [ %84, %123 ], [ %84, %121 ], [ %84, %119 ], [ %84, %117 ], [ %84, %115 ], [ %84, %113 ], [ %84, %111 ], [ %84, %109 ], [ %84, %107 ], [ %84, %105 ], [ %84, %103 ]
%168 = phi i32 [ %85, %72 ], [ %85, %153 ], [ %85, %151 ], [ %85, %149 ], [ %85, %147 ], [ %85, %145 ], [ %85, %143 ], [ %85, %141 ], [ %85, %139 ], [ %85, %137 ], [ %85, %135 ], [ %85, %133 ], [ %85, %131 ], [ %85, %129 ], [ %128, %127 ], [ %85, %125 ], [ %85, %123 ], [ %85, %121 ], [ %85, %119 ], [ %85, %117 ], [ %85, %115 ], [ %85, %113 ], [ %85, %111 ], [ %85, %109 ], [ %85, %107 ], [ %85, %105 ], [ %85, %103 ]
%169 = phi i32 [ %86, %72 ], [ %86, %153 ], [ %86, %151 ], [ %86, %149 ], [ %86, %147 ], [ %86, %145 ], [ %86, %143 ], [ %86, %141 ], [ %86, %139 ], [ %86, %137 ], [ %86, %135 ], [ %86, %133 ], [ %86, %131 ], [ %130, %129 ], [ %86, %127 ], [ %86, %125 ], [ %86, %123 ], [ %86, %121 ], [ %86, %119 ], [ %86, %117 ], [ %86, %115 ], [ %86, %113 ], [ %86, %111 ], [ %86, %109 ], [ %86, %107 ], [ %86, %105 ], [ %86, %103 ]
%170 = phi i32 [ %87, %72 ], [ %87, %153 ], [ %87, %151 ], [ %87, %149 ], [ %87, %147 ], [ %87, %145 ], [ %87, %143 ], [ %87, %141 ], [ %87, %139 ], [ %87, %137 ], [ %87, %135 ], [ %87, %133 ], [ %132, %131 ], [ %87, %129 ], [ %87, %127 ], [ %87, %125 ], [ %87, %123 ], [ %87, %121 ], [ %87, %119 ], [ %87, %117 ], [ %87, %115 ], [ %87, %113 ], [ %87, %111 ], [ %87, %109 ], [ %87, %107 ], [ %87, %105 ], [ %87, %103 ]
%171 = phi i32 [ %88, %72 ], [ %88, %153 ], [ %88, %151 ], [ %88, %149 ], [ %88, %147 ], [ %88, %145 ], [ %88, %143 ], [ %88, %141 ], [ %88, %139 ], [ %88, %137 ], [ %88, %135 ], [ %134, %133 ], [ %88, %131 ], [ %88, %129 ], [ %88, %127 ], [ %88, %125 ], [ %88, %123 ], [ %88, %121 ], [ %88, %119 ], [ %88, %117 ], [ %88, %115 ], [ %88, %113 ], [ %88, %111 ], [ %88, %109 ], [ %88, %107 ], [ %88, %105 ], [ %88, %103 ]
%172 = phi i32 [ %89, %72 ], [ %89, %153 ], [ %89, %151 ], [ %89, %149 ], [ %89, %147 ], [ %89, %145 ], [ %89, %143 ], [ %89, %141 ], [ %89, %139 ], [ %89, %137 ], [ %136, %135 ], [ %89, %133 ], [ %89, %131 ], [ %89, %129 ], [ %89, %127 ], [ %89, %125 ], [ %89, %123 ], [ %89, %121 ], [ %89, %119 ], [ %89, %117 ], [ %89, %115 ], [ %89, %113 ], [ %89, %111 ], [ %89, %109 ], [ %89, %107 ], [ %89, %105 ], [ %89, %103 ]
%173 = phi i32 [ %90, %72 ], [ %90, %153 ], [ %90, %151 ], [ %90, %149 ], [ %90, %147 ], [ %90, %145 ], [ %90, %143 ], [ %90, %141 ], [ %90, %139 ], [ %138, %137 ], [ %90, %135 ], [ %90, %133 ], [ %90, %131 ], [ %90, %129 ], [ %90, %127 ], [ %90, %125 ], [ %90, %123 ], [ %90, %121 ], [ %90, %119 ], [ %90, %117 ], [ %90, %115 ], [ %90, %113 ], [ %90, %111 ], [ %90, %109 ], [ %90, %107 ], [ %90, %105 ], [ %90, %103 ]
%174 = phi i32 [ %91, %72 ], [ %91, %153 ], [ %91, %151 ], [ %91, %149 ], [ %91, %147 ], [ %91, %145 ], [ %91, %143 ], [ %91, %141 ], [ %140, %139 ], [ %91, %137 ], [ %91, %135 ], [ %91, %133 ], [ %91, %131 ], [ %91, %129 ], [ %91, %127 ], [ %91, %125 ], [ %91, %123 ], [ %91, %121 ], [ %91, %119 ], [ %91, %117 ], [ %91, %115 ], [ %91, %113 ], [ %91, %111 ], [ %91, %109 ], [ %91, %107 ], [ %91, %105 ], [ %91, %103 ]
%175 = phi i32 [ %92, %72 ], [ %92, %153 ], [ %92, %151 ], [ %92, %149 ], [ %92, %147 ], [ %92, %145 ], [ %92, %143 ], [ %142, %141 ], [ %92, %139 ], [ %92, %137 ], [ %92, %135 ], [ %92, %133 ], [ %92, %131 ], [ %92, %129 ], [ %92, %127 ], [ %92, %125 ], [ %92, %123 ], [ %92, %121 ], [ %92, %119 ], [ %92, %117 ], [ %92, %115 ], [ %92, %113 ], [ %92, %111 ], [ %92, %109 ], [ %92, %107 ], [ %92, %105 ], [ %92, %103 ]
%176 = phi i32 [ %93, %72 ], [ %93, %153 ], [ %93, %151 ], [ %93, %149 ], [ %93, %147 ], [ %93, %145 ], [ %144, %143 ], [ %93, %141 ], [ %93, %139 ], [ %93, %137 ], [ %93, %135 ], [ %93, %133 ], [ %93, %131 ], [ %93, %129 ], [ %93, %127 ], [ %93, %125 ], [ %93, %123 ], [ %93, %121 ], [ %93, %119 ], [ %93, %117 ], [ %93, %115 ], [ %93, %113 ], [ %93, %111 ], [ %93, %109 ], [ %93, %107 ], [ %93, %105 ], [ %93, %103 ]
%177 = phi i32 [ %94, %72 ], [ %94, %153 ], [ %94, %151 ], [ %94, %149 ], [ %94, %147 ], [ %146, %145 ], [ %94, %143 ], [ %94, %141 ], [ %94, %139 ], [ %94, %137 ], [ %94, %135 ], [ %94, %133 ], [ %94, %131 ], [ %94, %129 ], [ %94, %127 ], [ %94, %125 ], [ %94, %123 ], [ %94, %121 ], [ %94, %119 ], [ %94, %117 ], [ %94, %115 ], [ %94, %113 ], [ %94, %111 ], [ %94, %109 ], [ %94, %107 ], [ %94, %105 ], [ %94, %103 ]
%178 = phi i32 [ %95, %72 ], [ %95, %153 ], [ %95, %151 ], [ %95, %149 ], [ %148, %147 ], [ %95, %145 ], [ %95, %143 ], [ %95, %141 ], [ %95, %139 ], [ %95, %137 ], [ %95, %135 ], [ %95, %133 ], [ %95, %131 ], [ %95, %129 ], [ %95, %127 ], [ %95, %125 ], [ %95, %123 ], [ %95, %121 ], [ %95, %119 ], [ %95, %117 ], [ %95, %115 ], [ %95, %113 ], [ %95, %111 ], [ %95, %109 ], [ %95, %107 ], [ %95, %105 ], [ %95, %103 ]
%179 = phi i32 [ %96, %72 ], [ %96, %153 ], [ %96, %151 ], [ %150, %149 ], [ %96, %147 ], [ %96, %145 ], [ %96, %143 ], [ %96, %141 ], [ %96, %139 ], [ %96, %137 ], [ %96, %135 ], [ %96, %133 ], [ %96, %131 ], [ %96, %129 ], [ %96, %127 ], [ %96, %125 ], [ %96, %123 ], [ %96, %121 ], [ %96, %119 ], [ %96, %117 ], [ %96, %115 ], [ %96, %113 ], [ %96, %111 ], [ %96, %109 ], [ %96, %107 ], [ %96, %105 ], [ %96, %103 ]
%180 = phi i32 [ %97, %72 ], [ %97, %153 ], [ %152, %151 ], [ %97, %149 ], [ %97, %147 ], [ %97, %145 ], [ %97, %143 ], [ %97, %141 ], [ %97, %139 ], [ %97, %137 ], [ %97, %135 ], [ %97, %133 ], [ %97, %131 ], [ %97, %129 ], [ %97, %127 ], [ %97, %125 ], [ %97, %123 ], [ %97, %121 ], [ %97, %119 ], [ %97, %117 ], [ %97, %115 ], [ %97, %113 ], [ %97, %111 ], [ %97, %109 ], [ %97, %107 ], [ %97, %105 ], [ %97, %103 ]
%181 = phi i32 [ %98, %72 ], [ %154, %153 ], [ %98, %151 ], [ %98, %149 ], [ %98, %147 ], [ %98, %145 ], [ %98, %143 ], [ %98, %141 ], [ %98, %139 ], [ %98, %137 ], [ %98, %135 ], [ %98, %133 ], [ %98, %131 ], [ %98, %129 ], [ %98, %127 ], [ %98, %125 ], [ %98, %123 ], [ %98, %121 ], [ %98, %119 ], [ %98, %117 ], [ %98, %115 ], [ %98, %113 ], [ %98, %111 ], [ %98, %109 ], [ %98, %107 ], [ %98, %105 ], [ %98, %103 ]
%182 = add nuw nsw i64 %99, 1
%183 = call i32 @strlen(i8* %8)
%184 = sext i32 %183 to i64
%185 = icmp slt i64 %182, %184
br i1 %185, label %72, label %43
186: ; preds = %348, %43
%187 = phi i32 [ 0, %43 ], [ %349, %348 ]
%188 = phi i32 [ 0, %43 ], [ %350, %348 ]
%189 = phi i32 [ 0, %43 ], [ %351, %348 ]
%190 = phi i32 [ 0, %43 ], [ %352, %348 ]
%191 = phi i32 [ 0, %43 ], [ %353, %348 ]
%192 = phi i32 [ 0, %43 ], [ %354, %348 ]
%193 = phi i32 [ 0, %43 ], [ %355, %348 ]
%194 = phi i32 [ 0, %43 ], [ %356, %348 ]
%195 = phi i32 [ 0, %43 ], [ %357, %348 ]
%196 = phi i32 [ 0, %43 ], [ %358, %348 ]
%197 = phi i32 [ 0, %43 ], [ %359, %348 ]
%198 = phi i32 [ 0, %43 ], [ %360, %348 ]
%199 = phi i32 [ 0, %43 ], [ %361, %348 ]
%200 = phi i32 [ 0, %43 ], [ %362, %348 ]
%201 = phi i32 [ 0, %43 ], [ %363, %348 ]
%202 = phi i32 [ 0, %43 ], [ %364, %348 ]
%203 = phi i32 [ 0, %43 ], [ %365, %348 ]
%204 = phi i32 [ 0, %43 ], [ %366, %348 ]
%205 = phi i32 [ 0, %43 ], [ %367, %348 ]
%206 = phi i32 [ 0, %43 ], [ %368, %348 ]
%207 = phi i32 [ 0, %43 ], [ %369, %348 ]
%208 = phi i32 [ 0, %43 ], [ %370, %348 ]
%209 = phi i32 [ 0, %43 ], [ %371, %348 ]
%210 = phi i32 [ 0, %43 ], [ %372, %348 ]
%211 = phi i32 [ 0, %43 ], [ %373, %348 ]
%212 = phi i32 [ 0, %43 ], [ %374, %348 ]
%213 = icmp eq i32 %44, %187
%214 = icmp eq i32 %45, %188
%215 = select i1 %213, i1 %214, i1 false
%216 = icmp eq i32 %46, %189
%217 = select i1 %215, i1 %216, i1 false
%218 = icmp eq i32 %47, %190
%219 = select i1 %217, i1 %218, i1 false
%220 = icmp eq i32 %48, %191
%221 = select i1 %219, i1 %220, i1 false
%222 = icmp eq i32 %49, %192
%223 = select i1 %221, i1 %222, i1 false
%224 = icmp eq i32 %50, %193
%225 = select i1 %223, i1 %224, i1 false
%226 = icmp eq i32 %51, %194
%227 = select i1 %225, i1 %226, i1 false
%228 = icmp eq i32 %52, %195
%229 = select i1 %227, i1 %228, i1 false
%230 = icmp eq i32 %53, %196
%231 = select i1 %229, i1 %230, i1 false
%232 = icmp eq i32 %54, %197
%233 = select i1 %231, i1 %232, i1 false
%234 = icmp eq i32 %55, %198
%235 = select i1 %233, i1 %234, i1 false
%236 = icmp eq i32 %56, %199
%237 = select i1 %235, i1 %236, i1 false
%238 = icmp eq i32 %57, %200
%239 = select i1 %237, i1 %238, i1 false
%240 = icmp eq i32 %58, %201
%241 = select i1 %239, i1 %240, i1 false
%242 = icmp eq i32 %59, %202
%243 = select i1 %241, i1 %242, i1 false
%244 = icmp eq i32 %60, %203
%245 = select i1 %243, i1 %244, i1 false
%246 = icmp eq i32 %61, %204
%247 = select i1 %245, i1 %246, i1 false
%248 = icmp eq i32 %62, %205
%249 = select i1 %247, i1 %248, i1 false
%250 = icmp eq i32 %63, %206
%251 = select i1 %249, i1 %250, i1 false
%252 = icmp eq i32 %64, %207
%253 = select i1 %251, i1 %252, i1 false
%254 = icmp eq i32 %65, %208
%255 = select i1 %253, i1 %254, i1 false
%256 = icmp eq i32 %66, %209
%257 = select i1 %255, i1 %256, i1 false
%258 = icmp eq i32 %67, %210
%259 = select i1 %257, i1 %258, i1 false
%260 = icmp eq i32 %68, %211
%261 = select i1 %259, i1 %260, i1 false
%262 = icmp eq i32 %69, %212
%263 = select i1 %261, i1 %262, i1 false
%264 = select i1 %263, 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)
br label %379
265: ; preds = %43, %348
%266 = phi i32 [ %349, %348 ], [ 0, %43 ]
%267 = phi i32 [ %350, %348 ], [ 0, %43 ]
%268 = phi i32 [ %351, %348 ], [ 0, %43 ]
%269 = phi i32 [ %352, %348 ], [ 0, %43 ]
%270 = phi i32 [ %353, %348 ], [ 0, %43 ]
%271 = phi i32 [ %354, %348 ], [ 0, %43 ]
%272 = phi i32 [ %355, %348 ], [ 0, %43 ]
%273 = phi i32 [ %356, %348 ], [ 0, %43 ]
%274 = phi i32 [ %357, %348 ], [ 0, %43 ]
%275 = phi i32 [ %358, %348 ], [ 0, %43 ]
%276 = phi i32 [ %359, %348 ], [ 0, %43 ]
%277 = phi i32 [ %360, %348 ], [ 0, %43 ]
%278 = phi i32 [ %361, %348 ], [ 0, %43 ]
%279 = phi i32 [ %362, %348 ], [ 0, %43 ]
%280 = phi i32 [ %363, %348 ], [ 0, %43 ]
%281 = phi i32 [ %364, %348 ], [ 0, %43 ]
%282 = phi i32 [ %365, %348 ], [ 0, %43 ]
%283 = phi i32 [ %366, %348 ], [ 0, %43 ]
%284 = phi i32 [ %367, %348 ], [ 0, %43 ]
%285 = phi i32 [ %368, %348 ], [ 0, %43 ]
%286 = phi i32 [ %369, %348 ], [ 0, %43 ]
%287 = phi i32 [ %370, %348 ], [ 0, %43 ]
%288 = phi i32 [ %371, %348 ], [ 0, %43 ]
%289 = phi i32 [ %372, %348 ], [ 0, %43 ]
%290 = phi i32 [ %373, %348 ], [ 0, %43 ]
%291 = phi i32 [ %374, %348 ], [ 0, %43 ]
%292 = phi i64 [ %375, %348 ], [ 0, %43 ]
%293 = getelementptr inbounds [101 x i8], [101 x i8]* %3, i64 0, i64 %292
%294 = load i8, i8* %293
%295 = sext i8 %294 to i32
switch i32 %295, label %348 [
i32 97, label %296
i32 98, label %298
i32 99, label %300
i32 100, label %302
i32 101, label %304
i32 102, label %306
i32 103, label %308
i32 104, label %310
i32 105, label %312
i32 106, label %314
i32 107, label %316
i32 108, label %318
i32 109, label %320
i32 110, label %322
i32 111, label %324
i32 112, label %326
i32 113, label %328
i32 114, label %330
i32 115, label %332
i32 116, label %334
i32 117, label %336
i32 118, label %338
i32 119, label %340
i32 120, label %342
i32 121, label %344
i32 122, label %346
]
296: ; preds = %265
%297 = add nsw i32 %266, 1
br label %348
298: ; preds = %265
%299 = add nsw i32 %267, 1
br label %348
300: ; preds = %265
%301 = add nsw i32 %268, 1
br label %348
302: ; preds = %265
%303 = add nsw i32 %269, 1
br label %348
304: ; preds = %265
%305 = add nsw i32 %270, 1
br label %348
306: ; preds = %265
%307 = add nsw i32 %271, 1
br label %348
308: ; preds = %265
%309 = add nsw i32 %272, 1
br label %348
310: ; preds = %265
%311 = add nsw i32 %273, 1
br label %348
312: ; preds = %265
%313 = add nsw i32 %274, 1
br label %348
314: ; preds = %265
%315 = add nsw i32 %275, 1
br label %348
316: ; preds = %265
%317 = add nsw i32 %276, 1
br label %348
318: ; preds = %265
%319 = add nsw i32 %277, 1
br label %348
320: ; preds = %265
%321 = add nsw i32 %278, 1
br label %348
322: ; preds = %265
%323 = add nsw i32 %279, 1
br label %348
324: ; preds = %265
%325 = add nsw i32 %280, 1
br label %348
326: ; preds = %265
%327 = add nsw i32 %281, 1
br label %348
328: ; preds = %265
%329 = add nsw i32 %282, 1
br label %348
330: ; preds = %265
%331 = add nsw i32 %283, 1
br label %348
332: ; preds = %265
%333 = add nsw i32 %284, 1
br label %348
334: ; preds = %265
%335 = add nsw i32 %285, 1
br label %348
336: ; preds = %265
%337 = add nsw i32 %286, 1
br label %348
338: ; preds = %265
%339 = add nsw i32 %287, 1
br label %348
340: ; preds = %265
%341 = add nsw i32 %288, 1
br label %348
342: ; preds = %265
%343 = add nsw i32 %289, 1
br label %348
344: ; preds = %265
%345 = add nsw i32 %290, 1
br label %348
346: ; preds = %265
%347 = add nsw i32 %291, 1
br label %348
348: ; preds = %296, %298, %300, %302, %304, %306, %308, %310, %312, %314, %316, %318, %320, %322, %324, %326, %328, %330, %332, %334, %336, %338, %340, %342, %344, %346, %265
%349 = phi i32 [ %266, %265 ], [ %266, %346 ], [ %266, %344 ], [ %266, %342 ], [ %266, %340 ], [ %266, %338 ], [ %266, %336 ], [ %266, %334 ], [ %266, %332 ], [ %266, %330 ], [ %266, %328 ], [ %266, %326 ], [ %266, %324 ], [ %266, %322 ], [ %266, %320 ], [ %266, %318 ], [ %266, %316 ], [ %266, %314 ], [ %266, %312 ], [ %266, %310 ], [ %266, %308 ], [ %266, %306 ], [ %266, %304 ], [ %266, %302 ], [ %266, %300 ], [ %266, %298 ], [ %297, %296 ]
%350 = phi i32 [ %267, %265 ], [ %267, %346 ], [ %267, %344 ], [ %267, %342 ], [ %267, %340 ], [ %267, %338 ], [ %267, %336 ], [ %267, %334 ], [ %267, %332 ], [ %267, %330 ], [ %267, %328 ], [ %267, %326 ], [ %267, %324 ], [ %267, %322 ], [ %267, %320 ], [ %267, %318 ], [ %267, %316 ], [ %267, %314 ], [ %267, %312 ], [ %267, %310 ], [ %267, %308 ], [ %267, %306 ], [ %267, %304 ], [ %267, %302 ], [ %267, %300 ], [ %299, %298 ], [ %267, %296 ]
%351 = phi i32 [ %268, %265 ], [ %268, %346 ], [ %268, %344 ], [ %268, %342 ], [ %268, %340 ], [ %268, %338 ], [ %268, %336 ], [ %268, %334 ], [ %268, %332 ], [ %268, %330 ], [ %268, %328 ], [ %268, %326 ], [ %268, %324 ], [ %268, %322 ], [ %268, %320 ], [ %268, %318 ], [ %268, %316 ], [ %268, %314 ], [ %268, %312 ], [ %268, %310 ], [ %268, %308 ], [ %268, %306 ], [ %268, %304 ], [ %268, %302 ], [ %301, %300 ], [ %268, %298 ], [ %268, %296 ]
%352 = phi i32 [ %269, %265 ], [ %269, %346 ], [ %269, %344 ], [ %269, %342 ], [ %269, %340 ], [ %269, %338 ], [ %269, %336 ], [ %269, %334 ], [ %269, %332 ], [ %269, %330 ], [ %269, %328 ], [ %269, %326 ], [ %269, %324 ], [ %269, %322 ], [ %269, %320 ], [ %269, %318 ], [ %269, %316 ], [ %269, %314 ], [ %269, %312 ], [ %269, %310 ], [ %269, %308 ], [ %269, %306 ], [ %269, %304 ], [ %303, %302 ], [ %269, %300 ], [ %269, %298 ], [ %269, %296 ]
%353 = phi i32 [ %270, %265 ], [ %270, %346 ], [ %270, %344 ], [ %270, %342 ], [ %270, %340 ], [ %270, %338 ], [ %270, %336 ], [ %270, %334 ], [ %270, %332 ], [ %270, %330 ], [ %270, %328 ], [ %270, %326 ], [ %270, %324 ], [ %270, %322 ], [ %270, %320 ], [ %270, %318 ], [ %270, %316 ], [ %270, %314 ], [ %270, %312 ], [ %270, %310 ], [ %270, %308 ], [ %270, %306 ], [ %305, %304 ], [ %270, %302 ], [ %270, %300 ], [ %270, %298 ], [ %270, %296 ]
%354 = phi i32 [ %271, %265 ], [ %271, %346 ], [ %271, %344 ], [ %271, %342 ], [ %271, %340 ], [ %271, %338 ], [ %271, %336 ], [ %271, %334 ], [ %271, %332 ], [ %271, %330 ], [ %271, %328 ], [ %271, %326 ], [ %271, %324 ], [ %271, %322 ], [ %271, %320 ], [ %271, %318 ], [ %271, %316 ], [ %271, %314 ], [ %271, %312 ], [ %271, %310 ], [ %271, %308 ], [ %307, %306 ], [ %271, %304 ], [ %271, %302 ], [ %271, %300 ], [ %271, %298 ], [ %271, %296 ]
%355 = phi i32 [ %272, %265 ], [ %272, %346 ], [ %272, %344 ], [ %272, %342 ], [ %272, %340 ], [ %272, %338 ], [ %272, %336 ], [ %272, %334 ], [ %272, %332 ], [ %272, %330 ], [ %272, %328 ], [ %272, %326 ], [ %272, %324 ], [ %272, %322 ], [ %272, %320 ], [ %272, %318 ], [ %272, %316 ], [ %272, %314 ], [ %272, %312 ], [ %272, %310 ], [ %309, %308 ], [ %272, %306 ], [ %272, %304 ], [ %272, %302 ], [ %272, %300 ], [ %272, %298 ], [ %272, %296 ]
%356 = phi i32 [ %273, %265 ], [ %273, %346 ], [ %273, %344 ], [ %273, %342 ], [ %273, %340 ], [ %273, %338 ], [ %273, %336 ], [ %273, %334 ], [ %273, %332 ], [ %273, %330 ], [ %273, %328 ], [ %273, %326 ], [ %273, %324 ], [ %273, %322 ], [ %273, %320 ], [ %273, %318 ], [ %273, %316 ], [ %273, %314 ], [ %273, %312 ], [ %311, %310 ], [ %273, %308 ], [ %273, %306 ], [ %273, %304 ], [ %273, %302 ], [ %273, %300 ], [ %273, %298 ], [ %273, %296 ]
%357 = phi i32 [ %274, %265 ], [ %274, %346 ], [ %274, %344 ], [ %274, %342 ], [ %274, %340 ], [ %274, %338 ], [ %274, %336 ], [ %274, %334 ], [ %274, %332 ], [ %274, %330 ], [ %274, %328 ], [ %274, %326 ], [ %274, %324 ], [ %274, %322 ], [ %274, %320 ], [ %274, %318 ], [ %274, %316 ], [ %274, %314 ], [ %313, %312 ], [ %274, %310 ], [ %274, %308 ], [ %274, %306 ], [ %274, %304 ], [ %274, %302 ], [ %274, %300 ], [ %274, %298 ], [ %274, %296 ]
%358 = phi i32 [ %275, %265 ], [ %275, %346 ], [ %275, %344 ], [ %275, %342 ], [ %275, %340 ], [ %275, %338 ], [ %275, %336 ], [ %275, %334 ], [ %275, %332 ], [ %275, %330 ], [ %275, %328 ], [ %275, %326 ], [ %275, %324 ], [ %275, %322 ], [ %275, %320 ], [ %275, %318 ], [ %275, %316 ], [ %315, %314 ], [ %275, %312 ], [ %275, %310 ], [ %275, %308 ], [ %275, %306 ], [ %275, %304 ], [ %275, %302 ], [ %275, %300 ], [ %275, %298 ], [ %275, %296 ]
%359 = phi i32 [ %276, %265 ], [ %276, %346 ], [ %276, %344 ], [ %276, %342 ], [ %276, %340 ], [ %276, %338 ], [ %276, %336 ], [ %276, %334 ], [ %276, %332 ], [ %276, %330 ], [ %276, %328 ], [ %276, %326 ], [ %276, %324 ], [ %276, %322 ], [ %276, %320 ], [ %276, %318 ], [ %317, %316 ], [ %276, %314 ], [ %276, %312 ], [ %276, %310 ], [ %276, %308 ], [ %276, %306 ], [ %276, %304 ], [ %276, %302 ], [ %276, %300 ], [ %276, %298 ], [ %276, %296 ]
%360 = phi i32 [ %277, %265 ], [ %277, %346 ], [ %277, %344 ], [ %277, %342 ], [ %277, %340 ], [ %277, %338 ], [ %277, %336 ], [ %277, %334 ], [ %277, %332 ], [ %277, %330 ], [ %277, %328 ], [ %277, %326 ], [ %277, %324 ], [ %277, %322 ], [ %277, %320 ], [ %319, %318 ], [ %277, %316 ], [ %277, %314 ], [ %277, %312 ], [ %277, %310 ], [ %277, %308 ], [ %277, %306 ], [ %277, %304 ], [ %277, %302 ], [ %277, %300 ], [ %277, %298 ], [ %277, %296 ]
%361 = phi i32 [ %278, %265 ], [ %278, %346 ], [ %278, %344 ], [ %278, %342 ], [ %278, %340 ], [ %278, %338 ], [ %278, %336 ], [ %278, %334 ], [ %278, %332 ], [ %278, %330 ], [ %278, %328 ], [ %278, %326 ], [ %278, %324 ], [ %278, %322 ], [ %321, %320 ], [ %278, %318 ], [ %278, %316 ], [ %278, %314 ], [ %278, %312 ], [ %278, %310 ], [ %278, %308 ], [ %278, %306 ], [ %278, %304 ], [ %278, %302 ], [ %278, %300 ], [ %278, %298 ], [ %278, %296 ]
%362 = phi i32 [ %279, %265 ], [ %279, %346 ], [ %279, %344 ], [ %279, %342 ], [ %279, %340 ], [ %279, %338 ], [ %279, %336 ], [ %279, %334 ], [ %279, %332 ], [ %279, %330 ], [ %279, %328 ], [ %279, %326 ], [ %279, %324 ], [ %323, %322 ], [ %279, %320 ], [ %279, %318 ], [ %279, %316 ], [ %279, %314 ], [ %279, %312 ], [ %279, %310 ], [ %279, %308 ], [ %279, %306 ], [ %279, %304 ], [ %279, %302 ], [ %279, %300 ], [ %279, %298 ], [ %279, %296 ]
%363 = phi i32 [ %280, %265 ], [ %280, %346 ], [ %280, %344 ], [ %280, %342 ], [ %280, %340 ], [ %280, %338 ], [ %280, %336 ], [ %280, %334 ], [ %280, %332 ], [ %280, %330 ], [ %280, %328 ], [ %280, %326 ], [ %325, %324 ], [ %280, %322 ], [ %280, %320 ], [ %280, %318 ], [ %280, %316 ], [ %280, %314 ], [ %280, %312 ], [ %280, %310 ], [ %280, %308 ], [ %280, %306 ], [ %280, %304 ], [ %280, %302 ], [ %280, %300 ], [ %280, %298 ], [ %280, %296 ]
%364 = phi i32 [ %281, %265 ], [ %281, %346 ], [ %281, %344 ], [ %281, %342 ], [ %281, %340 ], [ %281, %338 ], [ %281, %336 ], [ %281, %334 ], [ %281, %332 ], [ %281, %330 ], [ %281, %328 ], [ %327, %326 ], [ %281, %324 ], [ %281, %322 ], [ %281, %320 ], [ %281, %318 ], [ %281, %316 ], [ %281, %314 ], [ %281, %312 ], [ %281, %310 ], [ %281, %308 ], [ %281, %306 ], [ %281, %304 ], [ %281, %302 ], [ %281, %300 ], [ %281, %298 ], [ %281, %296 ]
%365 = phi i32 [ %282, %265 ], [ %282, %346 ], [ %282, %344 ], [ %282, %342 ], [ %282, %340 ], [ %282, %338 ], [ %282, %336 ], [ %282, %334 ], [ %282, %332 ], [ %282, %330 ], [ %329, %328 ], [ %282, %326 ], [ %282, %324 ], [ %282, %322 ], [ %282, %320 ], [ %282, %318 ], [ %282, %316 ], [ %282, %314 ], [ %282, %312 ], [ %282, %310 ], [ %282, %308 ], [ %282, %306 ], [ %282, %304 ], [ %282, %302 ], [ %282, %300 ], [ %282, %298 ], [ %282, %296 ]
%366 = phi i32 [ %283, %265 ], [ %283, %346 ], [ %283, %344 ], [ %283, %342 ], [ %283, %340 ], [ %283, %338 ], [ %283, %336 ], [ %283, %334 ], [ %283, %332 ], [ %331, %330 ], [ %283, %328 ], [ %283, %326 ], [ %283, %324 ], [ %283, %322 ], [ %283, %320 ], [ %283, %318 ], [ %283, %316 ], [ %283, %314 ], [ %283, %312 ], [ %283, %310 ], [ %283, %308 ], [ %283, %306 ], [ %283, %304 ], [ %283, %302 ], [ %283, %300 ], [ %283, %298 ], [ %283, %296 ]
%367 = phi i32 [ %284, %265 ], [ %284, %346 ], [ %284, %344 ], [ %284, %342 ], [ %284, %340 ], [ %284, %338 ], [ %284, %336 ], [ %284, %334 ], [ %333, %332 ], [ %284, %330 ], [ %284, %328 ], [ %284, %326 ], [ %284, %324 ], [ %284, %322 ], [ %284, %320 ], [ %284, %318 ], [ %284, %316 ], [ %284, %314 ], [ %284, %312 ], [ %284, %310 ], [ %284, %308 ], [ %284, %306 ], [ %284, %304 ], [ %284, %302 ], [ %284, %300 ], [ %284, %298 ], [ %284, %296 ]
%368 = phi i32 [ %285, %265 ], [ %285, %346 ], [ %285, %344 ], [ %285, %342 ], [ %285, %340 ], [ %285, %338 ], [ %285, %336 ], [ %335, %334 ], [ %285, %332 ], [ %285, %330 ], [ %285, %328 ], [ %285, %326 ], [ %285, %324 ], [ %285, %322 ], [ %285, %320 ], [ %285, %318 ], [ %285, %316 ], [ %285, %314 ], [ %285, %312 ], [ %285, %310 ], [ %285, %308 ], [ %285, %306 ], [ %285, %304 ], [ %285, %302 ], [ %285, %300 ], [ %285, %298 ], [ %285, %296 ]
%369 = phi i32 [ %286, %265 ], [ %286, %346 ], [ %286, %344 ], [ %286, %342 ], [ %286, %340 ], [ %286, %338 ], [ %337, %336 ], [ %286, %334 ], [ %286, %332 ], [ %286, %330 ], [ %286, %328 ], [ %286, %326 ], [ %286, %324 ], [ %286, %322 ], [ %286, %320 ], [ %286, %318 ], [ %286, %316 ], [ %286, %314 ], [ %286, %312 ], [ %286, %310 ], [ %286, %308 ], [ %286, %306 ], [ %286, %304 ], [ %286, %302 ], [ %286, %300 ], [ %286, %298 ], [ %286, %296 ]
%370 = phi i32 [ %287, %265 ], [ %287, %346 ], [ %287, %344 ], [ %287, %342 ], [ %287, %340 ], [ %339, %338 ], [ %287, %336 ], [ %287, %334 ], [ %287, %332 ], [ %287, %330 ], [ %287, %328 ], [ %287, %326 ], [ %287, %324 ], [ %287, %322 ], [ %287, %320 ], [ %287, %318 ], [ %287, %316 ], [ %287, %314 ], [ %287, %312 ], [ %287, %310 ], [ %287, %308 ], [ %287, %306 ], [ %287, %304 ], [ %287, %302 ], [ %287, %300 ], [ %287, %298 ], [ %287, %296 ]
%371 = phi i32 [ %288, %265 ], [ %288, %346 ], [ %288, %344 ], [ %288, %342 ], [ %341, %340 ], [ %288, %338 ], [ %288, %336 ], [ %288, %334 ], [ %288, %332 ], [ %288, %330 ], [ %288, %328 ], [ %288, %326 ], [ %288, %324 ], [ %288, %322 ], [ %288, %320 ], [ %288, %318 ], [ %288, %316 ], [ %288, %314 ], [ %288, %312 ], [ %288, %310 ], [ %288, %308 ], [ %288, %306 ], [ %288, %304 ], [ %288, %302 ], [ %288, %300 ], [ %288, %298 ], [ %288, %296 ]
%372 = phi i32 [ %289, %265 ], [ %289, %346 ], [ %289, %344 ], [ %343, %342 ], [ %289, %340 ], [ %289, %338 ], [ %289, %336 ], [ %289, %334 ], [ %289, %332 ], [ %289, %330 ], [ %289, %328 ], [ %289, %326 ], [ %289, %324 ], [ %289, %322 ], [ %289, %320 ], [ %289, %318 ], [ %289, %316 ], [ %289, %314 ], [ %289, %312 ], [ %289, %310 ], [ %289, %308 ], [ %289, %306 ], [ %289, %304 ], [ %289, %302 ], [ %289, %300 ], [ %289, %298 ], [ %289, %296 ]
%373 = phi i32 [ %290, %265 ], [ %290, %346 ], [ %345, %344 ], [ %290, %342 ], [ %290, %340 ], [ %290, %338 ], [ %290, %336 ], [ %290, %334 ], [ %290, %332 ], [ %290, %330 ], [ %290, %328 ], [ %290, %326 ], [ %290, %324 ], [ %290, %322 ], [ %290, %320 ], [ %290, %318 ], [ %290, %316 ], [ %290, %314 ], [ %290, %312 ], [ %290, %310 ], [ %290, %308 ], [ %290, %306 ], [ %290, %304 ], [ %290, %302 ], [ %290, %300 ], [ %290, %298 ], [ %290, %296 ]
%374 = phi i32 [ %291, %265 ], [ %347, %346 ], [ %291, %344 ], [ %291, %342 ], [ %291, %340 ], [ %291, %338 ], [ %291, %336 ], [ %291, %334 ], [ %291, %332 ], [ %291, %330 ], [ %291, %328 ], [ %291, %326 ], [ %291, %324 ], [ %291, %322 ], [ %291, %320 ], [ %291, %318 ], [ %291, %316 ], [ %291, %314 ], [ %291, %312 ], [ %291, %310 ], [ %291, %308 ], [ %291, %306 ], [ %291, %304 ], [ %291, %302 ], [ %291, %300 ], [ %291, %298 ], [ %291, %296 ]
%375 = add nuw nsw i64 %292, 1
%376 = call i32 @strlen(i8* %7)
%377 = sext i32 %376 to i64
%378 = icmp slt i64 %375, %377
br i1 %378, label %265, label %186
379: ; preds = %186, %0
%380 = phi i8* [ getelementptr inbounds ([3 x i8], [3 x i8]* @str.4, i64 0, i64 0), %0 ], [ %264, %186 ]
%381 = call i32 @puts(i8* dereferenceable(1) %380)
ret i32 0
}