#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 *malloc(int);
int p_in_n_factorial(int, int);
int /*<<< orphan*/ printf(char *, int);
int main() {
  int *twos = malloc(sizeof(int) * (200000 + 1));
  int *fives = malloc(sizeof(int) * (200000 + 1));
  for (int i = 0; i < 200000 + 1; i++) {
    twos[i] = p_in_n_factorial(2, i);
    fives[i] = p_in_n_factorial(5, i);
  }
  int counter = 0;
  for (int i = (200000 + 2) / 3; i < 200000; i++) {
    int j = (((200000 - i) < (i)) ? (200000 - i) : (i));
    int k = 200000 - i - j;
    while (j >= k) {
      if (twos[200000] - twos[i] - twos[j] - twos[k] >= 12 &&
          fives[200000] - fives[i] - fives[j] - fives[k] >= 12) {
        if (i == j && j == k) {
          counter += 1;
        } else if (i == j || i == k || j == k) {
          counter += 3;
        } else {
          counter += 6;
        }
      }
      j -= 1;
      k = 200000 - i - j;
    }
  }
  printf("counter: %d\n", counter);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0xc3504,%edi
call   1050 <malloc@plt>
mov    %rax,-0x10(%rbp)
mov    $0xc3504,%edi
call   1050 <malloc@plt>
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x30d41,-0x1c(%rbp)
jge    11b1 <main+0x81>
mov    -0x1c(%rbp),%esi
mov    $0x2,%edi
call   1030 <p_in_n_factorial@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%esi
mov    $0x5,%edi
call   1030 <p_in_n_factorial@plt>
mov    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1162 <main+0x32>
movl   $0x0,-0x20(%rbp)
movl   $0x1046b,-0x24(%rbp)
cmpl   $0x30d40,-0x24(%rbp)
jge    1315 <main+0x1e5>
mov    $0x30d40,%eax
sub    -0x24(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11ed <main+0xbd>
mov    $0x30d40,%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    11f3 <main+0xc3>
mov    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    $0x30d40,%eax
sub    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jl     1302 <main+0x1d2>
mov    -0x10(%rbp),%rax
mov    0xc3500(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cmp    $0xc,%eax
jl     12e6 <main+0x1b6>
mov    -0x18(%rbp),%rax
mov    0xc3500(%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cmp    $0xc,%eax
jl     12e6 <main+0x1b6>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    12a1 <main+0x171>
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jne    12a1 <main+0x171>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12e1 <main+0x1b1>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
je     12c5 <main+0x195>
mov    -0x24(%rbp),%eax
cmp    -0x2c(%rbp),%eax
je     12c5 <main+0x195>
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jne    12d3 <main+0x1a3>
mov    -0x20(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x20(%rbp)
jmp    12dc <main+0x1ac>
mov    -0x20(%rbp),%eax
add    $0x6,%eax
mov    %eax,-0x20(%rbp)
jmp    12e1 <main+0x1b1>
jmp    12e6 <main+0x1b6>
mov    -0x28(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    $0x30d40,%eax
sub    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1207 <main+0xd7>
jmp    1307 <main+0x1d7>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11bf <main+0x8f>
mov    -0x20(%rbp),%esi
lea    0xce1(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    $0xc3504,%edi
call   1050 <malloc@plt>
mov    %rax,%r15
mov    $0xc3504,%edi
call   1050 <malloc@plt>
mov    %rax,%r14
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    $0x2,%edi
mov    %ebx,%esi
call   1030 <p_in_n_factorial@plt>
mov    %eax,(%r15,%rbx,4)
mov    $0x5,%edi
mov    %ebx,%esi
call   1030 <p_in_n_factorial@plt>
mov    %eax,(%r14,%rbx,4)
add    $0x1,%rbx
cmp    $0x30d41,%rbx
jne    1160 <main+0x30>
movl   $0x0,0xc(%rsp)
mov    $0x208d5,%eax
mov    $0x1046b,%r12d
mov    $0xfffffffffffefb95,%r11
mov    $0x208d6,%r8d
jmp    11d5 <main+0xa5>
nop
add    $0x1,%r12
mov    0x14(%rsp),%eax
add    $0xffffffff,%eax
add    $0xffffffffffffffff,%r11
mov    0x10(%rsp),%r8d
add    $0xffffffff,%r8d
cmp    $0x30d40,%r12
je     12e3 <main+0x1b3>
cmp    %r12d,%eax
mov    %r12d,%ecx
cmovb  %eax,%ecx
mov    $0x30d40,%r10d
sub    %r12,%r10
mov    $0x30d40,%edx
sub    %r12d,%edx
cmp    %rdx,%r12
cmovbe %r12d,%edx
mov    %r10d,%edi
sub    %edx,%edi
cmp    %edi,%edx
mov    %eax,0x14(%rsp)
mov    %r8d,0x10(%rsp)
jl     11b0 <main+0x80>
lea    0x1(%rcx),%rbx
mov    %rcx,%rdx
shl    $0x20,%rdx
movabs $0xffffffff00000000,%rax
ff ff ff
add    %rax,%rdx
sub    %ecx,%r8d
mov    0xc3500(%r15),%r9d
mov    (%r15,%r12,4),%r13d
jmp    126b <main+0x13b>
addl   $0x3,0xc(%rsp)
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rdx,%rax
sar    $0x20,%rax
mov    %r10,%rcx
sub    %rax,%rcx
add    $0xffffffffffffffff,%rbx
movabs $0xffffffff00000000,%rax
ff ff ff
add    %rax,%rdx
lea    0x1(%rdi),%r8d
cmp    %rcx,%rbx
jle    11b0 <main+0x80>
mov    %edi,%ecx
mov    %r8d,%edi
movslq %ecx,%rbp
mov    -0x4(%r15,%rbx,4),%esi
add    %r13d,%esi
add    (%r15,%rbp,4),%esi
mov    %r9d,%eax
sub    %esi,%eax
cmp    $0xc,%eax
jl     1240 <main+0x110>
mov    0xc3500(%r14),%eax
mov    (%r14,%r12,4),%esi
add    -0x4(%r14,%rbx,4),%esi
add    (%r14,%rbp,4),%esi
sub    %esi,%eax
cmp    $0xc,%eax
jl     1240 <main+0x110>
lea    (%r11,%rbx,1),%rsi
lea    -0x1(%rbx),%ebp
cmp    $0x1,%rsi
jne    12bc <main+0x18c>
cmp    %ecx,%ebp
jne    12bc <main+0x18c>
addl   $0x1,0xc(%rsp)
jmp    1240 <main+0x110>
cmp    $0x1,%rsi
je     1230 <main+0x100>
mov    %ecx,%eax
cmp    %rax,%r12
je     1230 <main+0x100>
cmp    %ecx,%ebp
je     1230 <main+0x100>
addl   $0x6,0xc(%rsp)
jmp    1240 <main+0x110>
lea    0xd16(%rip),%rdi
mov    0xc(%rsp),%esi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [13 x i8] c"counter: %d\0A\00"
define i32 @main() {
%1 = tail call i32* @malloc(i32 800004)
%2 = tail call i32* @malloc(i32 800004)
br label %6
3: ; preds = %6
%4 = getelementptr inbounds i32, i32* %1, i64 200000
%5 = getelementptr inbounds i32, i32* %2, i64 200000
br label %17
6: ; preds = %0, %6
%7 = phi i64 [ 0, %0 ], [ %13, %6 ]
%8 = trunc i64 %7 to i32
%9 = tail call i32 @p_in_n_factorial(i32 2, i32 %8)
%10 = getelementptr inbounds i32, i32* %1, i64 %7
store i32 %9, i32* %10
%11 = tail call i32 @p_in_n_factorial(i32 5, i32 %8)
%12 = getelementptr inbounds i32, i32* %2, i64 %7
store i32 %11, i32* %12
%13 = add nuw nsw i64 %7, 1
%14 = icmp eq i64 %13, 200001
br i1 %14, label %3, label %6
15: ; preds = %86
%16 = tail call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0), i32 %87)
ret i32 0
17: ; preds = %3, %86
%18 = phi i64 [ 66667, %3 ], [ %88, %86 ]
%19 = phi i32 [ 133333, %3 ], [ %89, %86 ]
%20 = phi i32 [ 0, %3 ], [ %87, %86 ]
%21 = trunc i64 %18 to i32
%22 = sub nuw nsw i64 200000, %18
%23 = sub nuw nsw i32 200000, %21
%24 = zext i32 %23 to i64
%25 = icmp ugt i64 %18, %24
%26 = select i1 %25, i32 %23, i32 %21
%27 = trunc i64 %22 to i32
%28 = sub nsw i32 %27, %26
%29 = icmp slt i32 %26, %28
br i1 %29, label %86, label %30
30: ; preds = %17
%31 = call i32 @llvm.umin.i32(i32 %19, i32 %21)
%32 = zext i32 %31 to i64
%33 = load i32, i32* %4
%34 = getelementptr inbounds i32, i32* %1, i64 %18
%35 = load i32, i32* %34
%36 = getelementptr inbounds i32, i32* %2, i64 %18
br label %37
37: ; preds = %30, %77
%38 = phi i64 [ %32, %30 ], [ %79, %77 ]
%39 = phi i32 [ %28, %30 ], [ %85, %77 ]
%40 = phi i32 [ %20, %30 ], [ %78, %77 ]
%41 = getelementptr inbounds i32, i32* %1, i64 %38
%42 = load i32, i32* %41
%43 = sext i32 %39 to i64
%44 = getelementptr inbounds i32, i32* %1, i64 %43
%45 = load i32, i32* %44
%46 = add i32 %35, %42
%47 = add i32 %46, %45
%48 = sub i32 %33, %47
%49 = icmp sgt i32 %48, 11
br i1 %49, label %50, label %77
50: ; preds = %37
%51 = load i32, i32* %5
%52 = load i32, i32* %36
%53 = getelementptr inbounds i32, i32* %2, i64 %38
%54 = load i32, i32* %53
%55 = getelementptr inbounds i32, i32* %2, i64 %43
%56 = load i32, i32* %55
%57 = add i32 %52, %54
%58 = add i32 %57, %56
%59 = sub i32 %51, %58
%60 = icmp sgt i32 %59, 11
br i1 %60, label %61, label %77
61: ; preds = %50
%62 = icmp eq i64 %38, %18
%63 = trunc i64 %38 to i32
%64 = icmp eq i32 %39, %63
%65 = select i1 %62, i1 %64, i1 false
br i1 %65, label %66, label %68
66: ; preds = %61
%67 = add nsw i32 %40, 1
br label %77
68: ; preds = %61
%69 = zext i32 %39 to i64
%70 = icmp eq i64 %18, %69
%71 = select i1 %62, i1 true, i1 %70
%72 = select i1 %71, i1 true, i1 %64
br i1 %72, label %73, label %75
73: ; preds = %68
%74 = add nsw i32 %40, 3
br label %77
75: ; preds = %68
%76 = add nsw i32 %40, 6
br label %77
77: ; preds = %66, %75, %73, %50, %37
%78 = phi i32 [ %67, %66 ], [ %74, %73 ], [ %76, %75 ], [ %40, %50 ], [ %40, %37 ]
%79 = add i64 %38, -1
%80 = sub nsw i64 %22, %79
%81 = shl i64 %79, 32
%82 = ashr exact i64 %81, 32
%83 = sub nsw i64 %22, %82
%84 = icmp sgt i64 %38, %83
%85 = trunc i64 %80 to i32
br i1 %84, label %37, label %86
86: ; preds = %77, %17
%87 = phi i32 [ %20, %17 ], [ %78, %77 ]
%88 = add nuw nsw i64 %18, 1
%89 = add nsw i32 %19, -1
%90 = icmp eq i64 %88, 200000
br i1 %90, label %15, label %17
}