#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 main() {
  char s[12];
  int EGN[12];
  int sum = 0, i;
  int teglo[9] = {2, 4, 8, 5, 10, 9, 7, 3, 6};
  int dati[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  scanf("%s", s);
  for (i = 0; i < 10; i++) {
    if (s[i] < '0' || s[i] > '9') {
      printf("\n0");
      return 0;
    }
  }
  for (i = 0; i < 10; i++) {
    EGN[i] = s[i] - '0';
  }
  for (i = 0; i < 9; i++) {
    sum = sum + teglo[i] * EGN[i];
  }
  sum = sum % 11;
  if (sum < 10) {
    if (EGN[9] != sum) {
      printf("\n0");
      return 0;
    }
  } else {
    if (EGN[9] != '0') {
      printf("\n0");
      return 0;
    }
  }
  int mes, den, god;
  god = EGN[0] * 10 + EGN[1];
  den = EGN[4] * 10 + EGN[5];
  mes = EGN[2] * 10 + EGN[3];
  if (god % 4 == 0) {
    dati[1] = 29;
  }
  if (mes > 20 && mes < 33) {
    mes = mes - 20;
  }
  if (mes > 40 && mes < 53) {
    mes = mes - 40;
  }
  if (den > dati[mes - 1] || den < 1) {
    printf("\n0");
    return 0;
  }
  if (mes < 1 || mes > 12) {
    printf("\n0");
    return 0;
  }
  printf("\n1");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x44(%rbp)
lea    -0x70(%rbp),%rdi
lea    0xeac(%rip),%rsi
mov    $0x24,%edx
call   1040 <memcpy@plt>
lea    -0xa0(%rbp),%rdi
lea    0xec4(%rip),%rsi
mov    $0x30,%edx
call   1040 <memcpy@plt>
lea    -0x10(%rbp),%rsi
lea    0xedf(%rip),%rdi
call   1050 <scanf@plt>
movl   $0x0,-0x48(%rbp)
cmpl   $0xa,-0x48(%rbp)
jge    11e6 <main+0xb6>
movslq -0x48(%rbp),%rax
movsbl -0x10(%rbp,%rax,1),%eax
cmp    $0x30,%eax
jl     11bb <main+0x8b>
movslq -0x48(%rbp),%rax
movsbl -0x10(%rbp,%rax,1),%eax
cmp    $0x39,%eax
jle    11d3 <main+0xa3>
lea    0xea1(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13dc <main+0x2ac>
jmp    11d8 <main+0xa8>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    118d <main+0x5d>
movl   $0x0,-0x48(%rbp)
cmpl   $0xa,-0x48(%rbp)
jge    1219 <main+0xe9>
movslq -0x48(%rbp),%rax
movsbl -0x10(%rbp,%rax,1),%ecx
sub    $0x30,%ecx
movslq -0x48(%rbp),%rax
mov    %ecx,-0x40(%rbp,%rax,4)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11ed <main+0xbd>
movl   $0x0,-0x48(%rbp)
cmpl   $0x9,-0x48(%rbp)
jge    1251 <main+0x121>
mov    -0x44(%rbp),%eax
movslq -0x48(%rbp),%rcx
mov    -0x70(%rbp,%rcx,4),%ecx
movslq -0x48(%rbp),%rdx
imul   -0x40(%rbp,%rdx,4),%ecx
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1220 <main+0xf0>
mov    -0x44(%rbp),%eax
mov    $0xb,%ecx
cltd
idiv   %ecx
mov    %edx,-0x44(%rbp)
cmpl   $0xa,-0x44(%rbp)
jge    1292 <main+0x162>
mov    -0x1c(%rbp),%eax
cmp    -0x44(%rbp),%eax
je     128d <main+0x15d>
lea    0xde7(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13dc <main+0x2ac>
jmp    12b9 <main+0x189>
cmpl   $0x30,-0x1c(%rbp)
je     12b4 <main+0x184>
lea    0xdc0(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13dc <main+0x2ac>
jmp    12b9 <main+0x189>
imul   $0xa,-0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0xac(%rbp)
imul   $0xa,-0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0xa8(%rbp)
imul   $0xa,-0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0xa4(%rbp)
mov    -0xac(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1301 <main+0x1d1>
movl   $0x1d,-0x9c(%rbp)
cmpl   $0x14,-0xa4(%rbp)
jle    132a <main+0x1fa>
cmpl   $0x21,-0xa4(%rbp)
jge    132a <main+0x1fa>
mov    -0xa4(%rbp),%eax
sub    $0x14,%eax
mov    %eax,-0xa4(%rbp)
cmpl   $0x28,-0xa4(%rbp)
jle    1353 <main+0x223>
cmpl   $0x35,-0xa4(%rbp)
jge    1353 <main+0x223>
mov    -0xa4(%rbp),%eax
sub    $0x28,%eax
mov    %eax,-0xa4(%rbp)
mov    -0xa8(%rbp),%eax
mov    -0xa4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmp    -0xa0(%rbp,%rcx,4),%eax
jg     137f <main+0x24f>
cmpl   $0x1,-0xa8(%rbp)
jge    1397 <main+0x267>
lea    0xcdd(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13dc <main+0x2ac>
cmpl   $0x1,-0xa4(%rbp)
jl     13b1 <main+0x281>
cmpl   $0xc,-0xa4(%rbp)
jle    13c9 <main+0x299>
lea    0xcab(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    13dc <main+0x2ac>
lea    0xc96(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x48,%rsp
movaps 0xeef(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xed3(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xeb7(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
lea    0xedb(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1040 <scanf@plt>
movzbl 0x4(%rsp),%eax
lea    -0x3a(%rax),%ecx
lea    0xec5(%rip),%rdi
cmp    $0xf6,%cl
jb     11f9 <main+0xd9>
movzbl 0x5(%rsp),%ecx
lea    -0x3a(%rcx),%edx
cmp    $0xf6,%dl
jb     11f9 <main+0xd9>
movzbl 0x6(%rsp),%edx
lea    -0x3a(%rdx),%esi
cmp    $0xf6,%sil
jb     11f9 <main+0xd9>
movzbl 0x7(%rsp),%esi
lea    -0x3a(%rsi),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0x8(%rsp),%r9d
lea    -0x3a(%r9),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0x9(%rsp),%r8d
lea    -0x3a(%r8),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0xa(%rsp),%r11d
lea    -0x3a(%r11),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0xb(%rsp),%r15d
lea    -0x3a(%r15),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0xc(%rsp),%r14d
lea    -0x3a(%r14),%ebx
cmp    $0xf6,%bl
jb     11f9 <main+0xd9>
movzbl 0xd(%rsp),%r10d
lea    -0x3a(%r10),%ebx
cmp    $0xf6,%bl
jae    120b <main+0xeb>
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
add    $0xffffffd0,%esi
add    $0xffffffd0,%r8d
lea    (%rax,%rax,1),%ebx
add    $0xffffffa0,%ebx
lea    (%rbx,%rcx,4),%ebx
add    $0xffffff40,%ebx
lea    (%rbx,%rdx,8),%ebp
add    $0xfffffe80,%ebp
lea    (%rsi,%rsi,4),%ebx
add    %ebp,%ebx
lea    (%r9,%r9,4),%r9d
lea    (%rbx,%r9,2),%ebx
add    $0xfffffe20,%ebx
lea    (%r8,%r8,8),%ebp
add    %ebx,%ebp
lea    0x0(,%r11,8),%ebx
sub    %r11d,%ebx
add    %ebp,%ebx
lea    (%r15,%r15,2),%ebp
add    %ebx,%ebp
lea    (%r14,%r14,2),%ebx
lea    0x2fd00(%rbp,%rbx,2),%r11d
movzwl %r11w,%ebp
imul   $0xba2f,%ebp,%ebp
shr    $0x13,%ebp
lea    0x0(%rbp,%rbp,4),%ebx
lea    0x0(%rbp,%rbx,2),%ebx
sub    %ebx,%r11d
cmp    $0x9,%r11w
ja     11f9 <main+0xd9>
add    $0xffffffd0,%r10d
movzwl %r11w,%ebp
cmp    %ebp,%r10d
jne    11f9 <main+0xd9>
add    $0xffffffd0,%eax
add    $0xffffffd0,%ecx
add    $0xffffffd0,%edx
lea    (%r9,%r9,1),%ebx
add    $0xfffffe20,%ebx
lea    (%rax,%rax,4),%eax
lea    (%rcx,%rax,2),%ecx
add    %r8d,%ebx
lea    (%rdx,%rdx,4),%eax
lea    (%rsi,%rax,2),%eax
test   $0x3,%cl
jne    12c5 <main+0x1a5>
movl   $0x1d,0x14(%rsp)
lea    -0x15(%rax),%ecx
lea    -0x14(%rax),%edx
cmp    $0xc,%ecx
cmovae %eax,%edx
lea    -0x29(%rdx),%ecx
lea    -0x28(%rdx),%eax
cmp    $0xc,%ecx
cmovae %edx,%eax
test   %ebx,%ebx
je     11f9 <main+0xd9>
movslq %eax,%rcx
cmp    0xc(%rsp,%rcx,4),%ebx
jg     11f9 <main+0xd9>
add    $0xfffffff3,%eax
cmp    $0xfffffff4,%eax
lea    0xd34(%rip),%rax
lea    0xd30(%rip),%rdi
cmovb  %rax,%rdi
jmp    11f9 <main+0xd9>

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

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