#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 string[20];
  int help = 1, counter, res = 0, p = 1, j = 0, house_num = 0, length;
  scanf("%s", string);
  if (string[0] != '9' || string[1] != '7' ||
      (string[2] != '8' && string[2] != '9'))
    help = 0;
  if (string[6] == '0' && string[7] == '1')
    house_num = 1;
  if (string[6] == '4' && string[7] == '2' && string[8] == '1' &&
      string[9] == '0')
    house_num = 2;
  if (string[6] == '9' && string[7] == '3' && string[8] == '3' &&
      string[9] == '3' && string[10] == '4' && string[11] == '6')
    house_num = 3;
  if (string[6] == '5' && string[7] == '5' && string[8] == '5' &&
      string[9] == '8' && string[10] == '3')
    house_num = 4;
  length = strlen(string);
  for (counter = 0; counter < length; counter++) {
    if (string[counter] > '9' && string[counter] < '0' &&
        string[counter] != '-')
      help = 0;
    string[counter] = string[counter] - '0';
  }
  for (counter = 0; counter < length - 1; counter++) {
    if (string[counter] <= 9 && string[counter] >= 0) {
      res = res + string[counter] * p;
      j++;
      if (j % 2 != 0)
        p = 3;
      else
        p = 1;
    }
  }
  if (string[length - 1] != 10 - (res % 10))
    help = 0;
  if (help) {
    printf("1");
    if (house_num == 1)
      printf("\nPyramid Books");
    if (house_num == 2)
      printf("\nFUNimation Productions, Ltd.");
    if (house_num == 3)
      printf("\nBluebridge");
    if (house_num == 4)
      printf("\nAlyson 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,-0x2c(%rbp)
movl   $0x1,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%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    $0x30,%eax
jne    11ce <main+0x9e>
movsbl -0x19(%rbp),%eax
cmp    $0x31,%eax
jne    11ce <main+0x9e>
movl   $0x1,-0x38(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x34,%eax
jne    1209 <main+0xd9>
movsbl -0x19(%rbp),%eax
cmp    $0x32,%eax
jne    1209 <main+0xd9>
movsbl -0x18(%rbp),%eax
cmp    $0x31,%eax
jne    1209 <main+0xd9>
movsbl -0x17(%rbp),%eax
cmp    $0x30,%eax
jne    1209 <main+0xd9>
movl   $0x2,-0x38(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x39,%eax
jne    125e <main+0x12e>
movsbl -0x19(%rbp),%eax
cmp    $0x33,%eax
jne    125e <main+0x12e>
movsbl -0x18(%rbp),%eax
cmp    $0x33,%eax
jne    125e <main+0x12e>
movsbl -0x17(%rbp),%eax
cmp    $0x33,%eax
jne    125e <main+0x12e>
movsbl -0x16(%rbp),%eax
cmp    $0x34,%eax
jne    125e <main+0x12e>
movsbl -0x15(%rbp),%eax
cmp    $0x36,%eax
jne    125e <main+0x12e>
movl   $0x3,-0x38(%rbp)
movsbl -0x1a(%rbp),%eax
cmp    $0x35,%eax
jne    12a6 <main+0x176>
movsbl -0x19(%rbp),%eax
cmp    $0x35,%eax
jne    12a6 <main+0x176>
movsbl -0x18(%rbp),%eax
cmp    $0x35,%eax
jne    12a6 <main+0x176>
movsbl -0x17(%rbp),%eax
cmp    $0x38,%eax
jne    12a6 <main+0x176>
movsbl -0x16(%rbp),%eax
cmp    $0x33,%eax
jne    12a6 <main+0x176>
movl   $0x4,-0x38(%rbp)
lea    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    1326 <main+0x1f6>
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)
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    12b9 <main+0x189>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13bf <main+0x28f>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x9,%eax
jg     13ac <main+0x27c>
movslq -0x28(%rbp),%rax
movsbl -0x20(%rbp,%rax,1),%eax
cmp    $0x0,%eax
jl     13ac <main+0x27c>
mov    -0x2c(%rbp),%eax
movslq -0x28(%rbp),%rcx
movsbl -0x20(%rbp,%rcx,1),%ecx
imul   -0x30(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     13a0 <main+0x270>
movl   $0x3,-0x30(%rbp)
jmp    13a7 <main+0x277>
movl   $0x1,-0x30(%rbp)
jmp    13ac <main+0x27c>
jmp    13b1 <main+0x281>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    132d <main+0x1fd>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
cltq
movsbl -0x20(%rbp,%rax,1),%eax
mov    %eax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    -0x40(%rbp),%eax
mov    $0xa,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
je     13f3 <main+0x2c3>
movl   $0x0,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     1466 <main+0x336>
lea    0xbff(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x1,-0x38(%rbp)
jne    141f <main+0x2ef>
lea    0xbeb(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x2,-0x38(%rbp)
jne    1435 <main+0x305>
lea    0xbe4(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x3,-0x38(%rbp)
jne    144b <main+0x31b>
lea    0xbec(%rip),%rdi
call   1040 <printf@plt>
cmpl   $0x4,-0x38(%rbp)
jne    1461 <main+0x331>
lea    0xbe2(%rip),%rdi
call   1040 <printf@plt>
jmp    1472 <main+0x342>
lea    0xbdf(%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   %rbx
sub    $0x18,%rsp
lea    0xedf(%rip),%rdi
mov    %rsp,%rsi
call   1060 <scanf@plt>
cmpb   $0x39,(%rsp)
jne    1175 <main+0x35>
cmpb   $0x37,0x1(%rsp)
jne    1175 <main+0x35>
mov    0x2(%rsp),%al
and    $0xfe,%al
cmp    $0x38,%al
jne    1175 <main+0x35>
xor    %r14d,%r14d
jmp    1178 <main+0x38>
mov    $0x1,%r14b
mov    0x6(%rsp),%dil
mov    0x7(%rsp),%r9b
mov    %edi,%edx
xor    $0x30,%dl
mov    %r9d,%eax
xor    $0x31,%al
xor    %ebp,%ebp
or     %dl,%al
sete   %bpl
mov    %edi,%eax
xor    $0x34,%al
mov    %r9d,%edx
xor    $0x32,%dl
or     %al,%dl
mov    0x8(%rsp),%sil
mov    %esi,%eax
xor    $0x31,%al
mov    0x9(%rsp),%r8b
mov    %r8d,%ebx
xor    $0x30,%bl
or     %al,%bl
or     %dl,%bl
mov    $0x2,%r10d
cmovne %ebp,%r10d
mov    %edi,%edx
xor    $0x39,%dl
mov    %r9d,%ecx
xor    $0x33,%cl
or     %dl,%cl
mov    %esi,%edx
xor    $0x33,%dl
mov    %r8d,%ebx
xor    $0x33,%bl
or     %dl,%bl
mov    0xa(%rsp),%dl
mov    %edx,%r11d
xor    $0x34,%r11b
mov    0xb(%rsp),%al
xor    $0x36,%al
or     %r11b,%al
or     %bl,%al
or     %cl,%al
mov    $0x3,%eax
cmovne %r10d,%eax
xor    $0x35,%dil
xor    $0x35,%r9b
or     %dil,%r9b
xor    $0x35,%sil
xor    $0x38,%r8b
xor    $0x33,%dl
or     %r8b,%dl
or     %sil,%dl
or     %r9b,%dl
mov    $0x4,%r15d
cmovne %eax,%r15d
mov    %rsp,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    1240 <main+0x100>
mov    %eax,%ecx
cmp    $0x8,%eax
jae    124c <main+0x10c>
xor    %edx,%edx
jmp    1340 <main+0x200>
add    $0xffffffff,%eax
xor    %edx,%edx
mov    %eax,%ecx
jmp    1381 <main+0x241>
cmp    $0x20,%eax
jae    1258 <main+0x118>
xor    %edx,%edx
jmp    130a <main+0x1ca>
mov    %ecx,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rsi
mov    %rsi,%rbp
shr    $0x5,%rbp
add    $0x1,%rbp
test   %rsi,%rsi
je     1489 <main+0x349>
mov    %rbp,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
movdqa 0xd7a(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
movdqa (%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movdqa 0x10(%rsp,%rsi,1),%xmm2
paddb  %xmm0,%xmm2
movdqa %xmm1,(%rsp,%rsi,1)
movdqa %xmm2,0x10(%rsp,%rsi,1)
movdqa 0x20(%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movdqa 0x30(%rsp,%rsi,1),%xmm2
paddb  %xmm0,%xmm2
movdqa %xmm1,0x20(%rsp,%rsi,1)
movdqa %xmm2,0x30(%rsp,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1290 <main+0x150>
test   $0x1,%bpl
je     1300 <main+0x1c0>
movdqa 0xd1a(%rip),%xmm0
movdqa (%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
paddb  0x10(%rsp,%rsi,1),%xmm0
movdqa %xmm1,(%rsp,%rsi,1)
movdqa %xmm0,0x10(%rsp,%rsi,1)
cmp    %rcx,%rdx
je     134d <main+0x20d>
test   $0x18,%cl
je     1340 <main+0x200>
mov    %rdx,%rsi
mov    %ecx,%edx
and    $0xfffffff8,%edx
movdqa 0xcf6(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movq   (%rsp,%rsi,1),%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,(%rsp,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdx
jne    1320 <main+0x1e0>
cmp    %rcx,%rdx
je     134d <main+0x20d>
nopl   0x0(%rax)
addb   $0xd0,(%rsp,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1340 <main+0x200>
lea    -0x1(%rax),%ecx
xor    %edx,%edx
cmp    $0x2,%eax
jl     1381 <main+0x241>
mov    %ecx,%r8d
cmp    $0x1,%ecx
jne    13fc <main+0x2bc>
xor    %esi,%esi
mov    $0x1,%edi
xor    %edx,%edx
test   $0x1,%r8b
je     1381 <main+0x241>
movzbl (%rsp,%rsi,1),%eax
imul   %eax,%edi
add    %edx,%edi
cmp    $0xa,%eax
cmovb  %edi,%edx
movslq %ecx,%rax
movsbl (%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
or     %al,%r14b
je     13ca <main+0x28a>
mov    $0x30,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x31,%edi
call   1030 <putchar@plt>
add    $0xffffffff,%r15d
cmp    $0x3,%r15d
ja     13bd <main+0x27d>
lea    0xc3b(%rip),%rax
movslq (%rax,%r15,4),%rcx
add    %rax,%rcx
jmp    *%rcx
lea    0xc3e(%rip),%rdi
call   1050 <printf@plt>
jmp    13bd <main+0x27d>
mov    %r8d,%eax
and    $0xfffffffe,%eax
mov    $0x1,%edi
xor    %esi,%esi
xor    %ebp,%ebp
xor    %edx,%edx
jmp    141d <main+0x2dd>
nop
add    $0x2,%rsi
cmp    %rsi,%rax
je     136c <main+0x22c>
movzbl (%rsp,%rsi,1),%ebx
cmp    $0x9,%ebx
ja     1438 <main+0x2f8>
imul   %ebx,%edi
add    %edi,%edx
add    $0x1,%ebp
mov    %ebp,%edi
and    $0x1,%edi
add    %edi,%edi
add    $0x1,%edi
movzbl 0x1(%rsp,%rsi,1),%ebx
cmp    $0x9,%ebx
ja     1410 <main+0x2d0>
imul   %ebx,%edi
add    %edi,%edx
add    $0x1,%ebp
mov    %ebp,%edi
and    $0x1,%edi
add    %edi,%edi
add    $0x1,%edi
jmp    1410 <main+0x2d0>
lea    0xbe5(%rip),%rdi
call   1050 <printf@plt>
jmp    13bd <main+0x27d>
lea    0xbf2(%rip),%rdi
call   1050 <printf@plt>
jmp    13bd <main+0x27d>
lea    0xbed(%rip),%rdi
call   1050 <printf@plt>
jmp    13bd <main+0x27d>
xor    %esi,%esi
test   $0x1,%bpl
jne    12de <main+0x19e>
jmp    1300 <main+0x1c0>

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

LLVM IR (-O2):
@.str = [3 x i8] c"%s\00"
@.str.2 = [15 x i8] c"\0APyramid Books\00"
@.str.3 = [30 x i8] c"\0AFUNimation Productions, Ltd.\00"
@.str.4 = [12 x i8] c"\0ABluebridge\00"
@.str.5 = [14 x i8] c"\0AAlyson 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, 48
%21 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 7
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 49
%24 = select i1 %20, i1 %23, i1 false
%25 = zext i1 %24 to i32
%26 = icmp eq i8 %19, 52
%27 = icmp eq i8 %22, 50
%28 = select i1 %26, i1 %27, i1 false
%29 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 8
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 49
%32 = select i1 %28, i1 %31, i1 false
%33 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 9
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 48
%36 = select i1 %32, i1 %35, i1 false
%37 = select i1 %36, i32 2, i32 %25
%38 = icmp eq i8 %19, 57
%39 = icmp eq i8 %22, 51
%40 = select i1 %38, i1 %39, i1 false
%41 = icmp eq i8 %30, 51
%42 = select i1 %40, i1 %41, i1 false
%43 = icmp eq i8 %34, 51
%44 = select i1 %42, i1 %43, i1 false
%45 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 10
%46 = load i8, i8* %45
%47 = icmp eq i8 %46, 52
%48 = select i1 %44, i1 %47, i1 false
%49 = getelementptr inbounds [20 x i8], [20 x i8]* %1, i64 0, i64 11
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, 54
%52 = select i1 %48, i1 %51, i1 false
%53 = select i1 %52, i32 3, i32 %37
%54 = icmp eq i8 %19, 53
%55 = icmp eq i8 %22, 53
%56 = select i1 %54, i1 %55, i1 false
%57 = icmp eq i8 %30, 53
%58 = select i1 %56, i1 %57, i1 false
%59 = icmp eq i8 %34, 56
%60 = select i1 %58, i1 %59, i1 false
%61 = icmp eq i8 %46, 51
%62 = select i1 %60, i1 %61, i1 false
%63 = select i1 %62, i32 4, i32 %53
%64 = call i32 @strlen(i8* %2)
%65 = icmp sgt i32 %64, 0
br i1 %65, label %68, label %66
66: ; preds = %16
%67 = add i32 %64, -1
br label %214
68: ; preds = %16
%69 = zext i32 %64 to i64
%70 = icmp ult i32 %64, 8
br i1 %70, label %142, label %71
71: ; preds = %68
%72 = icmp ult i32 %64, 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 %64, -1
%146 = icmp sgt i32 %64, 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 %63, 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 ([15 x i8], [15 x i8]* @.str.2, i64 0, i64 0))
br label %237
229: ; preds = %225
%230 = call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.3, i64 0, i64 0))
br label %237
231: ; preds = %225
%232 = call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0))
br label %237
233: ; preds = %225
%234 = call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 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
}