#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*/ EXIT_FAILURE;
int EXIT_SUCCESS;
int /*<<< orphan*/ checkIntInput(int *, int *);
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  int n, k;
  int diffrenceNK;
  unsigned long long factorialK = 1, factorDiference = 1, result = 1;
  printf("Enter n and k: ");
  checkIntInput(&n, &k);
  diffrenceNK = n - k;
  if (k > 1 && k < n && k < 100) {
    if (diffrenceNK > k) {
      int i;
      for (i = 1; i <= k; i++) {
        factorialK *= i;
      }
      for (i = n - k + 1; i <= n; i++) {
        result *= i;
      }
      result /= factorialK;
    } else {
      int i;
      for (i = k + 1; i <= n; i++) {
        result *= i;
      }
      for (i = 1; i <= diffrenceNK; i++) {
        factorDiference *= i;
      }
      result /= factorDiference;
    }
    printf("%lld", result);
  } else {
    printf("The numbers should be (1 < k < n < 100)!");
    exit(EXIT_FAILURE);
  }
  return (EXIT_SUCCESS);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movq   $0x1,-0x18(%rbp)
movq   $0x1,-0x20(%rbp)
movq   $0x1,-0x28(%rbp)
lea    0xea2(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    -0x8(%rbp),%rdi
lea    -0xc(%rbp),%rsi
call   1030 <checkIntInput@plt>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0xc(%rbp)
jle    12a4 <main+0x174>
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12a4 <main+0x174>
cmpl   $0x64,-0xc(%rbp)
jge    12a4 <main+0x174>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    121e <main+0xee>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     11d5 <main+0xa5>
movslq -0x2c(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11ae <main+0x7e>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1208 <main+0xd8>
movslq -0x2c(%rbp),%rax
imul   -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e1 <main+0xb1>
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
xor    %edx,%edx
div    %rcx
mov    %rax,-0x28(%rbp)
jmp    128d <main+0x15d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     124e <main+0x11e>
movslq -0x30(%rbp),%rax
imul   -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1227 <main+0xf7>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     127c <main+0x14c>
movslq -0x30(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1255 <main+0x125>
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%rax
xor    %edx,%edx
div    %rcx
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rsi
lea    0xd78(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    12c0 <main+0x190>
lea    0xd6a(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2d27(%rip),%rax
mov    (%rax),%edi
call   1050 <exit@plt>
mov    0x2d11(%rip),%rax
mov    (%rax),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x10,%rsp
lea    0xec4(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xc(%rsp),%rdi
lea    0x8(%rsp),%rsi
call   1030 <checkIntInput@plt>
mov    0x8(%rsp),%r11d
cmp    $0x2,%r11d
jl     1457 <main+0x327>
movslq 0xc(%rsp),%r9
cmp    %r11d,%r9d
jle    1457 <main+0x327>
cmp    $0x63,%r11d
ja     1457 <main+0x327>
mov    %r9d,%r8d
sub    %r11d,%r8d
cmp    %r11d,%r8d
jle    11ac <main+0x7c>
lea    -0x1(%r11),%rcx
mov    %r11d,%eax
and    $0x7,%eax
cmp    $0x7,%rcx
jae    11e1 <main+0xb1>
mov    $0x1,%edx
mov    $0x1,%edi
test   %rax,%rax
jne    1260 <main+0x130>
jmp    126e <main+0x13e>
mov    %r9,%r10
sub    %r11,%r10
mov    %r11,%rax
not    %rax
add    %r9,%rax
mov    %r10d,%edi
and    $0x7,%edi
cmp    $0x7,%rax
jae    1292 <main+0x162>
mov    $0x1,%eax
mov    %r11,%rdx
test   %rdi,%rdi
jne    1311 <main+0x1e1>
jmp    132e <main+0x1fe>
mov    %r11d,%r10d
and    $0xfffffff8,%r10d
neg    %r10
mov    $0x1,%edi
mov    $0x8,%edx
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x7(%rdx),%rcx
imul   %rdi,%rcx
lea    -0x6(%rdx),%rdi
lea    -0x5(%rdx),%rsi
imul   %rsi,%rdi
imul   %rcx,%rdi
lea    -0x4(%rdx),%rcx
lea    -0x3(%rdx),%rsi
imul   %rsi,%rcx
lea    -0x2(%rdx),%rsi
imul   %rcx,%rsi
imul   %rdi,%rsi
lea    -0x1(%rdx),%rdi
imul   %rdx,%rdi
imul   %rsi,%rdi
lea    (%r10,%rdx,1),%rcx
add    $0x8,%rcx
add    $0x8,%rdx
cmp    $0x8,%rcx
jne    1200 <main+0xd0>
add    $0xfffffffffffffff9,%rdx
test   %rax,%rax
je     126e <main+0x13e>
nopw   0x0(%rax,%rax,1)
imul   %rdx,%rdi
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
jne    1260 <main+0x130>
test   %r11d,%r11d
jle    1366 <main+0x236>
movslq %r8d,%rcx
mov    $0x1,%eax
nop
add    $0x1,%rcx
imul   %rcx,%rax
cmp    %r9,%rcx
jl     1280 <main+0x150>
jmp    136b <main+0x23b>
and    $0xfffffffffffffff8,%r10
mov    $0x1,%eax
xor    %edx,%edx
nopl   (%rax)
lea    (%r11,%rdx,1),%rsi
add    $0x1,%rsi
imul   %rax,%rsi
lea    (%r11,%rdx,1),%rax
add    $0x2,%rax
lea    (%r11,%rdx,1),%rcx
add    $0x3,%rcx
imul   %rax,%rcx
imul   %rsi,%rcx
lea    (%r11,%rdx,1),%rax
add    $0x4,%rax
lea    (%r11,%rdx,1),%rsi
add    $0x5,%rsi
imul   %rax,%rsi
lea    (%r11,%rdx,1),%rbx
add    $0x6,%rbx
imul   %rsi,%rbx
imul   %rcx,%rbx
lea    (%r11,%rdx,1),%rcx
add    $0x7,%rcx
lea    (%r11,%rdx,1),%rax
add    $0x8,%rax
imul   %rcx,%rax
imul   %rbx,%rax
add    $0x8,%rdx
cmp    %rdx,%r10
jne    12a0 <main+0x170>
add    %r11,%rdx
test   %rdi,%rdi
je     132e <main+0x1fe>
add    $0x1,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
imul   %rdx,%rax
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1320 <main+0x1f0>
test   %r8d,%r8d
jle    1381 <main+0x251>
sub    %r11d,%r9d
add    $0x1,%r9d
lea    -0x1(%r9),%r8
add    $0xfffffffffffffffe,%r9
mov    %r8d,%edx
and    $0x7,%edx
cmp    $0x7,%r9
jae    1394 <main+0x264>
mov    $0x1,%esi
mov    $0x1,%ecx
test   %rdx,%rdx
jne    1410 <main+0x2e0>
jmp    141e <main+0x2ee>
mov    $0x1,%eax
mov    %rax,%rcx
or     %rdi,%rcx
shr    $0x20,%rcx
je     138b <main+0x25b>
xor    %edx,%edx
div    %rdi
jmp    142f <main+0x2ff>
mov    $0x1,%ecx
jmp    141e <main+0x2ee>
xor    %edx,%edx
div    %edi
jmp    1438 <main+0x308>
and    $0xfffffffffffffff8,%r8
neg    %r8
mov    $0x1,%ecx
mov    $0x8,%esi
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x7(%rsi),%rbx
imul   %rcx,%rbx
lea    -0x6(%rsi),%rcx
lea    -0x5(%rsi),%rdi
imul   %rdi,%rcx
imul   %rbx,%rcx
lea    -0x4(%rsi),%rdi
lea    -0x3(%rsi),%rbx
imul   %rbx,%rdi
lea    -0x2(%rsi),%rbx
imul   %rdi,%rbx
imul   %rcx,%rbx
lea    -0x1(%rsi),%rcx
imul   %rsi,%rcx
imul   %rbx,%rcx
lea    (%r8,%rsi,1),%rdi
add    $0x8,%rdi
add    $0x8,%rsi
cmp    $0x8,%rdi
jne    13b0 <main+0x280>
add    $0xfffffffffffffff9,%rsi
test   %rdx,%rdx
je     141e <main+0x2ee>
nopw   0x0(%rax,%rax,1)
imul   %rsi,%rcx
add    $0x1,%rsi
add    $0xffffffffffffffff,%rdx
jne    1410 <main+0x2e0>
mov    %rax,%rdx
or     %rcx,%rdx
shr    $0x20,%rdx
je     1434 <main+0x304>
xor    %edx,%edx
div    %rcx
mov    %rax,%rsi
jmp    143a <main+0x30a>
xor    %edx,%edx
div    %ecx
mov    %eax,%esi
lea    0xbcf(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2b89(%rip),%rax
mov    (%rax),%eax
add    $0x10,%rsp
pop    %rbx
ret
lea    0xbb7(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2b74(%rip),%rax
mov    (%rax),%edi
call   1050 <exit@plt>

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

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