#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 bcd(int, int);
int /*<<< orphan*/ printf(char *, int);
int scanf(char *, int *, int *);
int main() {
  int n, k, i, j;
  int res[20], ma[20], r, bc;
  while (scanf("%d%d", &n, &k) != -1) {
    if (n == 0 && k == 0)
      break;
    for (i = 0; i < 20; i++) {
      res[i] = 1;
      ma[i] = 1;
    }
    if (k < n / 2)
      k = n - k;
    for (i = k + 1; i <= n; i++)
      res[i - k - 1] = i;
    for (i = 2; i <= n - k; i++)
      ma[i] = i;
    for (i = 0; i <= n - k; i++)
      for (j = 0; j <= n - k; j++) {
        bc = bcd(res[i], ma[j]);
        res[i] /= bc;
        ma[j] /= bc;
      }
    r = 1;
    for (i = 0; i < 20; i++)
      r *= res[i];
    printf("%d\n", r);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeb7(%rip),%rdi
lea    -0x8(%rbp),%rsi
lea    -0xc(%rbp),%rdx
call   1040 <scanf@plt>
cmp    $0xffffffff,%eax
je     135c <main+0x22c>
cmpl   $0x0,-0x8(%rbp)
jne    1178 <main+0x48>
cmpl   $0x0,-0xc(%rbp)
jne    1178 <main+0x48>
jmp    135c <main+0x22c>
movl   $0x0,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    11b2 <main+0x82>
movslq -0x10(%rbp),%rax
movl   $0x1,-0x70(%rbp,%rax,4)
movslq -0x10(%rbp),%rax
movl   $0x1,-0xc0(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    117f <main+0x4f>
mov    -0xc(%rbp),%eax
mov    %eax,-0xcc(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0xcc(%rbp),%eax
cmp    %ecx,%eax
jge    11df <main+0xaf>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1214 <main+0xe4>
mov    -0x10(%rbp),%ecx
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
sub    $0x1,%eax
cltq
mov    %ecx,-0x70(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11e8 <main+0xb8>
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jg     1248 <main+0x118>
mov    -0x10(%rbp),%ecx
movslq -0x10(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    121b <main+0xeb>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jg     1307 <main+0x1d7>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jg     12f4 <main+0x1c4>
movslq -0x10(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%edi
movslq -0x14(%rbp),%rax
mov    -0xc0(%rbp,%rax,4),%esi
call   1050 <bcd@plt>
mov    %eax,-0xc8(%rbp)
mov    -0xc8(%rbp),%ecx
movslq -0x10(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0x70(%rbp,%rax,4),%eax
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0xe0(%rbp),%rax
mov    %ecx,-0x70(%rbp,%rax,4)
mov    -0xc8(%rbp),%ecx
movslq -0x14(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xc0(%rbp,%rax,4),%eax
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0xd8(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1267 <main+0x137>
jmp    12f9 <main+0x1c9>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    124f <main+0x11f>
movl   $0x1,-0xc4(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    1345 <main+0x215>
movslq -0x10(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
imul   -0xc4(%rbp),%eax
mov    %eax,-0xc4(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1318 <main+0x1e8>
mov    -0xc4(%rbp),%esi
lea    0xcb3(%rip),%rdi
call   1030 <printf@plt>
jmp    1142 <main+0x12>
xor    %eax,%eax
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb8,%rsp
lea    0xfb8(%rip),%rdi
lea    0xc(%rsp),%rsi
lea    0x8(%rsp),%rdx
call   1040 <scanf@plt>
cmp    $0xffffffff,%eax
je     16f1 <main+0x5c1>
pcmpeqd %xmm5,%xmm5
movdqa 0xec3(%rip),%xmm10
movdqa 0xeca(%rip),%xmm8
movdqa 0xed1(%rip),%xmm9
movdqa 0xed8(%rip),%xmm11
movabs $0x1000000000,%r14
lea    0x8(%rsp),%r13
movdqa 0xee1(%rip),%xmm6
movdqa 0xee9(%rip),%xmm7
movdqa 0xef0(%rip),%xmm12
movdqa 0xef7(%rip),%xmm13
movdqa 0xefe(%rip),%xmm14
movdqa 0xf05(%rip),%xmm15
movdqa 0xf0d(%rip),%xmm3
movdqa 0xf15(%rip),%xmm4
jmp    12d8 <main+0x1a8>
mov    0x14(%rsp),%esi
imul   0x10(%rsp),%esi
imul   0x18(%rsp),%esi
imul   0x1c(%rsp),%esi
imul   0x20(%rsp),%esi
imul   0x24(%rsp),%esi
imul   0x28(%rsp),%esi
imul   0x2c(%rsp),%esi
imul   0x30(%rsp),%esi
imul   0x34(%rsp),%esi
imul   0x38(%rsp),%esi
imul   0x3c(%rsp),%esi
imul   0x40(%rsp),%esi
imul   0x44(%rsp),%esi
imul   0x48(%rsp),%esi
imul   0x4c(%rsp),%esi
imul   0x50(%rsp),%esi
imul   0x54(%rsp),%esi
imul   0x58(%rsp),%esi
imul   0x5c(%rsp),%esi
lea    0xebb(%rip),%rdi
call   1030 <printf@plt>
lea    0xeaa(%rip),%rdi
lea    0xc(%rsp),%rsi
mov    %r13,%rdx
call   1040 <scanf@plt>
cmp    $0xffffffff,%eax
pcmpeqd %xmm5,%xmm5
movdqa 0xdbd(%rip),%xmm10
movdqa 0xdc4(%rip),%xmm8
movdqa 0xdcb(%rip),%xmm9
movdqa 0xdd2(%rip),%xmm11
movdqa 0xdea(%rip),%xmm6
movdqa 0xdf2(%rip),%xmm7
movdqa 0xdf9(%rip),%xmm12
movdqa 0xe00(%rip),%xmm13
movdqa 0xe07(%rip),%xmm14
movdqa 0xe0e(%rip),%xmm15
movdqa 0xe16(%rip),%xmm3
movdqa 0xe1e(%rip),%xmm4
je     16f1 <main+0x5c1>
mov    0xc(%rsp),%eax
mov    0x8(%rsp),%ecx
mov    %eax,%edx
or     %ecx,%edx
je     16f1 <main+0x5c1>
movaps 0xd0f(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0xa0(%rsp)
mov    %eax,%edx
shr    $0x1f,%edx
add    %eax,%edx
sar    %edx
cmp    %edx,%ecx
jge    1343 <main+0x213>
mov    %eax,%edx
sub    %ecx,%edx
mov    %edx,0x8(%rsp)
mov    %edx,%ecx
mov    %eax,%r15d
sub    %ecx,%r15d
jle    14fb <main+0x3cb>
movslq %eax,%r11
movslq %ecx,%rbp
mov    %r11,%r10
sub    %rbp,%r10
cmp    $0x8,%r10
jb     1470 <main+0x340>
mov    %rbp,%rsi
not    %rsi
add    %r11,%rsi
cmp    $0x7fffffff,%rsi
ja     1470 <main+0x340>
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
movq   %rbp,%xmm0
pshufd $0x44,%xmm0,%xmm0
movdqa %xmm0,%xmm1
paddq  0xc78(%rip),%xmm1
paddq  0xc80(%rip),%xmm0
lea    -0x8(%r8),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     16e0 <main+0x5b0>
movabs $0x3ffffffffffffffc,%rdx
ff ff 3f
lea    0x2(%rdx),%rdi
and    %r9,%rdi
xor    %edx,%edx
xor    %ebx,%ebx
nopl   (%rax)
mov    %rdx,%rsi
sar    $0x1e,%rsi
movdqa %xmm0,%xmm2
shufps $0x88,%xmm1,%xmm2
movaps %xmm2,%xmm3
psubd  %xmm5,%xmm3
movaps %xmm2,%xmm4
paddd  %xmm10,%xmm4
movdqa %xmm3,0x10(%rsp,%rsi,1)
movdqa %xmm4,0x20(%rsp,%rsi,1)
or     $0x20,%rsi
movaps %xmm2,%xmm3
paddd  %xmm8,%xmm3
paddd  %xmm9,%xmm2
movdqa %xmm3,0x10(%rsp,%rsi,1)
movdqa %xmm2,0x20(%rsp,%rsi,1)
add    $0x10,%rbx
paddq  %xmm11,%xmm0
paddq  %xmm11,%xmm1
add    %r14,%rdx
add    $0xfffffffffffffffe,%rdi
jne    13d0 <main+0x2a0>
test   $0x1,%r9b
je     1453 <main+0x323>
movslq %ebx,%rdx
shufps $0x88,%xmm1,%xmm0
movaps %xmm0,%xmm1
psubd  %xmm5,%xmm1
paddd  %xmm10,%xmm0
movdqa %xmm1,0x10(%rsp,%rdx,4)
movdqa %xmm0,0x20(%rsp,%rdx,4)
cmp    %r8,%r10
movdqa 0xc82(%rip),%xmm3
movdqa 0xc8a(%rip),%xmm4
je     14fb <main+0x3cb>
add    %r8,%rbp
nop
mov    %eax,%ebx
sub    %ebp,%ebx
mov    %rbp,%r8
not    %r8
add    %r11,%r8
and    $0x3,%rbx
je     14ae <main+0x37e>
mov    %ecx,%esi
neg    %esi
nopw   0x0(%rax,%rax,1)
lea    0x1(%rbp),%rdi
add    %esi,%ebp
movslq %ebp,%rdx
mov    %edi,0x10(%rsp,%rdx,4)
mov    %rdi,%rbp
add    $0xffffffffffffffff,%rbx
jne    1490 <main+0x360>
cmp    $0x3,%r8
jae    14b7 <main+0x387>
jmp    14fb <main+0x3cb>
mov    %rbp,%rdi
cmp    $0x3,%r8
jb     14fb <main+0x3cb>
mov    %ecx,%esi
neg    %esi
nopl   0x0(%rax,%rax,1)
lea    (%rsi,%rdi,1),%rdx
movslq %edx,%rdx
lea    0x1(%rdi),%ebp
mov    %ebp,0x10(%rsp,%rdx,4)
lea    0x1(%rdx),%ebp
movslq %ebp,%rbp
lea    0x2(%rdi),%ebx
mov    %ebx,0x10(%rsp,%rbp,4)
lea    0x2(%rdx),%ebp
movslq %ebp,%rbp
lea    0x3(%rdi),%ebx
mov    %ebx,0x10(%rsp,%rbp,4)
add    $0x4,%rdi
add    $0x3,%edx
movslq %edx,%rdx
mov    %edi,0x10(%rsp,%rdx,4)
cmp    %rdi,%r11
jne    14c0 <main+0x390>
cmp    $0x2,%r15d
jl     165d <main+0x52d>
add    $0x1,%r15d
lea    -0x2(%r15),%r8
mov    $0x2,%esi
cmp    $0x8,%r8
jb     1650 <main+0x520>
mov    %r8,%rsi
and    $0xfffffffffffffff8,%rsi
lea    -0x8(%rsi),%rdx
mov    %rdx,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
mov    %ebp,%edi
and    $0x3,%edi
cmp    $0x18,%rdx
jae    154c <main+0x41c>
xor    %ebx,%ebx
movdqa 0xb29(%rip),%xmm0
jmp    1600 <main+0x4d0>
movabs $0x3ffffffffffffffc,%rdx
ff ff 3f
and    %rdx,%rbp
xor    %ebx,%ebx
movdqa 0xb0d(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm1
paddd  %xmm6,%xmm1
movdqu %xmm0,0x68(%rsp,%rbx,4)
movdqu %xmm1,0x78(%rsp,%rbx,4)
movdqa %xmm0,%xmm1
paddd  %xmm7,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm12,%xmm2
movdqu %xmm1,0x88(%rsp,%rbx,4)
movdqu %xmm2,0x98(%rsp,%rbx,4)
movdqa %xmm0,%xmm1
paddd  %xmm13,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm14,%xmm2
movdqu %xmm1,0xa8(%rsp,%rbx,4)
movdqu %xmm2,0xb8(%rsp,%rbx,4)
movdqa %xmm0,%xmm1
paddd  %xmm15,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm3,%xmm2
movdqu %xmm1,0xc8(%rsp,%rbx,4)
movdqu %xmm2,0xd8(%rsp,%rbx,4)
add    $0x20,%rbx
paddd  %xmm4,%xmm0
add    $0xfffffffffffffffc,%rbp
jne    1570 <main+0x440>
test   %rdi,%rdi
je     163e <main+0x50e>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x0(,%rbx,4),%rdx
movdqa %xmm0,%xmm1
paddd  %xmm6,%xmm1
or     $0x8,%rdx
movdqu %xmm0,0x60(%rsp,%rdx,1)
movdqu %xmm1,0x70(%rsp,%rdx,1)
add    $0x8,%rbx
paddd  %xmm7,%xmm0
add    $0xffffffffffffffff,%rdi
jne    1610 <main+0x4e0>
cmp    %rsi,%r8
je     165d <main+0x52d>
or     $0x2,%rsi
nopw   0x0(%rax,%rax,1)
mov    %esi,0x60(%rsp,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%r15
jne    1650 <main+0x520>
cmp    %ecx,%eax
jl     11e0 <main+0xb0>
xor    %r15d,%r15d
jmp    1683 <main+0x553>
nopw   0x0(%rax,%rax,1)
movslq %edx,%rdx
lea    0x1(%r15),%rsi
cmp    %rdx,%r15
mov    %rsi,%r15
jge    11e0 <main+0xb0>
mov    %eax,%edx
sub    %ecx,%edx
jl     1670 <main+0x540>
mov    0x10(%rsp,%r15,4),%ebp
mov    $0xffffffffffffffff,%r12
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x64(%rsp,%r12,4),%ebx
mov    %ebp,%edi
mov    %ebx,%esi
call   1050 <bcd@plt>
mov    %eax,%ecx
mov    %ebp,%eax
cltd
idiv   %ecx
mov    %eax,%ebp
mov    %ebx,%eax
cltd
idiv   %ecx
mov    %eax,0x64(%rsp,%r12,4)
mov    0xc(%rsp),%eax
mov    0x8(%rsp),%ecx
mov    %eax,%edx
sub    %ecx,%edx
movslq %edx,%rdx
add    $0x1,%r12
cmp    %rdx,%r12
jl     16a0 <main+0x570>
mov    %ebp,0x10(%rsp,%r15,4)
jmp    1673 <main+0x543>
xor    %ebx,%ebx
test   $0x1,%r9b
jne    1434 <main+0x304>
jmp    1453 <main+0x323>
xor    %eax,%eax
add    $0xb8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"%d%d\00"
@.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 i32
%6 = alloca [20 x i32]
%7 = alloca [20 x i32]
%8 = alloca i32
%9 = alloca i32
store i32 0, i32* %1
br label %10
10: ; preds = %133, %0
%11 = call i32 @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32* %2, i32* %3)
%12 = icmp ne i32 %11, -1
br i1 %12, label %13, label %136
13: ; preds = %10
%14 = load i32, i32* %2
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %20
16: ; preds = %13
%17 = load i32, i32* %3
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %16
br label %136
20: ; preds = %16, %13
store i32 0, i32* %4
br label %21
21: ; preds = %31, %20
%22 = load i32, i32* %4
%23 = icmp slt i32 %22, 20
br i1 %23, label %24, label %34
24: ; preds = %21
%25 = load i32, i32* %4
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %26
store i32 1, i32* %27
%28 = load i32, i32* %4
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 %29
store i32 1, i32* %30
br label %31
31: ; preds = %24
%32 = load i32, i32* %4
%33 = add nsw i32 %32, 1
store i32 %33, i32* %4
br label %21
34: ; preds = %21
%35 = load i32, i32* %3
%36 = load i32, i32* %2
%37 = sdiv i32 %36, 2
%38 = icmp slt i32 %35, %37
br i1 %38, label %39, label %43
39: ; preds = %34
%40 = load i32, i32* %2
%41 = load i32, i32* %3
%42 = sub nsw i32 %40, %41
store i32 %42, i32* %3
br label %43
43: ; preds = %39, %34
%44 = load i32, i32* %3
%45 = add nsw i32 %44, 1
store i32 %45, i32* %4
br label %46
46: ; preds = %58, %43
%47 = load i32, i32* %4
%48 = load i32, i32* %2
%49 = icmp sle i32 %47, %48
br i1 %49, label %50, label %61
50: ; preds = %46
%51 = load i32, i32* %4
%52 = load i32, i32* %4
%53 = load i32, i32* %3
%54 = sub nsw i32 %52, %53
%55 = sub nsw i32 %54, 1
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %56
store i32 %51, i32* %57
br label %58
58: ; preds = %50
%59 = load i32, i32* %4
%60 = add nsw i32 %59, 1
store i32 %60, i32* %4
br label %46
61: ; preds = %46
store i32 2, i32* %4
br label %62
62: ; preds = %73, %61
%63 = load i32, i32* %4
%64 = load i32, i32* %2
%65 = load i32, i32* %3
%66 = sub nsw i32 %64, %65
%67 = icmp sle i32 %63, %66
br i1 %67, label %68, label %76
68: ; preds = %62
%69 = load i32, i32* %4
%70 = load i32, i32* %4
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 %71
store i32 %69, i32* %72
br label %73
73: ; preds = %68
%74 = load i32, i32* %4
%75 = add nsw i32 %74, 1
store i32 %75, i32* %4
br label %62
76: ; preds = %62
store i32 0, i32* %4
br label %77
77: ; preds = %116, %76
%78 = load i32, i32* %4
%79 = load i32, i32* %2
%80 = load i32, i32* %3
%81 = sub nsw i32 %79, %80
%82 = icmp sle i32 %78, %81
br i1 %82, label %83, label %119
83: ; preds = %77
store i32 0, i32* %5
br label %84
84: ; preds = %112, %83
%85 = load i32, i32* %5
%86 = load i32, i32* %2
%87 = load i32, i32* %3
%88 = sub nsw i32 %86, %87
%89 = icmp sle i32 %85, %88
br i1 %89, label %90, label %115
90: ; preds = %84
%91 = load i32, i32* %4
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %92
%94 = load i32, i32* %93
%95 = load i32, i32* %5
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 %96
%98 = load i32, i32* %97
%99 = call i32 @bcd(i32 %94, i32 %98)
store i32 %99, i32* %9
%100 = load i32, i32* %9
%101 = load i32, i32* %4
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %102
%104 = load i32, i32* %103
%105 = sdiv i32 %104, %100
store i32 %105, i32* %103
%106 = load i32, i32* %9
%107 = load i32, i32* %5
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [20 x i32], [20 x i32]* %7, i64 0, i64 %108
%110 = load i32, i32* %109
%111 = sdiv i32 %110, %106
store i32 %111, i32* %109
br label %112
112: ; preds = %90
%113 = load i32, i32* %5
%114 = add nsw i32 %113, 1
store i32 %114, i32* %5
br label %84
115: ; preds = %84
br label %116
116: ; preds = %115
%117 = load i32, i32* %4
%118 = add nsw i32 %117, 1
store i32 %118, i32* %4
br label %77
119: ; preds = %77
store i32 1, i32* %8
store i32 0, i32* %4
br label %120
120: ; preds = %130, %119
%121 = load i32, i32* %4
%122 = icmp slt i32 %121, 20
br i1 %122, label %123, label %133
123: ; preds = %120
%124 = load i32, i32* %4
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds [20 x i32], [20 x i32]* %6, i64 0, i64 %125
%127 = load i32, i32* %126
%128 = load i32, i32* %8
%129 = mul nsw i32 %128, %127
store i32 %129, i32* %8
br label %130
130: ; preds = %123
%131 = load i32, i32* %4
%132 = add nsw i32 %131, 1
store i32 %132, i32* %4
br label %120
133: ; preds = %120
%134 = load i32, i32* %8
%135 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %134)
br label %10
136: ; preds = %19, %10
ret i32 0
}

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