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

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, char *);
int strlen(char *);
int main() {
  int arr[12];
  char string[12];
  int i = 0, x = 0, y = 0, z = 0, k = 0, sum = 0, del = 0, Error = 0;
  scanf("%s", string);
  x = strlen(string);
  if (x > 11) {
    Error++;
  }
  while (i < x) {
    arr[i] = string[i] - '0';
    i++;
  }
  i = 0;
  if (arr[0] == 0 && arr[1] == 0) {
    x = (arr[2] * 10) + arr[3];
    if ((x >= 1 && x <= 12) || (x >= 41 && x <= 52)) {
      i = 0;
    } else {
      Error++;
    }
  }
  if (arr[0] != 0 && arr[1] != 0) {
    x = (arr[2] * 10) + arr[3];
    if ((x >= 1 && x <= 12) || (x >= 21 && x <= 32) || (x >= 41 && x <= 52)) {
      i = 0;
    } else {
      Error++;
    }
  }
  y = (arr[4] * 10) + arr[5];
  if (x == 1 || x == 3 || x == 5 || x == 7 || x == 8 || x == 10 || x == 12 ||
      x == 21 || x == 23 || x == 25 || x == 27 || x == 28 || x == 30 ||
      x == 32 || x == 41 || x == 43 || x == 45 || x == 47 || x == 48 ||
      x == 50 || x == 52) {
    if (y > 31) {
      Error++;
    }
  }
  if (x == 4 || x == 6 || x == 9 || x == 11 || x == 24 || x == 26 || x == 29 ||
      x == 31 || x == 44 || x == 46 || x == 49 || x == 51) {
    if (y > 30) {
      Error++;
    }
  }
  z = (arr[0] * 10) + arr[1];
  k = z % 4;
  if (k == 0) {
    if (x == 2 || x == 22 || x == 42) {
      if (y > 29) {
        Error++;
      }
    }
  }
  if (k != 0) {
    if (x == 2 || x == 22 || x == 42) {
      if (y > 28) {
        Error++;
      }
    }
  }
  if (z == 0 && x >= 1 && x <= 12) {
    if (x == 2 || x == 22 || 42) {
      if (y > 28) {
        Error++;
      }
    }
  }
  sum = (arr[0] * 2) + (arr[1] * 4) + (arr[2] * 8) + (arr[3] * 5) +
        (arr[4] * 10) + (arr[5] * 9) + (arr[6] * 7) + (arr[7] * 3) +
        (arr[8] * 6);
  del = sum % 11;
  if (del == 10) {
    del = 0;
  }
  if (arr[9] != del) {
    Error++;
  }
  if (Error == 0) {
    printf("1");
  } else {
    printf("0");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x50(%rbp)
movl   $0x0,-0x54(%rbp)
movl   $0x0,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
movl   $0x0,-0x68(%rbp)
movl   $0x0,-0x6c(%rbp)
lea    -0x4c(%rbp),%rsi
lea    0xe7e(%rip),%rdi
call   1050 <scanf@plt>
lea    -0x4c(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x54(%rbp)
cmpl   $0xb,-0x54(%rbp)
jle    11a6 <main+0x76>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    11ab <main+0x7b>
mov    -0x50(%rbp),%eax
cmp    -0x54(%rbp),%eax
jge    11d9 <main+0xa9>
movslq -0x50(%rbp),%rax
movsbl -0x4c(%rbp,%rax,1),%ecx
sub    $0x30,%ecx
movslq -0x50(%rbp),%rax
mov    %ecx,-0x40(%rbp,%rax,4)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    11ab <main+0x7b>
movl   $0x0,-0x50(%rbp)
cmpl   $0x0,-0x40(%rbp)
jne    1240 <main+0x110>
cmpl   $0x0,-0x3c(%rbp)
jne    1240 <main+0x110>
imul   $0xa,-0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x1,-0x54(%rbp)
jl     1212 <main+0xe2>
cmpl   $0xc,-0x54(%rbp)
jle    1226 <main+0xf6>
cmpl   $0x29,-0x54(%rbp)
jl     1232 <main+0x102>
cmpl   $0x34,-0x54(%rbp)
jg     1232 <main+0x102>
movl   $0x0,-0x50(%rbp)
jmp    123b <main+0x10b>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1240 <main+0x110>
cmpl   $0x0,-0x40(%rbp)
je     12b4 <main+0x184>
cmpl   $0x0,-0x3c(%rbp)
je     12b4 <main+0x184>
imul   $0xa,-0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x1,-0x54(%rbp)
jl     1272 <main+0x142>
cmpl   $0xc,-0x54(%rbp)
jle    129a <main+0x16a>
cmpl   $0x15,-0x54(%rbp)
jl     1286 <main+0x156>
cmpl   $0x20,-0x54(%rbp)
jle    129a <main+0x16a>
cmpl   $0x29,-0x54(%rbp)
jl     12a6 <main+0x176>
cmpl   $0x34,-0x54(%rbp)
jg     12a6 <main+0x176>
movl   $0x0,-0x50(%rbp)
jmp    12af <main+0x17f>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    12b4 <main+0x184>
imul   $0xa,-0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpl   $0x1,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x3,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x5,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x7,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x8,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0xa,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0xc,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x15,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x17,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x19,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x1b,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x1c,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x1e,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x20,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x29,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x2b,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x2d,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x2f,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x30,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x32,-0x54(%rbp)
je     1390 <main+0x260>
cmpl   $0x34,-0x54(%rbp)
jne    13a8 <main+0x278>
cmpl   $0x1f,-0x58(%rbp)
jle    13a3 <main+0x273>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    13a8 <main+0x278>
cmpl   $0x4,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x6,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x9,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0xb,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x18,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x1a,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x1d,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x1f,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x2c,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x2e,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x31,-0x54(%rbp)
je     1420 <main+0x2f0>
cmpl   $0x33,-0x54(%rbp)
jne    1438 <main+0x308>
cmpl   $0x1e,-0x58(%rbp)
jle    1433 <main+0x303>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1438 <main+0x308>
imul   $0xa,-0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,-0x60(%rbp)
cmpl   $0x0,-0x60(%rbp)
jne    1495 <main+0x365>
cmpl   $0x2,-0x54(%rbp)
je     1478 <main+0x348>
cmpl   $0x16,-0x54(%rbp)
je     1478 <main+0x348>
cmpl   $0x2a,-0x54(%rbp)
jne    1490 <main+0x360>
cmpl   $0x1d,-0x58(%rbp)
jle    148b <main+0x35b>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1490 <main+0x360>
jmp    1495 <main+0x365>
cmpl   $0x0,-0x60(%rbp)
je     14da <main+0x3aa>
cmpl   $0x2,-0x54(%rbp)
je     14bd <main+0x38d>
cmpl   $0x16,-0x54(%rbp)
je     14bd <main+0x38d>
cmpl   $0x2a,-0x54(%rbp)
jne    14d5 <main+0x3a5>
cmpl   $0x1c,-0x58(%rbp)
jle    14d0 <main+0x3a0>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    14d5 <main+0x3a5>
jmp    14da <main+0x3aa>
cmpl   $0x0,-0x5c(%rbp)
jne    1538 <main+0x408>
cmpl   $0x1,-0x54(%rbp)
jl     1538 <main+0x408>
cmpl   $0xc,-0x54(%rbp)
jg     1538 <main+0x408>
cmpl   $0x2,-0x54(%rbp)
je     151b <main+0x3eb>
cmpl   $0x16,-0x54(%rbp)
je     151b <main+0x3eb>
mov    $0x1,%al
test   $0x1,%al
jne    151b <main+0x3eb>
jmp    1533 <main+0x403>
cmpl   $0x1c,-0x58(%rbp)
jle    152e <main+0x3fe>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1533 <main+0x403>
jmp    1538 <main+0x408>
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    -0x38(%rbp),%ecx
shl    $0x3,%ecx
add    %ecx,%eax
imul   $0x5,-0x34(%rbp),%ecx
add    %ecx,%eax
imul   $0xa,-0x30(%rbp),%ecx
add    %ecx,%eax
imul   $0x9,-0x2c(%rbp),%ecx
add    %ecx,%eax
imul   $0x7,-0x28(%rbp),%ecx
add    %ecx,%eax
imul   $0x3,-0x24(%rbp),%ecx
add    %ecx,%eax
imul   $0x6,-0x20(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
mov    %edx,-0x68(%rbp)
cmpl   $0xa,-0x68(%rbp)
jne    1594 <main+0x464>
movl   $0x0,-0x68(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x68(%rbp),%eax
je     15a9 <main+0x479>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
cmpl   $0x0,-0x6c(%rbp)
jne    15c4 <main+0x494>
lea    0xa49(%rip),%rdi
call   1040 <printf@plt>
jmp    15d0 <main+0x4a0>
lea    0xa3a(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x48,%rsp
lea    0xf0f(%rip),%rdi
lea    0x4(%rsp),%rbx
mov    %rbx,%rsi
call   1050 <scanf@plt>
mov    %rbx,%rdi
call   1040 <strlen@plt>
xor    %r8d,%r8d
cmp    $0xc,%eax
setge  %r8b
test   %eax,%eax
jle    1172 <main+0x42>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    1177 <main+0x47>
xor    %edx,%edx
jmp    1280 <main+0x150>
jmp    132c <main+0x1fc>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rsi,%rsi
je     1527 <main+0x3f7>
mov    %rbx,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
movdqa 0xe5b(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movd   0x4(%rsp,%rsi,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0x8(%rsp,%rsi,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqa %xmm1,0x10(%rsp,%rsi,4)
movdqa %xmm2,0x20(%rsp,%rsi,4)
movd   0xc(%rsp,%rsi,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0x10(%rsp,%rsi,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqa %xmm1,0x30(%rsp,%rsi,4)
movdqa %xmm2,0x40(%rsp,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    11b0 <main+0x80>
test   $0x1,%bl
je     1275 <main+0x145>
movd   0x4(%rsp,%rsi,1),%xmm0
movd   0x8(%rsp,%rsi,1),%xmm1
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm1
movdqa 0xd9f(%rip),%xmm2
paddd  %xmm2,%xmm0
paddd  %xmm2,%xmm1
movdqa %xmm0,0x10(%rsp,%rsi,4)
movdqa %xmm1,0x20(%rsp,%rsi,4)
cmp    %rcx,%rdx
je     1295 <main+0x165>
nopw   0x0(%rax,%rax,1)
movsbl 0x4(%rsp,%rdx,1),%esi
add    $0xffffffd0,%esi
mov    %esi,0x10(%rsp,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1280 <main+0x150>
mov    0x10(%rsp),%r11d
mov    0x14(%rsp),%r10d
mov    %r11d,%ecx
or     %r10d,%ecx
jne    12e2 <main+0x1b2>
xor    %ecx,%ecx
cmp    $0xc,%eax
setge  %cl
mov    0x18(%rsp),%eax
mov    0x1c(%rsp),%edx
lea    (%rax,%rax,4),%esi
lea    (%rdx,%rsi,2),%eax
lea    (%rdx,%rsi,2),%edi
add    $0xffffffff,%edi
lea    (%rdx,%rsi,2),%edx
add    $0xffffffd7,%edx
add    $0x1,%ecx
cmp    $0xc,%edx
cmovb  %r8d,%ecx
cmp    $0xc,%edi
cmovae %ecx,%r8d
xor    %r11d,%r11d
xor    %r10d,%r10d
jmp    132c <main+0x1fc>
test   %r11d,%r11d
je     132c <main+0x1fc>
test   %r10d,%r10d
je     132c <main+0x1fc>
xor    %ecx,%ecx
cmp    $0xc,%eax
setge  %cl
mov    0x18(%rsp),%eax
mov    0x1c(%rsp),%esi
lea    (%rax,%rax,4),%edi
lea    (%rsi,%rdi,2),%eax
lea    (%rsi,%rdi,2),%ebx
add    $0xffffffd7,%ebx
add    $0x1,%ecx
cmp    $0xc,%ebx
cmovb  %r8d,%ecx
lea    (%rsi,%rdi,2),%ebx
add    $0xffffffeb,%ebx
cmp    $0xc,%ebx
cmovb  %r8d,%ecx
lea    (%rsi,%rdi,2),%esi
add    $0xffffffff,%esi
cmp    $0xc,%esi
cmovae %ecx,%r8d
mov    0x20(%rsp),%ecx
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%r9d
mov    0x24(%rsp),%r14d
movd   %eax,%xmm0
pshufd $0x50,%xmm0,%xmm1
pand   0xcc4(%rip),%xmm1
lea    (%r9,%r14,1),%ebp
movdqa 0xcc8(%rip),%xmm2
pcmpeqd %xmm1,%xmm2
pshufd $0x50,%xmm2,%xmm2
movmskpd %xmm2,%edi
test   %edi,%edi
setne  %dil
cmp    $0xc,%eax
sete   %dl
cmp    $0x15,%eax
sete   %bl
or     %dl,%bl
cmp    $0x17,%eax
sete   %dl
or     %bl,%dl
cmp    $0x19,%eax
sete   %bl
or     %dl,%bl
cmp    $0x1b,%eax
sete   %dl
or     %bl,%dl
cmp    $0x1c,%eax
sete   %bl
or     %dl,%bl
cmp    $0x1e,%eax
sete   %dl
or     %bl,%dl
cmp    $0x20,%eax
sete   %bl
or     %dl,%bl
cmp    $0x29,%eax
sete   %dl
or     %bl,%dl
cmp    $0x2b,%eax
sete   %bl
or     %dl,%bl
cmp    $0x2d,%eax
sete   %dl
or     %bl,%dl
cmp    $0x2f,%eax
sete   %bl
or     %dl,%bl
cmp    $0x30,%eax
sete   %dl
or     %bl,%dl
or     %dil,%dl
cmp    $0x32,%eax
sete   %bl
cmp    $0x34,%eax
sete   %cl
or     %bl,%cl
or     %dl,%cl
cmp    $0x20,%ebp
setge  %dl
and    %cl,%dl
pshufd $0x0,%xmm0,%xmm2
punpcklqdq %xmm1,%xmm0
pshufd $0xa,%xmm0,%xmm0
pcmpeqd 0xc2e(%rip),%xmm0
movzbl %dl,%r15d
pcmpeqd 0xc32(%rip),%xmm2
packssdw %xmm2,%xmm0
pmovmskb %xmm0,%ecx
test   %ecx,%ecx
setne  %cl
cmp    $0x31,%eax
sete   %dl
cmp    $0x33,%eax
sete   %bl
or     %dl,%bl
or     %cl,%bl
cmp    $0x1f,%ebp
setge  %cl
and    %bl,%cl
movzbl %cl,%esi
lea    (%r11,%r11,4),%ecx
lea    (%r10,%rcx,2),%edi
xor    %edx,%edx
test   $0x3,%dil
sete   %dl
cmp    $0x2,%eax
sete   %bl
cmp    $0x16,%eax
sete   %cl
or     %bl,%cl
cmp    $0x2a,%eax
sete   %bl
or     %cl,%bl
or     $0x1c,%edx
cmp    %edx,%ebp
setg   %cl
and    %bl,%cl
movzbl %cl,%ecx
test   %edi,%edi
sete   %dl
test   %eax,%eax
setg   %bl
and    %dl,%bl
cmp    $0xd,%eax
setl   %al
and    %bl,%al
cmp    $0x1d,%ebp
setge  %dl
and    %al,%dl
movzbl %dl,%eax
add    %r8d,%eax
add    %esi,%eax
add    %r15d,%eax
add    %ecx,%eax
add    %r11d,%r11d
lea    (%r11,%r10,4),%ecx
mov    0x18(%rsp),%r8d
mov    0x1c(%rsp),%esi
lea    (%rsi,%rsi,4),%esi
lea    (%r14,%r14,8),%edi
mov    0x28(%rsp),%ebp
lea    0x0(,%rbp,8),%ebx
sub    %ebp,%ebx
mov    0x2c(%rsp),%ebp
lea    0x0(%rbp,%rbp,2),%ebp
mov    0x30(%rsp),%edx
lea    (%rdx,%rdx,2),%edx
add    %r9d,%ecx
add    %edi,%ecx
lea    (%rcx,%r8,8),%ecx
add    %esi,%ecx
add    %ebx,%ecx
add    %ebp,%ecx
lea    (%rcx,%rdx,2),%ecx
movslq %ecx,%rcx
imul   $0x2e8ba2e9,%rcx,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
sar    $0x21,%rdx
add    %esi,%edx
lea    (%rdx,%rdx,4),%esi
lea    (%rdx,%rsi,2),%edx
sub    %edx,%ecx
xor    %edx,%edx
cmp    $0xa,%ecx
cmove  %edx,%ecx
xor    %edx,%edx
cmp    %ecx,0x34(%rsp)
setne  %dl
neg    %edx
xor    %edi,%edi
cmp    %edx,%eax
sete   %dil
or     $0x30,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %esi,%esi
test   $0x1,%bl
jne    1233 <main+0x103>
jmp    1275 <main+0x145>

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

LLVM IR (-O2):
@.str = [3 x i8] c"%s\00"
define i32 @main() {
%1 = alloca [12 x i32]
%2 = alloca [12 x i8]
%3 = bitcast [12 x i32]* %1 to i8*
%4 = getelementptr inbounds [12 x i8], [12 x i8]* %2, i64 0, i64 0
%5 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %4)
%6 = call i32 @strlen(i8* %4)
%7 = icmp sgt i32 %6, 11
%8 = zext i1 %7 to i32
%9 = icmp sgt i32 %6, 0
br i1 %9, label %10, label %131
10: ; preds = %0
%11 = zext i32 %6 to i64
%12 = icmp ult i32 %6, 8
br i1 %12, label %77, label %13
13: ; preds = %10
%14 = and i64 %11, 4294967288
%15 = add nsw i64 %14, -8
%16 = lshr exact i64 %15, 3
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %57, label %20
20: ; preds = %13
%21 = and i64 %17, 4611686018427387902
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %54, %22 ]
%24 = phi i64 [ 0, %20 ], [ %55, %22 ]
%25 = getelementptr inbounds [12 x i8], [12 x i8]* %2, i64 0, i64 %23
%26 = bitcast i8* %25 to <4 x i8>*
%27 = load <4 x i8>, <4 x i8>* %26
%28 = getelementptr inbounds i8, i8* %25, i64 4
%29 = bitcast i8* %28 to <4 x i8>*
%30 = load <4 x i8>, <4 x i8>* %29
%31 = sext <4 x i8> %27 to <4 x i32>
%32 = sext <4 x i8> %30 to <4 x i32>
%33 = add nsw <4 x i32> %31, <i32 -48, i32 -48, i32 -48, i32 -48>
%34 = add nsw <4 x i32> %32, <i32 -48, i32 -48, i32 -48, i32 -48>
%35 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %23
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %35, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %38
%39 = or i64 %23, 8
%40 = getelementptr inbounds [12 x i8], [12 x i8]* %2, i64 0, i64 %39
%41 = bitcast i8* %40 to <4 x i8>*
%42 = load <4 x i8>, <4 x i8>* %41
%43 = getelementptr inbounds i8, i8* %40, i64 4
%44 = bitcast i8* %43 to <4 x i8>*
%45 = load <4 x i8>, <4 x i8>* %44
%46 = sext <4 x i8> %42 to <4 x i32>
%47 = sext <4 x i8> %45 to <4 x i32>
%48 = add nsw <4 x i32> %46, <i32 -48, i32 -48, i32 -48, i32 -48>
%49 = add nsw <4 x i32> %47, <i32 -48, i32 -48, i32 -48, i32 -48>
%50 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %39
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %49, <4 x i32>* %53
%54 = add nuw i64 %23, 16
%55 = add i64 %24, 2
%56 = icmp eq i64 %55, %21
br i1 %56, label %57, label %22
57: ; preds = %22, %13
%58 = phi i64 [ 0, %13 ], [ %54, %22 ]
%59 = icmp eq i64 %18, 0
br i1 %59, label %75, label %60
60: ; preds = %57
%61 = getelementptr inbounds [12 x i8], [12 x i8]* %2, i64 0, i64 %58
%62 = bitcast i8* %61 to <4 x i8>*
%63 = load <4 x i8>, <4 x i8>* %62
%64 = getelementptr inbounds i8, i8* %61, i64 4
%65 = bitcast i8* %64 to <4 x i8>*
%66 = load <4 x i8>, <4 x i8>* %65
%67 = sext <4 x i8> %63 to <4 x i32>
%68 = sext <4 x i8> %66 to <4 x i32>
%69 = add nsw <4 x i32> %67, <i32 -48, i32 -48, i32 -48, i32 -48>
%70 = add nsw <4 x i32> %68, <i32 -48, i32 -48, i32 -48, i32 -48>
%71 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %58
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> %69, <4 x i32>* %72
%73 = getelementptr inbounds i32, i32* %71, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %74
br label %75
75: ; preds = %57, %60
%76 = icmp eq i64 %14, %11
br i1 %76, label %88, label %77
77: ; preds = %10, %75
%78 = phi i64 [ 0, %10 ], [ %14, %75 ]
br label %79
79: ; preds = %77, %79
%80 = phi i64 [ %86, %79 ], [ %78, %77 ]
%81 = getelementptr inbounds [12 x i8], [12 x i8]* %2, i64 0, i64 %80
%82 = load i8, i8* %81
%83 = sext i8 %82 to i32
%84 = add nsw i32 %83, -48
%85 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 %80
store i32 %84, i32* %85
%86 = add nuw nsw i64 %80, 1
%87 = icmp eq i64 %86, %11
br i1 %87, label %88, label %79
88: ; preds = %79, %75
%89 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 0
%90 = load i32, i32* %89
%91 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 1
%92 = load i32, i32* %91
%93 = icmp eq i32 %90, 0
%94 = icmp eq i32 %92, 0
%95 = select i1 %93, i1 %94, i1 false
br i1 %95, label %96, label %110
96: ; preds = %88
%97 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 2
%98 = load i32, i32* %97
%99 = mul nsw i32 %98, 10
%100 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 3
%101 = load i32, i32* %100
%102 = add nsw i32 %99, %101
%103 = add i32 %102, -1
%104 = icmp ult i32 %103, 12
%105 = add i32 %102, -41
%106 = icmp ult i32 %105, 12
%107 = or i1 %104, %106
%108 = select i1 %7, i32 2, i32 1
%109 = select i1 %107, i32 %8, i32 %108
br label %131
110: ; preds = %88
%111 = icmp ne i32 %90, 0
%112 = icmp ne i32 %92, 0
%113 = select i1 %111, i1 %112, i1 false
br i1 %113, label %114, label %131
114: ; preds = %110
%115 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 2
%116 = load i32, i32* %115
%117 = mul nsw i32 %116, 10
%118 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 3
%119 = load i32, i32* %118
%120 = add nsw i32 %117, %119
%121 = add i32 %120, -1
%122 = icmp ult i32 %121, 12
%123 = add i32 %120, -21
%124 = icmp ult i32 %123, 12
%125 = or i1 %122, %124
%126 = add i32 %120, -41
%127 = icmp ult i32 %126, 12
%128 = select i1 %125, i1 true, i1 %127
%129 = select i1 %7, i32 2, i32 1
%130 = select i1 %128, i32 %8, i32 %129
br label %131
131: ; preds = %0, %96, %114, %110
%132 = phi i32 [ %90, %110 ], [ %90, %114 ], [ 0, %96 ], [ undef, %0 ]
%133 = phi i32 [ %92, %110 ], [ %92, %114 ], [ 0, %96 ], [ undef, %0 ]
%134 = phi i32 [ %6, %110 ], [ %120, %114 ], [ %102, %96 ], [ %6, %0 ]
%135 = phi i32 [ %8, %110 ], [ %130, %114 ], [ %109, %96 ], [ %8, %0 ]
%136 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 4
%137 = load i32, i32* %136
%138 = mul nsw i32 %137, 10
%139 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 5
%140 = load i32, i32* %139
%141 = add nsw i32 %138, %140
%142 = insertelement <2 x i32> poison, i32 %134, i64 0
%143 = shufflevector <2 x i32> %142, <2 x i32> poison, <2 x i32> zeroinitializer
%144 = and <2 x i32> %143, <i32 -3, i32 -7>
%145 = icmp eq <2 x i32> %144, <i32 8, i32 1>
%146 = shufflevector <2 x i1> %145, <2 x i1> poison, <2 x i32> <i32 1, i32 undef>
%147 = or <2 x i1> %145, %146
%148 = extractelement <2 x i1> %147, i64 0
%149 = icmp eq i32 %134, 12
%150 = select i1 %148, i1 true, i1 %149
%151 = icmp eq i32 %134, 21
%152 = select i1 %150, i1 true, i1 %151
%153 = icmp eq i32 %134, 23
%154 = select i1 %152, i1 true, i1 %153
%155 = icmp eq i32 %134, 25
%156 = select i1 %154, i1 true, i1 %155
%157 = icmp eq i32 %134, 27
%158 = select i1 %156, i1 true, i1 %157
%159 = icmp eq i32 %134, 28
%160 = select i1 %158, i1 true, i1 %159
%161 = icmp eq i32 %134, 30
%162 = select i1 %160, i1 true, i1 %161
%163 = icmp eq i32 %134, 32
%164 = select i1 %162, i1 true, i1 %163
%165 = icmp eq i32 %134, 41
%166 = select i1 %164, i1 true, i1 %165
%167 = icmp eq i32 %134, 43
%168 = select i1 %166, i1 true, i1 %167
%169 = icmp eq i32 %134, 45
%170 = select i1 %168, i1 true, i1 %169
%171 = icmp eq i32 %134, 47
%172 = select i1 %170, i1 true, i1 %171
%173 = icmp eq i32 %134, 48
%174 = select i1 %172, i1 true, i1 %173
%175 = icmp eq i32 %134, 50
%176 = select i1 %174, i1 true, i1 %175
%177 = icmp eq i32 %134, 52
%178 = select i1 %176, i1 true, i1 %177
%179 = icmp sgt i32 %141, 31
%180 = select i1 %178, i1 %179, i1 false
%181 = zext i1 %180 to i32
%182 = extractelement <2 x i32> %144, i64 0
%183 = insertelement <8 x i32> poison, i32 %182, i64 0
%184 = insertelement <8 x i32> %183, i32 %134, i64 1
%185 = shufflevector <8 x i32> %184, <8 x i32> poison, <8 x i32> <i32 0, i32 0, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1>
%186 = freeze <8 x i32> %185
%187 = icmp eq <8 x i32> %186, <i32 9, i32 4, i32 24, i32 26, i32 29, i32 31, i32 44, i32 46>
%188 = bitcast <8 x i1> %187 to i8
%189 = icmp ne i8 %188, 0
%190 = icmp eq i32 %134, 49
%191 = select i1 %189, i1 true, i1 %190
%192 = icmp eq i32 %134, 51
%193 = select i1 %191, i1 true, i1 %192
%194 = icmp sgt i32 %141, 30
%195 = select i1 %193, i1 %194, i1 false
%196 = zext i1 %195 to i32
%197 = mul nsw i32 %132, 10
%198 = add nsw i32 %197, %133
%199 = and i32 %198, 3
%200 = icmp eq i32 %199, 0
%201 = icmp eq i32 %134, 2
%202 = icmp eq i32 %134, 22
%203 = or i1 %201, %202
%204 = icmp eq i32 %134, 42
%205 = or i1 %204, %203
%206 = select i1 %200, i32 29, i32 28
%207 = icmp sgt i32 %141, %206
%208 = select i1 %205, i1 %207, i1 false
%209 = zext i1 %208 to i32
%210 = icmp eq i32 %198, 0
%211 = icmp sgt i32 %134, 0
%212 = select i1 %210, i1 %211, i1 false
%213 = icmp slt i32 %134, 13
%214 = select i1 %212, i1 %213, i1 false
%215 = icmp sgt i32 %141, 28
%216 = select i1 %214, i1 %215, i1 false
%217 = zext i1 %216 to i32
%218 = add nsw i32 %135, %217
%219 = add nsw i32 %218, %196
%220 = add nsw i32 %219, %181
%221 = add nsw i32 %220, %209
%222 = shl nsw i32 %132, 1
%223 = shl nsw i32 %133, 2
%224 = add nsw i32 %223, %222
%225 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 2
%226 = load i32, i32* %225
%227 = shl nsw i32 %226, 3
%228 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 3
%229 = load i32, i32* %228
%230 = mul nsw i32 %229, 5
%231 = mul nsw i32 %140, 9
%232 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 6
%233 = load i32, i32* %232
%234 = mul nsw i32 %233, 7
%235 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 7
%236 = load i32, i32* %235
%237 = mul nsw i32 %236, 3
%238 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 8
%239 = load i32, i32* %238
%240 = mul nsw i32 %239, 6
%241 = add i32 %224, %138
%242 = add i32 %241, %231
%243 = add i32 %242, %227
%244 = add i32 %243, %230
%245 = add i32 %244, %234
%246 = add i32 %245, %237
%247 = add i32 %246, %240
%248 = srem i32 %247, 11
%249 = icmp eq i32 %248, 10
%250 = select i1 %249, i32 0, i32 %248
%251 = getelementptr inbounds [12 x i32], [12 x i32]* %1, i64 0, i64 9
%252 = load i32, i32* %251
%253 = icmp ne i32 %252, %250
%254 = sext i1 %253 to i32
%255 = icmp eq i32 %221, %254
%256 = select i1 %255, i32 49, i32 48
%257 = call i32 @putchar(i32 %256)
ret i32 0
}