#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 *, long long, long long);
int /*<<< orphan*/ scanf(char *, long long *, ...);
int main() {
  long long t, p, n, a1[10000], a2[10000], i, j, sum, max, k, temp;
  scanf("%lld", &t);
  for (p = 1; p <= t; p++) {
    sum = 0;
    max = 0;
    scanf("%lld", &n);
    for (i = 0; i < n; i++) {
      scanf("%lld %lld", &a1[i], &a2[i]);
    }
    for (i = 0; i < n; i++) {
      sum = a1[i] * a2[i];
      if (sum > max)
        max = sum;
    }
    for (i = 0; i < n; i++) {
      temp = a1[i];
      for (j = 0; j < n; j++) {
        if (i == j)
          continue;
        if (a2[j] >= a2[i]) {
          temp += a1[j];
        }
      }
      sum = a2[i] * temp;
      if (sum > max)
        max = sum;
    }
    printf("Case %lld: %lld\n", p, max);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x27150,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xecc(%rip),%rdi
lea    -0x10(%rbp),%rsi
mov    $0x0,%al
call   1040 <scanf@plt>
movq   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jg     13b5 <main+0x295>
movq   $0x0,-0x27138(%rbp)
movq   $0x0,-0x27140(%rbp)
lea    0xe8e(%rip),%rdi
lea    -0x20(%rbp),%rsi
mov    $0x0,%al
call   1040 <scanf@plt>
movq   $0x0,-0x27128(%rbp)
mov    -0x27128(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    11ed <main+0xcd>
mov    -0x27128(%rbp),%rax
lea    -0x138a0(%rbp),%rsi
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x27128(%rbp),%rax
lea    -0x27120(%rbp),%rdx
shl    $0x3,%rax
add    %rax,%rdx
lea    0xe31(%rip),%rdi
mov    $0x0,%al
call   1040 <scanf@plt>
mov    -0x27128(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x27128(%rbp)
jmp    118d <main+0x6d>
movq   $0x0,-0x27128(%rbp)
mov    -0x27128(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    126d <main+0x14d>
mov    -0x27128(%rbp),%rax
mov    -0x138a0(%rbp,%rax,8),%rax
ff
mov    -0x27128(%rbp),%rcx
imul   -0x27120(%rbp,%rcx,8),%rax
fd ff
mov    %rax,-0x27138(%rbp)
mov    -0x27138(%rbp),%rax
cmp    -0x27140(%rbp),%rax
jle    1251 <main+0x131>
mov    -0x27138(%rbp),%rax
mov    %rax,-0x27140(%rbp)
jmp    1256 <main+0x136>
mov    -0x27128(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x27128(%rbp)
jmp    11f8 <main+0xd8>
movq   $0x0,-0x27128(%rbp)
mov    -0x27128(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    138d <main+0x26d>
mov    -0x27128(%rbp),%rax
mov    -0x138a0(%rbp,%rax,8),%rax
ff
mov    %rax,-0x27150(%rbp)
movq   $0x0,-0x27130(%rbp)
mov    -0x27130(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1331 <main+0x211>
mov    -0x27128(%rbp),%rax
cmp    -0x27130(%rbp),%rax
jne    12d4 <main+0x1b4>
jmp    131a <main+0x1fa>
mov    -0x27130(%rbp),%rax
mov    -0x27120(%rbp,%rax,8),%rax
ff
mov    -0x27128(%rbp),%rcx
cmp    -0x27120(%rbp,%rcx,8),%rax
ff
jl     1315 <main+0x1f5>
mov    -0x27130(%rbp),%rax
mov    -0x138a0(%rbp,%rax,8),%rax
ff
add    -0x27150(%rbp),%rax
mov    %rax,-0x27150(%rbp)
jmp    131a <main+0x1fa>
mov    -0x27130(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x27130(%rbp)
jmp    12aa <main+0x18a>
mov    -0x27128(%rbp),%rax
mov    -0x27120(%rbp,%rax,8),%rax
ff
imul   -0x27150(%rbp),%rax
ff
mov    %rax,-0x27138(%rbp)
mov    -0x27138(%rbp),%rax
cmp    -0x27140(%rbp),%rax
jle    1371 <main+0x251>
mov    -0x27138(%rbp),%rax
mov    %rax,-0x27140(%rbp)
jmp    1376 <main+0x256>
mov    -0x27128(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x27128(%rbp)
jmp    1278 <main+0x158>
mov    -0x18(%rbp),%rsi
mov    -0x27140(%rbp),%rdx
lea    0xc6b(%rip),%rdi
call   1030 <printf@plt>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    114c <main+0x2c>
xor    %eax,%eax
add    $0x27150,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x27118,%rsp
lea    0xecd(%rip),%rdi
lea    0x8(%rsp),%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
cmpq   $0x0,0x8(%rsp)
jle    1386 <main+0x266>
mov    $0x1,%r12d
lea    0xea3(%rip),%r15
lea    0xea6(%rip),%r13
jmp    1190 <main+0x70>
cs nopw 0x0(%rax,%rax,1)
xor    %edx,%edx
mov    %r13,%rdi
mov    %r12,%rsi
call   1030 <printf@plt>
lea    0x1(%r12),%rax
cmp    0x8(%rsp),%r12
mov    %rax,%r12
jge    1386 <main+0x266>
lea    0xe6e(%rip),%rdi
mov    %rsp,%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
cmpq   $0x0,(%rsp)
jle    1170 <main+0x50>
lea    0x13890(%rsp),%rbp
lea    0x10(%rsp),%r14
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    %r15,%rdi
mov    %rbp,%rsi
mov    %r14,%rdx
xor    %eax,%eax
call   1040 <scanf@plt>
add    $0x1,%rbx
mov    (%rsp),%r9
add    $0x8,%r14
add    $0x8,%rbp
cmp    %r9,%rbx
jl     11c0 <main+0xa0>
test   %r9,%r9
jle    1170 <main+0x50>
lea    -0x1(%r9),%r8
mov    %r9d,%esi
and    $0x3,%esi
cmp    $0x3,%r8
jae    1312 <main+0x1f2>
xor    %edx,%edx
xor    %edi,%edi
test   %rsi,%rsi
je     1239 <main+0x119>
lea    (%rsp,%rdi,8),%rcx
add    $0x10,%rcx
lea    (%rsp,%rdi,8),%rdi
add    $0x13890,%rdi
xor    %ebp,%ebp
nopl   0x0(%rax)
mov    (%rcx,%rbp,8),%rbx
imul   (%rdi,%rbp,8),%rbx
cmp    %rdx,%rbx
cmovg  %rbx,%rdx
add    $0x1,%rbp
cmp    %rbp,%rsi
jne    1220 <main+0x100>
test   %r9,%r9
jle    1172 <main+0x52>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edi,%edi
jmp    126a <main+0x14a>
nopl   (%rax)
imul   0x10(%rsp,%rdi,8),%rbp
cmp    %rdx,%rbp
cmovg  %rbp,%rdx
add    $0x1,%rdi
cmp    %r9,%rdi
je     1172 <main+0x52>
mov    0x13890(%rsp,%rdi,8),%rbp
test   %r8,%r8
je     12e0 <main+0x1c0>
xor    %ebx,%ebx
jmp    1289 <main+0x169>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbx
cmp    %rsi,%rbx
je     12d0 <main+0x1b0>
mov    %rbx,%rcx
cmp    %rbx,%rdi
je     12a5 <main+0x185>
mov    0x10(%rsp,%rcx,8),%rbx
cmp    0x10(%rsp,%rdi,8),%rbx
jl     12a5 <main+0x185>
add    0x13890(%rsp,%rcx,8),%rbp
lea    0x1(%rcx),%rbx
cmp    %rbx,%rdi
je     1280 <main+0x160>
mov    0x18(%rsp,%rcx,8),%rax
cmp    0x10(%rsp,%rdi,8),%rax
jl     1280 <main+0x160>
add    0x13898(%rsp,%rcx,8),%rbp
jmp    1280 <main+0x160>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x2,%rcx
test   $0x1,%r9b
jne    12ec <main+0x1cc>
jmp    1250 <main+0x130>
nop
xor    %ecx,%ecx
test   $0x1,%r9b
je     1250 <main+0x130>
cmp    %rcx,%rdi
je     1250 <main+0x130>
mov    0x10(%rsp,%rcx,8),%rax
cmp    0x10(%rsp,%rdi,8),%rax
jl     1250 <main+0x130>
add    0x13890(%rsp,%rcx,8),%rbp
jmp    1250 <main+0x130>
mov    %r9,%rbp
and    $0xfffffffffffffffc,%rbp
xor    %edx,%edx
xor    %edi,%edi
jmp    132d <main+0x20d>
nop
add    $0x4,%rdi
cmp    %rdi,%rbp
je     1202 <main+0xe2>
mov    0x10(%rsp,%rdi,8),%rcx
imul   0x13890(%rsp,%rdi,8),%rcx
cmp    %rdx,%rcx
cmovle %rdx,%rcx
mov    0x18(%rsp,%rdi,8),%rdx
imul   0x13898(%rsp,%rdi,8),%rdx
cmp    %rcx,%rdx
jg     1358 <main+0x238>
mov    %rcx,%rdx
mov    0x20(%rsp,%rdi,8),%rcx
imul   0x138a0(%rsp,%rdi,8),%rcx
cmp    %rdx,%rcx
jg     136e <main+0x24e>
mov    %rdx,%rcx
mov    0x28(%rsp,%rdi,8),%rdx
imul   0x138a8(%rsp,%rdi,8),%rdx
cmp    %rcx,%rdx
jg     1320 <main+0x200>
mov    %rcx,%rdx
jmp    1320 <main+0x200>
xor    %eax,%eax
add    $0x27118,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"%lld\00"
@.str.1 = [10 x i8] c"%lld %lld\00"
@.str.2 = [17 x i8] c"Case %lld: %lld\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i64
%3 = alloca i64
%4 = alloca i64
%5 = alloca [10000 x i64]
%6 = alloca [10000 x i64]
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store i32 0, i32* %1
%13 = call i32 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64* %2)
store i64 1, i64* %3
br label %14
14: ; preds = %110, %0
%15 = load i64, i64* %3
%16 = load i64, i64* %2
%17 = icmp sle i64 %15, %16
br i1 %17, label %18, label %113
18: ; preds = %14
store i64 0, i64* %9
store i64 0, i64* %10
%19 = call i32 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64* %4)
store i64 0, i64* %7
br label %20
20: ; preds = %30, %18
%21 = load i64, i64* %7
%22 = load i64, i64* %4
%23 = icmp slt i64 %21, %22
br i1 %23, label %24, label %33
24: ; preds = %20
%25 = load i64, i64* %7
%26 = getelementptr inbounds [10000 x i64], [10000 x i64]* %5, i64 0, i64 %25
%27 = load i64, i64* %7
%28 = getelementptr inbounds [10000 x i64], [10000 x i64]* %6, i64 0, i64 %27
%29 = call i32 (i8*, i64*, ...) @scanf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i64* %26, i64* %28)
br label %30
30: ; preds = %24
%31 = load i64, i64* %7
%32 = add nsw i64 %31, 1
store i64 %32, i64* %7
br label %20
33: ; preds = %20
store i64 0, i64* %7
br label %34
34: ; preds = %52, %33
%35 = load i64, i64* %7
%36 = load i64, i64* %4
%37 = icmp slt i64 %35, %36
br i1 %37, label %38, label %55
38: ; preds = %34
%39 = load i64, i64* %7
%40 = getelementptr inbounds [10000 x i64], [10000 x i64]* %5, i64 0, i64 %39
%41 = load i64, i64* %40
%42 = load i64, i64* %7
%43 = getelementptr inbounds [10000 x i64], [10000 x i64]* %6, i64 0, i64 %42
%44 = load i64, i64* %43
%45 = mul nsw i64 %41, %44
store i64 %45, i64* %9
%46 = load i64, i64* %9
%47 = load i64, i64* %10
%48 = icmp sgt i64 %46, %47
br i1 %48, label %49, label %51
49: ; preds = %38
%50 = load i64, i64* %9
store i64 %50, i64* %10
br label %51
51: ; preds = %49, %38
br label %52
52: ; preds = %51
%53 = load i64, i64* %7
%54 = add nsw i64 %53, 1
store i64 %54, i64* %7
br label %34
55: ; preds = %34
store i64 0, i64* %7
br label %56
56: ; preds = %103, %55
%57 = load i64, i64* %7
%58 = load i64, i64* %4
%59 = icmp slt i64 %57, %58
br i1 %59, label %60, label %106
60: ; preds = %56
%61 = load i64, i64* %7
%62 = getelementptr inbounds [10000 x i64], [10000 x i64]* %5, i64 0, i64 %61
%63 = load i64, i64* %62
store i64 %63, i64* %12
store i64 0, i64* %8
br label %64
64: ; preds = %88, %60
%65 = load i64, i64* %8
%66 = load i64, i64* %4
%67 = icmp slt i64 %65, %66
br i1 %67, label %68, label %91
68: ; preds = %64
%69 = load i64, i64* %7
%70 = load i64, i64* %8
%71 = icmp eq i64 %69, %70
br i1 %71, label %72, label %73
72: ; preds = %68
br label %88
73: ; preds = %68
%74 = load i64, i64* %8
%75 = getelementptr inbounds [10000 x i64], [10000 x i64]* %6, i64 0, i64 %74
%76 = load i64, i64* %75
%77 = load i64, i64* %7
%78 = getelementptr inbounds [10000 x i64], [10000 x i64]* %6, i64 0, i64 %77
%79 = load i64, i64* %78
%80 = icmp sge i64 %76, %79
br i1 %80, label %81, label %87
81: ; preds = %73
%82 = load i64, i64* %8
%83 = getelementptr inbounds [10000 x i64], [10000 x i64]* %5, i64 0, i64 %82
%84 = load i64, i64* %83
%85 = load i64, i64* %12
%86 = add nsw i64 %85, %84
store i64 %86, i64* %12
br label %87
87: ; preds = %81, %73
br label %88
88: ; preds = %87, %72
%89 = load i64, i64* %8
%90 = add nsw i64 %89, 1
store i64 %90, i64* %8
br label %64
91: ; preds = %64
%92 = load i64, i64* %7
%93 = getelementptr inbounds [10000 x i64], [10000 x i64]* %6, i64 0, i64 %92
%94 = load i64, i64* %93
%95 = load i64, i64* %12
%96 = mul nsw i64 %94, %95
store i64 %96, i64* %9
%97 = load i64, i64* %9
%98 = load i64, i64* %10
%99 = icmp sgt i64 %97, %98
br i1 %99, label %100, label %102
100: ; preds = %91
%101 = load i64, i64* %9
store i64 %101, i64* %10
br label %102
102: ; preds = %100, %91
br label %103
103: ; preds = %102
%104 = load i64, i64* %7
%105 = add nsw i64 %104, 1
store i64 %105, i64* %7
br label %56
106: ; preds = %56
%107 = load i64, i64* %3
%108 = load i64, i64* %10
%109 = call i32 @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i64 %107, i64 %108)
br label %110
110: ; preds = %106
%111 = load i64, i64* %3
%112 = add nsw i64 %111, 1
store i64 %112, i64* %3
br label %14
113: ; preds = %14
ret i32 0
}

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