#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() {
  char ISBN[20];
  int valid = 1, counter, l, sum = 0, check = 1, counter2 = 0, company = 0;
  scanf("%s", ISBN);
  if (ISBN[0] != '9' || ISBN[1] != '7' || (ISBN[2] != '8' && ISBN[2] != '9')) {
    valid = 0;
  }
  if (ISBN[6] == '9' && ISBN[7] == '3' && ISBN[8] == '3' && ISBN[9] == '3' &&
      ISBN[10] == '4' && ISBN[11] == '6') {
    company = 1;
  }
  if (ISBN[6] == '5' && ISBN[7] == '5' && ISBN[8] == '5' && ISBN[9] == '8' &&
      ISBN[10] == '3') {
    company = 2;
  }
  if (ISBN[6] == '4' && ISBN[7] == '2' && ISBN[8] == '1' && ISBN[9] == '0') {
    company = 3;
  }
  if (ISBN[6] == '0' && ISBN[7] == '1') {
    company = 4;
  }
  l = strlen(ISBN);
  for (counter = 0; counter < l; counter++) {
    if (ISBN[counter] > '9' && ISBN[counter] < '0' && ISBN[counter] != '-')
      valid = 0;
  }
  for (counter = 0; counter < l; counter++) {
    ISBN[counter] = (ISBN[counter] - 48);
  }
  for (counter = 0; counter < l - 1; counter++) {
    if (ISBN[counter] <= 9 && ISBN[counter] >= 0) {
      sum = sum + ISBN[counter] * check;
      counter2++;
      if (counter2 % 2 != 0) {
        check = 3;
      } else {
        check = 1;
      }
    }
  }
  if (ISBN[l - 1] != 10 - (sum % 10)) {
    valid = 0;
  }
  if (valid != 0) {
    printf("1");
    if (company == 1) {
      printf("\nBluebridge");
    }
    if (company == 2) {
      printf("\nAlyson Books");
    }
    if (company == 3) {
      printf("\nFUNimation Productions, Ltd.");
    }
    if (company == 4) {
      printf("\nPyramid Books");
    }
  } else {
    printf("0");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
lea    -0x20(%rbp),%rsi
lea    0xe93(%rip),%rdi
call   1050 <scanf@plt>
movsbl -0x20(%rbp),%eax
cmp    $0x39,%eax
jne    11a6 <main+0x76>
movsbl -0x1f(%rbp),%eax
cmp    $0x37,%eax
jne    11a6 <main+0x76>
movsbl -0x1e(%rbp),%eax
cmp    $0x38,%eax
je     11ad <main+0x7d>
movsbl -0x1e(%rbp),%eax
cmp    $0x39,%eax
je     11ad <main+0x7d>
movl   $0x0,-0x24(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x39,%eax
jne    1202 <main+0xd2>
movsbl -0x19(%rbp),%eax
cmp    $0x33,%eax
jne    1202 <main+0xd2>
movsbl -0x18(%rbp),%eax
cmp    $0x33,%eax
jne    1202 <main+0xd2>
movsbl -0x17(%rbp),%eax
cmp    $0x33,%eax
jne    1202 <main+0xd2>
movsbl -0x16(%rbp),%eax
cmp    $0x34,%eax
jne    1202 <main+0xd2>
movsbl -0x15(%rbp),%eax
cmp    $0x36,%eax
jne    1202 <main+0xd2>
movl   $0x1,-0x3c(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x35,%eax
jne    124a <main+0x11a>
movsbl -0x19(%rbp),%eax
cmp    $0x35,%eax
jne    124a <main+0x11a>
movsbl -0x18(%rbp),%eax
cmp    $0x35,%eax
jne    124a <main+0x11a>
movsbl -0x17(%rbp),%eax
cmp    $0x38,%eax
jne    124a <main+0x11a>
movsbl -0x16(%rbp),%eax
cmp    $0x33,%eax
jne    124a <main+0x11a>
movl   $0x2,-0x3c(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x34,%eax
jne    1285 <main+0x155>
movsbl -0x19(%rbp),%eax
cmp    $0x32,%eax
jne    1285 <main+0x155>
movsbl -0x18(%rbp),%eax
cmp    $0x31,%eax
jne    1285 <main+0x155>
movsbl -0x17(%rbp),%eax
cmp    $0x30,%eax
jne    1285 <main+0x155>
movl   $0x3,-0x3c(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x30,%eax
jne    12a6 <main+0x176>
movsbl -0x19(%rbp),%eax
cmp    $0x31,%eax
jne    12a6 <main+0x176>
movl   $0x4,-0x3c(%rbp)
lea    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1315 <main+0x1e5>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x39,%eax
jle    1302 <main+0x1d2>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x30,%eax
jge    1302 <main+0x1d2>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x2d,%eax
je     1302 <main+0x1d2>
movl   $0x0,-0x24(%rbp)
jmp    1307 <main+0x1d7>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12b9 <main+0x189>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    134c <main+0x21c>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
sub    $0x30,%eax
mov    %al,%cl
movslq -0x28(%rbp),%rax
mov    %cl,-0x20(%rbp,%rax,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    131c <main+0x1ec>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13e5 <main+0x2b5>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x9,%eax
jg     13d2 <main+0x2a2>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x0,%eax
jl     13d2 <main+0x2a2>
mov    -0x30(%rbp),%eax
movslq -0x28(%rbp),%rcx
movsbl -0x20(%rbp,%rcx,1),%ecx
imul   -0x34(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     13c6 <main+0x296>
movl   $0x3,-0x34(%rbp)
jmp    13cd <main+0x29d>
movl   $0x1,-0x34(%rbp)
jmp    13d2 <main+0x2a2>
jmp    13d7 <main+0x2a7>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1353 <main+0x223>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
cltq
movsbl -0x20(%rbp,%rax,1),%eax
mov    %eax,-0x40(%rbp)
mov    -0x30(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x40(%rbp),%eax
mov    $0xa,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
je     1419 <main+0x2e9>
movl   $0x0,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     148c <main+0x35c>
lea    0xbd9(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x1,-0x3c(%rbp)
jne    1445 <main+0x315>
lea    0xbc5(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x2,-0x3c(%rbp)
jne    145b <main+0x32b>
lea    0xbbb(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x3,-0x3c(%rbp)
jne    1471 <main+0x341>
lea    0xbb3(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x4,-0x3c(%rbp)
jne    1487 <main+0x357>
lea    0xbbb(%rip),%rdi
call   1040 <printf@plt>
jmp    1498 <main+0x368>
lea    0xbb9(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
lea    0xedb(%rip),%rdi
lea    0x10(%rsp),%rsi
call   1060 <scanf@plt>
cmpb   $0x39,0x10(%rsp)
jne    1181 <main+0x41>
cmpb   $0x37,0x11(%rsp)
jne    1181 <main+0x41>
mov    0x12(%rsp),%al
and    $0xfe,%al
cmp    $0x38,%al
jne    1181 <main+0x41>
movl   $0x0,0x30(%rsp)
jmp    1187 <main+0x47>
mov    $0x1,%al
mov    %eax,0x30(%rsp)
mov    0x16(%rsp),%sil
mov    0x17(%rsp),%r12b
mov    %esi,%eax
xor    $0x39,%al
mov    %r12d,%ecx
xor    $0x33,%cl
or     %al,%cl
mov    0x18(%rsp),%dl
mov    %edx,%eax
mov    %edx,%edi
xor    $0x33,%al
mov    0x19(%rsp),%r13b
mov    %r13d,%edx
xor    $0x33,%dl
or     %al,%dl
or     %cl,%dl
mov    0x1a(%rsp),%bl
mov    %ebx,%eax
xor    $0x34,%al
or     %dl,%al
mov    0x1b(%rsp),%cl
xor    $0x36,%cl
xor    %edx,%edx
or     %al,%cl
sete   %dl
mov    %edx,0x34(%rsp)
mov    %esi,%eax
xor    $0x35,%al
mov    %r12d,%ebp
xor    $0x35,%bpl
or     %al,%bpl
mov    %edi,%eax
xor    $0x35,%al
mov    %r13d,%ecx
xor    $0x38,%cl
xor    $0x33,%bl
or     %cl,%bl
or     %al,%bl
mov    %esi,%r14d
xor    $0x34,%r14b
mov    %r12d,%r15d
xor    $0x32,%r15b
xor    $0x31,%dil
mov    %dil,0xe(%rsp)
xor    $0x30,%r13b
xor    $0x30,%sil
mov    %sil,0xf(%rsp)
xor    $0x31,%r12b
lea    0x10(%rsp),%rdi
call   1040 <strlen@plt>
or     %bpl,%bl
mov    $0x2,%ecx
cmovne 0x34(%rsp),%ecx
or     0xe(%rsp),%r13b
or     %r14b,%r15b
or     %r13b,%r15b
mov    $0x3,%edx
cmovne %ecx,%edx
or     0xf(%rsp),%r12b
mov    $0x4,%r14d
cmovne %edx,%r14d
test   %eax,%eax
jle    1264 <main+0x124>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    1270 <main+0x130>
xor    %edx,%edx
jmp    1360 <main+0x220>
add    $0xffffffff,%eax
xor    %edx,%edx
mov    %eax,%ecx
jmp    13a3 <main+0x263>
cmp    $0x20,%eax
jae    127c <main+0x13c>
xor    %edx,%edx
jmp    132e <main+0x1ee>
mov    %ecx,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rsi
mov    %rsi,%rbp
shr    $0x5,%rbp
add    $0x1,%rbp
test   %rsi,%rsi
je     14ba <main+0x37a>
mov    %rbp,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
movdqa 0xd56(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movdqa 0x10(%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movdqa 0x20(%rsp,%rsi,1),%xmm2
paddb  %xmm0,%xmm2
movdqa %xmm1,0x10(%rsp,%rsi,1)
movdqa %xmm2,0x20(%rsp,%rsi,1)
movdqa 0x30(%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movdqa 0x40(%rsp,%rsi,1),%xmm2
paddb  %xmm0,%xmm2
movdqa %xmm1,0x30(%rsp,%rsi,1)
movdqa %xmm2,0x40(%rsp,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdi
jne    12b0 <main+0x170>
test   $0x1,%bpl
je     1324 <main+0x1e4>
movdqa 0xcf8(%rip),%xmm0
movdqa 0x10(%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
paddb  0x20(%rsp,%rsi,1),%xmm0
movdqa %xmm1,0x10(%rsp,%rsi,1)
movdqa %xmm0,0x20(%rsp,%rsi,1)
cmp    %rcx,%rdx
je     136e <main+0x22e>
test   $0x18,%cl
je     1360 <main+0x220>
mov    %rdx,%rsi
mov    %ecx,%edx
and    $0xfffffff8,%edx
movdqa 0xcd2(%rip),%xmm0
xchg   %ax,%ax
movq   0x10(%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,0x10(%rsp,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdx
jne    1340 <main+0x200>
cmp    %rcx,%rdx
je     136e <main+0x22e>
xchg   %ax,%ax
addb   $0xd0,0x10(%rsp,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1360 <main+0x220>
lea    -0x1(%rax),%ecx
xor    %edx,%edx
cmp    $0x2,%eax
jl     13a3 <main+0x263>
mov    %ecx,%r8d
cmp    $0x1,%ecx
jne    1426 <main+0x2e6>
xor    %esi,%esi
mov    $0x1,%edi
xor    %edx,%edx
test   $0x1,%r8b
je     13a3 <main+0x263>
movzbl 0x10(%rsp,%rsi,1),%eax
imul   %eax,%edi
add    %edx,%edi
cmp    $0xa,%eax
cmovb  %edi,%edx
movslq %ecx,%rax
movsbl 0x10(%rsp,%rax,1),%eax
movslq %edx,%rcx
imul   $0x66666667,%rcx,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rdx
add    %esi,%edx
add    %edx,%edx
lea    (%rdx,%rdx,4),%edx
sub    %ecx,%edx
add    $0xa,%edx
cmp    %eax,%edx
setne  %al
mov    0x30(%rsp),%ecx
or     %al,%cl
je     13f4 <main+0x2b4>
mov    $0x30,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x31,%edi
call   1030 <putchar@plt>
add    $0xffffffff,%r14d
cmp    $0x3,%r14d
ja     13e3 <main+0x2a3>
lea    0xc11(%rip),%rax
movslq (%rax,%r14,4),%rcx
add    %rax,%rcx
jmp    *%rcx
lea    0xc14(%rip),%rdi
call   1050 <printf@plt>
jmp    13e3 <main+0x2a3>
mov    %r8d,%eax
and    $0xfffffffe,%eax
mov    $0x1,%edi
xor    %esi,%esi
xor    %ebp,%ebp
xor    %edx,%edx
jmp    144d <main+0x30d>
nopl   0x0(%rax)
add    $0x2,%rsi
cmp    %rsi,%rax
je     138d <main+0x24d>
movzbl 0x10(%rsp,%rsi,1),%ebx
cmp    $0x9,%ebx
ja     1469 <main+0x329>
imul   %ebx,%edi
add    %edi,%edx
add    $0x1,%ebp
mov    %ebp,%edi
and    $0x1,%edi
add    %edi,%edi
add    $0x1,%edi
movzbl 0x11(%rsp,%rsi,1),%ebx
cmp    $0x9,%ebx
ja     1440 <main+0x300>
imul   %ebx,%edi
add    %edi,%edx
add    $0x1,%ebp
mov    %ebp,%edi
and    $0x1,%edi
add    %edi,%edi
add    $0x1,%edi
jmp    1440 <main+0x300>
lea    0xbb1(%rip),%rdi
call   1050 <printf@plt>
jmp    13e3 <main+0x2a3>
lea    0xbae(%rip),%rdi
call   1050 <printf@plt>
jmp    13e3 <main+0x2a3>
lea    0xbbb(%rip),%rdi
call   1050 <printf@plt>
jmp    13e3 <main+0x2a3>
xor    %esi,%esi
test   $0x1,%bpl
jne    1300 <main+0x1c0>
jmp    1324 <main+0x1e4>

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

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