#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 */
scalar_t__ EOF;
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, int);
scalar_t__ scanf(char *, int *, int *, int *);
int main() {
  int i, j, k, pre[20000], cur[20000], num[4];
  while (scanf("%d %d %d", &num[1], &num[2], &num[3]) != EOF &&
         (num[1] != 0 || num[2] != 0 || num[3] != 0)) {
    memset(pre, 0, sizeof(int) * 20000);
    memset(cur, 0, sizeof(int) * 20000);
    for (i = 0; i <= num[1]; i++)
      pre[i] = 1;
    for (i = 0; i <= num[1]; i++) {
      for (j = 0; j <= num[2] * 2; j += 2) {
        cur[j + i] += pre[i];
      }
    }
    for (i = 0; i <= num[2] * 2 + num[1]; i++) {
      pre[i] = cur[i];
      cur[i] = 0;
    }
    for (i = 0; i <= num[2] * 2 + num[1]; i++) {
      for (j = 0; j <= num[3] * 5; j += 5) {
        cur[j + i] += pre[i];
      }
    }
    for (i = 1; i <= num[1] + num[2] * 2 + num[3] * 5 + 1; i++)
      if (cur[i] == 0)
        break;
    if (cur[i] == 0)
      printf("%d\n", i);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x27130,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x27120(%rbp),%rsi
add    $0x4,%rsi
lea    -0x27120(%rbp),%rdx
add    $0x8,%rdx
lea    -0x27120(%rbp),%rcx
add    $0xc,%rcx
lea    0xe96(%rip),%rdi
call   1050 <scanf@plt>
mov    %rax,%rcx
xor    %eax,%eax
mov    0x2e6d(%rip),%rdx
cmp    (%rdx),%rcx
mov    %al,-0x27121(%rbp)
je     11d0 <main+0xa0>
mov    $0x1,%al
cmpl   $0x0,-0x2711c(%rbp)
mov    %al,-0x27122(%rbp)
jne    11c4 <main+0x94>
mov    $0x1,%al
cmpl   $0x0,-0x27118(%rbp)
mov    %al,-0x27122(%rbp)
jne    11c4 <main+0x94>
cmpl   $0x0,-0x27114(%rbp)
setne  %al
mov    %al,-0x27122(%rbp)
mov    -0x27122(%rbp),%al
mov    %al,-0x27121(%rbp)
mov    -0x27121(%rbp),%al
test   $0x1,%al
jne    11e3 <main+0xb3>
jmp    13fe <main+0x2ce>
lea    -0x13890(%rbp),%rdi
xor    %esi,%esi
mov    $0x13880,%edx
call   1040 <memset@plt>
lea    -0x27110(%rbp),%rdi
xor    %esi,%esi
mov    $0x13880,%edx
call   1040 <memset@plt>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x2711c(%rbp),%eax
jg     123c <main+0x10c>
movslq -0x8(%rbp),%rax
movl   $0x1,-0x13890(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1210 <main+0xe0>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x2711c(%rbp),%eax
jg     12af <main+0x17f>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x27118(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jg     129c <main+0x16c>
movslq -0x8(%rbp),%rax
mov    -0x13890(%rbp,%rax,4),%ecx
mov    -0xc(%rbp),%eax
add    -0x8(%rbp),%eax
cltq
add    -0x27110(%rbp,%rax,4),%ecx
mov    %ecx,-0x27110(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xc(%rbp)
jmp    1259 <main+0x129>
jmp    12a1 <main+0x171>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1243 <main+0x113>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x27118(%rbp),%ecx
shl    $0x1,%ecx
add    -0x2711c(%rbp),%ecx
cmp    %ecx,%eax
jg     1303 <main+0x1d3>
movslq -0x8(%rbp),%rax
mov    -0x27110(%rbp,%rax,4),%ecx
movslq -0x8(%rbp),%rax
mov    %ecx,-0x13890(%rbp,%rax,4)
movslq -0x8(%rbp),%rax
movl   $0x0,-0x27110(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12b6 <main+0x186>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x27118(%rbp),%ecx
shl    $0x1,%ecx
add    -0x2711c(%rbp),%ecx
cmp    %ecx,%eax
jg     137f <main+0x24f>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
imul   $0x5,-0x27114(%rbp),%ecx
cmp    %ecx,%eax
jg     136c <main+0x23c>
movslq -0x8(%rbp),%rax
mov    -0x13890(%rbp,%rax,4),%ecx
mov    -0xc(%rbp),%eax
add    -0x8(%rbp),%eax
cltq
add    -0x27110(%rbp,%rax,4),%ecx
mov    %ecx,-0x27110(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0xc(%rbp)
jmp    132b <main+0x1fb>
jmp    1371 <main+0x241>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    130a <main+0x1da>
movl   $0x1,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x2711c(%rbp),%ecx
mov    -0x27118(%rbp),%edx
shl    $0x1,%edx
add    %edx,%ecx
imul   $0x5,-0x27114(%rbp),%edx
add    %edx,%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     13d8 <main+0x2a8>
movslq -0x8(%rbp),%rax
cmpl   $0x0,-0x27110(%rbp,%rax,4)
jne    13c5 <main+0x295>
jmp    13d8 <main+0x2a8>
jmp    13ca <main+0x29a>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1386 <main+0x256>
movslq -0x8(%rbp),%rax
cmpl   $0x0,-0x27110(%rbp,%rax,4)
jne    13f9 <main+0x2c9>
mov    -0x8(%rbp),%esi
lea    0xc15(%rip),%rdi
call   1030 <printf@plt>
jmp    1142 <main+0x12>
xor    %eax,%eax
add    $0x27130,%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    0x4(%rsp),%r15
lea    0x8(%rsp),%r13
lea    0xc(%rsp),%rcx
lea    0xeb9(%rip),%rdi
mov    %r15,%rsi
mov    %r13,%rdx
call   1050 <scanf@plt>
mov    0x2e7f(%rip),%r12
cmp    (%r12),%rax
jne    1183 <main+0x53>
xor    %eax,%eax
add    $0x27118,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0x13890(%rsp),%r14
jmp    11ad <main+0x7d>
nopl   (%rax)
lea    0xe79(%rip),%rdi
mov    %r15,%rsi
mov    %r13,%rdx
lea    0xc(%rsp),%rcx
call   1050 <scanf@plt>
cmp    (%r12),%rax
je     116f <main+0x3f>
cmpl   $0x0,0x4(%rsp)
jne    11c2 <main+0x92>
cmpl   $0x0,0x8(%rsp)
jne    11c2 <main+0x92>
cmpl   $0x0,0xc(%rsp)
je     116f <main+0x3f>
lea    0x10(%rsp),%rdi
xor    %esi,%esi
mov    $0x13880,%edx
call   1040 <memset@plt>
mov    %r14,%rdi
xor    %esi,%esi
mov    $0x13880,%edx
call   1040 <memset@plt>
mov    0x4(%rsp),%r9d
test   %r9d,%r9d
js     1390 <main+0x260>
lea    0x1(%r9),%r10
cmp    $0x7,%r9d
jae    1210 <main+0xe0>
xor    %ecx,%ecx
jmp    1300 <main+0x1d0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%esi
and    $0x7,%esi
cmp    $0x38,%rdx
movaps 0xdcb(%rip),%xmm0
jae    123e <main+0x10e>
xor    %edi,%edi
jmp    12c5 <main+0x195>
movabs $0x3ffffffffffffff8,%rdx
ff ff 3f
and    %rdx,%rax
xor    %edi,%edi
nopl   (%rax)
movaps %xmm0,0x10(%rsp,%rdi,4)
movaps %xmm0,0x20(%rsp,%rdi,4)
movaps %xmm0,0x30(%rsp,%rdi,4)
movaps %xmm0,0x40(%rsp,%rdi,4)
movaps %xmm0,0x50(%rsp,%rdi,4)
movaps %xmm0,0x60(%rsp,%rdi,4)
movaps %xmm0,0x70(%rsp,%rdi,4)
movaps %xmm0,0x80(%rsp,%rdi,4)
movaps %xmm0,0x90(%rsp,%rdi,4)
movaps %xmm0,0xa0(%rsp,%rdi,4)
movaps %xmm0,0xb0(%rsp,%rdi,4)
movaps %xmm0,0xc0(%rsp,%rdi,4)
movaps %xmm0,0xd0(%rsp,%rdi,4)
movaps %xmm0,0xe0(%rsp,%rdi,4)
movaps %xmm0,0xf0(%rsp,%rdi,4)
movaps %xmm0,0x100(%rsp,%rdi,4)
add    $0x40,%rdi
add    $0xfffffffffffffff8,%rax
jne    1250 <main+0x120>
test   %rsi,%rsi
je     12f2 <main+0x1c2>
lea    0x20(%rsp),%rax
lea    (%rax,%rdi,4),%rax
shl    $0x5,%rsi
xor    %edi,%edi
nopl   0x0(%rax)
movaps %xmm0,-0x10(%rax,%rdi,1)
movaps %xmm0,(%rax,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%rsi
jne    12e0 <main+0x1b0>
cmp    %r10,%rcx
je     1311 <main+0x1e1>
nopw   0x0(%rax,%rax,1)
movl   $0x1,0x10(%rsp,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%r10
jne    1300 <main+0x1d0>
test   %r9d,%r9d
js     1390 <main+0x260>
mov    0x8(%rsp),%edi
lea    (%rdi,%rdi,1),%r8d
movslq %r8d,%rsi
test   %r9,%r9
je     139d <main+0x26d>
mov    %r10d,%ecx
and    $0xfffffffe,%ecx
mov    %r14,%rax
xor    %ebp,%ebp
xorps  %xmm4,%xmm4
jmp    134d <main+0x21d>
cs nopw 0x0(%rax,%rax,1)
add    $0x2,%rbp
add    $0x8,%rax
cmp    %rcx,%rbp
je     13a2 <main+0x272>
test   %edi,%edi
js     136c <main+0x23c>
mov    0x10(%rsp,%rbp,4),%ebx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
add    %ebx,(%rax,%rdx,4)
add    $0x2,%rdx
cmp    %rsi,%rdx
jle    1360 <main+0x230>
test   %edi,%edi
js     1340 <main+0x210>
mov    %rbp,%rdx
or     $0x1,%rdx
mov    0x10(%rsp,%rdx,4),%ebx
xor    %edx,%edx
nopl   (%rax)
add    %ebx,0x4(%rax,%rdx,4)
add    $0x2,%rdx
cmp    %rsi,%rdx
jle    1380 <main+0x250>
jmp    1340 <main+0x210>
nop
mov    0x8(%rsp),%r8d
add    %r8d,%r8d
xorps  %xmm4,%xmm4
jmp    13d0 <main+0x2a0>
xor    %ebp,%ebp
xorps  %xmm4,%xmm4
test   $0x1,%r10b
je     13d0 <main+0x2a0>
test   %edi,%edi
js     13d0 <main+0x2a0>
mov    0x10(%rsp,%rbp,4),%eax
lea    (%rsp,%rbp,4),%rcx
add    $0x13890,%rcx
xor    %edx,%edx
nopl   (%rax)
add    %eax,(%rcx,%rdx,4)
add    $0x2,%rdx
cmp    %rsi,%rdx
jle    13c0 <main+0x290>
nopl   0x0(%rax)
mov    %r9d,%r10d
add    %r8d,%r10d
js     1550 <main+0x420>
lea    (%r9,%r8,1),%esi
add    $0x1,%esi
cmp    $0x8,%esi
jae    13f0 <main+0x2c0>
xor    %edi,%edi
jmp    14c0 <main+0x390>
nop
mov    %esi,%edi
and    $0xfffffff8,%edi
lea    -0x8(%rdi),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
test   %rcx,%rcx
je     1643 <main+0x513>
movabs $0x3ffffffffffffff8,%rcx
ff ff 3f
lea    0x6(%rcx),%rdx
and    %rax,%rdx
xor    %ecx,%ecx
movaps 0x13890(%rsp,%rcx,4),%xmm0
movaps 0x138a0(%rsp,%rcx,4),%xmm1
movaps 0x138b0(%rsp,%rcx,4),%xmm2
movaps 0x138c0(%rsp,%rcx,4),%xmm3
movaps %xmm0,0x10(%rsp,%rcx,4)
movaps %xmm1,0x20(%rsp,%rcx,4)
movaps %xmm4,0x13890(%rsp,%rcx,4)
movaps %xmm4,0x138a0(%rsp,%rcx,4)
movaps %xmm2,0x30(%rsp,%rcx,4)
movaps %xmm3,0x40(%rsp,%rcx,4)
movaps %xmm4,0x138b0(%rsp,%rcx,4)
movaps %xmm4,0x138c0(%rsp,%rcx,4)
add    $0x10,%rcx
add    $0xfffffffffffffffe,%rdx
jne    1420 <main+0x2f0>
test   $0x1,%al
je     14ac <main+0x37c>
movaps 0x13890(%rsp,%rcx,4),%xmm0
movaps 0x138a0(%rsp,%rcx,4),%xmm1
movaps %xmm0,0x10(%rsp,%rcx,4)
movaps %xmm1,0x20(%rsp,%rcx,4)
movaps %xmm4,0x13890(%rsp,%rcx,4)
movaps %xmm4,0x138a0(%rsp,%rcx,4)
cmp    %rsi,%rdi
je     14df <main+0x3af>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x13890(%rsp,%rdi,4),%eax
mov    %eax,0x10(%rsp,%rdi,4)
movl   $0x0,0x13890(%rsp,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%rsi
jne    14c0 <main+0x390>
test   %r10d,%r10d
js     1550 <main+0x420>
mov    0xc(%rsp),%ebx
lea    (%rbx,%rbx,4),%r11d
movslq %r11d,%rbp
cmp    $0x1,%esi
jne    155a <main+0x42a>
xor    %ecx,%ecx
test   $0x1,%sil
lea    0x8(%rsp),%r13
je     15bf <main+0x48f>
test   %ebx,%ebx
js     15bf <main+0x48f>
mov    0x10(%rsp,%rcx,4),%eax
lea    (%rsp,%rcx,4),%rcx
add    $0x13890,%rcx
xor    %edx,%edx
lea    0x4(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %eax,(%rcx,%rdx,4)
add    $0x5,%rdx
cmp    %rbp,%rdx
jle    1530 <main+0x400>
jmp    15d0 <main+0x4a0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0xc(%rsp),%eax
lea    (%rax,%rax,4),%r11d
jmp    15d0 <main+0x4a0>
mov    %esi,%r13d
and    $0xfffffffe,%r13d
mov    %r14,%rdx
xor    %ecx,%ecx
jmp    1581 <main+0x451>
nopl   0x0(%rax,%rax,1)
add    $0x2,%rcx
add    $0x8,%rdx
cmp    %r13,%rcx
je     14f6 <main+0x3c6>
test   %ebx,%ebx
js     159d <main+0x46d>
mov    0x10(%rsp,%rcx,4),%edi
xor    %r15d,%r15d
nopl   0x0(%rax)
add    %edi,(%rdx,%r15,4)
add    $0x5,%r15
cmp    %rbp,%r15
jle    1590 <main+0x460>
test   %ebx,%ebx
js     1570 <main+0x440>
mov    %rcx,%rax
or     $0x1,%rax
mov    0x10(%rsp,%rax,4),%edi
xor    %eax,%eax
xchg   %ax,%ax
add    %edi,0x4(%rdx,%rax,4)
add    $0x5,%rax
cmp    %rbp,%rax
jle    15b0 <main+0x480>
jmp    1570 <main+0x440>
lea    0x4(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%r10,%r11,1),%eax
add    $0x1,%eax
test   %eax,%eax
jle    1610 <main+0x4e0>
add    %r11d,%r9d
lea    (%r8,%r9,1),%esi
add    $0x2,%esi
mov    $0x1,%eax
nopw   0x0(%rax,%rax,1)
cmpl   $0x0,0x13890(%rsp,%rax,4)
je     1620 <main+0x4f0>
add    $0x1,%rax
cmp    %rax,%rsi
jne    15f0 <main+0x4c0>
jmp    1622 <main+0x4f2>
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x1,%esi
jmp    1622 <main+0x4f2>
nopw   0x0(%rax,%rax,1)
mov    %eax,%esi
mov    %esi,%eax
cmpl   $0x0,0x13890(%rsp,%rax,4)
jne    1190 <main+0x60>
lea    0x9e0(%rip),%rdi
call   1030 <printf@plt>
jmp    1190 <main+0x60>
xor    %ecx,%ecx
test   $0x1,%al
jne    1482 <main+0x352>
jmp    14ac <main+0x37c>

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

LLVM IR (-O2):
@.str = [9 x i8] c"%d %d %d\00"
@EOF = global i64 0
@.str.1 = [4 x i8] c"%d\0A\00"
define i32 @main() {
%1 = alloca [20000 x i32]
%2 = alloca [20000 x i32]
%3 = alloca [4 x i32]
%4 = bitcast [20000 x i32]* %1 to i8*
%5 = bitcast [20000 x i32]* %2 to i8*
%6 = bitcast [4 x i32]* %3 to i8*
%7 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%8 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
%9 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 3
%10 = call i64 @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32* %7, i32* %8, i32* %9)
%11 = load i64, i64* @EOF
%12 = icmp eq i64 %10, %11
br i1 %12, label %336, label %13
13: ; preds = %0
%14 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 0
%15 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 0
br label %16
16: ; preds = %13, %332
%17 = load i32, i32* %7
%18 = icmp ne i32 %17, 0
%19 = load i32, i32* %8
%20 = icmp ne i32 %19, 0
%21 = select i1 %18, i1 true, i1 %20
%22 = load i32, i32* %9
%23 = icmp ne i32 %22, 0
%24 = select i1 %21, i1 true, i1 %23
br i1 %24, label %25, label %336
25: ; preds = %16
%26 = call i32 @memset(i32* %14, i32 0, i32 80000)
%27 = call i32 @memset(i32* %15, i32 0, i32 80000)
%28 = load i32, i32* %7
%29 = icmp slt i32 %28, 0
br i1 %29, label %106, label %30
30: ; preds = %25
%31 = add nuw i32 %28, 1
%32 = zext i32 %31 to i64
%33 = icmp ult i32 %28, 7
br i1 %33, label %103, label %34
34: ; preds = %30
%35 = and i64 %32, 4294967288
%36 = add nsw i64 %35, -8
%37 = lshr exact i64 %36, 3
%38 = add nuw nsw i64 %37, 1
%39 = and i64 %38, 7
%40 = icmp ult i64 %36, 56
br i1 %40, label %88, label %41
41: ; preds = %34
%42 = and i64 %38, 4611686018427387896
br label %43
43: ; preds = %43, %41
%44 = phi i64 [ 0, %41 ], [ %85, %43 ]
%45 = phi i64 [ 0, %41 ], [ %86, %43 ]
%46 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %44
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %49
%50 = or i64 %44, 8
%51 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %50
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %51, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %54
%55 = or i64 %44, 16
%56 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %55
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %57
%58 = getelementptr inbounds i32, i32* %56, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %59
%60 = or i64 %44, 24
%61 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %60
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %62
%63 = getelementptr inbounds i32, i32* %61, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %64
%65 = or i64 %44, 32
%66 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %65
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %67
%68 = getelementptr inbounds i32, i32* %66, i64 4
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %69
%70 = or i64 %44, 40
%71 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %70
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %72
%73 = getelementptr inbounds i32, i32* %71, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %74
%75 = or i64 %44, 48
%76 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %75
%77 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %77
%78 = getelementptr inbounds i32, i32* %76, i64 4
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %79
%80 = or i64 %44, 56
%81 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %80
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %82
%83 = getelementptr inbounds i32, i32* %81, i64 4
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %84
%85 = add nuw i64 %44, 64
%86 = add nuw i64 %45, 8
%87 = icmp eq i64 %86, %42
br i1 %87, label %88, label %43
88: ; preds = %43, %34
%89 = phi i64 [ 0, %34 ], [ %85, %43 ]
%90 = icmp eq i64 %39, 0
br i1 %90, label %101, label %91
91: ; preds = %88, %91
%92 = phi i64 [ %98, %91 ], [ %89, %88 ]
%93 = phi i64 [ %99, %91 ], [ 0, %88 ]
%94 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %92
%95 = bitcast i32* %94 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %95
%96 = getelementptr inbounds i32, i32* %94, i64 4
%97 = bitcast i32* %96 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %97
%98 = add nuw i64 %92, 8
%99 = add i64 %93, 1
%100 = icmp eq i64 %99, %39
br i1 %100, label %101, label %91
101: ; preds = %91, %88
%102 = icmp eq i64 %35, %32
br i1 %102, label %105, label %103
103: ; preds = %30, %101
%104 = phi i64 [ 0, %30 ], [ %35, %101 ]
br label %118
105: ; preds = %118, %101
br i1 %29, label %106, label %109
106: ; preds = %25, %105
%107 = load i32, i32* %8
%108 = shl i32 %107, 1
br label %138
109: ; preds = %105
%110 = load i32, i32* %8
%111 = shl i32 %110, 1
%112 = icmp slt i32 %110, 0
%113 = sext i32 %111 to i64
%114 = and i64 %32, 1
%115 = icmp eq i32 %28, 0
br i1 %115, label %123, label %116
116: ; preds = %109
%117 = and i64 %32, 4294967294
br label %207
118: ; preds = %103, %118
%119 = phi i64 [ %121, %118 ], [ %104, %103 ]
%120 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %119
store i32 1, i32* %120
%121 = add nuw nsw i64 %119, 1
%122 = icmp eq i64 %121, %32
br i1 %122, label %105, label %118
123: ; preds = %234, %109
%124 = phi i64 [ 0, %109 ], [ %235, %234 ]
%125 = icmp eq i64 %114, 0
%126 = select i1 %125, i1 true, i1 %112
br i1 %126, label %138, label %127
127: ; preds = %123
%128 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %124
%129 = load i32, i32* %128
br label %130
130: ; preds = %130, %127
%131 = phi i64 [ 0, %127 ], [ %136, %130 ]
%132 = add nuw nsw i64 %131, %124
%133 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %132
%134 = load i32, i32* %133
%135 = add nsw i32 %134, %129
store i32 %135, i32* %133
%136 = add nuw nsw i64 %131, 2
%137 = icmp sgt i64 %136, %113
br i1 %137, label %138, label %130
138: ; preds = %123, %130, %106
%139 = phi i32 [ %108, %106 ], [ %111, %130 ], [ %111, %123 ]
%140 = add nsw i32 %139, %28
%141 = icmp slt i32 %140, 0
br i1 %141, label %239, label %142
142: ; preds = %138
%143 = add i32 %28, 1
%144 = add i32 %143, %139
%145 = zext i32 %144 to i64
%146 = icmp ult i32 %144, 8
br i1 %146, label %205, label %147
147: ; preds = %142
%148 = and i64 %145, 4294967288
%149 = add nsw i64 %148, -8
%150 = lshr exact i64 %149, 3
%151 = add nuw nsw i64 %150, 1
%152 = and i64 %151, 1
%153 = icmp eq i64 %149, 0
br i1 %153, label %187, label %154
154: ; preds = %147
%155 = and i64 %151, 4611686018427387902
br label %156
156: ; preds = %156, %154
%157 = phi i64 [ 0, %154 ], [ %184, %156 ]
%158 = phi i64 [ 0, %154 ], [ %185, %156 ]
%159 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %157
%160 = bitcast i32* %159 to <4 x i32>*
%161 = load <4 x i32>, <4 x i32>* %160
%162 = getelementptr inbounds i32, i32* %159, i64 4
%163 = bitcast i32* %162 to <4 x i32>*
%164 = load <4 x i32>, <4 x i32>* %163
%165 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %157
%166 = bitcast i32* %165 to <4 x i32>*
store <4 x i32> %161, <4 x i32>* %166
%167 = getelementptr inbounds i32, i32* %165, i64 4
%168 = bitcast i32* %167 to <4 x i32>*
store <4 x i32> %164, <4 x i32>* %168
%169 = bitcast i32* %159 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %169
%170 = bitcast i32* %162 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %170
%171 = or i64 %157, 8
%172 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %171
%173 = bitcast i32* %172 to <4 x i32>*
%174 = load <4 x i32>, <4 x i32>* %173
%175 = getelementptr inbounds i32, i32* %172, i64 4
%176 = bitcast i32* %175 to <4 x i32>*
%177 = load <4 x i32>, <4 x i32>* %176
%178 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %171
%179 = bitcast i32* %178 to <4 x i32>*
store <4 x i32> %174, <4 x i32>* %179
%180 = getelementptr inbounds i32, i32* %178, i64 4
%181 = bitcast i32* %180 to <4 x i32>*
store <4 x i32> %177, <4 x i32>* %181
%182 = bitcast i32* %172 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %182
%183 = bitcast i32* %175 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %183
%184 = add nuw i64 %157, 16
%185 = add i64 %158, 2
%186 = icmp eq i64 %185, %155
br i1 %186, label %187, label %156
187: ; preds = %156, %147
%188 = phi i64 [ 0, %147 ], [ %184, %156 ]
%189 = icmp eq i64 %152, 0
br i1 %189, label %203, label %190
190: ; preds = %187
%191 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %188
%192 = bitcast i32* %191 to <4 x i32>*
%193 = load <4 x i32>, <4 x i32>* %192
%194 = getelementptr inbounds i32, i32* %191, i64 4
%195 = bitcast i32* %194 to <4 x i32>*
%196 = load <4 x i32>, <4 x i32>* %195
%197 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %188
%198 = bitcast i32* %197 to <4 x i32>*
store <4 x i32> %193, <4 x i32>* %198
%199 = getelementptr inbounds i32, i32* %197, i64 4
%200 = bitcast i32* %199 to <4 x i32>*
store <4 x i32> %196, <4 x i32>* %200
%201 = bitcast i32* %191 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %201
%202 = bitcast i32* %194 to <4 x i32>*
store <4 x i32> zeroinitializer, <4 x i32>* %202
br label %203
203: ; preds = %187, %190
%204 = icmp eq i64 %148, %145
br i1 %204, label %238, label %205
205: ; preds = %142, %203
%206 = phi i64 [ 0, %142 ], [ %148, %203 ]
br label %251
207: ; preds = %234, %116
%208 = phi i64 [ 0, %116 ], [ %235, %234 ]
%209 = phi i64 [ 0, %116 ], [ %236, %234 ]
br i1 %112, label %221, label %210
210: ; preds = %207
%211 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %208
%212 = load i32, i32* %211
br label %213
213: ; preds = %210, %213
%214 = phi i64 [ 0, %210 ], [ %219, %213 ]
%215 = add nuw nsw i64 %214, %208
%216 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %215
%217 = load i32, i32* %216
%218 = add nsw i32 %217, %212
store i32 %218, i32* %216
%219 = add nuw nsw i64 %214, 2
%220 = icmp sgt i64 %219, %113
br i1 %220, label %221, label %213
221: ; preds = %213, %207
%222 = or i64 %208, 1
br i1 %112, label %234, label %223
223: ; preds = %221
%224 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %222
%225 = load i32, i32* %224
br label %226
226: ; preds = %226, %223
%227 = phi i64 [ 0, %223 ], [ %232, %226 ]
%228 = add nuw nsw i64 %227, %222
%229 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %228
%230 = load i32, i32* %229
%231 = add nsw i32 %230, %225
store i32 %231, i32* %229
%232 = add nuw nsw i64 %227, 2
%233 = icmp sgt i64 %232, %113
br i1 %233, label %234, label %226
234: ; preds = %226, %221
%235 = add nuw nsw i64 %208, 2
%236 = add i64 %209, 2
%237 = icmp eq i64 %236, %117
br i1 %237, label %123, label %207
238: ; preds = %251, %203
br i1 %141, label %239, label %242
239: ; preds = %138, %238
%240 = load i32, i32* %9
%241 = mul i32 %240, 5
br label %273
242: ; preds = %238
%243 = load i32, i32* %9
%244 = mul i32 %243, 5
%245 = icmp slt i32 %243, 0
%246 = sext i32 %244 to i64
%247 = and i64 %145, 1
%248 = icmp eq i32 %144, 1
br i1 %248, label %258, label %249
249: ; preds = %242
%250 = and i64 %145, 4294967294
br label %283
251: ; preds = %205, %251
%252 = phi i64 [ %256, %251 ], [ %206, %205 ]
%253 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %252
%254 = load i32, i32* %253
%255 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %252
store i32 %254, i32* %255
store i32 0, i32* %253
%256 = add nuw nsw i64 %252, 1
%257 = icmp eq i64 %256, %145
br i1 %257, label %238, label %251
258: ; preds = %310, %242
%259 = phi i64 [ 0, %242 ], [ %311, %310 ]
%260 = icmp eq i64 %247, 0
%261 = select i1 %260, i1 true, i1 %245
br i1 %261, label %273, label %262
262: ; preds = %258
%263 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %259
%264 = load i32, i32* %263
br label %265
265: ; preds = %265, %262
%266 = phi i64 [ 0, %262 ], [ %271, %265 ]
%267 = add nuw nsw i64 %266, %259
%268 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %267
%269 = load i32, i32* %268
%270 = add nsw i32 %269, %264
store i32 %270, i32* %268
%271 = add nuw nsw i64 %266, 5
%272 = icmp sgt i64 %271, %246
br i1 %272, label %273, label %265
273: ; preds = %258, %265, %239
%274 = phi i32 [ %241, %239 ], [ %244, %265 ], [ %244, %258 ]
%275 = add i32 %140, 1
%276 = add i32 %275, %274
%277 = icmp slt i32 %276, 1
br i1 %277, label %324, label %278
278: ; preds = %273
%279 = add i32 %28, 2
%280 = add i32 %279, %274
%281 = add i32 %280, %139
%282 = zext i32 %281 to i64
br label %314
283: ; preds = %310, %249
%284 = phi i64 [ 0, %249 ], [ %311, %310 ]
%285 = phi i64 [ 0, %249 ], [ %312, %310 ]
br i1 %245, label %297, label %286
286: ; preds = %283
%287 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %284
%288 = load i32, i32* %287
br label %289
289: ; preds = %286, %289
%290 = phi i64 [ 0, %286 ], [ %295, %289 ]
%291 = add nuw nsw i64 %290, %284
%292 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %291
%293 = load i32, i32* %292
%294 = add nsw i32 %293, %288
store i32 %294, i32* %292
%295 = add nuw nsw i64 %290, 5
%296 = icmp sgt i64 %295, %246
br i1 %296, label %297, label %289
297: ; preds = %289, %283
%298 = or i64 %284, 1
br i1 %245, label %310, label %299
299: ; preds = %297
%300 = getelementptr inbounds [20000 x i32], [20000 x i32]* %1, i64 0, i64 %298
%301 = load i32, i32* %300
br label %302
302: ; preds = %302, %299
%303 = phi i64 [ 0, %299 ], [ %308, %302 ]
%304 = add nuw nsw i64 %303, %298
%305 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %304
%306 = load i32, i32* %305
%307 = add nsw i32 %306, %301
store i32 %307, i32* %305
%308 = add nuw nsw i64 %303, 5
%309 = icmp sgt i64 %308, %246
br i1 %309, label %310, label %302
310: ; preds = %302, %297
%311 = add nuw nsw i64 %284, 2
%312 = add i64 %285, 2
%313 = icmp eq i64 %312, %250
br i1 %313, label %258, label %283
314: ; preds = %278, %319
%315 = phi i64 [ 1, %278 ], [ %320, %319 ]
%316 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %315
%317 = load i32, i32* %316
%318 = icmp eq i32 %317, 0
br i1 %318, label %322, label %319
319: ; preds = %314
%320 = add nuw nsw i64 %315, 1
%321 = icmp eq i64 %320, %282
br i1 %321, label %324, label %314
322: ; preds = %314
%323 = trunc i64 %315 to i32
br label %324
324: ; preds = %319, %322, %273
%325 = phi i32 [ 1, %273 ], [ %323, %322 ], [ %281, %319 ]
%326 = zext i32 %325 to i64
%327 = getelementptr inbounds [20000 x i32], [20000 x i32]* %2, i64 0, i64 %326
%328 = load i32, i32* %327
%329 = icmp eq i32 %328, 0
br i1 %329, label %330, label %332
330: ; preds = %324
%331 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %325)
br label %332
332: ; preds = %330, %324
%333 = call i64 @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32* %7, i32* %8, i32* %9)
%334 = load i64, i64* @EOF
%335 = icmp eq i64 %333, %334
br i1 %335, label %336, label %16
336: ; preds = %332, %16, %0
ret i32 0
}