#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 combinationF5(int, int, int, int, int, int, int, int, int, int);
int combinationF7(int cr1, int cs1, int cr2, int cs2, int cr3, int cs3, int cr4,
                  int cs4, int cr5, int cs5, int cr6, int cs6, int cr7,
                  int cs7) {
  int Comb[21];
  Comb[0] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr4, cs4, cr5, cs5);
  Comb[1] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr4, cs4, cr6, cs6);
  Comb[2] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr5, cs5, cr6, cs6);
  Comb[3] = combinationF5(cr1, cs1, cr2, cs2, cr4, cs4, cr5, cs5, cr6, cs6);
  Comb[4] = combinationF5(cr1, cs1, cr3, cs3, cr4, cs4, cr5, cs5, cr6, cs6);
  Comb[5] = combinationF5(cr2, cs2, cr3, cs3, cr4, cs4, cr5, cs5, cr6, cs6);
  Comb[6] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr4, cs4, cr7, cs7);
  Comb[7] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr5, cs5, cr7, cs7);
  Comb[8] = combinationF5(cr1, cs1, cr2, cs2, cr4, cs4, cr5, cs5, cr7, cs7);
  Comb[9] = combinationF5(cr1, cs1, cr3, cs3, cr4, cs4, cr5, cs5, cr7, cs7);
  Comb[10] = combinationF5(cr2, cs2, cr3, cs3, cr4, cs4, cr5, cs5, cr7, cs7);
  Comb[11] = combinationF5(cr1, cs1, cr2, cs2, cr3, cs3, cr6, cs6, cr7, cs7);
  Comb[12] = combinationF5(cr1, cs1, cr2, cs2, cr4, cs4, cr6, cs6, cr7, cs7);
  Comb[13] = combinationF5(cr1, cs1, cr3, cs3, cr4, cs4, cr6, cs6, cr7, cs7);
  Comb[14] = combinationF5(cr2, cs2, cr3, cs3, cr4, cs4, cr6, cs6, cr7, cs7);
  Comb[15] = combinationF5(cr1, cs1, cr2, cs2, cr5, cs5, cr6, cs6, cr7, cs7);
  Comb[16] = combinationF5(cr1, cs1, cr3, cs3, cr5, cs5, cr6, cs6, cr7, cs7);
  Comb[17] = combinationF5(cr2, cs2, cr3, cs3, cr5, cs5, cr6, cs6, cr7, cs7);
  Comb[18] = combinationF5(cr1, cs1, cr4, cs4, cr5, cs5, cr6, cs6, cr7, cs7);
  Comb[19] = combinationF5(cr2, cs2, cr4, cs4, cr5, cs5, cr6, cs6, cr7, cs7);
  Comb[20] = combinationF5(cr3, cs3, cr4, cs4, cr5, cs5, cr6, cs6, cr7, cs7);
  int max = 0;
  if (Comb[0] > max)
    max = Comb[0];
  if (Comb[1] > max)
    max = Comb[1];
  if (Comb[2] > max)
    max = Comb[2];
  if (Comb[3] > max)
    max = Comb[3];
  if (Comb[4] > max)
    max = Comb[4];
  if (Comb[5] > max)
    max = Comb[5];
  if (Comb[6] > max)
    max = Comb[6];
  if (Comb[7] > max)
    max = Comb[7];
  if (Comb[8] > max)
    max = Comb[8];
  if (Comb[9] > max)
    max = Comb[9];
  if (Comb[10] > max)
    max = Comb[10];
  if (Comb[11] > max)
    max = Comb[11];
  if (Comb[12] > max)
    max = Comb[12];
  if (Comb[13] > max)
    max = Comb[13];
  if (Comb[14] > max)
    max = Comb[14];
  if (Comb[15] > max)
    max = Comb[15];
  if (Comb[16] > max)
    max = Comb[16];
  if (Comb[17] > max)
    max = Comb[17];
  if (Comb[18] > max)
    max = Comb[18];
  if (Comb[19] > max)
    max = Comb[19];
  if (Comb[20] > max)
    max = Comb[20];
  return max;
}


x86 assembly (clang, -O0):
<combinationF7>:
push   %rbp
mov    %rsp,%rbp
push   %rbx
sub    $0xa8,%rsp
mov    0x48(%rbp),%eax
mov    0x40(%rbp),%eax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x10(%rbp),%ebx
mov    0x18(%rbp),%r11d
mov    0x20(%rbp),%r10d
mov    0x28(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x80(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x10(%rbp),%ebx
mov    0x18(%rbp),%r11d
mov    0x30(%rbp),%r10d
mov    0x38(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x7c(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x30(%rbp),%r10d
mov    0x38(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x78(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x30(%rbp),%r10d
mov    0x38(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x74(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x30(%rbp),%r10d
mov    0x38(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x70(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x30(%rbp),%r10d
mov    0x38(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x6c(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x10(%rbp),%ebx
mov    0x18(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x68(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x64(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x60(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x20(%rbp),%ebx
mov    0x28(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x58(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x20(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x54(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x50(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x10(%rbp),%r8d
mov    0x18(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x48(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x44(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x40(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x3c(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    0x10(%rbp),%edx
mov    0x18(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x38(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    0x10(%rbp),%edx
mov    0x18(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x34(%rbp)
mov    -0x1c(%rbp),%edi
mov    -0x20(%rbp),%esi
mov    0x10(%rbp),%edx
mov    0x18(%rbp),%ecx
mov    0x20(%rbp),%r8d
mov    0x28(%rbp),%r9d
mov    0x30(%rbp),%ebx
mov    0x38(%rbp),%r11d
mov    0x40(%rbp),%r10d
mov    0x48(%rbp),%eax
mov    %ebx,(%rsp)
mov    %r11d,0x8(%rsp)
mov    %r10d,0x10(%rsp)
mov    %eax,0x18(%rsp)
call   1030 <combinationF5@plt>
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x84(%rbp)
mov    -0x80(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1641 <combinationF7+0x531>
mov    -0x80(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x7c(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1659 <combinationF7+0x549>
mov    -0x7c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x78(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1671 <combinationF7+0x561>
mov    -0x78(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x74(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1689 <combinationF7+0x579>
mov    -0x74(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    16a1 <combinationF7+0x591>
mov    -0x70(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x6c(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    16b9 <combinationF7+0x5a9>
mov    -0x6c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x68(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    16d1 <combinationF7+0x5c1>
mov    -0x68(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x64(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    16e9 <combinationF7+0x5d9>
mov    -0x64(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1701 <combinationF7+0x5f1>
mov    -0x60(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1719 <combinationF7+0x609>
mov    -0x5c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1731 <combinationF7+0x621>
mov    -0x58(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1749 <combinationF7+0x639>
mov    -0x54(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1761 <combinationF7+0x651>
mov    -0x50(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1779 <combinationF7+0x669>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1791 <combinationF7+0x681>
mov    -0x48(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    17a9 <combinationF7+0x699>
mov    -0x44(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    17c1 <combinationF7+0x6b1>
mov    -0x40(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    17d9 <combinationF7+0x6c9>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    17f1 <combinationF7+0x6e1>
mov    -0x38(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1809 <combinationF7+0x6f9>
mov    -0x34(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x84(%rbp),%eax
jle    1821 <combinationF7+0x711>
mov    -0x30(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x84(%rbp),%eax
add    $0xa8,%rsp
pop    %rbx
pop    %rbp
ret

x86 assembly (clang, -O2):
<combinationF7>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    0xa8(%rsp),%r10d
mov    0xb0(%rsp),%r11d
mov    0xb8(%rsp),%eax
mov    %edi,%r12d
mov    %esi,%ebp
mov    %esi,0x8(%rsp)
mov    %edx,%r13d
mov    %ecx,%ebx
mov    %r8d,%r15d
mov    %r9d,%r14d
push   %rax
push   %r11
push   %r10
mov    0xb8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x64(%rsp)
mov    %r12d,%edi
mov    %ebp,%esi
mov    %r13d,%ebp
mov    %r13d,%edx
mov    %ebx,%ecx
mov    %r15d,%r8d
mov    %r14d,%r9d
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xb8(%rsp),%eax
push   %rax
mov    0xb8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x60(%rsp)
mov    %r12d,%edi
mov    0x8(%rsp),%r13d
mov    %r13d,%esi
mov    %ebp,%edx
mov    %ebx,0xc(%rsp)
mov    %ebx,%ecx
mov    %r15d,%r8d
mov    %r14d,%r9d
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x5c(%rsp)
mov    %r12d,0x14(%rsp)
mov    %r12d,%edi
mov    %r13d,%esi
mov    %ebp,%edx
mov    %ebx,%ecx
mov    0xa0(%rsp),%r8d
mov    0xa8(%rsp),%r9d
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%ebx
push   %rbx
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x58(%rsp)
mov    %r12d,%edi
mov    %r13d,%esi
mov    %r15d,%edx
mov    %r15d,%r12d
mov    %r14d,%ecx
mov    0xa0(%rsp),%r8d
mov    0xa8(%rsp),%r9d
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
push   %rbx
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x54(%rsp)
mov    %ebp,%edi
mov    0xc(%rsp),%ebx
mov    %ebx,%esi
mov    %r15d,%edx
mov    %r15d,0x10(%rsp)
mov    %r14d,%ecx
mov    0xa0(%rsp),%r8d
mov    0xa8(%rsp),%r9d
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x50(%rsp)
mov    0x14(%rsp),%r15d
mov    %r15d,%edi
mov    %r13d,%esi
mov    %ebp,%edx
mov    %ebp,%r13d
mov    %ebx,%ecx
mov    %r12d,%r8d
mov    %r14d,%r9d
mov    0xd8(%rsp),%ebp
push   %rbp
mov    0xd8(%rsp),%ebx
push   %rbx
mov    0xb8(%rsp),%eax
push   %rax
mov    0xb8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x4c(%rsp)
mov    %r15d,%edi
mov    0x8(%rsp),%r12d
mov    %r12d,%esi
mov    %r13d,%ebp
mov    %r13d,0x18(%rsp)
mov    %r13d,%edx
mov    0xc(%rsp),%ebx
mov    %ebx,%ecx
mov    0x10(%rsp),%r13d
mov    %r13d,%r8d
mov    %r14d,%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x48(%rsp)
mov    %r15d,%edi
mov    %r12d,%esi
mov    %ebp,%edx
mov    %ebx,%ecx
mov    0xa0(%rsp),%ebp
mov    %ebp,%r8d
mov    0xa8(%rsp),%eax
mov    %rax,%r9
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%ebx
push   %rbx
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x44(%rsp)
mov    %r15d,%edi
mov    %r12d,%esi
mov    %r13d,%r12d
mov    %r13d,%edx
mov    %r14d,%ecx
mov    %ebp,%r8d
mov    0xa8(%rsp),%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
push   %rbx
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x40(%rsp)
mov    0x18(%rsp),%ebx
mov    %ebx,%edi
mov    0xc(%rsp),%r13d
mov    %r13d,%esi
mov    %r12d,%edx
mov    %r14d,%ecx
mov    %r14d,%ebp
mov    %r14d,0x1c(%rsp)
mov    0xa0(%rsp),%r8d
mov    0xa8(%rsp),%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
mov    0xc8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x3c(%rsp)
mov    0x14(%rsp),%r14d
mov    %r14d,%edi
mov    0x8(%rsp),%esi
mov    %ebx,%edx
mov    %r13d,%r15d
mov    %r13d,%ecx
mov    %r12d,%r8d
mov    %ebp,%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%r12d
push   %r12
mov    0xd8(%rsp),%ebx
push   %rbx
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x38(%rsp)
mov    %r14d,%edi
mov    0x8(%rsp),%ebp
mov    %ebp,%esi
mov    0x18(%rsp),%r13d
mov    %r13d,%edx
mov    %r15d,%ecx
mov    0xa0(%rsp),%ebx
mov    %ebx,%r8d
mov    0xa8(%rsp),%eax
mov    %rax,%r9
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
push   %r12
mov    0xd8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x34(%rsp)
mov    %r14d,%edi
mov    %ebp,%esi
mov    0x10(%rsp),%ebp
mov    %ebp,%edx
mov    0x1c(%rsp),%r15d
mov    %r15d,%ecx
mov    %ebx,%r8d
mov    %rbx,%r12
mov    0xa8(%rsp),%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x30(%rsp)
mov    %r13d,%edi
mov    0xc(%rsp),%ebx
mov    %ebx,%esi
mov    %ebp,%edx
mov    %r15d,%ecx
mov    %r12d,%r8d
mov    0xa8(%rsp),%r9d
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%r12d
push   %r12
mov    0xd8(%rsp),%r15d
push   %r15
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x2c(%rsp)
mov    %r14d,%edi
mov    0x8(%rsp),%ebp
mov    %ebp,%esi
mov    %r13d,%edx
mov    %ebx,%ecx
mov    0xb0(%rsp),%ebx
mov    %ebx,%r8d
mov    0xb8(%rsp),%eax
mov    %rax,%r9
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
push   %r12
push   %r15
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x28(%rsp)
mov    %r14d,%edi
mov    %ebp,%esi
mov    0x10(%rsp),%ebp
mov    %ebp,%edx
mov    0x1c(%rsp),%r14d
mov    %r14d,%ecx
mov    %ebx,%r8d
mov    %rbx,%r15
mov    0xb8(%rsp),%r9d
mov    0xd8(%rsp),%r12d
push   %r12
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
mov    0xd8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x24(%rsp)
mov    %r13d,%edi
mov    0xc(%rsp),%ebx
mov    %ebx,%esi
mov    %ebp,%edx
mov    %r14d,%ecx
mov    %r15,%r14
mov    %r14d,%r8d
mov    0xb8(%rsp),%r9d
push   %r12
mov    0xd8(%rsp),%r12d
push   %r12
mov    0xd8(%rsp),%r15d
push   %r15
mov    0xd8(%rsp),%eax
push   %rax
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x20(%rsp)
mov    0x14(%rsp),%edi
mov    0x8(%rsp),%esi
mov    0xa0(%rsp),%ebp
mov    %ebp,%edx
mov    0xa8(%rsp),%r13d
mov    %r13d,%ecx
mov    %r14d,%r8d
mov    0xb8(%rsp),%r9d
mov    0xd8(%rsp),%r14d
push   %r14
push   %r12
push   %r15
mov    %r15,%r12
mov    0xd8(%rsp),%r15d
push   %r15
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,0x8(%rsp)
mov    0x18(%rsp),%edi
mov    %ebx,%esi
mov    %ebp,%edx
mov    %r13d,%ecx
mov    0xb0(%rsp),%r8d
mov    0xb8(%rsp),%r9d
push   %r14
mov    0xd8(%rsp),%eax
push   %rax
push   %r12
push   %r15
call   1030 <combinationF5@plt>
add    $0x20,%rsp
mov    %eax,%ebx
mov    0x10(%rsp),%edi
mov    0x1c(%rsp),%esi
mov    %ebp,%edx
mov    %r13d,%ecx
mov    0xb0(%rsp),%r8d
mov    0xb8(%rsp),%r9d
push   %r14
mov    0xd8(%rsp),%eax
push   %rax
push   %r12
push   %r15
call   1030 <combinationF5@plt>
add    $0x20,%rsp
xor    %ecx,%ecx
mov    0x64(%rsp),%edx
test   %edx,%edx
cmovns %edx,%ecx
mov    0x60(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x5c(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x58(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x54(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x50(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x4c(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x48(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x44(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x40(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x3c(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x38(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x34(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x30(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x2c(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x28(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x24(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x20(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
mov    0x8(%rsp),%edx
cmp    %ecx,%edx
cmovg  %edx,%ecx
cmp    %ecx,%ebx
cmovg  %ebx,%ecx
cmp    %ecx,%eax
cmovle %ecx,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @combinationF7(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13) {
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca [21 x i32]
%30 = alloca i32
store i32 %0, i32* %15
store i32 %1, i32* %16
store i32 %2, i32* %17
store i32 %3, i32* %18
store i32 %4, i32* %19
store i32 %5, i32* %20
store i32 %6, i32* %21
store i32 %7, i32* %22
store i32 %8, i32* %23
store i32 %9, i32* %24
store i32 %10, i32* %25
store i32 %11, i32* %26
store i32 %12, i32* %27
store i32 %13, i32* %28
%31 = load i32, i32* %15
%32 = load i32, i32* %16
%33 = load i32, i32* %17
%34 = load i32, i32* %18
%35 = load i32, i32* %19
%36 = load i32, i32* %20
%37 = load i32, i32* %21
%38 = load i32, i32* %22
%39 = load i32, i32* %23
%40 = load i32, i32* %24
%41 = call i32 @combinationF5(i32 %31, i32 %32, i32 %33, i32 %34, i32 %35, i32 %36, i32 %37, i32 %38, i32 %39, i32 %40)
%42 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 0
store i32 %41, i32* %42
%43 = load i32, i32* %15
%44 = load i32, i32* %16
%45 = load i32, i32* %17
%46 = load i32, i32* %18
%47 = load i32, i32* %19
%48 = load i32, i32* %20
%49 = load i32, i32* %21
%50 = load i32, i32* %22
%51 = load i32, i32* %25
%52 = load i32, i32* %26
%53 = call i32 @combinationF5(i32 %43, i32 %44, i32 %45, i32 %46, i32 %47, i32 %48, i32 %49, i32 %50, i32 %51, i32 %52)
%54 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 1
store i32 %53, i32* %54
%55 = load i32, i32* %15
%56 = load i32, i32* %16
%57 = load i32, i32* %17
%58 = load i32, i32* %18
%59 = load i32, i32* %19
%60 = load i32, i32* %20
%61 = load i32, i32* %23
%62 = load i32, i32* %24
%63 = load i32, i32* %25
%64 = load i32, i32* %26
%65 = call i32 @combinationF5(i32 %55, i32 %56, i32 %57, i32 %58, i32 %59, i32 %60, i32 %61, i32 %62, i32 %63, i32 %64)
%66 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 2
store i32 %65, i32* %66
%67 = load i32, i32* %15
%68 = load i32, i32* %16
%69 = load i32, i32* %17
%70 = load i32, i32* %18
%71 = load i32, i32* %21
%72 = load i32, i32* %22
%73 = load i32, i32* %23
%74 = load i32, i32* %24
%75 = load i32, i32* %25
%76 = load i32, i32* %26
%77 = call i32 @combinationF5(i32 %67, i32 %68, i32 %69, i32 %70, i32 %71, i32 %72, i32 %73, i32 %74, i32 %75, i32 %76)
%78 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 3
store i32 %77, i32* %78
%79 = load i32, i32* %15
%80 = load i32, i32* %16
%81 = load i32, i32* %19
%82 = load i32, i32* %20
%83 = load i32, i32* %21
%84 = load i32, i32* %22
%85 = load i32, i32* %23
%86 = load i32, i32* %24
%87 = load i32, i32* %25
%88 = load i32, i32* %26
%89 = call i32 @combinationF5(i32 %79, i32 %80, i32 %81, i32 %82, i32 %83, i32 %84, i32 %85, i32 %86, i32 %87, i32 %88)
%90 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 4
store i32 %89, i32* %90
%91 = load i32, i32* %17
%92 = load i32, i32* %18
%93 = load i32, i32* %19
%94 = load i32, i32* %20
%95 = load i32, i32* %21
%96 = load i32, i32* %22
%97 = load i32, i32* %23
%98 = load i32, i32* %24
%99 = load i32, i32* %25
%100 = load i32, i32* %26
%101 = call i32 @combinationF5(i32 %91, i32 %92, i32 %93, i32 %94, i32 %95, i32 %96, i32 %97, i32 %98, i32 %99, i32 %100)
%102 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 5
store i32 %101, i32* %102
%103 = load i32, i32* %15
%104 = load i32, i32* %16
%105 = load i32, i32* %17
%106 = load i32, i32* %18
%107 = load i32, i32* %19
%108 = load i32, i32* %20
%109 = load i32, i32* %21
%110 = load i32, i32* %22
%111 = load i32, i32* %27
%112 = load i32, i32* %28
%113 = call i32 @combinationF5(i32 %103, i32 %104, i32 %105, i32 %106, i32 %107, i32 %108, i32 %109, i32 %110, i32 %111, i32 %112)
%114 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 6
store i32 %113, i32* %114
%115 = load i32, i32* %15
%116 = load i32, i32* %16
%117 = load i32, i32* %17
%118 = load i32, i32* %18
%119 = load i32, i32* %19
%120 = load i32, i32* %20
%121 = load i32, i32* %23
%122 = load i32, i32* %24
%123 = load i32, i32* %27
%124 = load i32, i32* %28
%125 = call i32 @combinationF5(i32 %115, i32 %116, i32 %117, i32 %118, i32 %119, i32 %120, i32 %121, i32 %122, i32 %123, i32 %124)
%126 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 7
store i32 %125, i32* %126
%127 = load i32, i32* %15
%128 = load i32, i32* %16
%129 = load i32, i32* %17
%130 = load i32, i32* %18
%131 = load i32, i32* %21
%132 = load i32, i32* %22
%133 = load i32, i32* %23
%134 = load i32, i32* %24
%135 = load i32, i32* %27
%136 = load i32, i32* %28
%137 = call i32 @combinationF5(i32 %127, i32 %128, i32 %129, i32 %130, i32 %131, i32 %132, i32 %133, i32 %134, i32 %135, i32 %136)
%138 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 8
store i32 %137, i32* %138
%139 = load i32, i32* %15
%140 = load i32, i32* %16
%141 = load i32, i32* %19
%142 = load i32, i32* %20
%143 = load i32, i32* %21
%144 = load i32, i32* %22
%145 = load i32, i32* %23
%146 = load i32, i32* %24
%147 = load i32, i32* %27
%148 = load i32, i32* %28
%149 = call i32 @combinationF5(i32 %139, i32 %140, i32 %141, i32 %142, i32 %143, i32 %144, i32 %145, i32 %146, i32 %147, i32 %148)
%150 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 9
store i32 %149, i32* %150
%151 = load i32, i32* %17
%152 = load i32, i32* %18
%153 = load i32, i32* %19
%154 = load i32, i32* %20
%155 = load i32, i32* %21
%156 = load i32, i32* %22
%157 = load i32, i32* %23
%158 = load i32, i32* %24
%159 = load i32, i32* %27
%160 = load i32, i32* %28
%161 = call i32 @combinationF5(i32 %151, i32 %152, i32 %153, i32 %154, i32 %155, i32 %156, i32 %157, i32 %158, i32 %159, i32 %160)
%162 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 10
store i32 %161, i32* %162
%163 = load i32, i32* %15
%164 = load i32, i32* %16
%165 = load i32, i32* %17
%166 = load i32, i32* %18
%167 = load i32, i32* %19
%168 = load i32, i32* %20
%169 = load i32, i32* %25
%170 = load i32, i32* %26
%171 = load i32, i32* %27
%172 = load i32, i32* %28
%173 = call i32 @combinationF5(i32 %163, i32 %164, i32 %165, i32 %166, i32 %167, i32 %168, i32 %169, i32 %170, i32 %171, i32 %172)
%174 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 11
store i32 %173, i32* %174
%175 = load i32, i32* %15
%176 = load i32, i32* %16
%177 = load i32, i32* %17
%178 = load i32, i32* %18
%179 = load i32, i32* %21
%180 = load i32, i32* %22
%181 = load i32, i32* %25
%182 = load i32, i32* %26
%183 = load i32, i32* %27
%184 = load i32, i32* %28
%185 = call i32 @combinationF5(i32 %175, i32 %176, i32 %177, i32 %178, i32 %179, i32 %180, i32 %181, i32 %182, i32 %183, i32 %184)
%186 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 12
store i32 %185, i32* %186
%187 = load i32, i32* %15
%188 = load i32, i32* %16
%189 = load i32, i32* %19
%190 = load i32, i32* %20
%191 = load i32, i32* %21
%192 = load i32, i32* %22
%193 = load i32, i32* %25
%194 = load i32, i32* %26
%195 = load i32, i32* %27
%196 = load i32, i32* %28
%197 = call i32 @combinationF5(i32 %187, i32 %188, i32 %189, i32 %190, i32 %191, i32 %192, i32 %193, i32 %194, i32 %195, i32 %196)
%198 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 13
store i32 %197, i32* %198
%199 = load i32, i32* %17
%200 = load i32, i32* %18
%201 = load i32, i32* %19
%202 = load i32, i32* %20
%203 = load i32, i32* %21
%204 = load i32, i32* %22
%205 = load i32, i32* %25
%206 = load i32, i32* %26
%207 = load i32, i32* %27
%208 = load i32, i32* %28
%209 = call i32 @combinationF5(i32 %199, i32 %200, i32 %201, i32 %202, i32 %203, i32 %204, i32 %205, i32 %206, i32 %207, i32 %208)
%210 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 14
store i32 %209, i32* %210
%211 = load i32, i32* %15
%212 = load i32, i32* %16
%213 = load i32, i32* %17
%214 = load i32, i32* %18
%215 = load i32, i32* %23
%216 = load i32, i32* %24
%217 = load i32, i32* %25
%218 = load i32, i32* %26
%219 = load i32, i32* %27
%220 = load i32, i32* %28
%221 = call i32 @combinationF5(i32 %211, i32 %212, i32 %213, i32 %214, i32 %215, i32 %216, i32 %217, i32 %218, i32 %219, i32 %220)
%222 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 15
store i32 %221, i32* %222
%223 = load i32, i32* %15
%224 = load i32, i32* %16
%225 = load i32, i32* %19
%226 = load i32, i32* %20
%227 = load i32, i32* %23
%228 = load i32, i32* %24
%229 = load i32, i32* %25
%230 = load i32, i32* %26
%231 = load i32, i32* %27
%232 = load i32, i32* %28
%233 = call i32 @combinationF5(i32 %223, i32 %224, i32 %225, i32 %226, i32 %227, i32 %228, i32 %229, i32 %230, i32 %231, i32 %232)
%234 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 16
store i32 %233, i32* %234
%235 = load i32, i32* %17
%236 = load i32, i32* %18
%237 = load i32, i32* %19
%238 = load i32, i32* %20
%239 = load i32, i32* %23
%240 = load i32, i32* %24
%241 = load i32, i32* %25
%242 = load i32, i32* %26
%243 = load i32, i32* %27
%244 = load i32, i32* %28
%245 = call i32 @combinationF5(i32 %235, i32 %236, i32 %237, i32 %238, i32 %239, i32 %240, i32 %241, i32 %242, i32 %243, i32 %244)
%246 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 17
store i32 %245, i32* %246
%247 = load i32, i32* %15
%248 = load i32, i32* %16
%249 = load i32, i32* %21
%250 = load i32, i32* %22
%251 = load i32, i32* %23
%252 = load i32, i32* %24
%253 = load i32, i32* %25
%254 = load i32, i32* %26
%255 = load i32, i32* %27
%256 = load i32, i32* %28
%257 = call i32 @combinationF5(i32 %247, i32 %248, i32 %249, i32 %250, i32 %251, i32 %252, i32 %253, i32 %254, i32 %255, i32 %256)
%258 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 18
store i32 %257, i32* %258
%259 = load i32, i32* %17
%260 = load i32, i32* %18
%261 = load i32, i32* %21
%262 = load i32, i32* %22
%263 = load i32, i32* %23
%264 = load i32, i32* %24
%265 = load i32, i32* %25
%266 = load i32, i32* %26
%267 = load i32, i32* %27
%268 = load i32, i32* %28
%269 = call i32 @combinationF5(i32 %259, i32 %260, i32 %261, i32 %262, i32 %263, i32 %264, i32 %265, i32 %266, i32 %267, i32 %268)
%270 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 19
store i32 %269, i32* %270
%271 = load i32, i32* %19
%272 = load i32, i32* %20
%273 = load i32, i32* %21
%274 = load i32, i32* %22
%275 = load i32, i32* %23
%276 = load i32, i32* %24
%277 = load i32, i32* %25
%278 = load i32, i32* %26
%279 = load i32, i32* %27
%280 = load i32, i32* %28
%281 = call i32 @combinationF5(i32 %271, i32 %272, i32 %273, i32 %274, i32 %275, i32 %276, i32 %277, i32 %278, i32 %279, i32 %280)
%282 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 20
store i32 %281, i32* %282
store i32 0, i32* %30
%283 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 0
%284 = load i32, i32* %283
%285 = load i32, i32* %30
%286 = icmp sgt i32 %284, %285
br i1 %286, label %287, label %290
287: ; preds = %14
%288 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 0
%289 = load i32, i32* %288
store i32 %289, i32* %30
br label %290
290: ; preds = %287, %14
%291 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 1
%292 = load i32, i32* %291
%293 = load i32, i32* %30
%294 = icmp sgt i32 %292, %293
br i1 %294, label %295, label %298
295: ; preds = %290
%296 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 1
%297 = load i32, i32* %296
store i32 %297, i32* %30
br label %298
298: ; preds = %295, %290
%299 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 2
%300 = load i32, i32* %299
%301 = load i32, i32* %30
%302 = icmp sgt i32 %300, %301
br i1 %302, label %303, label %306
303: ; preds = %298
%304 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 2
%305 = load i32, i32* %304
store i32 %305, i32* %30
br label %306
306: ; preds = %303, %298
%307 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 3
%308 = load i32, i32* %307
%309 = load i32, i32* %30
%310 = icmp sgt i32 %308, %309
br i1 %310, label %311, label %314
311: ; preds = %306
%312 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 3
%313 = load i32, i32* %312
store i32 %313, i32* %30
br label %314
314: ; preds = %311, %306
%315 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 4
%316 = load i32, i32* %315
%317 = load i32, i32* %30
%318 = icmp sgt i32 %316, %317
br i1 %318, label %319, label %322
319: ; preds = %314
%320 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 4
%321 = load i32, i32* %320
store i32 %321, i32* %30
br label %322
322: ; preds = %319, %314
%323 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 5
%324 = load i32, i32* %323
%325 = load i32, i32* %30
%326 = icmp sgt i32 %324, %325
br i1 %326, label %327, label %330
327: ; preds = %322
%328 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 5
%329 = load i32, i32* %328
store i32 %329, i32* %30
br label %330
330: ; preds = %327, %322
%331 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 6
%332 = load i32, i32* %331
%333 = load i32, i32* %30
%334 = icmp sgt i32 %332, %333
br i1 %334, label %335, label %338
335: ; preds = %330
%336 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 6
%337 = load i32, i32* %336
store i32 %337, i32* %30
br label %338
338: ; preds = %335, %330
%339 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 7
%340 = load i32, i32* %339
%341 = load i32, i32* %30
%342 = icmp sgt i32 %340, %341
br i1 %342, label %343, label %346
343: ; preds = %338
%344 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 7
%345 = load i32, i32* %344
store i32 %345, i32* %30
br label %346
346: ; preds = %343, %338
%347 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 8
%348 = load i32, i32* %347
%349 = load i32, i32* %30
%350 = icmp sgt i32 %348, %349
br i1 %350, label %351, label %354
351: ; preds = %346
%352 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 8
%353 = load i32, i32* %352
store i32 %353, i32* %30
br label %354
354: ; preds = %351, %346
%355 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 9
%356 = load i32, i32* %355
%357 = load i32, i32* %30
%358 = icmp sgt i32 %356, %357
br i1 %358, label %359, label %362
359: ; preds = %354
%360 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 9
%361 = load i32, i32* %360
store i32 %361, i32* %30
br label %362
362: ; preds = %359, %354
%363 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 10
%364 = load i32, i32* %363
%365 = load i32, i32* %30
%366 = icmp sgt i32 %364, %365
br i1 %366, label %367, label %370
367: ; preds = %362
%368 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 10
%369 = load i32, i32* %368
store i32 %369, i32* %30
br label %370
370: ; preds = %367, %362
%371 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 11
%372 = load i32, i32* %371
%373 = load i32, i32* %30
%374 = icmp sgt i32 %372, %373
br i1 %374, label %375, label %378
375: ; preds = %370
%376 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 11
%377 = load i32, i32* %376
store i32 %377, i32* %30
br label %378
378: ; preds = %375, %370
%379 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 12
%380 = load i32, i32* %379
%381 = load i32, i32* %30
%382 = icmp sgt i32 %380, %381
br i1 %382, label %383, label %386
383: ; preds = %378
%384 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 12
%385 = load i32, i32* %384
store i32 %385, i32* %30
br label %386
386: ; preds = %383, %378
%387 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 13
%388 = load i32, i32* %387
%389 = load i32, i32* %30
%390 = icmp sgt i32 %388, %389
br i1 %390, label %391, label %394
391: ; preds = %386
%392 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 13
%393 = load i32, i32* %392
store i32 %393, i32* %30
br label %394
394: ; preds = %391, %386
%395 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 14
%396 = load i32, i32* %395
%397 = load i32, i32* %30
%398 = icmp sgt i32 %396, %397
br i1 %398, label %399, label %402
399: ; preds = %394
%400 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 14
%401 = load i32, i32* %400
store i32 %401, i32* %30
br label %402
402: ; preds = %399, %394
%403 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 15
%404 = load i32, i32* %403
%405 = load i32, i32* %30
%406 = icmp sgt i32 %404, %405
br i1 %406, label %407, label %410
407: ; preds = %402
%408 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 15
%409 = load i32, i32* %408
store i32 %409, i32* %30
br label %410
410: ; preds = %407, %402
%411 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 16
%412 = load i32, i32* %411
%413 = load i32, i32* %30
%414 = icmp sgt i32 %412, %413
br i1 %414, label %415, label %418
415: ; preds = %410
%416 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 16
%417 = load i32, i32* %416
store i32 %417, i32* %30
br label %418
418: ; preds = %415, %410
%419 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 17
%420 = load i32, i32* %419
%421 = load i32, i32* %30
%422 = icmp sgt i32 %420, %421
br i1 %422, label %423, label %426
423: ; preds = %418
%424 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 17
%425 = load i32, i32* %424
store i32 %425, i32* %30
br label %426
426: ; preds = %423, %418
%427 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 18
%428 = load i32, i32* %427
%429 = load i32, i32* %30
%430 = icmp sgt i32 %428, %429
br i1 %430, label %431, label %434
431: ; preds = %426
%432 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 18
%433 = load i32, i32* %432
store i32 %433, i32* %30
br label %434
434: ; preds = %431, %426
%435 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 19
%436 = load i32, i32* %435
%437 = load i32, i32* %30
%438 = icmp sgt i32 %436, %437
br i1 %438, label %439, label %442
439: ; preds = %434
%440 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 19
%441 = load i32, i32* %440
store i32 %441, i32* %30
br label %442
442: ; preds = %439, %434
%443 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 20
%444 = load i32, i32* %443
%445 = load i32, i32* %30
%446 = icmp sgt i32 %444, %445
br i1 %446, label %447, label %450
447: ; preds = %442
%448 = getelementptr inbounds [21 x i32], [21 x i32]* %29, i64 0, i64 20
%449 = load i32, i32* %448
store i32 %449, i32* %30
br label %450
450: ; preds = %447, %442
%451 = load i32, i32* %30
ret i32 %451
}

LLVM IR (-O2):
define i32 @combinationF7(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13) {
%15 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9)
%16 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %10, i32 %11)
%17 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %8, i32 %9, i32 %10, i32 %11)
%18 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11)
%19 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11)
%20 = tail call i32 @combinationF5(i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11)
%21 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %12, i32 %13)
%22 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %8, i32 %9, i32 %12, i32 %13)
%23 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %6, i32 %7, i32 %8, i32 %9, i32 %12, i32 %13)
%24 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %12, i32 %13)
%25 = tail call i32 @combinationF5(i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %12, i32 %13)
%26 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %10, i32 %11, i32 %12, i32 %13)
%27 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %6, i32 %7, i32 %10, i32 %11, i32 %12, i32 %13)
%28 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %4, i32 %5, i32 %6, i32 %7, i32 %10, i32 %11, i32 %12, i32 %13)
%29 = tail call i32 @combinationF5(i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %10, i32 %11, i32 %12, i32 %13)
%30 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%31 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %4, i32 %5, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%32 = tail call i32 @combinationF5(i32 %2, i32 %3, i32 %4, i32 %5, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%33 = tail call i32 @combinationF5(i32 %0, i32 %1, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%34 = tail call i32 @combinationF5(i32 %2, i32 %3, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%35 = tail call i32 @combinationF5(i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9, i32 %10, i32 %11, i32 %12, i32 %13)
%36 = icmp sgt i32 %15, 0
%37 = select i1 %36, i32 %15, i32 0
%38 = icmp sgt i32 %16, %37
%39 = select i1 %38, i32 %16, i32 %37
%40 = icmp sgt i32 %17, %39
%41 = select i1 %40, i32 %17, i32 %39
%42 = icmp sgt i32 %18, %41
%43 = select i1 %42, i32 %18, i32 %41
%44 = icmp sgt i32 %19, %43
%45 = select i1 %44, i32 %19, i32 %43
%46 = icmp sgt i32 %20, %45
%47 = select i1 %46, i32 %20, i32 %45
%48 = icmp sgt i32 %21, %47
%49 = select i1 %48, i32 %21, i32 %47
%50 = icmp sgt i32 %22, %49
%51 = select i1 %50, i32 %22, i32 %49
%52 = icmp sgt i32 %23, %51
%53 = select i1 %52, i32 %23, i32 %51
%54 = icmp sgt i32 %24, %53
%55 = select i1 %54, i32 %24, i32 %53
%56 = icmp sgt i32 %25, %55
%57 = select i1 %56, i32 %25, i32 %55
%58 = icmp sgt i32 %26, %57
%59 = select i1 %58, i32 %26, i32 %57
%60 = icmp sgt i32 %27, %59
%61 = select i1 %60, i32 %27, i32 %59
%62 = icmp sgt i32 %28, %61
%63 = select i1 %62, i32 %28, i32 %61
%64 = icmp sgt i32 %29, %63
%65 = select i1 %64, i32 %29, i32 %63
%66 = icmp sgt i32 %30, %65
%67 = select i1 %66, i32 %30, i32 %65
%68 = icmp sgt i32 %31, %67
%69 = select i1 %68, i32 %31, i32 %67
%70 = icmp sgt i32 %32, %69
%71 = select i1 %70, i32 %32, i32 %69
%72 = icmp sgt i32 %33, %71
%73 = select i1 %72, i32 %33, i32 %71
%74 = icmp sgt i32 %34, %73
%75 = select i1 %74, i32 %34, i32 %73
%76 = icmp sgt i32 %35, %75
%77 = select i1 %76, i32 %35, i32 %75
ret i32 %77
}