#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, int);
int /*<<< orphan*/ scanf(char *, int *, int *, ...);
int main() {
  int topics, prece, days, index, no;
  int num = 0;
  int maxtopics = 0;
  int aux, temp;
  int superArray[5000];
  int dias[300000];
  int flag = 1;
  short matriz[300000][2];
  int i = 0;
  scanf("%d %d %d", &topics, &prece, &days);
  for (i = 0; i < prece; i++) {
    dias[i] = 0;
  }
  for (i = 0; i < topics; i++) {
    superArray[i] = 1;
  }
  for (i = 0; i < prece; i++) {
    scanf("%d %d", &index, &no);
    matriz[i][0] = index;
    matriz[i][1] = no;
    aux = superArray[index] + 1;
    temp = superArray[no];
    if (aux > temp) {
      superArray[no] = aux;
    }
  }
  while (flag) {
    flag = 0;
    for (i = 0; i < prece; i++) {
      aux = superArray[matriz[i][0]] + 1;
      temp = superArray[matriz[i][1]];
      if (aux > temp) {
        superArray[matriz[i][1]] = aux;
        flag = 1;
      }
    }
  }
  for (i = 0; i < topics; i++) {
    dias[superArray[i]]++;
    if (dias[superArray[i]] == days + 1) {
      num++;
    }
    if (dias[superArray[i]] > maxtopics) {
      maxtopics = dias[superArray[i]];
    }
  }
  printf("%d %d\n", maxtopics, num);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x24ed70,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x1,-0x129dd4(%rbp)
movl   $0x0,-0x24ed64(%rbp)
lea    0xea5(%rip),%rdi
lea    -0x8(%rbp),%rsi
lea    -0xc(%rbp),%rdx
lea    -0x10(%rbp),%rcx
mov    $0x0,%al
call   1040 <scanf@plt>
movl   $0x0,-0x24ed64(%rbp)
mov    -0x24ed64(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11ad <main+0x8d>
movslq -0x24ed64(%rbp),%rax
movl   $0x0,-0x129dd0(%rbp,%rax,4)
mov    -0x24ed64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24ed64(%rbp)
jmp    1178 <main+0x58>
movl   $0x0,-0x24ed64(%rbp)
mov    -0x24ed64(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11ec <main+0xcc>
movslq -0x24ed64(%rbp),%rax
movl   $0x1,-0x4e50(%rbp,%rax,4)
mov    -0x24ed64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24ed64(%rbp)
jmp    11b7 <main+0x97>
movl   $0x0,-0x24ed64(%rbp)
mov    -0x24ed64(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1297 <main+0x177>
lea    0xdf7(%rip),%rdi
lea    -0x14(%rbp),%rsi
lea    -0x18(%rbp),%rdx
mov    $0x0,%al
call   1040 <scanf@plt>
mov    -0x14(%rbp),%eax
mov    %ax,%cx
movslq -0x24ed64(%rbp),%rax
mov    %cx,-0x24ed60(%rbp,%rax,4)
ff
mov    -0x18(%rbp),%eax
mov    %ax,%cx
movslq -0x24ed64(%rbp),%rax
mov    %cx,-0x24ed5e(%rbp,%rax,4)
ff
movslq -0x14(%rbp),%rax
mov    -0x4e50(%rbp,%rax,4),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movslq -0x18(%rbp),%rax
mov    -0x4e50(%rbp,%rax,4),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    127e <main+0x15e>
mov    -0x24(%rbp),%ecx
movslq -0x18(%rbp),%rax
mov    %ecx,-0x4e50(%rbp,%rax,4)
jmp    1283 <main+0x163>
mov    -0x24ed64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24ed64(%rbp)
jmp    11f6 <main+0xd6>
jmp    129c <main+0x17c>
cmpl   $0x0,-0x129dd4(%rbp)
je     1351 <main+0x231>
movl   $0x0,-0x129dd4(%rbp)
movl   $0x0,-0x24ed64(%rbp)
mov    -0x24ed64(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    134c <main+0x22c>
movslq -0x24ed64(%rbp),%rax
movswq -0x24ed60(%rbp,%rax,4),%rax
db ff
mov    -0x4e50(%rbp,%rax,4),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movslq -0x24ed64(%rbp),%rax
movswq -0x24ed5e(%rbp,%rax,4),%rax
db ff
mov    -0x4e50(%rbp,%rax,4),%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    1333 <main+0x213>
mov    -0x24(%rbp),%ecx
movslq -0x24ed64(%rbp),%rax
movswq -0x24ed5e(%rbp,%rax,4),%rax
db ff
mov    %ecx,-0x4e50(%rbp,%rax,4)
movl   $0x1,-0x129dd4(%rbp)
jmp    1338 <main+0x218>
mov    -0x24ed64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24ed64(%rbp)
jmp    12bd <main+0x19d>
jmp    129c <main+0x17c>
movl   $0x0,-0x24ed64(%rbp)
mov    -0x24ed64(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1408 <main+0x2e8>
movslq -0x24ed64(%rbp),%rax
movslq -0x4e50(%rbp,%rax,4),%rax
ff
mov    -0x129dd0(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x129dd0(%rbp,%rax,4)
movslq -0x24ed64(%rbp),%rax
movslq -0x4e50(%rbp,%rax,4),%rax
ff
mov    -0x129dd0(%rbp,%rax,4),%eax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    13b7 <main+0x297>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movslq -0x24ed64(%rbp),%rax
movslq -0x4e50(%rbp,%rax,4),%rax
ff
mov    -0x129dd0(%rbp,%rax,4),%eax
cmp    -0x20(%rbp),%eax
jle    13ef <main+0x2cf>
movslq -0x24ed64(%rbp),%rax
movslq -0x4e50(%rbp,%rax,4),%rax
ff
mov    -0x129dd0(%rbp,%rax,4),%eax
mov    %eax,-0x20(%rbp)
jmp    13f4 <main+0x2d4>
mov    -0x24ed64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24ed64(%rbp)
jmp    135b <main+0x23b>
mov    -0x20(%rbp),%esi
mov    -0x1c(%rbp),%edx
lea    0xbf4(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x24ed70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x24ed40,%rsp
lea    0xec9(%rip),%rdi
lea    0x10(%rsp),%rsi
lea    0xc(%rsp),%rdx
lea    0x1c(%rsp),%rcx
xor    %eax,%eax
call   1050 <scanf@plt>
mov    0xc(%rsp),%r13d
test   %r13d,%r13d
jle    117e <main+0x4e>
lea    0x0(,%r13,4),%rdx
lea    0x4e40(%rsp),%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    0x10(%rsp),%eax
test   %eax,%eax
jle    12a1 <main+0x171>
cmp    $0x8,%eax
jae    1196 <main+0x66>
xor    %ecx,%ecx
jmp    1290 <main+0x160>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x7,%edx
cmp    $0x38,%rdi
jae    11bc <main+0x8c>
xor    %edi,%edi
jmp    1248 <main+0x118>
and    $0xfffffffffffffff8,%rsi
xor    %edi,%edi
movaps 0xe37(%rip),%xmm0
nopl   0x0(%rax)
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)
movaps %xmm0,0x110(%rsp,%rdi,4)
add    $0x40,%rdi
add    $0xfffffffffffffff8,%rsi
jne    11d0 <main+0xa0>
test   %rdx,%rdx
je     1282 <main+0x152>
lea    (%rsp,%rdi,4),%rsi
add    $0x30,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
movaps 0xd9e(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movaps %xmm0,-0x10(%rsi,%rdi,1)
movaps %xmm0,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    1270 <main+0x140>
cmp    %rax,%rcx
je     12a1 <main+0x171>
nopw   0x0(%rax,%rax,1)
movl   $0x1,0x20(%rsp,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1290 <main+0x160>
test   %r13d,%r13d
jle    130b <main+0x1db>
lea    0xd66(%rip),%r14
lea    0x18(%rsp),%r15
lea    0x14(%rsp),%r12
xor    %ebx,%ebx
jmp    12ce <main+0x19e>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbx
movslq 0xc(%rsp),%r13
cmp    %r13,%rbx
jge    130b <main+0x1db>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
xor    %eax,%eax
call   1050 <scanf@plt>
movslq 0x18(%rsp),%rcx
mov    %cx,0x129dc0(%rsp,%rbx,4)
movslq 0x14(%rsp),%rax
mov    %ax,0x129dc2(%rsp,%rbx,4)
mov    0x20(%rsp,%rcx,4),%ecx
cmp    0x20(%rsp,%rax,4),%ecx
jl     12c0 <main+0x190>
add    $0x1,%ecx
mov    %ecx,0x20(%rsp,%rax,4)
jmp    12c0 <main+0x190>
test   %r13d,%r13d
jle    1364 <main+0x234>
mov    %r13d,%eax
test   %eax,%eax
setle  %cl
xor    %edx,%edx
xor    %esi,%esi
nopl   0x0(%rax)
movswq 0x129dc0(%rsp,%rdx,4),%rdi
mov    0x20(%rsp,%rdi,4),%edi
movswq 0x129dc2(%rsp,%rdx,4),%rbx
cmp    0x20(%rsp,%rbx,4),%edi
jl     1348 <main+0x218>
add    $0x1,%edi
mov    %edi,0x20(%rsp,%rbx,4)
mov    $0x1,%esi
add    $0x1,%rdx
cmp    %rax,%rdx
jne    1320 <main+0x1f0>
test   %esi,%esi
sete   %bl
or     %cl,%bl
xor    %edx,%edx
mov    $0x0,%esi
cmp    $0x1,%bl
jne    1320 <main+0x1f0>
mov    0x10(%rsp),%r8d
test   %r8d,%r8d
jle    1382 <main+0x252>
mov    0x1c(%rsp),%r10d
cmp    $0x1,%r8d
jne    138b <main+0x25b>
xor    %r11d,%r11d
xor    %esi,%esi
xor    %edx,%edx
jmp    13f3 <main+0x2c3>
xor    %edx,%edx
xor    %esi,%esi
jmp    141e <main+0x2ee>
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %r11d,%r11d
xor    %esi,%esi
xor    %edx,%edx
nopl   0x0(%rax)
movslq 0x20(%rsp,%r11,4),%rbx
mov    0x4e40(%rsp,%rbx,4),%ecx
lea    0x1(%rcx),%eax
mov    %eax,0x4e40(%rsp,%rbx,4)
xor    %ebx,%ebx
cmp    %r10d,%ecx
sete   %bl
add    %edx,%ebx
cmp    %esi,%eax
cmovg  %eax,%esi
movslq 0x24(%rsp,%r11,4),%rax
mov    0x4e40(%rsp,%rax,4),%ecx
lea    0x1(%rcx),%edi
mov    %edi,0x4e40(%rsp,%rax,4)
xor    %edx,%edx
cmp    %r10d,%ecx
sete   %dl
add    %ebx,%edx
cmp    %esi,%edi
cmovg  %edi,%esi
add    $0x2,%r11
cmp    %r11,%r9
jne    13a0 <main+0x270>
test   $0x1,%r8b
je     141e <main+0x2ee>
movslq 0x20(%rsp,%r11,4),%rax
mov    0x4e40(%rsp,%rax,4),%ecx
lea    0x1(%rcx),%edi
mov    %edi,0x4e40(%rsp,%rax,4)
xor    %eax,%eax
cmp    %r10d,%ecx
sete   %al
add    %eax,%edx
cmp    %esi,%edi
cmovg  %edi,%esi
lea    0xbf4(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x24ed40,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

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