int main(void) {
  int a[1000] =
      {7, 3, 1, 6, 7, 1, 7, 6, 5, 3, 1, 3, 3, 0, 6, 2, 4, 9, 1, 9, 2, 2, 5, 1,
       1, 9, 6, 7, 4, 4, 2, 6, 5, 7, 4, 7, 4, 2, 3, 5, 5, 3, 4, 9, 1, 9, 4, 9,
       3, 4, 9, 6, 9, 8, 3, 5, 2, 0, 3, 1, 2, 7, 7, 4, 5, 0, 6, 3, 2, 6, 2, 3,
       9, 5, 7, 8, 3, 1, 8, 0, 1, 6, 9, 8, 4, 8, 0, 1, 8, 6, 9, 4, 7, 8, 8, 5,
       1, 8, 4, 3, 8, 5, 8, 6, 1, 5, 6, 0, 7, 8, 9, 1, 1, 2, 9, 4, 9, 4, 9, 5,
       4, 5, 9, 5, 0, 1, 7, 3, 7, 9, 5, 8, 3, 3, 1, 9, 5, 2, 8, 5, 3, 2, 0, 8,
       8, 0, 5, 5, 1, 1, 1, 2, 5, 4, 0, 6, 9, 8, 7, 4, 7, 1, 5, 8, 5, 2, 3, 8,
       6, 3, 0, 5, 0, 7, 1, 5, 6, 9, 3, 2, 9, 0, 9, 6, 3, 2, 9, 5, 2, 2, 7, 4,
       4, 3, 0, 4, 3, 5, 5, 7, 6, 6, 8, 9, 6, 6, 4, 8, 9, 5, 0, 4, 4, 5, 2, 4,
       4, 5, 2, 3, 1, 6, 1, 7, 3, 1, 8, 5, 6, 4, 0, 3, 0, 9, 8, 7, 1, 1, 1, 2,
       1, 7, 2, 2, 3, 8, 3, 1, 1, 3, 6, 2, 2, 2, 9, 8, 9, 3, 4, 2, 3, 3, 8, 0,
       3, 0, 8, 1, 3, 5, 3, 3, 6, 2, 7, 6, 6, 1, 4, 2, 8, 2, 8, 0, 6, 4, 4, 4,
       4, 8, 6, 6, 4, 5, 2, 3, 8, 7, 4, 9, 3, 0, 3, 5, 8, 9, 0, 7, 2, 9, 6, 2,
       9, 0, 4, 9, 1, 5, 6, 0, 4, 4, 0, 7, 7, 2, 3, 9, 0, 7, 1, 3, 8, 1, 0, 5,
       1, 5, 8, 5, 9, 3, 0, 7, 9, 6, 0, 8, 6, 6, 7, 0, 1, 7, 2, 4, 2, 7, 1, 2,
       1, 8, 8, 3, 9, 9, 8, 7, 9, 7, 9, 0, 8, 7, 9, 2, 2, 7, 4, 9, 2, 1, 9, 0,
       1, 6, 9, 9, 7, 2, 0, 8, 8, 8, 0, 9, 3, 7, 7, 6, 6, 5, 7, 2, 7, 3, 3, 3,
       0, 0, 1, 0, 5, 3, 3, 6, 7, 8, 8, 1, 2, 2, 0, 2, 3, 5, 4, 2, 1, 8, 0, 9,
       7, 5, 1, 2, 5, 4, 5, 4, 0, 5, 9, 4, 7, 5, 2, 2, 4, 3, 5, 2, 5, 8, 4, 9,
       0, 7, 7, 1, 1, 6, 7, 0, 5, 5, 6, 0, 1, 3, 6, 0, 4, 8, 3, 9, 5, 8, 6, 4,
       4, 6, 7, 0, 6, 3, 2, 4, 4, 1, 5, 7, 2, 2, 1, 5, 5, 3, 9, 7, 5, 3, 6, 9,
       7, 8, 1, 7, 9, 7, 7, 8, 4, 6, 1, 7, 4, 0, 6, 4, 9, 5, 5, 1, 4, 9, 2, 9,
       0, 8, 6, 2, 5, 6, 9, 3, 2, 1, 9, 7, 8, 4, 6, 8, 6, 2, 2, 4, 8, 2, 8, 3,
       9, 7, 2, 2, 4, 1, 3, 7, 5, 6, 5, 7, 0, 5, 6, 0, 5, 7, 4, 9, 0, 2, 6, 1,
       4, 0, 7, 9, 7, 2, 9, 6, 8, 6, 5, 2, 4, 1, 4, 5, 3, 5, 1, 0, 0, 4, 7, 4,
       8, 2, 1, 6, 6, 3, 7, 0, 4, 8, 4, 4, 0, 3, 1, 9, 9, 8, 9, 0, 0, 0, 8, 8,
       9, 5, 2, 4, 3, 4, 5, 0, 6, 5, 8, 5, 4, 1, 2, 2, 7, 5, 8, 8, 6, 6, 6, 8,
       8, 1, 1, 6, 4, 2, 7, 1, 7, 1, 4, 7, 9, 9, 2, 4, 4, 4, 2, 9, 2, 8, 2, 3,
       0, 8, 6, 3, 4, 6, 5, 6, 7, 4, 8, 1, 3, 9, 1, 9, 1, 2, 3, 1, 6, 2, 8, 2,
       4, 5, 8, 6, 1, 7, 8, 6, 6, 4, 5, 8, 3, 5, 9, 1, 2, 4, 5, 6, 6, 5, 2, 9,
       4, 7, 6, 5, 4, 5, 6, 8, 2, 8, 4, 8, 9, 1, 2, 8, 8, 3, 1, 4, 2, 6, 0, 7,
       6, 9, 0, 0, 4, 2, 2, 4, 2, 1, 9, 0, 2, 2, 6, 7, 1, 0, 5, 5, 6, 2, 6, 3,
       2, 1, 1, 1, 1, 1, 0, 9, 3, 7, 0, 5, 4, 4, 2, 1, 7, 5, 0, 6, 9, 4, 1, 6,
       5, 8, 9, 6, 0, 4, 0, 8, 0, 7, 1, 9, 8, 4, 0, 3, 8, 5, 0, 9, 6, 2, 4, 5,
       5, 4, 4, 4, 3, 6, 2, 9, 8, 1, 2, 3, 0, 9, 8, 7, 8, 7, 9, 9, 2, 7, 2, 4,
       4, 2, 8, 4, 9, 0, 9, 1, 8, 8, 8, 4, 5, 8, 0, 1, 5, 6, 1, 6, 6, 0, 9, 7,
       9, 1, 9, 1, 3, 3, 8, 7, 5, 4, 9, 9, 2, 0, 0, 5, 2, 4, 0, 6, 3, 6, 8, 9,
       9, 1, 2, 5, 6, 0, 7, 1, 7, 6, 0, 6, 0, 5, 8, 8, 6, 1, 1, 6, 4, 6, 7, 1,
       0, 9, 4, 0, 5, 0, 7, 7, 5, 4, 1, 0, 0, 2, 2, 5, 6, 9, 8, 3, 1, 5, 5, 2,
       0, 0, 0, 5, 5, 9, 3, 5, 7, 2, 9, 7, 2, 5, 7, 1, 6, 3, 6, 2, 6, 9, 5, 6,
       1, 8, 8, 2, 6, 7, 0, 4, 2, 8, 2, 5, 2, 4, 8, 3, 6, 0, 0, 8, 2, 3, 2, 5,
       7, 5, 3, 0, 4, 2, 0, 7, 5, 2, 9, 6, 3, 4, 5, 0},
      i, l = 0;
  for (i = 0; i < 1000 - 5; i++) {
    if (a[i] == 0 || a[i + 1] == 0 || a[i + 2] == 0 || a[i + 3] == 0 ||
        a[i + 4] == 0)
      continue;
    int p = a[i] * a[i + 1] * a[i + 2] * a[i + 3] * a[i + 4];
    if (l < p)
      l = p;
    if (i + 5 == 1000)
      break;
  }
  printf("%d\n", l);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfc0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0xfb0(%rbp),%rdi
lea    0xec0(%rip),%rsi
mov    $0xfa0,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0xfb8(%rbp)
movl   $0x0,-0xfb4(%rbp)
cmpl   $0x3e3,-0xfb4(%rbp)
jge    12a0 <main+0x180>
movslq -0xfb4(%rbp),%rax
cmpl   $0x0,-0xfb0(%rbp,%rax,4)
je     11e7 <main+0xc7>
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
cltq
cmpl   $0x0,-0xfb0(%rbp,%rax,4)
je     11e7 <main+0xc7>
mov    -0xfb4(%rbp),%eax
add    $0x2,%eax
cltq
cmpl   $0x0,-0xfb0(%rbp,%rax,4)
je     11e7 <main+0xc7>
mov    -0xfb4(%rbp),%eax
add    $0x3,%eax
cltq
cmpl   $0x0,-0xfb0(%rbp,%rax,4)
je     11e7 <main+0xc7>
mov    -0xfb4(%rbp),%eax
add    $0x4,%eax
cltq
cmpl   $0x0,-0xfb0(%rbp,%rax,4)
jne    11ec <main+0xcc>
jmp    128c <main+0x16c>
movslq -0xfb4(%rbp),%rax
mov    -0xfb0(%rbp,%rax,4),%eax
mov    -0xfb4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   -0xfb0(%rbp,%rcx,4),%eax
ff
mov    -0xfb4(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
imul   -0xfb0(%rbp,%rcx,4),%eax
ff
mov    -0xfb4(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
imul   -0xfb0(%rbp,%rcx,4),%eax
ff
mov    -0xfb4(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
imul   -0xfb0(%rbp,%rcx,4),%eax
ff
mov    %eax,-0xfbc(%rbp)
mov    -0xfb8(%rbp),%eax
cmp    -0xfbc(%rbp),%eax
jge    126e <main+0x14e>
mov    -0xfbc(%rbp),%eax
mov    %eax,-0xfb8(%rbp)
mov    -0xfb4(%rbp),%eax
add    $0x5,%eax
cmp    $0x3e8,%eax
jne    1287 <main+0x167>
jmp    12a0 <main+0x180>
jmp    128c <main+0x16c>
mov    -0xfb4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfb4(%rbp)
jmp    115e <main+0x3e>
mov    -0xfb8(%rbp),%esi
lea    0x1cf3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0xfc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
xor    %esi,%esi
mov    $0x4,%eax
lea    0xee1(%rip),%r8
jmp    113c <main+0x2c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    $0x3e7,%rax
je     117f <main+0x6f>
mov    -0x10(%r8,%rax,4),%edi
test   %edi,%edi
je     1130 <main+0x20>
mov    -0xc(%r8,%rax,4),%edx
test   %edx,%edx
je     1130 <main+0x20>
mov    -0x8(%r8,%rax,4),%ecx
test   %ecx,%ecx
je     1130 <main+0x20>
mov    -0x4(%r8,%rax,4),%r9d
test   %r9d,%r9d
je     1130 <main+0x20>
mov    (%r8,%rax,4),%r10d
test   %r10d,%r10d
je     1130 <main+0x20>
imul   %edi,%edx
imul   %ecx,%edx
imul   %r9d,%edx
imul   %r10d,%edx
cmp    %edx,%esi
cmovl  %edx,%esi
jmp    1130 <main+0x20>
lea    0x1e1a(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
xor    %eax,%eax
pop    %rcx
ret

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

LLVM IR (-O2):
@__const.main.a = [1000 x i32] [i32 7, i32 3, i32 1, i32 6, i32 7, i32 1, i32 7, i32 6, i32 5, i32 3, i32 1, i32 3, i32 3, i32 0, i32 6, i32 2, i32 4, i32 9, i32 1, i32 9, i32 2, i32 2, i32 5, i32 1, i32 1, i32 9, i32 6, i32 7, i32 4, i32 4, i32 2, i32 6, i32 5, i32 7, i32 4, i32 7, i32 4, i32 2, i32 3, i32 5, i32 5, i32 3, i32 4, i32 9, i32 1, i32 9, i32 4, i32 9, i32 3, i32 4, i32 9, i32 6, i32 9, i32 8, i32 3, i32 5, i32 2, i32 0, i32 3, i32 1, i32 2, i32 7, i32 7, i32 4, i32 5, i32 0, i32 6, i32 3, i32 2, i32 6, i32 2, i32 3, i32 9, i32 5, i32 7, i32 8, i32 3, i32 1, i32 8, i32 0, i32 1, i32 6, i32 9, i32 8, i32 4, i32 8, i32 0, i32 1, i32 8, i32 6, i32 9, i32 4, i32 7, i32 8, i32 8, i32 5, i32 1, i32 8, i32 4, i32 3, i32 8, i32 5, i32 8, i32 6, i32 1, i32 5, i32 6, i32 0, i32 7, i32 8, i32 9, i32 1, i32 1, i32 2, i32 9, i32 4, i32 9, i32 4, i32 9, i32 5, i32 4, i32 5, i32 9, i32 5, i32 0, i32 1, i32 7, i32 3, i32 7, i32 9, i32 5, i32 8, i32 3, i32 3, i32 1, i32 9, i32 5, i32 2, i32 8, i32 5, i32 3, i32 2, i32 0, i32 8, i32 8, i32 0, i32 5, i32 5, i32 1, i32 1, i32 1, i32 2, i32 5, i32 4, i32 0, i32 6, i32 9, i32 8, i32 7, i32 4, i32 7, i32 1, i32 5, i32 8, i32 5, i32 2, i32 3, i32 8, i32 6, i32 3, i32 0, i32 5, i32 0, i32 7, i32 1, i32 5, i32 6, i32 9, i32 3, i32 2, i32 9, i32 0, i32 9, i32 6, i32 3, i32 2, i32 9, i32 5, i32 2, i32 2, i32 7, i32 4, i32 4, i32 3, i32 0, i32 4, i32 3, i32 5, i32 5, i32 7, i32 6, i32 6, i32 8, i32 9, i32 6, i32 6, i32 4, i32 8, i32 9, i32 5, i32 0, i32 4, i32 4, i32 5, i32 2, i32 4, i32 4, i32 5, i32 2, i32 3, i32 1, i32 6, i32 1, i32 7, i32 3, i32 1, i32 8, i32 5, i32 6, i32 4, i32 0, i32 3, i32 0, i32 9, i32 8, i32 7, i32 1, i32 1, i32 1, i32 2, i32 1, i32 7, i32 2, i32 2, i32 3, i32 8, i32 3, i32 1, i32 1, i32 3, i32 6, i32 2, i32 2, i32 2, i32 9, i32 8, i32 9, i32 3, i32 4, i32 2, i32 3, i32 3, i32 8, i32 0, i32 3, i32 0, i32 8, i32 1, i32 3, i32 5, i32 3, i32 3, i32 6, i32 2, i32 7, i32 6, i32 6, i32 1, i32 4, i32 2, i32 8, i32 2, i32 8, i32 0, i32 6, i32 4, i32 4, i32 4, i32 4, i32 8, i32 6, i32 6, i32 4, i32 5, i32 2, i32 3, i32 8, i32 7, i32 4, i32 9, i32 3, i32 0, i32 3, i32 5, i32 8, i32 9, i32 0, i32 7, i32 2, i32 9, i32 6, i32 2, i32 9, i32 0, i32 4, i32 9, i32 1, i32 5, i32 6, i32 0, i32 4, i32 4, i32 0, i32 7, i32 7, i32 2, i32 3, i32 9, i32 0, i32 7, i32 1, i32 3, i32 8, i32 1, i32 0, i32 5, i32 1, i32 5, i32 8, i32 5, i32 9, i32 3, i32 0, i32 7, i32 9, i32 6, i32 0, i32 8, i32 6, i32 6, i32 7, i32 0, i32 1, i32 7, i32 2, i32 4, i32 2, i32 7, i32 1, i32 2, i32 1, i32 8, i32 8, i32 3, i32 9, i32 9, i32 8, i32 7, i32 9, i32 7, i32 9, i32 0, i32 8, i32 7, i32 9, i32 2, i32 2, i32 7, i32 4, i32 9, i32 2, i32 1, i32 9, i32 0, i32 1, i32 6, i32 9, i32 9, i32 7, i32 2, i32 0, i32 8, i32 8, i32 8, i32 0, i32 9, i32 3, i32 7, i32 7, i32 6, i32 6, i32 5, i32 7, i32 2, i32 7, i32 3, i32 3, i32 3, i32 0, i32 0, i32 1, i32 0, i32 5, i32 3, i32 3, i32 6, i32 7, i32 8, i32 8, i32 1, i32 2, i32 2, i32 0, i32 2, i32 3, i32 5, i32 4, i32 2, i32 1, i32 8, i32 0, i32 9, i32 7, i32 5, i32 1, i32 2, i32 5, i32 4, i32 5, i32 4, i32 0, i32 5, i32 9, i32 4, i32 7, i32 5, i32 2, i32 2, i32 4, i32 3, i32 5, i32 2, i32 5, i32 8, i32 4, i32 9, i32 0, i32 7, i32 7, i32 1, i32 1, i32 6, i32 7, i32 0, i32 5, i32 5, i32 6, i32 0, i32 1, i32 3, i32 6, i32 0, i32 4, i32 8, i32 3, i32 9, i32 5, i32 8, i32 6, i32 4, i32 4, i32 6, i32 7, i32 0, i32 6, i32 3, i32 2, i32 4, i32 4, i32 1, i32 5, i32 7, i32 2, i32 2, i32 1, i32 5, i32 5, i32 3, i32 9, i32 7, i32 5, i32 3, i32 6, i32 9, i32 7, i32 8, i32 1, i32 7, i32 9, i32 7, i32 7, i32 8, i32 4, i32 6, i32 1, i32 7, i32 4, i32 0, i32 6, i32 4, i32 9, i32 5, i32 5, i32 1, i32 4, i32 9, i32 2, i32 9, i32 0, i32 8, i32 6, i32 2, i32 5, i32 6, i32 9, i32 3, i32 2, i32 1, i32 9, i32 7, i32 8, i32 4, i32 6, i32 8, i32 6, i32 2, i32 2, i32 4, i32 8, i32 2, i32 8, i32 3, i32 9, i32 7, i32 2, i32 2, i32 4, i32 1, i32 3, i32 7, i32 5, i32 6, i32 5, i32 7, i32 0, i32 5, i32 6, i32 0, i32 5, i32 7, i32 4, i32 9, i32 0, i32 2, i32 6, i32 1, i32 4, i32 0, i32 7, i32 9, i32 7, i32 2, i32 9, i32 6, i32 8, i32 6, i32 5, i32 2, i32 4, i32 1, i32 4, i32 5, i32 3, i32 5, i32 1, i32 0, i32 0, i32 4, i32 7, i32 4, i32 8, i32 2, i32 1, i32 6, i32 6, i32 3, i32 7, i32 0, i32 4, i32 8, i32 4, i32 4, i32 0, i32 3, i32 1, i32 9, i32 9, i32 8, i32 9, i32 0, i32 0, i32 0, i32 8, i32 8, i32 9, i32 5, i32 2, i32 4, i32 3, i32 4, i32 5, i32 0, i32 6, i32 5, i32 8, i32 5, i32 4, i32 1, i32 2, i32 2, i32 7, i32 5, i32 8, i32 8, i32 6, i32 6, i32 6, i32 8, i32 8, i32 1, i32 1, i32 6, i32 4, i32 2, i32 7, i32 1, i32 7, i32 1, i32 4, i32 7, i32 9, i32 9, i32 2, i32 4, i32 4, i32 4, i32 2, i32 9, i32 2, i32 8, i32 2, i32 3, i32 0, i32 8, i32 6, i32 3, i32 4, i32 6, i32 5, i32 6, i32 7, i32 4, i32 8, i32 1, i32 3, i32 9, i32 1, i32 9, i32 1, i32 2, i32 3, i32 1, i32 6, i32 2, i32 8, i32 2, i32 4, i32 5, i32 8, i32 6, i32 1, i32 7, i32 8, i32 6, i32 6, i32 4, i32 5, i32 8, i32 3, i32 5, i32 9, i32 1, i32 2, i32 4, i32 5, i32 6, i32 6, i32 5, i32 2, i32 9, i32 4, i32 7, i32 6, i32 5, i32 4, i32 5, i32 6, i32 8, i32 2, i32 8, i32 4, i32 8, i32 9, i32 1, i32 2, i32 8, i32 8, i32 3, i32 1, i32 4, i32 2, i32 6, i32 0, i32 7, i32 6, i32 9, i32 0, i32 0, i32 4, i32 2, i32 2, i32 4, i32 2, i32 1, i32 9, i32 0, i32 2, i32 2, i32 6, i32 7, i32 1, i32 0, i32 5, i32 5, i32 6, i32 2, i32 6, i32 3, i32 2, i32 1, i32 1, i32 1, i32 1, i32 1, i32 0, i32 9, i32 3, i32 7, i32 0, i32 5, i32 4, i32 4, i32 2, i32 1, i32 7, i32 5, i32 0, i32 6, i32 9, i32 4, i32 1, i32 6, i32 5, i32 8, i32 9, i32 6, i32 0, i32 4, i32 0, i32 8, i32 0, i32 7, i32 1, i32 9, i32 8, i32 4, i32 0, i32 3, i32 8, i32 5, i32 0, i32 9, i32 6, i32 2, i32 4, i32 5, i32 5, i32 4, i32 4, i32 4, i32 3, i32 6, i32 2, i32 9, i32 8, i32 1, i32 2, i32 3, i32 0, i32 9, i32 8, i32 7, i32 8, i32 7, i32 9, i32 9, i32 2, i32 7, i32 2, i32 4, i32 4, i32 2, i32 8, i32 4, i32 9, i32 0, i32 9, i32 1, i32 8, i32 8, i32 8, i32 4, i32 5, i32 8, i32 0, i32 1, i32 5, i32 6, i32 1, i32 6, i32 6, i32 0, i32 9, i32 7, i32 9, i32 1, i32 9, i32 1, i32 3, i32 3, i32 8, i32 7, i32 5, i32 4, i32 9, i32 9, i32 2, i32 0, i32 0, i32 5, i32 2, i32 4, i32 0, i32 6, i32 3, i32 6, i32 8, i32 9, i32 9, i32 1, i32 2, i32 5, i32 6, i32 0, i32 7, i32 1, i32 7, i32 6, i32 0, i32 6, i32 0, i32 5, i32 8, i32 8, i32 6, i32 1, i32 1, i32 6, i32 4, i32 6, i32 7, i32 1, i32 0, i32 9, i32 4, i32 0, i32 5, i32 0, i32 7, i32 7, i32 5, i32 4, i32 1, i32 0, i32 0, i32 2, i32 2, i32 5, i32 6, i32 9, i32 8, i32 3, i32 1, i32 5, i32 5, i32 2, i32 0, i32 0, i32 0, i32 5, i32 5, i32 9, i32 3, i32 5, i32 7, i32 2, i32 9, i32 7, i32 2, i32 5, i32 7, i32 1, i32 6, i32 3, i32 6, i32 2, i32 6, i32 9, i32 5, i32 6, i32 1, i32 8, i32 8, i32 2, i32 6, i32 7, i32 0, i32 4, i32 2, i32 8, i32 2, i32 5, i32 2, i32 4, i32 8, i32 3, i32 6, i32 0, i32 0, i32 8, i32 2, i32 3, i32 2, i32 5, i32 7, i32 5, i32 3, i32 0, i32 4, i32 2, i32 0, i32 7, i32 5, i32 2, i32 9, i32 6, i32 3, i32 4, i32 5, i32 0]
@.str = [4 x i8] c"%d\0A\00"
define i32 @main() {
br label %1
1: ; preds = %0, %34
%2 = phi i64 [ 0, %0 ], [ %7, %34 ]
%3 = phi i32 [ 0, %0 ], [ %35, %34 ]
%4 = getelementptr inbounds [1000 x i32], [1000 x i32]* @__const.main.a, i64 0, i64 %2
%5 = load i32, i32* %4
%6 = icmp eq i32 %5, 0
%7 = add nuw nsw i64 %2, 1
br i1 %6, label %34, label %8
8: ; preds = %1
%9 = getelementptr inbounds [1000 x i32], [1000 x i32]* @__const.main.a, i64 0, i64 %7
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, 0
br i1 %11, label %34, label %12
12: ; preds = %8
%13 = add nuw nsw i64 %2, 2
%14 = getelementptr inbounds [1000 x i32], [1000 x i32]* @__const.main.a, i64 0, i64 %13
%15 = load i32, i32* %14
%16 = icmp eq i32 %15, 0
br i1 %16, label %34, label %17
17: ; preds = %12
%18 = add nuw nsw i64 %2, 3
%19 = getelementptr inbounds [1000 x i32], [1000 x i32]* @__const.main.a, i64 0, i64 %18
%20 = load i32, i32* %19
%21 = icmp eq i32 %20, 0
br i1 %21, label %34, label %22
22: ; preds = %17
%23 = add nuw nsw i64 %2, 4
%24 = getelementptr inbounds [1000 x i32], [1000 x i32]* @__const.main.a, i64 0, i64 %23
%25 = load i32, i32* %24
%26 = icmp eq i32 %25, 0
br i1 %26, label %34, label %27
27: ; preds = %22
%28 = mul nsw i32 %10, %5
%29 = mul nsw i32 %28, %15
%30 = mul nsw i32 %29, %20
%31 = mul nsw i32 %30, %25
%32 = icmp slt i32 %3, %31
%33 = select i1 %32, i32 %31, i32 %3
br label %34
34: ; preds = %1, %27, %8, %12, %17, %22
%35 = phi i32 [ %33, %27 ], [ %3, %8 ], [ %3, %12 ], [ %3, %17 ], [ %3, %22 ], [ %3, %1 ]
%36 = icmp eq i64 %7, 995
br i1 %36, label %37, label %1
37: ; preds = %34
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %35)
ret i32 0
}