#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() {
  int numbers[20];
  int i, j = 0, count = 0, checkdigit = 0, flag = 1;
  char ISBN[20];
  scanf("%s", ISBN);
  if (ISBN[0] != '9' && ISBN[1] != '7' && ISBN[2] != '8')
    flag = 0;
  if (ISBN[0] != '9' && ISBN[1] != '7' && ISBN[2] != '9')
    flag = 0;
  for (i = 0; i < 20; i++) {
    if (ISBN[i] >= '0' && ISBN[i] <= '9') {
      numbers[j] = (ISBN[i] - 48);
      count++;
      j++;
    }
  }
  if (count != 13)
    flag = 0;
  for (i = 0; i < 12; i = i + 2) {
    if (i == 12)
      checkdigit = checkdigit + numbers[i];
    else
      checkdigit = checkdigit + numbers[i] + numbers[i + 1] * 3;
  }
  checkdigit = checkdigit % 10;
  checkdigit = 10 - checkdigit;
  if (checkdigit == 10)
    checkdigit = 0;
  if (numbers[12] != checkdigit)
    flag = 0;
  printf("%d", flag);
  if (flag == 1) {
    if (ISBN[6] == '9' && ISBN[7] == '3' && ISBN[8] == '3' && ISBN[9] == '3' &&
        ISBN[10] == '4' && ISBN[11] == '6')
      printf("\nBluebridge");
    if (ISBN[6] == '5' && ISBN[7] == '5' && ISBN[8] == '5' && ISBN[9] == '8' &&
        ISBN[10] == '3')
      printf("\nAlyson Books");
    if (ISBN[6] == '4' && ISBN[7] == '2' && ISBN[8] == '1' && ISBN[9] == '0')
      printf("\nFUNimation Productions, Ltd.");
    if (ISBN[6] == '0' && ISBN[7] == '1')
      printf("\nPyramid Books");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x68(%rbp)
movl   $0x0,-0x6c(%rbp)
movl   $0x0,-0x70(%rbp)
movl   $0x1,-0x74(%rbp)
lea    -0x90(%rbp),%rsi
lea    0xea4(%rip),%rdi
call   1040 <scanf@plt>
movsbl -0x90(%rbp),%eax
cmp    $0x39,%eax
je     1198 <main+0x78>
movsbl -0x8f(%rbp),%eax
cmp    $0x37,%eax
je     1198 <main+0x78>
movsbl -0x8e(%rbp),%eax
cmp    $0x38,%eax
je     1198 <main+0x78>
movl   $0x0,-0x74(%rbp)
movsbl -0x90(%rbp),%eax
cmp    $0x39,%eax
je     11cf <main+0xaf>
movsbl -0x8f(%rbp),%eax
cmp    $0x37,%eax
je     11cf <main+0xaf>
movsbl -0x8e(%rbp),%eax
cmp    $0x39,%eax
je     11cf <main+0xaf>
movl   $0x0,-0x74(%rbp)
movl   $0x0,-0x64(%rbp)
cmpl   $0x14,-0x64(%rbp)
jge    1246 <main+0x126>
movslq -0x64(%rbp),%rax
movsbl -0x90(%rbp,%rax,1),%eax
ff
cmp    $0x30,%eax
jl     1233 <main+0x113>
movslq -0x64(%rbp),%rax
movsbl -0x90(%rbp,%rax,1),%eax
cmp    $0x39,%eax
jg     1233 <main+0x113>
movslq -0x64(%rbp),%rax
movsbl -0x90(%rbp,%rax,1),%ecx
ff
sub    $0x30,%ecx
movslq -0x68(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    1238 <main+0x118>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    11d6 <main+0xb6>
cmpl   $0xd,-0x6c(%rbp)
je     1257 <main+0x137>
movl   $0x0,-0x74(%rbp)
movl   $0x0,-0x64(%rbp)
cmpl   $0xc,-0x64(%rbp)
jge    12b6 <main+0x196>
cmpl   $0xc,-0x64(%rbp)
jne    1285 <main+0x165>
mov    -0x70(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x60(%rbp,%rcx,4),%eax
mov    %eax,-0x70(%rbp)
jmp    12a3 <main+0x183>
mov    -0x70(%rbp),%eax
movslq -0x64(%rbp),%rcx
add    -0x60(%rbp,%rcx,4),%eax
mov    -0x64(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x3,-0x60(%rbp,%rcx,4),%ecx
add    %ecx,%eax
mov    %eax,-0x70(%rbp)
jmp    12a8 <main+0x188>
mov    -0x64(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x64(%rbp)
jmp    125e <main+0x13e>
mov    -0x70(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %edx,-0x70(%rbp)
mov    $0xa,%eax
sub    -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
cmpl   $0xa,-0x70(%rbp)
jne    12e0 <main+0x1c0>
movl   $0x0,-0x70(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x70(%rbp),%eax
je     12f3 <main+0x1d3>
movl   $0x0,-0x74(%rbp)
mov    -0x74(%rbp),%esi
lea    0xd06(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x1,-0x74(%rbp)
jne    145b <main+0x33b>
movsbl -0x8a(%rbp),%eax
cmp    $0x39,%eax
jne    137c <main+0x25c>
movsbl -0x89(%rbp),%eax
cmp    $0x33,%eax
jne    137c <main+0x25c>
movsbl -0x88(%rbp),%eax
cmp    $0x33,%eax
jne    137c <main+0x25c>
movsbl -0x87(%rbp),%eax
cmp    $0x33,%eax
jne    137c <main+0x25c>
movsbl -0x86(%rbp),%eax
cmp    $0x34,%eax
jne    137c <main+0x25c>
movsbl -0x85(%rbp),%eax
cmp    $0x36,%eax
jne    137c <main+0x25c>
lea    0xc91(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movsbl -0x8a(%rbp),%eax
cmp    $0x35,%eax
jne    13da <main+0x2ba>
movsbl -0x89(%rbp),%eax
cmp    $0x35,%eax
jne    13da <main+0x2ba>
movsbl -0x88(%rbp),%eax
cmp    $0x35,%eax
jne    13da <main+0x2ba>
movsbl -0x87(%rbp),%eax
cmp    $0x38,%eax
jne    13da <main+0x2ba>
movsbl -0x86(%rbp),%eax
cmp    $0x33,%eax
jne    13da <main+0x2ba>
lea    0xc3f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movsbl -0x8a(%rbp),%eax
cmp    $0x34,%eax
jne    1428 <main+0x308>
movsbl -0x89(%rbp),%eax
cmp    $0x32,%eax
jne    1428 <main+0x308>
movsbl -0x88(%rbp),%eax
cmp    $0x31,%eax
jne    1428 <main+0x308>
movsbl -0x87(%rbp),%eax
cmp    $0x30,%eax
jne    1428 <main+0x308>
lea    0xbff(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movsbl -0x8a(%rbp),%eax
cmp    $0x30,%eax
jne    1456 <main+0x336>
movsbl -0x89(%rbp),%eax
cmp    $0x31,%eax
jne    1456 <main+0x336>
lea    0xbef(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    145b <main+0x33b>
xor    %eax,%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x70,%rsp
lea    0xed4(%rip),%rdi
mov    %rsp,%rsi
call   1040 <scanf@plt>
mov    (%rsp),%cl
cmp    $0x39,%cl
sete   %dl
cmpb   $0x37,0x1(%rsp)
sete   %al
or     %dl,%al
mov    0x2(%rsp),%r9b
cmp    $0x38,%r9b
sete   %r8b
or     %al,%r8b
xor    %edx,%edx
mov    $0x1,%esi
xor    %edi,%edi
lea    -0x30(%rcx),%ebx
cmp    $0x9,%bl
ja     117b <main+0x5b>
movzbl %cl,%ecx
add    $0xffffffd0,%ecx
movslq %edi,%rdi
mov    %ecx,0x20(%rsp,%rdi,4)
add    $0x1,%edx
add    $0x1,%edi
cmp    $0x14,%rsi
je     118b <main+0x6b>
movzbl (%rsp,%rsi,1),%ecx
add    $0x1,%rsi
jmp    1160 <main+0x40>
cmp    $0x39,%r9b
sete   %cl
mov    0x24(%rsp),%esi
lea    (%rsi,%rsi,2),%esi
add    0x20(%rsp),%esi
mov    0x2c(%rsp),%edi
add    0x28(%rsp),%esi
lea    (%rdi,%rdi,2),%edi
add    %esi,%edi
add    0x30(%rsp),%edi
mov    0x34(%rsp),%esi
lea    (%rsi,%rsi,2),%esi
add    %edi,%esi
add    0x38(%rsp),%esi
or     %cl,%al
mov    0x3c(%rsp),%ecx
lea    (%rcx,%rcx,2),%ecx
add    %esi,%ecx
add    0x40(%rsp),%ecx
mov    0x44(%rsp),%esi
lea    (%rsi,%rsi,2),%esi
add    %ecx,%esi
add    0x48(%rsp),%esi
mov    0x4c(%rsp),%ecx
lea    (%rcx,%rcx,2),%ecx
add    %esi,%ecx
xor    $0xd,%edx
movslq %ecx,%rcx
imul   $0x66666667,%rcx,%rsi
mov    %rsi,%rdi
shr    $0x3f,%rdi
sar    $0x22,%rsi
add    %edi,%esi
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
sub    %esi,%ecx
mov    $0xa,%esi
sub    %ecx,%esi
test   %ecx,%ecx
cmove  %ecx,%esi
xor    0x50(%rsp),%esi
or     %edx,%esi
sete   %cl
and    %al,%cl
and    %r8b,%cl
movzbl %cl,%ebx
lea    0xdde(%rip),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1030 <printf@plt>
cmp    $0x1,%bl
jne    1308 <main+0x1e8>
mov    0x6(%rsp),%cl
mov    0x7(%rsp),%al
mov    0x8(%rsp),%bl
mov    0x9(%rsp),%sil
mov    0xa(%rsp),%dl
cmp    $0x39,%cl
jne    128f <main+0x16f>
cmp    $0x33,%al
jne    128f <main+0x16f>
cmp    $0x33,%bl
jne    128f <main+0x16f>
cmp    $0x33,%sil
jne    128f <main+0x16f>
cmp    $0x34,%dl
jne    128f <main+0x16f>
cmpb   $0x36,0xb(%rsp)
jne    128f <main+0x16f>
lea    0xd93(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x6(%rsp),%cl
mov    0x7(%rsp),%al
mov    0x8(%rsp),%bl
mov    0x9(%rsp),%sil
mov    0xa(%rsp),%dl
cmp    $0x35,%cl
jne    12c7 <main+0x1a7>
cmp    $0x35,%al
jne    12c7 <main+0x1a7>
cmp    $0x35,%bl
jne    12c7 <main+0x1a7>
cmp    $0x38,%sil
jne    12c7 <main+0x1a7>
cmp    $0x33,%dl
jne    12c7 <main+0x1a7>
lea    0xd63(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x6(%rsp),%cl
mov    0x7(%rsp),%al
mov    0x8(%rsp),%bl
mov    0x9(%rsp),%sil
cmp    $0x34,%cl
jne    12f1 <main+0x1d1>
cmp    $0x32,%al
jne    12f1 <main+0x1d1>
cmp    $0x31,%bl
jne    12f1 <main+0x1d1>
cmp    $0x30,%sil
jne    12f1 <main+0x1d1>
lea    0xd3e(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x6(%rsp),%cl
mov    0x7(%rsp),%al
cmp    $0x30,%cl
jne    1308 <main+0x1e8>
cmp    $0x31,%al
jne    1308 <main+0x1e8>
lea    0xd3d(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x70,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%s\00"
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [12 x i8] c"\0ABluebridge\00"
@.str.3 = [14 x i8] c"\0AAlyson Books\00"
@.str.4 = [30 x i8] c"\0AFUNimation Productions, Ltd.\00"
@.str.5 = [15 x i8] c"\0APyramid Books\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [20 x i32]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca [20 x i8]
store i32 0, i32* %1
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 1, i32* %7
%9 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 0
%10 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %9)
%11 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 0
%12 = load i8, i8* %11
%13 = sext i8 %12 to i32
%14 = icmp ne i32 %13, 57
br i1 %14, label %15, label %26
15: ; preds = %0
%16 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 1
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp ne i32 %18, 55
br i1 %19, label %20, label %26
20: ; preds = %15
%21 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 2
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp ne i32 %23, 56
br i1 %24, label %25, label %26
25: ; preds = %20
store i32 0, i32* %7
br label %26
26: ; preds = %25, %20, %15, %0
%27 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 0
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp ne i32 %29, 57
br i1 %30, label %31, label %42
31: ; preds = %26
%32 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 1
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp ne i32 %34, 55
br i1 %35, label %36, label %42
36: ; preds = %31
%37 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 2
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp ne i32 %39, 57
br i1 %40, label %41, label %42
41: ; preds = %36
store i32 0, i32* %7
br label %42
42: ; preds = %41, %36, %31, %26
store i32 0, i32* %3
br label %43
43: ; preds = %75, %42
%44 = load i32, i32* %3
%45 = icmp slt i32 %44, 20
br i1 %45, label %46, label %78
46: ; preds = %43
%47 = load i32, i32* %3
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 %48
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp sge i32 %51, 48
br i1 %52, label %53, label %74
53: ; preds = %46
%54 = load i32, i32* %3
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 %55
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp sle i32 %58, 57
br i1 %59, label %60, label %74
60: ; preds = %53
%61 = load i32, i32* %3
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 %62
%64 = load i8, i8* %63
%65 = sext i8 %64 to i32
%66 = sub nsw i32 %65, 48
%67 = load i32, i32* %4
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %68
store i32 %66, i32* %69
%70 = load i32, i32* %5
%71 = add nsw i32 %70, 1
store i32 %71, i32* %5
%72 = load i32, i32* %4
%73 = add nsw i32 %72, 1
store i32 %73, i32* %4
br label %74
74: ; preds = %60, %53, %46
br label %75
75: ; preds = %74
%76 = load i32, i32* %3
%77 = add nsw i32 %76, 1
store i32 %77, i32* %3
br label %43
78: ; preds = %43
%79 = load i32, i32* %5
%80 = icmp ne i32 %79, 13
br i1 %80, label %81, label %82
81: ; preds = %78
store i32 0, i32* %7
br label %82
82: ; preds = %81, %78
store i32 0, i32* %3
br label %83
83: ; preds = %111, %82
%84 = load i32, i32* %3
%85 = icmp slt i32 %84, 12
br i1 %85, label %86, label %114
86: ; preds = %83
%87 = load i32, i32* %3
%88 = icmp eq i32 %87, 12
br i1 %88, label %89, label %96
89: ; preds = %86
%90 = load i32, i32* %6
%91 = load i32, i32* %3
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %92
%94 = load i32, i32* %93
%95 = add nsw i32 %90, %94
store i32 %95, i32* %6
br label %110
96: ; preds = %86
%97 = load i32, i32* %6
%98 = load i32, i32* %3
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %99
%101 = load i32, i32* %100
%102 = add nsw i32 %97, %101
%103 = load i32, i32* %3
%104 = add nsw i32 %103, 1
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 %105
%107 = load i32, i32* %106
%108 = mul nsw i32 %107, 3
%109 = add nsw i32 %102, %108
store i32 %109, i32* %6
br label %110
110: ; preds = %96, %89
br label %111
111: ; preds = %110
%112 = load i32, i32* %3
%113 = add nsw i32 %112, 2
store i32 %113, i32* %3
br label %83
114: ; preds = %83
%115 = load i32, i32* %6
%116 = srem i32 %115, 10
store i32 %116, i32* %6
%117 = load i32, i32* %6
%118 = sub nsw i32 10, %117
store i32 %118, i32* %6
%119 = load i32, i32* %6
%120 = icmp eq i32 %119, 10
br i1 %120, label %121, label %122
121: ; preds = %114
store i32 0, i32* %6
br label %122
122: ; preds = %121, %114
%123 = getelementptr inbounds [20 x i32], [20 x i32]* %2, i64 0, i64 12
%124 = load i32, i32* %123
%125 = load i32, i32* %6
%126 = icmp ne i32 %124, %125
br i1 %126, label %127, label %128
127: ; preds = %122
store i32 0, i32* %7
br label %128
128: ; preds = %127, %122
%129 = load i32, i32* %7
%130 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 %129)
%131 = load i32, i32* %7
%132 = icmp eq i32 %131, 1
br i1 %132, label %133, label %227
133: ; preds = %128
%134 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 6
%135 = load i8, i8* %134
%136 = sext i8 %135 to i32
%137 = icmp eq i32 %136, 57
br i1 %137, label %138, label %165
138: ; preds = %133
%139 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 7
%140 = load i8, i8* %139
%141 = sext i8 %140 to i32
%142 = icmp eq i32 %141, 51
br i1 %142, label %143, label %165
143: ; preds = %138
%144 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 8
%145 = load i8, i8* %144
%146 = sext i8 %145 to i32
%147 = icmp eq i32 %146, 51
br i1 %147, label %148, label %165
148: ; preds = %143
%149 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 9
%150 = load i8, i8* %149
%151 = sext i8 %150 to i32
%152 = icmp eq i32 %151, 51
br i1 %152, label %153, label %165
153: ; preds = %148
%154 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 10
%155 = load i8, i8* %154
%156 = sext i8 %155 to i32
%157 = icmp eq i32 %156, 52
br i1 %157, label %158, label %165
158: ; preds = %153
%159 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 11
%160 = load i8, i8* %159
%161 = sext i8 %160 to i32
%162 = icmp eq i32 %161, 54
br i1 %162, label %163, label %165
163: ; preds = %158
%164 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.2, i64 0, i64 0))
br label %165
165: ; preds = %163, %158, %153, %148, %143, %138, %133
%166 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 6
%167 = load i8, i8* %166
%168 = sext i8 %167 to i32
%169 = icmp eq i32 %168, 53
br i1 %169, label %170, label %192
170: ; preds = %165
%171 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 7
%172 = load i8, i8* %171
%173 = sext i8 %172 to i32
%174 = icmp eq i32 %173, 53
br i1 %174, label %175, label %192
175: ; preds = %170
%176 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 8
%177 = load i8, i8* %176
%178 = sext i8 %177 to i32
%179 = icmp eq i32 %178, 53
br i1 %179, label %180, label %192
180: ; preds = %175
%181 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 9
%182 = load i8, i8* %181
%183 = sext i8 %182 to i32
%184 = icmp eq i32 %183, 56
br i1 %184, label %185, label %192
185: ; preds = %180
%186 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 10
%187 = load i8, i8* %186
%188 = sext i8 %187 to i32
%189 = icmp eq i32 %188, 51
br i1 %189, label %190, label %192
190: ; preds = %185
%191 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
br label %192
192: ; preds = %190, %185, %180, %175, %170, %165
%193 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 6
%194 = load i8, i8* %193
%195 = sext i8 %194 to i32
%196 = icmp eq i32 %195, 52
br i1 %196, label %197, label %214
197: ; preds = %192
%198 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 7
%199 = load i8, i8* %198
%200 = sext i8 %199 to i32
%201 = icmp eq i32 %200, 50
br i1 %201, label %202, label %214
202: ; preds = %197
%203 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 8
%204 = load i8, i8* %203
%205 = sext i8 %204 to i32
%206 = icmp eq i32 %205, 49
br i1 %206, label %207, label %214
207: ; preds = %202
%208 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 9
%209 = load i8, i8* %208
%210 = sext i8 %209 to i32
%211 = icmp eq i32 %210, 48
br i1 %211, label %212, label %214
212: ; preds = %207
%213 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
br label %214
214: ; preds = %212, %207, %202, %197, %192
%215 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 6
%216 = load i8, i8* %215
%217 = sext i8 %216 to i32
%218 = icmp eq i32 %217, 48
br i1 %218, label %219, label %226
219: ; preds = %214
%220 = getelementptr inbounds [20 x i8], [20 x i8]* %8, i64 0, i64 7
%221 = load i8, i8* %220
%222 = sext i8 %221 to i32
%223 = icmp eq i32 %222, 49
br i1 %223, label %224, label %226
224: ; preds = %219
%225 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.5, i64 0, i64 0))
br label %226
226: ; preds = %224, %219, %214
br label %227
227: ; preds = %226, %128
ret i32 0
}

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