#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 getchar();
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ putchar(char);
int /*<<< orphan*/ scanf(char *, int *);
int main() {
  int a[1000], b[1000], sum[1000], remain, test = 0, get, abit, bbit, sumbit,
                                           hold, T;
  scanf("%d", &T);
  getchar();
  for (; test < T; test++) {
    printf("Case %d:\n", test + 1);
    memset(a, 0, sizeof(int) * 1000);
    memset(b, 0, sizeof(int) * 1000);
    memset(sum, 0, sizeof(int) * 1000);
    abit = bbit = remain = 0;
    while ((get = getchar()) != ' ') {
      a[abit++] = get - '0';
      putchar(get);
    }
    printf(" + ");
    while ((get = getchar()) != '\n') {
      b[bbit++] = get - '0';
      putchar(get);
    }
    printf(" = ");
    sumbit = hold = (abit > bbit ? abit + 1 : bbit + 1);
    while (abit && bbit) {
      abit--;
      bbit--;
      sumbit--;
      sum[sumbit] = (a[abit] + b[bbit] + remain) % 10;
      remain = (a[abit] + b[bbit] + remain) / 10;
    }
    if (abit < bbit) {
      while (bbit) {
        bbit--;
        sumbit--;
        sum[sumbit] = (b[bbit] + remain) % 10;
        remain = (b[bbit] + remain) / 10;
      }
    } else if (bbit < abit) {
      while (abit) {
        abit--;
        sumbit--;
        sum[sumbit] = (a[abit] + remain) % 10;
        remain = (a[abit] + remain) / 10;
      }
    }
    if (remain)
      sum[--sumbit] = remain;
    for (; sumbit < hold; sumbit++)
      printf("%d", sum[sumbit]);
    putchar('\n');
    if (test != T - 1)
      putchar('\n');
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2f20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x2ef8(%rbp)
lea    0xe8d(%rip),%rdi
lea    -0x2f10(%rbp),%rsi
call   1070 <scanf@plt>
mov    $0x0,%al
call   1060 <getchar@plt>
mov    -0x2ef8(%rbp),%eax
cmp    -0x2f10(%rbp),%eax
jge    15be <main+0x46e>
mov    -0x2ef8(%rbp),%esi
add    $0x1,%esi
lea    0xe5b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    -0xfb0(%rbp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
lea    -0x1f50(%rbp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
lea    -0x2ef0(%rbp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
movl   $0x0,-0x2ef4(%rbp)
movl   $0x0,-0x2f04(%rbp)
movl   $0x0,-0x2f00(%rbp)
mov    $0x0,%al
call   1060 <getchar@plt>
mov    %eax,-0x2efc(%rbp)
cmp    $0x20,%eax
je     1252 <main+0x102>
mov    -0x2efc(%rbp),%ecx
sub    $0x30,%ecx
mov    -0x2f00(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x2f00(%rbp)
cltq
mov    %ecx,-0xfb0(%rbp,%rax,4)
mov    -0x2efc(%rbp),%eax
movsbl %al,%edi
call   1030 <putchar@plt>
jmp    1206 <main+0xb6>
lea    0xdb4(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    $0x0,%al
call   1060 <getchar@plt>
mov    %eax,-0x2efc(%rbp)
cmp    $0xa,%eax
je     12ac <main+0x15c>
mov    -0x2efc(%rbp),%ecx
sub    $0x30,%ecx
mov    -0x2f04(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x2f04(%rbp)
cltq
mov    %ecx,-0x1f50(%rbp,%rax,4)
mov    -0x2efc(%rbp),%eax
movsbl %al,%edi
call   1030 <putchar@plt>
jmp    1260 <main+0x110>
lea    0xd5e(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2f00(%rbp),%eax
cmp    -0x2f04(%rbp),%eax
jle    12e0 <main+0x190>
mov    -0x2f00(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f14(%rbp)
jmp    12ef <main+0x19f>
mov    -0x2f04(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f14(%rbp)
mov    -0x2f14(%rbp),%eax
mov    %eax,-0x2f0c(%rbp)
mov    %eax,-0x2f08(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x2f00(%rbp)
mov    %al,-0x2f15(%rbp)
je     1326 <main+0x1d6>
cmpl   $0x0,-0x2f04(%rbp)
setne  %al
mov    %al,-0x2f15(%rbp)
mov    -0x2f15(%rbp),%al
test   $0x1,%al
jne    1339 <main+0x1e9>
jmp    13d3 <main+0x283>
mov    -0x2f00(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f00(%rbp)
mov    -0x2f04(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f04(%rbp)
mov    -0x2f08(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f08(%rbp)
movslq -0x2f00(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
movslq -0x2f04(%rbp),%rcx
add    -0x1f50(%rbp,%rcx,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
movslq -0x2f08(%rbp),%rax
mov    %edx,-0x2ef0(%rbp,%rax,4)
movslq -0x2f00(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
movslq -0x2f04(%rbp),%rcx
add    -0x1f50(%rbp,%rcx,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2ef4(%rbp)
jmp    1301 <main+0x1b1>
mov    -0x2f00(%rbp),%eax
cmp    -0x2f04(%rbp),%eax
jge    146b <main+0x31b>
jmp    13ea <main+0x29a>
cmpl   $0x0,-0x2f04(%rbp)
je     1466 <main+0x316>
mov    -0x2f04(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f04(%rbp)
mov    -0x2f08(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f08(%rbp)
movslq -0x2f04(%rbp),%rax
mov    -0x1f50(%rbp,%rax,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
movslq -0x2f08(%rbp),%rax
mov    %edx,-0x2ef0(%rbp,%rax,4)
movslq -0x2f04(%rbp),%rax
mov    -0x1f50(%rbp,%rax,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2ef4(%rbp)
jmp    13ea <main+0x29a>
jmp    1508 <main+0x3b8>
mov    -0x2f04(%rbp),%eax
cmp    -0x2f00(%rbp),%eax
jge    1503 <main+0x3b3>
jmp    1482 <main+0x332>
cmpl   $0x0,-0x2f00(%rbp)
je     14fe <main+0x3ae>
mov    -0x2f00(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f00(%rbp)
mov    -0x2f08(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f08(%rbp)
movslq -0x2f00(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
movslq -0x2f08(%rbp),%rax
mov    %edx,-0x2ef0(%rbp,%rax,4)
movslq -0x2f00(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
add    -0x2ef4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2ef4(%rbp)
jmp    1482 <main+0x332>
jmp    1503 <main+0x3b3>
jmp    1508 <main+0x3b8>
cmpl   $0x0,-0x2ef4(%rbp)
je     1533 <main+0x3e3>
mov    -0x2ef4(%rbp),%ecx
mov    -0x2f08(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2f08(%rbp)
cltq
mov    %ecx,-0x2ef0(%rbp,%rax,4)
jmp    1538 <main+0x3e8>
mov    -0x2f08(%rbp),%eax
cmp    -0x2f0c(%rbp),%eax
jge    157a <main+0x42a>
movslq -0x2f08(%rbp),%rax
mov    -0x2ef0(%rbp,%rax,4),%esi
lea    0xaa1(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x2f08(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f08(%rbp)
jmp    1538 <main+0x3e8>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    -0x2ef8(%rbp),%eax
mov    -0x2f10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     15a5 <main+0x455>
mov    $0xa,%edi
call   1030 <putchar@plt>
jmp    15aa <main+0x45a>
mov    -0x2ef8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2ef8(%rbp)
jmp    1186 <main+0x36>
xor    %eax,%eax
add    $0x2f20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2ef8,%rsp
lea    0xe98(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1070 <scanf@plt>
xor    %eax,%eax
call   1060 <getchar@plt>
cmpl   $0x0,0x4(%rsp)
jle    1483 <main+0x333>
lea    0xe75(%rip),%r14
xor    %ebp,%ebp
jmp    119c <main+0x4c>
nop
mov    %r15d,%ebp
cmp    %eax,%r15d
jge    1483 <main+0x333>
lea    0x1(%rbp),%esi
xor    %ebx,%ebx
lea    0xe5b(%rip),%rdi
mov    %esi,(%rsp)
xor    %eax,%eax
call   1040 <printf@plt>
lea    0x1f50(%rsp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
lea    0xfb0(%rsp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0xfa0,%edx
call   1050 <memset@plt>
xor    %eax,%eax
call   1060 <getchar@plt>
mov    $0x0,%r15d
cmp    $0x20,%eax
je     1223 <main+0xd3>
xor    %r15d,%r15d
lea    -0x30(%rax),%ecx
mov    %ecx,0x1f50(%rsp,%r15,4)
add    $0x1,%r15
movsbl %al,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
call   1060 <getchar@plt>
cmp    $0x20,%eax
jne    1200 <main+0xb0>
lea    0xde3(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %eax,%eax
call   1060 <getchar@plt>
cmp    $0xa,%eax
je     1262 <main+0x112>
xor    %ebx,%ebx
nop
lea    -0x30(%rax),%ecx
mov    %ecx,0xfb0(%rsp,%rbx,4)
add    $0x1,%rbx
movsbl %al,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
call   1060 <getchar@plt>
cmp    $0xa,%eax
jne    1240 <main+0xf0>
mov    %rbp,0x8(%rsp)
xor    %r12d,%r12d
lea    0xda0(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
cmp    %ebx,%r15d
mov    %ebx,%r13d
cmova  %r15d,%r13d
lea    0x1(%r13),%r8d
test   %r15d,%r15d
setne  %cl
je     1321 <main+0x1d1>
test   %ebx,%ebx
je     1321 <main+0x1d1>
movslq %r8d,%rax
movslq %ebx,%rcx
movslq %r15d,%rdx
mov    %r15d,%r9d
lea    0x1f4c(%rsp),%rsi
lea    (%rsi,%rdx,4),%rdi
mov    %ebx,%r10d
lea    0xfac(%rsp),%rdx
lea    (%rdx,%rcx,4),%rbp
lea    0xc(%rsp),%rcx
lea    (%rcx,%rax,4),%rsi
xor    %eax,%eax
xor    %r12d,%r12d
nop
add    (%rdi,%rax,4),%r12d
add    0x0(%rbp,%rax,4),%r12d
movslq %r12d,%rcx
imul   $0x66666667,%rcx,%r12
mov    %r12,%rdx
shr    $0x3f,%rdx
sar    $0x22,%r12
add    %edx,%r12d
lea    (%r12,%r12,1),%edx
lea    (%rdx,%rdx,4),%edx
sub    %edx,%ecx
mov    %ecx,(%rsi,%rax,4)
mov    %eax,%edx
lea    (%r9,%rdx,1),%ecx
add    $0xffffffffffffffff,%rax
add    $0xffffffff,%ecx
setne  %cl
je     1319 <main+0x1c9>
add    %r10d,%edx
add    $0xffffffff,%edx
test   %edx,%edx
jne    12d0 <main+0x180>
add    %eax,%r15d
add    %eax,%ebx
add    %eax,%r8d
cmp    %ebx,%r15d
jge    13a0 <main+0x250>
test   %ebx,%ebx
mov    (%rsp),%r15d
je     1409 <main+0x2b9>
movslq %r8d,%rdx
movslq %ebx,%rax
lea    0xfac(%rsp),%rcx
lea    (%rcx,%rax,4),%rcx
neg    %rax
lea    0xc(%rsp),%rsi
lea    (%rsi,%rdx,4),%rsi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    (%rcx,%rdx,4),%r12d
movslq %r12d,%rdi
imul   $0x66666667,%rdi,%r12
mov    %r12,%rbp
shr    $0x3f,%rbp
sar    $0x22,%r12
add    %ebp,%r12d
lea    (%r12,%r12,1),%ebp
lea    0x0(%rbp,%rbp,4),%ebp
sub    %ebp,%edi
mov    %edi,(%rsi,%rdx,4)
add    $0xffffffffffffffff,%rdx
cmp    %rdx,%rax
jne    1360 <main+0x210>
add    %edx,%r8d
jmp    1409 <main+0x2b9>
nopw   0x0(%rax,%rax,1)
setle  %al
xor    $0x1,%cl
or     %al,%cl
jne    1405 <main+0x2b5>
movslq %r15d,%rax
movslq %r8d,%rcx
lea    0xc(%rsp),%rdx
lea    (%rdx,%rcx,4),%rcx
lea    0x1f4c(%rsp),%rdx
lea    (%rdx,%rax,4),%rdx
neg    %rax
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
add    (%rdx,%rsi,4),%r12d
movslq %r12d,%rdi
imul   $0x66666667,%rdi,%r12
mov    %r12,%rbp
shr    $0x3f,%rbp
sar    $0x22,%r12
add    %ebp,%r12d
lea    (%r12,%r12,1),%ebp
lea    0x0(%rbp,%rbp,4),%ebp
sub    %ebp,%edi
mov    %edi,(%rcx,%rsi,4)
add    $0xffffffffffffffff,%rsi
cmp    %rsi,%rax
jne    13d0 <main+0x280>
add    %esi,%r8d
mov    (%rsp),%r15d
test   %r12d,%r12d
je     141a <main+0x2ca>
movslq %r8d,%rax
add    $0xffffffff,%r8d
mov    %r12d,0xc(%rsp,%rax,4)
mov    0x8(%rsp),%r12
cmp    %r13d,%r8d
jg     1456 <main+0x306>
movslq %r8d,%rax
lea    (%rsp,%rax,4),%rbx
add    $0x10,%rbx
sub    %r8d,%r13d
add    $0x1,%r13d
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
mov    (%rbx,%rbp,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
cmp    %ebp,%r13d
jne    1440 <main+0x2f0>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    0x4(%rsp),%eax
lea    -0x1(%rax),%ecx
cmp    %ecx,%r12d
je     1190 <main+0x40>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    0x4(%rsp),%eax
jmp    1190 <main+0x40>
xor    %eax,%eax
add    $0x2ef8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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