#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 scanf(char *, int *, ...);
int main() {
  int n, W, k;
  int t[30 + 1][1000 + 1];
  int saida[1000 + 1];
  int nrecovered;
  int v[30 + 1], w[30 + 1], d[30 + 1];
  int a, b;
  int i, y;
  int primeiro;
  primeiro = 1;
  while (scanf("%d %d", &W, &k) == 2) {
    scanf("%d", &n);
    for (i = 1; i <= n; i++) {
      scanf("%d %d", &d[i], &v[i]);
      w[i] = d[i] * 3 * k;
    }
    if (0) {
      printf("W = %d, k = %d, n = %d\n", W, k, n);
      printf("i => d[i] , v[i] , w[i]\n");
      for (i = 0; i <= n; i++) {
        printf("%d => %d  , %d  , %d\n", i, d[i], v[i], w[i]);
      }
    }
    for (y = 0; y <= W; y++) {
      t[0][W] = 0;
      for (i = 1; i <= n; i++) {
        a = t[i - 1][y];
        if (w[i] > y)
          b = 0;
        else
          b = t[i - 1][y - w[i]] + v[i];
        if (a >= b)
          t[i][y] = a;
        else {
          t[i][y] = b;
        }
      }
    }
    y = W;
    for (i = n; i > 0; i--) {
      if (t[i][y] == t[i - 1][y]) {
        saida[i] = 0;
      } else {
        saida[i] = 1;
        y -= w[i];
      }
    }
    if (!primeiro)
      printf("\n");
    primeiro = 0;
    printf("%d\n", t[n][W]);
    nrecovered = 0;
    for (i = 1; i <= n; i++) {
      nrecovered += saida[i];
    }
    printf("%d\n", nrecovered);
    for (i = 1; i <= n; i++) {
      if (saida[i])
        printf("%d %d\n", d[i], v[i]);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1f640,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x1f634(%rbp)
lea    0xebd(%rip),%rdi
lea    -0xc(%rbp),%rsi
lea    -0x10(%rbp),%rdx
mov    $0x0,%al
call   1040 <scanf@plt>
cmp    $0x2,%eax
jne    1564 <main+0x444>
lea    0xea1(%rip),%rdi
lea    -0x8(%rbp),%rsi
mov    $0x0,%al
call   1040 <scanf@plt>
movl   $0x1,-0x1f62c(%rbp)
mov    -0x1f62c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     11f3 <main+0xd3>
movslq -0x1f62c(%rbp),%rax
lea    -0x1f620(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
movslq -0x1f62c(%rbp),%rax
lea    -0x1f520(%rbp),%rdx
shl    $0x2,%rax
add    %rax,%rdx
lea    0xe49(%rip),%rdi
mov    $0x0,%al
call   1040 <scanf@plt>
movslq -0x1f62c(%rbp),%rax
imul   $0x3,-0x1f620(%rbp,%rax,4),%ecx
03
imul   -0x10(%rbp),%ecx
movslq -0x1f62c(%rbp),%rax
mov    %ecx,-0x1f5a0(%rbp,%rax,4)
mov    -0x1f62c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1f62c(%rbp)
jmp    1177 <main+0x57>
movl   $0x0,-0x1f630(%rbp)
mov    -0x1f630(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     136e <main+0x24e>
movslq -0xc(%rbp),%rax
movl   $0x0,-0x1e4f0(%rbp,%rax,4)
movl   $0x1,-0x1f62c(%rbp)
mov    -0x1f62c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1355 <main+0x235>
mov    -0x1f62c(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
movslq -0x1f630(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1f624(%rbp)
movslq -0x1f62c(%rbp),%rax
mov    -0x1f5a0(%rbp,%rax,4),%eax
cmp    -0x1f630(%rbp),%eax
jle    128a <main+0x16a>
movl   $0x0,-0x1f628(%rbp)
jmp    12d5 <main+0x1b5>
mov    -0x1f62c(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
mov    -0x1f630(%rbp),%ecx
movslq -0x1f62c(%rbp),%rdx
sub    -0x1f5a0(%rbp,%rdx,4),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
movslq -0x1f62c(%rbp),%rcx
add    -0x1f520(%rbp,%rcx,4),%eax
mov    %eax,-0x1f628(%rbp)
mov    -0x1f624(%rbp),%eax
cmp    -0x1f628(%rbp),%eax
jl     1314 <main+0x1f4>
mov    -0x1f624(%rbp),%edx
movslq -0x1f62c(%rbp),%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
movslq -0x1f630(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    133c <main+0x21c>
mov    -0x1f628(%rbp),%edx
movslq -0x1f62c(%rbp),%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
movslq -0x1f630(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1341 <main+0x221>
mov    -0x1f62c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1f62c(%rbp)
jmp    1225 <main+0x105>
jmp    135a <main+0x23a>
mov    -0x1f630(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1f630(%rbp)
jmp    11fd <main+0xdd>
mov    -0xc(%rbp),%eax
mov    %eax,-0x1f630(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x1f62c(%rbp)
cmpl   $0x0,-0x1f62c(%rbp)
jle    143a <main+0x31a>
movslq -0x1f62c(%rbp),%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
movslq -0x1f630(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x1f62c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rdx
lea    -0x1e4f0(%rbp),%rcx
imul   $0xfa4,%rdx,%rdx
add    %rdx,%rcx
movslq -0x1f630(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    13f3 <main+0x2d3>
movslq -0x1f62c(%rbp),%rax
movl   $0x0,-0x1f4a0(%rbp,%rax,4)
jmp    1421 <main+0x301>
movslq -0x1f62c(%rbp),%rax
movl   $0x1,-0x1f4a0(%rbp,%rax,4)
movslq -0x1f62c(%rbp),%rax
mov    -0x1f5a0(%rbp,%rax,4),%ecx
mov    -0x1f630(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1f630(%rbp)
jmp    1426 <main+0x306>
mov    -0x1f62c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1f62c(%rbp)
jmp    1380 <main+0x260>
cmpl   $0x0,-0x1f634(%rbp)
jne    1455 <main+0x335>
lea    0xbbd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1f634(%rbp)
movslq -0x8(%rbp),%rcx
lea    -0x1e4f0(%rbp),%rax
imul   $0xfa4,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xb87(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1f4a4(%rbp)
movl   $0x1,-0x1f62c(%rbp)
mov    -0x1f62c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     14da <main+0x3ba>
movslq -0x1f62c(%rbp),%rax
mov    -0x1f4a0(%rbp,%rax,4),%eax
add    -0x1f4a4(%rbp),%eax
mov    %eax,-0x1f4a4(%rbp)
mov    -0x1f62c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1f62c(%rbp)
jmp    149d <main+0x37d>
mov    -0x1f4a4(%rbp),%esi
lea    0xb22(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1f62c(%rbp)
mov    -0x1f62c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     155f <main+0x43f>
movslq -0x1f62c(%rbp),%rax
cmpl   $0x0,-0x1f4a0(%rbp,%rax,4)
je     1546 <main+0x426>
movslq -0x1f62c(%rbp),%rax
mov    -0x1f620(%rbp,%rax,4),%esi
movslq -0x1f62c(%rbp),%rax
mov    -0x1f520(%rbp,%rax,4),%edx
lea    0xac7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    154b <main+0x42b>
mov    -0x1f62c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1f62c(%rbp)
jmp    14f8 <main+0x3d8>
jmp    113c <main+0x1c>
xor    %eax,%eax
add    $0x1f640,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1f628,%rsp
lea    0xeb8(%rip),%rdi
lea    0x8(%rsp),%rsi
lea    0xc(%rsp),%rdx
xor    %eax,%eax
call   1050 <scanf@plt>
cmp    $0x2,%eax
jne    1515 <main+0x3e5>
lea    0x14(%rsp),%r13
lea    0xe92(%rip),%r12
xor    %r15d,%r15d
jmp    11a0 <main+0x70>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %r12,%rdi
lea    0x8(%rsp),%rsi
lea    0xc(%rsp),%rdx
xor    %eax,%eax
call   1050 <scanf@plt>
mov    $0x1,%r15b
cmp    $0x2,%eax
jne    1515 <main+0x3e5>
lea    0xe5c(%rip),%rdi
lea    0x4(%rsp),%rsi
xor    %eax,%eax
call   1050 <scanf@plt>
mov    0x4(%rsp),%r10d
test   %r10d,%r10d
jle    120c <main+0xdc>
xor    %ebx,%ebx
lea    0x114(%rsp),%rbp
xor    %r14d,%r14d
nopw   0x0(%rax,%rax,1)
lea    (%rbx,%r13,1),%rsi
mov    %r12,%rdi
mov    %rbp,%rdx
xor    %eax,%eax
call   1050 <scanf@plt>
mov    0x14(%rsp,%r14,4),%eax
imul   0xc(%rsp),%eax
lea    (%rax,%rax,2),%eax
mov    %eax,0x94(%rsp,%r14,4)
movslq 0x4(%rsp),%r10
add    $0x1,%r14
add    $0x4,%rbp
add    $0x4,%rbx
cmp    %r10,%r14
jl     11d0 <main+0xa0>
mov    0x8(%rsp),%r8d
test   %r8d,%r8d
js     12a0 <main+0x170>
lea    0x1(%r10),%r14d
lea    0x1(%r8),%r9
lea    0x1140(%rsp),%r11
xor    %ebp,%ebp
jmp    123d <main+0x10d>
xchg   %ax,%ax
add    $0x1,%rbp
add    $0x4,%r11
cmp    %r9,%rbp
je     12a0 <main+0x170>
movl   $0x0,0x1140(%rsp,%r8,4)
test   %r10d,%r10d
jle    1230 <main+0x100>
mov    0x1140(%rsp,%rbp,4),%ebx
mov    $0x1,%ecx
mov    %r11,%rdi
jmp    127b <main+0x14b>
nop
cmp    %eax,%ebx
cmovl  %eax,%ebx
mov    %ebx,0xfa4(%rdi)
add    $0xfa4,%rdi
add    $0x1,%rcx
cmp    %rcx,%r14
je     1230 <main+0x100>
movslq 0x90(%rsp,%rcx,4),%rsi
xor    %eax,%eax
cmp    %rsi,%rbp
jl     1260 <main+0x130>
shl    $0x2,%rsi
mov    %rdi,%rdx
sub    %rsi,%rdx
mov    0x110(%rsp,%rcx,4),%eax
add    (%rdx),%eax
jmp    1260 <main+0x130>
nop
test   %r10d,%r10d
lea    0xd5f(%rip),%r14
jle    1320 <main+0x1f0>
mov    %r10d,%edx
imul   $0xfa4,%rdx,%rax
add    $0x1,%rdx
lea    (%rsp,%rax,1),%rsi
add    $0x1140,%rsi
mov    %r8d,%edi
jmp    12e8 <main+0x1b8>
nopw   0x0(%rax,%rax,1)
mov    %eax,0x18c(%rsp,%rdx,4)
add    $0xffffffffffffffff,%rdx
add    $0xfffffffffffff05c,%rsi
cmp    $0x1,%rdx
jbe    1320 <main+0x1f0>
movslq %edi,%rcx
mov    (%rsi,%rcx,4),%ebp
lea    -0x2(%rdx),%eax
imul   $0xfa4,%rax,%rax
lea    (%rsp,%rax,1),%rbx
add    $0x1140,%rbx
xor    %eax,%eax
cmp    (%rbx,%rcx,4),%ebp
je     12d0 <main+0x1a0>
sub    0x8c(%rsp,%rdx,4),%edi
mov    $0x1,%eax
jmp    12d0 <main+0x1a0>
nopl   0x0(%rax,%rax,1)
test   $0x1,%r15b
je     133a <main+0x20a>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    0x4(%rsp),%r10d
mov    0x8(%rsp),%r8d
movslq %r10d,%rax
movslq %r8d,%rcx
imul   $0xfa4,%rax,%rax
add    %rsp,%rax
add    $0x1140,%rax
mov    (%rax,%rcx,4),%esi
xor    %r15d,%r15d
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x4(%rsp),%eax
test   %eax,%eax
jle    14b1 <main+0x381>
cmp    $0x8,%rax
jae    1380 <main+0x250>
xor    %r15d,%r15d
mov    $0x1,%ecx
jmp    1494 <main+0x364>
nop
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x18,%rsi
jae    13ae <main+0x27e>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
jmp    1432 <main+0x302>
and    $0xfffffffffffffffc,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
nopl   0x0(%rax)
movdqu 0x194(%rsp,%rsi,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x1a4(%rsp,%rsi,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x1b4(%rsp,%rsi,4),%xmm1
movdqu 0x1c4(%rsp,%rsi,4),%xmm3
movdqu 0x1d4(%rsp,%rsi,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x1e4(%rsp,%rsi,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x1f4(%rsp,%rsi,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x204(%rsp,%rsi,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    13c0 <main+0x290>
test   %rdx,%rdx
je     1470 <main+0x340>
nopw   0x0(%rax,%rax,1)
lea    0x0(,%rsi,4),%rdi
or     $0x4,%rdi
movdqu 0x190(%rsp,%rdi,1),%xmm2
paddd  %xmm2,%xmm0
movdqu 0x1a0(%rsp,%rdi,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x8,%rsi
add    $0xffffffffffffffff,%rdx
jne    1440 <main+0x310>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%r15d
cmp    %rcx,%rax
je     14b1 <main+0x381>
or     $0x1,%rcx
add    $0x1,%rax
nopl   0x0(%rax,%rax,1)
add    0x190(%rsp,%rcx,4),%r15d
add    $0x1,%rcx
cmp    %rcx,%rax
jne    14a0 <main+0x370>
mov    %r14,%rdi
mov    %r15d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x4(%rsp),%eax
test   %eax,%eax
lea    0xb3b(%rip),%rbp
jle    1180 <main+0x50>
xor    %ebx,%ebx
jmp    14f0 <main+0x3c0>
cs nopw 0x0(%rax,%rax,1)
nop
movslq %eax,%rcx
add    $0x1,%rbx
cmp    %rcx,%rbx
jge    1180 <main+0x50>
cmpl   $0x0,0x194(%rsp,%rbx,4)
je     14e0 <main+0x3b0>
mov    0x14(%rsp,%rbx,4),%esi
mov    0x114(%rsp,%rbx,4),%edx
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x4(%rsp),%eax
jmp    14e0 <main+0x3b0>
xor    %eax,%eax
add    $0x1f628,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [6 x i8] c"%d %d\00"
@.str.1 = [3 x i8] c"%d\00"
@.str.3 = [4 x i8] c"%d\0A\00"
@.str.4 = [7 x i8] c"%d %d\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca [31 x [1001 x i32]]
%5 = alloca [1001 x i32]
%6 = alloca [31 x i32]
%7 = alloca [31 x i32]
%8 = alloca [31 x i32]
%9 = bitcast i32* %1 to i8*
%10 = bitcast i32* %2 to i8*
%11 = bitcast i32* %3 to i8*
%12 = bitcast [31 x [1001 x i32]]* %4 to i8*
%13 = bitcast [1001 x i32]* %5 to i8*
%14 = bitcast [31 x i32]* %6 to i8*
%15 = bitcast [31 x i32]* %7 to i8*
%16 = bitcast [31 x i32]* %8 to i8*
%17 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32* %2, i32* %3)
%18 = icmp eq i32 %17, 2
br i1 %18, label %22, label %247
19: ; preds = %242, %224
%20 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32* %2, i32* %3)
%21 = icmp eq i32 %20, 2
br i1 %21, label %22, label %247
22: ; preds = %0, %19
%23 = phi i1 [ true, %19 ], [ false, %0 ]
%24 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %1)
%25 = load i32, i32* %1
%26 = icmp slt i32 %25, 1
br i1 %26, label %27, label %39
27: ; preds = %39, %22
%28 = phi i32 [ %25, %22 ], [ %50, %39 ]
%29 = load i32, i32* %2
%30 = icmp slt i32 %29, 0
br i1 %30, label %53, label %31
31: ; preds = %27
%32 = zext i32 %29 to i64
%33 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 0, i64 %32
%34 = icmp slt i32 %28, 1
%35 = add i32 %28, 1
%36 = add nuw i32 %29, 1
%37 = zext i32 %36 to i64
%38 = zext i32 %35 to i64
br label %57
39: ; preds = %22, %39
%40 = phi i64 [ %49, %39 ], [ 1, %22 ]
%41 = getelementptr inbounds [31 x i32], [31 x i32]* %8, i64 0, i64 %40
%42 = getelementptr inbounds [31 x i32], [31 x i32]* %6, i64 0, i64 %40
%43 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32* %41, i32* %42)
%44 = load i32, i32* %41
%45 = mul nsw i32 %44, 3
%46 = load i32, i32* %3
%47 = mul nsw i32 %45, %46
%48 = getelementptr inbounds [31 x i32], [31 x i32]* %7, i64 0, i64 %40
store i32 %47, i32* %48
%49 = add nuw nsw i64 %40, 1
%50 = load i32, i32* %1
%51 = sext i32 %50 to i64
%52 = icmp slt i64 %40, %51
br i1 %52, label %39, label %27
53: ; preds = %86, %27
%54 = icmp sgt i32 %28, 0
br i1 %54, label %55, label %109
55: ; preds = %53
%56 = zext i32 %28 to i64
br label %89
57: ; preds = %31, %86
%58 = phi i64 [ 0, %31 ], [ %87, %86 ]
store i32 0, i32* %33
br i1 %34, label %86, label %59
59: ; preds = %57
%60 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 0, i64 %58
%61 = load i32, i32* %60
%62 = trunc i64 %58 to i32
br label %63
63: ; preds = %59, %79
%64 = phi i32 [ %61, %59 ], [ %82, %79 ]
%65 = phi i64 [ 1, %59 ], [ %84, %79 ]
%66 = getelementptr inbounds [31 x i32], [31 x i32]* %7, i64 0, i64 %65
%67 = load i32, i32* %66
%68 = sext i32 %67 to i64
%69 = icmp slt i64 %58, %68
br i1 %69, label %79, label %70
70: ; preds = %63
%71 = add nsw i64 %65, -1
%72 = sub nsw i32 %62, %67
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 %71, i64 %73
%75 = load i32, i32* %74
%76 = getelementptr inbounds [31 x i32], [31 x i32]* %6, i64 0, i64 %65
%77 = load i32, i32* %76
%78 = add nsw i32 %77, %75
br label %79
79: ; preds = %63, %70
%80 = phi i32 [ %78, %70 ], [ 0, %63 ]
%81 = icmp slt i32 %64, %80
%82 = select i1 %81, i32 %80, i32 %64
%83 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 %65, i64 %58
store i32 %82, i32* %83
%84 = add nuw nsw i64 %65, 1
%85 = icmp eq i64 %84, %38
br i1 %85, label %86, label %63
86: ; preds = %79, %57
%87 = add nuw nsw i64 %58, 1
%88 = icmp eq i64 %87, %37
br i1 %88, label %53, label %57
89: ; preds = %55, %104
%90 = phi i64 [ %56, %55 ], [ %95, %104 ]
%91 = phi i32 [ %29, %55 ], [ %106, %104 ]
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 %90, i64 %92
%94 = load i32, i32* %93
%95 = add nsw i64 %90, -1
%96 = and i64 %95, 4294967295
%97 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 %96, i64 %92
%98 = load i32, i32* %97
%99 = icmp eq i32 %94, %98
br i1 %99, label %104, label %100
100: ; preds = %89
%101 = getelementptr inbounds [31 x i32], [31 x i32]* %7, i64 0, i64 %90
%102 = load i32, i32* %101
%103 = sub nsw i32 %91, %102
br label %104
104: ; preds = %89, %100
%105 = phi i32 [ 1, %100 ], [ 0, %89 ]
%106 = phi i32 [ %103, %100 ], [ %91, %89 ]
%107 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %90
store i32 %105, i32* %107
%108 = icmp ugt i64 %90, 1
br i1 %108, label %89, label %109
109: ; preds = %104, %53
br i1 %23, label %110, label %114
110: ; preds = %109
%111 = call i32 @putchar(i32 10)
%112 = load i32, i32* %1
%113 = load i32, i32* %2
br label %114
114: ; preds = %110, %109
%115 = phi i32 [ %113, %110 ], [ %29, %109 ]
%116 = phi i32 [ %112, %110 ], [ %28, %109 ]
%117 = sext i32 %116 to i64
%118 = sext i32 %115 to i64
%119 = getelementptr inbounds [31 x [1001 x i32]], [31 x [1001 x i32]]* %4, i64 0, i64 %117, i64 %118
%120 = load i32, i32* %119
%121 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %120)
%122 = load i32, i32* %1
%123 = icmp slt i32 %122, 1
br i1 %123, label %224, label %124
124: ; preds = %114
%125 = add nuw i32 %122, 1
%126 = zext i32 %125 to i64
%127 = add nsw i64 %126, -1
%128 = icmp ult i64 %127, 8
br i1 %128, label %213, label %129
129: ; preds = %124
%130 = and i64 %127, -8
%131 = or i64 %130, 1
%132 = add nsw i64 %130, -8
%133 = lshr exact i64 %132, 3
%134 = add nuw nsw i64 %133, 1
%135 = and i64 %134, 3
%136 = icmp ult i64 %132, 24
br i1 %136, label %183, label %137
137: ; preds = %129
%138 = and i64 %134, 4611686018427387900
br label %139
139: ; preds = %139, %137
%140 = phi i64 [ 0, %137 ], [ %180, %139 ]
%141 = phi <4 x i32> [ zeroinitializer, %137 ], [ %178, %139 ]
%142 = phi <4 x i32> [ zeroinitializer, %137 ], [ %179, %139 ]
%143 = phi i64 [ 0, %137 ], [ %181, %139 ]
%144 = or i64 %140, 1
%145 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %144
%146 = bitcast i32* %145 to <4 x i32>*
%147 = load <4 x i32>, <4 x i32>* %146
%148 = getelementptr inbounds i32, i32* %145, i64 4
%149 = bitcast i32* %148 to <4 x i32>*
%150 = load <4 x i32>, <4 x i32>* %149
%151 = add <4 x i32> %147, %141
%152 = add <4 x i32> %150, %142
%153 = or i64 %140, 9
%154 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %153
%155 = bitcast i32* %154 to <4 x i32>*
%156 = load <4 x i32>, <4 x i32>* %155
%157 = getelementptr inbounds i32, i32* %154, i64 4
%158 = bitcast i32* %157 to <4 x i32>*
%159 = load <4 x i32>, <4 x i32>* %158
%160 = add <4 x i32> %156, %151
%161 = add <4 x i32> %159, %152
%162 = or i64 %140, 17
%163 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %162
%164 = bitcast i32* %163 to <4 x i32>*
%165 = load <4 x i32>, <4 x i32>* %164
%166 = getelementptr inbounds i32, i32* %163, i64 4
%167 = bitcast i32* %166 to <4 x i32>*
%168 = load <4 x i32>, <4 x i32>* %167
%169 = add <4 x i32> %165, %160
%170 = add <4 x i32> %168, %161
%171 = or i64 %140, 25
%172 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, 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 = add <4 x i32> %174, %169
%179 = add <4 x i32> %177, %170
%180 = add nuw i64 %140, 32
%181 = add i64 %143, 4
%182 = icmp eq i64 %181, %138
br i1 %182, label %183, label %139
183: ; preds = %139, %129
%184 = phi <4 x i32> [ undef, %129 ], [ %178, %139 ]
%185 = phi <4 x i32> [ undef, %129 ], [ %179, %139 ]
%186 = phi i64 [ 0, %129 ], [ %180, %139 ]
%187 = phi <4 x i32> [ zeroinitializer, %129 ], [ %178, %139 ]
%188 = phi <4 x i32> [ zeroinitializer, %129 ], [ %179, %139 ]
%189 = icmp eq i64 %135, 0
br i1 %189, label %207, label %190
190: ; preds = %183, %190
%191 = phi i64 [ %204, %190 ], [ %186, %183 ]
%192 = phi <4 x i32> [ %202, %190 ], [ %187, %183 ]
%193 = phi <4 x i32> [ %203, %190 ], [ %188, %183 ]
%194 = phi i64 [ %205, %190 ], [ 0, %183 ]
%195 = or i64 %191, 1
%196 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %195
%197 = bitcast i32* %196 to <4 x i32>*
%198 = load <4 x i32>, <4 x i32>* %197
%199 = getelementptr inbounds i32, i32* %196, i64 4
%200 = bitcast i32* %199 to <4 x i32>*
%201 = load <4 x i32>, <4 x i32>* %200
%202 = add <4 x i32> %198, %192
%203 = add <4 x i32> %201, %193
%204 = add nuw i64 %191, 8
%205 = add i64 %194, 1
%206 = icmp eq i64 %205, %135
br i1 %206, label %207, label %190
207: ; preds = %190, %183
%208 = phi <4 x i32> [ %184, %183 ], [ %202, %190 ]
%209 = phi <4 x i32> [ %185, %183 ], [ %203, %190 ]
%210 = add <4 x i32> %209, %208
%211 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %210)
%212 = icmp eq i64 %127, %130
br i1 %212, label %224, label %213
213: ; preds = %124, %207
%214 = phi i64 [ 1, %124 ], [ %131, %207 ]
%215 = phi i32 [ 0, %124 ], [ %211, %207 ]
br label %216
216: ; preds = %213, %216
%217 = phi i64 [ %222, %216 ], [ %214, %213 ]
%218 = phi i32 [ %221, %216 ], [ %215, %213 ]
%219 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %217
%220 = load i32, i32* %219
%221 = add nsw i32 %220, %218
%222 = add nuw nsw i64 %217, 1
%223 = icmp eq i64 %222, %126
br i1 %223, label %224, label %216
224: ; preds = %216, %207, %114
%225 = phi i32 [ 0, %114 ], [ %211, %207 ], [ %221, %216 ]
%226 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %225)
%227 = load i32, i32* %1
%228 = icmp slt i32 %227, 1
br i1 %228, label %19, label %229
229: ; preds = %224, %242
%230 = phi i32 [ %243, %242 ], [ %227, %224 ]
%231 = phi i64 [ %244, %242 ], [ 1, %224 ]
%232 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %231
%233 = load i32, i32* %232
%234 = icmp eq i32 %233, 0
br i1 %234, label %242, label %235
235: ; preds = %229
%236 = getelementptr inbounds [31 x i32], [31 x i32]* %8, i64 0, i64 %231
%237 = load i32, i32* %236
%238 = getelementptr inbounds [31 x i32], [31 x i32]* %6, i64 0, i64 %231
%239 = load i32, i32* %238
%240 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str.4, i64 0, i64 0), i32 %237, i32 %239)
%241 = load i32, i32* %1
br label %242
242: ; preds = %229, %235
%243 = phi i32 [ %230, %229 ], [ %241, %235 ]
%244 = add nuw nsw i64 %231, 1
%245 = sext i32 %243 to i64
%246 = icmp slt i64 %231, %245
br i1 %246, label %229, label %19
247: ; preds = %19, %0
ret i32 0
}