int fin42o(int grid1[6][7], int move, int fin, int row, int col, int fut,
           int *r) {
  int f, c, x, y, i, j;
  int grid[6][7], i1, j1, moveo;
  moveo = -move;
  for (i1 = 0; i1 < 6; i1++)
    for (j1 = 0; j1 < 7; j1++) {
      grid[i1][j1] = grid1[i1][j1];
    }
  if (col != -1)
    grid[row][col] = moveo;
  for (i = 0; i < 7; i++) {
    for (j = 0; j < 6; j++) {
      if (grid[j][i] == 0) {
        if (j >= 3)
          if ((grid[j - 1][i] == move) && (grid[j - 2][i] == move) &&
              (grid[j - 3][i] == move))
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
            }
        if (i >= 3)
          if ((grid[j][i - 1] == move) && (grid[j][i - 2] == move) &&
              (grid[j][i - 3] == move))
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
            }
        if (i >= 2 && i <= 5)
          if ((grid[j][i - 1] == move) && (grid[j][i - 2] == move) &&
              (grid[j][i + 1] == move))
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
            }
        if (i >= 1 && i <= 4)
          if ((grid[j][i - 1] == move) && (grid[j][i + 1] == move) &&
              (grid[j][i + 2] == move))
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
            }
        if (i <= 3)
          if ((grid[j][i + 1] == move) && (grid[j][i + 2] == move) &&
              (grid[j][i + 3] == move))
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
            }
        for (x = j - 1, y = i - 1, c = 0, f = 1; x >= 0 && y >= 0 && f == 1;
             x = x - 1, y = y - 1) {
          if (grid[x][y] != move)
            f = 0;
          else
            c++;
          if (c == 3)
            if (fin) {
              *r = j;
              return i;
            } else {
              fin = 2;
              grid[j][i] = -move;
              break;
            }
        }
        if (c != 3)
          for (x = j + 1, y = i + 1, 1; x <= 5 && y <= 6 && f == 1;
               x = x + 1, y = y + 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3)
              if (fin) {
                *r = j;
                return i;
              } else {
                fin = 2;
                grid[j][i] = -move;
                break;
              }
          }
        if (fin != 2) {
          for (x = j + 1, y = i - 1, c = 0, f = 1; x <= 5 && y >= 0 && f == 1;
               x = x + 1, y = y - 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3)
              if (fin) {
                *r = j;
                return i;
              } else {
                fin = 2;
                grid[j][i] = -move;
                break;
              }
          }
          if (c != 3)
            for (x = j - 1, y = i + 1, f = 1; x >= 0 && y <= 6 && f == 1;
                 x = x - 1, y = y + 1) {
              if (grid[x][y] != move)
                f = 0;
              else
                c++;
              if (c == 3)
                if (fin) {
                  *r = j;
                  return i;
                } else {
                  fin = 2;
                  grid[j][i] = -move;
                  break;
                }
            }
        }
        if (!fut)
          break;
      }
    }
  }
  if (fin == 2) {
    for (i = 0; i < 7; i++) {
      for (j = 0; j < 6; j++) {
        if (grid[j][i] == 0) {
          if (j >= 3)
            if ((grid[j - 1][i] == move) && (grid[j - 2][i] == move) &&
                (grid[j - 3][i] == move)) {
              *r = j;
              return i;
            }
          if (i >= 3)
            if ((grid[j][i - 1] == move) && (grid[j][i - 2] == move) &&
                (grid[j][i - 3] == move)) {
              *r = j;
              return i;
            }
          if (i >= 2 && i <= 5)
            if ((grid[j][i - 1] == move) && (grid[j][i - 2] == move) &&
                (grid[j][i + 1] == move)) {
              *r = j;
              return i;
            }
          if (i >= 1 && i <= 4)
            if ((grid[j][i - 1] == move) && (grid[j][i + 1] == move) &&
                (grid[j][i + 2] == move)) {
              *r = j;
              return i;
            }
          if (i <= 3)
            if ((grid[j][i + 1] == move) && (grid[j][i + 2] == move) &&
                (grid[j][i + 3] == move)) {
              *r = j;
              return i;
            }
          for (x = j - 1, y = i - 1, c = 0, f = 1; x >= 0 && y >= 0 && f == 1;
               x = x - 1, y = y - 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3) {
              *r = j;
              return i;
            }
          }
          for (x = j + 1, y = i + 1, f = 1; x <= 5 && y <= 6 && f == 1;
               x = x + 1, y = y + 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3) {
              *r = j;
              return i;
            }
          }
          for (x = j + 1, y = i - 1, c = 0, f = 1; x <= 5 && y >= 0 && f == 1;
               x = x + 1, y = y - 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3) {
              *r = j;
              return i;
            }
          }
          for (x = j - 1, y = i + 1, f = 1; x >= 0 && y <= 6 && f == 1;
               x = x - 1, y = y + 1) {
            if (grid[x][y] != move)
              f = 0;
            else
              c++;
            if (c == 3) {
              *r = j;
              return i;
            }
          }
          if (!fut)
            break;
        }
      }
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<fin42o>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
xor    %eax,%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0xfc(%rbp)
movl   $0x0,-0xf4(%rbp)
cmpl   $0x6,-0xf4(%rbp)
jge    11c5 <fin42o+0xc5>
movl   $0x0,-0xf8(%rbp)
cmpl   $0x7,-0xf8(%rbp)
jge    11ac <fin42o+0xac>
mov    -0x10(%rbp),%rax
movslq -0xf4(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0xf8(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0xf4(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0xf8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xf8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf8(%rbp)
jmp    1150 <fin42o+0x50>
jmp    11b1 <fin42o+0xb1>
mov    -0xf4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xf4(%rbp)
jmp    1139 <fin42o+0x39>
cmpl   $0xffffffff,-0x20(%rbp)
je     11ee <fin42o+0xee>
mov    -0xfc(%rbp),%edx
movslq -0x1c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x38(%rbp)
cmpl   $0x7,-0x38(%rbp)
jge    1ab6 <fin42o+0x9b6>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x6,-0x3c(%rbp)
jge    1aa3 <fin42o+0x9a3>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1a90 <fin42o+0x990>
cmpl   $0x3,-0x3c(%rbp)
jl     12fc <fin42o+0x1fc>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    12f7 <fin42o+0x1f7>
mov    -0x3c(%rbp),%eax
sub    $0x2,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    12f7 <fin42o+0x1f7>
mov    -0x3c(%rbp),%eax
sub    $0x3,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    12f7 <fin42o+0x1f7>
cmpl   $0x0,-0x18(%rbp)
je     12cd <fin42o+0x1cd>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f7 <fin42o+0x1f7>
jmp    12fc <fin42o+0x1fc>
cmpl   $0x3,-0x38(%rbp)
jl     13c8 <fin42o+0x2c8>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    13c3 <fin42o+0x2c3>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    13c3 <fin42o+0x2c3>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    13c3 <fin42o+0x2c3>
cmpl   $0x0,-0x18(%rbp)
je     1399 <fin42o+0x299>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13c3 <fin42o+0x2c3>
jmp    13c8 <fin42o+0x2c8>
cmpl   $0x2,-0x38(%rbp)
jl     149e <fin42o+0x39e>
cmpl   $0x5,-0x38(%rbp)
jg     149e <fin42o+0x39e>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1499 <fin42o+0x399>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1499 <fin42o+0x399>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1499 <fin42o+0x399>
cmpl   $0x0,-0x18(%rbp)
je     146f <fin42o+0x36f>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1499 <fin42o+0x399>
jmp    149e <fin42o+0x39e>
cmpl   $0x1,-0x38(%rbp)
jl     1574 <fin42o+0x474>
cmpl   $0x4,-0x38(%rbp)
jg     1574 <fin42o+0x474>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    156f <fin42o+0x46f>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    156f <fin42o+0x46f>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    156f <fin42o+0x46f>
cmpl   $0x0,-0x18(%rbp)
je     1545 <fin42o+0x445>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    156f <fin42o+0x46f>
jmp    1574 <fin42o+0x474>
cmpl   $0x3,-0x38(%rbp)
jg     1640 <fin42o+0x540>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    163b <fin42o+0x53b>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    163b <fin42o+0x53b>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    163b <fin42o+0x53b>
cmpl   $0x0,-0x18(%rbp)
je     1611 <fin42o+0x511>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    163b <fin42o+0x53b>
jmp    1640 <fin42o+0x540>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0xfd(%rbp)
jl     1691 <fin42o+0x591>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0xfd(%rbp)
jl     1691 <fin42o+0x591>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0xfd(%rbp)
mov    -0xfd(%rbp),%al
test   $0x1,%al
jne    16a4 <fin42o+0x5a4>
jmp    1749 <fin42o+0x649>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     16d2 <fin42o+0x5d2>
movl   $0x0,-0x28(%rbp)
jmp    16db <fin42o+0x5db>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    172d <fin42o+0x62d>
cmpl   $0x0,-0x18(%rbp)
je     1703 <fin42o+0x603>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1749 <fin42o+0x649>
jmp    1732 <fin42o+0x632>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1660 <fin42o+0x560>
cmpl   $0x3,-0x2c(%rbp)
je     1853 <fin42o+0x753>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
xor    %eax,%eax
cmpl   $0x5,-0x30(%rbp)
mov    %al,-0xfe(%rbp)
jg     1796 <fin42o+0x696>
xor    %eax,%eax
cmpl   $0x6,-0x34(%rbp)
mov    %al,-0xfe(%rbp)
jg     1796 <fin42o+0x696>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0xfe(%rbp)
mov    -0xfe(%rbp),%al
test   $0x1,%al
jne    17a9 <fin42o+0x6a9>
jmp    184e <fin42o+0x74e>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     17d7 <fin42o+0x6d7>
movl   $0x0,-0x28(%rbp)
jmp    17e0 <fin42o+0x6e0>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    1832 <fin42o+0x732>
cmpl   $0x0,-0x18(%rbp)
je     1808 <fin42o+0x708>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    184e <fin42o+0x74e>
jmp    1837 <fin42o+0x737>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1765 <fin42o+0x665>
jmp    1853 <fin42o+0x753>
cmpl   $0x2,-0x18(%rbp)
je     1a7c <fin42o+0x97c>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x5,-0x30(%rbp)
mov    %al,-0xff(%rbp)
jg     18ae <fin42o+0x7ae>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0xff(%rbp)
jl     18ae <fin42o+0x7ae>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0xff(%rbp)
mov    -0xff(%rbp),%al
test   $0x1,%al
jne    18c1 <fin42o+0x7c1>
jmp    1966 <fin42o+0x866>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     18ef <fin42o+0x7ef>
movl   $0x0,-0x28(%rbp)
jmp    18f8 <fin42o+0x7f8>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    194a <fin42o+0x84a>
cmpl   $0x0,-0x18(%rbp)
je     1920 <fin42o+0x820>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1966 <fin42o+0x866>
jmp    194f <fin42o+0x84f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    187d <fin42o+0x77d>
cmpl   $0x3,-0x2c(%rbp)
je     1a77 <fin42o+0x977>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x100(%rbp)
jl     19ba <fin42o+0x8ba>
xor    %eax,%eax
cmpl   $0x6,-0x34(%rbp)
mov    %al,-0x100(%rbp)
jg     19ba <fin42o+0x8ba>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x100(%rbp)
mov    -0x100(%rbp),%al
test   $0x1,%al
jne    19cd <fin42o+0x8cd>
jmp    1a72 <fin42o+0x972>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     19fb <fin42o+0x8fb>
movl   $0x0,-0x28(%rbp)
jmp    1a04 <fin42o+0x904>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    1a56 <fin42o+0x956>
cmpl   $0x0,-0x18(%rbp)
je     1a2c <fin42o+0x92c>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
movl   $0x2,-0x18(%rbp)
xor    %edx,%edx
sub    -0x14(%rbp),%edx
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1a72 <fin42o+0x972>
jmp    1a5b <fin42o+0x95b>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1989 <fin42o+0x889>
jmp    1a77 <fin42o+0x977>
jmp    1a7c <fin42o+0x97c>
cmpl   $0x0,-0x24(%rbp)
jne    1a8b <fin42o+0x98b>
jmp    1aa3 <fin42o+0x9a3>
jmp    1a90 <fin42o+0x990>
jmp    1a95 <fin42o+0x995>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1206 <fin42o+0x106>
jmp    1aa8 <fin42o+0x9a8>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11f5 <fin42o+0xf5>
cmpl   $0x2,-0x18(%rbp)
jne    2193 <fin42o+0x1093>
movl   $0x0,-0x38(%rbp)
cmpl   $0x7,-0x38(%rbp)
jge    218e <fin42o+0x108e>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x6,-0x3c(%rbp)
jge    217b <fin42o+0x107b>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    2168 <fin42o+0x1068>
cmpl   $0x3,-0x3c(%rbp)
jl     1b9a <fin42o+0xa9a>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1b95 <fin42o+0xa95>
mov    -0x3c(%rbp),%eax
sub    $0x2,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1b95 <fin42o+0xa95>
mov    -0x3c(%rbp),%eax
sub    $0x3,%eax
movslq %eax,%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1b95 <fin42o+0xa95>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1b9a <fin42o+0xa9a>
cmpl   $0x3,-0x38(%rbp)
jl     1c32 <fin42o+0xb32>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1c2d <fin42o+0xb2d>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1c2d <fin42o+0xb2d>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1c2d <fin42o+0xb2d>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1c32 <fin42o+0xb32>
cmpl   $0x2,-0x38(%rbp)
jl     1cd4 <fin42o+0xbd4>
cmpl   $0x5,-0x38(%rbp)
jg     1cd4 <fin42o+0xbd4>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1ccf <fin42o+0xbcf>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1ccf <fin42o+0xbcf>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1ccf <fin42o+0xbcf>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1cd4 <fin42o+0xbd4>
cmpl   $0x1,-0x38(%rbp)
jl     1d76 <fin42o+0xc76>
cmpl   $0x4,-0x38(%rbp)
jg     1d76 <fin42o+0xc76>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1d71 <fin42o+0xc71>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1d71 <fin42o+0xc71>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1d71 <fin42o+0xc71>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1d76 <fin42o+0xc76>
cmpl   $0x3,-0x38(%rbp)
jg     1e0e <fin42o+0xd0e>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1e09 <fin42o+0xd09>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1e09 <fin42o+0xd09>
movslq -0x3c(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    1e09 <fin42o+0xd09>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1e0e <fin42o+0xd0e>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x101(%rbp)
jl     1e5f <fin42o+0xd5f>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x101(%rbp)
jl     1e5f <fin42o+0xd5f>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x101(%rbp)
mov    -0x101(%rbp),%al
test   $0x1,%al
jne    1e72 <fin42o+0xd72>
jmp    1ee3 <fin42o+0xde3>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     1ea0 <fin42o+0xda0>
movl   $0x0,-0x28(%rbp)
jmp    1ea9 <fin42o+0xda9>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    1ec7 <fin42o+0xdc7>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1ecc <fin42o+0xdcc>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1e2e <fin42o+0xd2e>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x5,-0x30(%rbp)
mov    %al,-0x102(%rbp)
jg     1f2d <fin42o+0xe2d>
xor    %eax,%eax
cmpl   $0x6,-0x34(%rbp)
mov    %al,-0x102(%rbp)
jg     1f2d <fin42o+0xe2d>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x102(%rbp)
mov    -0x102(%rbp),%al
test   $0x1,%al
jne    1f40 <fin42o+0xe40>
jmp    1fb1 <fin42o+0xeb1>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     1f6e <fin42o+0xe6e>
movl   $0x0,-0x28(%rbp)
jmp    1f77 <fin42o+0xe77>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    1f95 <fin42o+0xe95>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    1f9a <fin42o+0xe9a>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1efc <fin42o+0xdfc>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x5,-0x30(%rbp)
mov    %al,-0x103(%rbp)
jg     2002 <fin42o+0xf02>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x103(%rbp)
jl     2002 <fin42o+0xf02>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x103(%rbp)
mov    -0x103(%rbp),%al
test   $0x1,%al
jne    2015 <fin42o+0xf15>
jmp    2086 <fin42o+0xf86>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     2043 <fin42o+0xf43>
movl   $0x0,-0x28(%rbp)
jmp    204c <fin42o+0xf4c>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    206a <fin42o+0xf6a>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    206f <fin42o+0xf6f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1fd1 <fin42o+0xed1>
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x104(%rbp)
jl     20d0 <fin42o+0xfd0>
xor    %eax,%eax
cmpl   $0x6,-0x34(%rbp)
mov    %al,-0x104(%rbp)
jg     20d0 <fin42o+0xfd0>
cmpl   $0x1,-0x28(%rbp)
sete   %al
mov    %al,-0x104(%rbp)
mov    -0x104(%rbp),%al
test   $0x1,%al
jne    20e3 <fin42o+0xfe3>
jmp    2154 <fin42o+0x1054>
movslq -0x30(%rbp),%rcx
lea    -0xf0(%rbp),%rax
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
je     2111 <fin42o+0x1011>
movl   $0x0,-0x28(%rbp)
jmp    211a <fin42o+0x101a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jne    2138 <fin42o+0x1038>
mov    -0x3c(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    219a <fin42o+0x109a>
jmp    213d <fin42o+0x103d>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    209f <fin42o+0xf9f>
cmpl   $0x0,-0x24(%rbp)
jne    2163 <fin42o+0x1063>
jmp    217b <fin42o+0x107b>
jmp    2168 <fin42o+0x1068>
jmp    216d <fin42o+0x106d>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1ad8 <fin42o+0x9d8>
jmp    2180 <fin42o+0x1080>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1ac7 <fin42o+0x9c7>
jmp    2193 <fin42o+0x1093>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fin42o>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x118,%rsp
mov    %r9d,0x4c(%rsp)
mov    %r8d,%r15d
mov    %ecx,%r12d
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%rsi
lea    0x70(%rsp),%rdi
mov    $0xa8,%edx
call   1030 <memcpy@plt>
mov    %ebp,%esi
neg    %esi
cmp    $0xffffffff,%r15d
je     1168 <fin42o+0x58>
movslq %r12d,%rax
movslq %r15d,%rcx
lea    (%rax,%rax,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rax,%rdx
lea    (%rsp,%rdx,1),%rax
add    $0x70,%rax
mov    %esi,(%rax,%rcx,4)
mov    %esi,0x8(%rsp)
mov    $0xfffffffd,%edx
xor    %r9d,%r9d
jmp    118a <fin42o+0x7a>
cs nopw 0x0(%rax,%rax,1)
cmp    $0x7,%r9
je     1807 <fin42o+0x6f7>
mov    %r9,%r8
lea    -0x1(%r9),%r15d
lea    -0x2(%r9),%eax
mov    %rax,(%rsp)
lea    (%rdx,%r9,1),%eax
mov    %rax,0x60(%rsp)
add    $0x1,%r9
lea    0x2(%r8),%rax
mov    %rax,0x10(%rsp)
lea    0x3(%r8),%rax
mov    %rax,0x30(%rsp)
lea    0x4(%r8),%rax
mov    %rax,0x20(%rsp)
lea    0x5(%r8),%rax
mov    %rax,0x50(%rsp)
lea    -0x3(%r8),%eax
mov    %rax,0x28(%rsp)
lea    -0x4(%r8),%eax
mov    %rax,0x18(%rsp)
lea    -0x2(%rdx,%r8,1),%eax
mov    %rax,0x58(%rsp)
lea    0x6(%r8),%rax
mov    %rax,0x68(%rsp)
xor    %esi,%esi
mov    %ebx,%r13d
mov    %r9,0x38(%rsp)
jmp    1211 <fin42o+0x101>
nopl   0x0(%rax,%rax,1)
mov    %r13d,%ebx
add    $0x1,%rsi
cmp    $0x6,%rsi
je     1180 <fin42o+0x70>
lea    (%rsi,%rsi,8),%rdi
lea    (%rdi,%rdi,2),%rdi
add    %rsi,%rdi
lea    (%rsp,%rdi,1),%r12
add    $0x70,%r12
cmpl   $0x0,(%r12,%r8,4)
jne    1200 <fin42o+0xf0>
lea    (%r12,%r8,4),%rcx
cmp    $0x3,%rsi
jb     12b0 <fin42o+0x1a0>
lea    (%rdx,%rsi,1),%edi
add    $0x2,%edi
lea    (%rdi,%rdi,8),%rbx
lea    (%rbx,%rbx,2),%rbx
add    %rdi,%rbx
lea    (%rsp,%rbx,1),%rdi
add    $0x70,%rdi
cmp    %ebp,(%rdi,%r8,4)
jne    12b0 <fin42o+0x1a0>
lea    (%rdx,%rsi,1),%edi
add    $0x1,%edi
lea    (%rdi,%rdi,8),%rbx
lea    (%rbx,%rbx,2),%rbx
add    %rdi,%rbx
lea    (%rsp,%rbx,1),%rdi
add    $0x70,%rdi
cmp    %ebp,(%rdi,%r8,4)
jne    12b0 <fin42o+0x1a0>
lea    (%rsi,%rdx,1),%edi
lea    (%rdi,%rdi,8),%rbx
lea    (%rbx,%rbx,2),%rbx
add    %rdi,%rbx
lea    (%rsp,%rbx,1),%rdi
add    $0x70,%rdi
cmp    %ebp,(%rdi,%r8,4)
jne    12b0 <fin42o+0x1a0>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
mov    0x8(%rsp),%eax
mov    %eax,(%rcx)
mov    $0x2,%r13d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    $0x3,%r8
jb     12f0 <fin42o+0x1e0>
cmp    %ebp,(%r12,%r15,4)
jne    12f0 <fin42o+0x1e0>
mov    (%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    12f0 <fin42o+0x1e0>
mov    0x60(%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    12f0 <fin42o+0x1e0>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
mov    0x8(%rsp),%eax
mov    %eax,(%rcx)
mov    $0x2,%r13d
cs nopw 0x0(%rax,%rax,1)
cmpl   $0x3,(%rsp)
ja     1330 <fin42o+0x220>
cmp    %ebp,(%r12,%r15,4)
jne    1330 <fin42o+0x220>
mov    (%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    1330 <fin42o+0x220>
cmp    %ebp,(%r12,%r9,4)
jne    1330 <fin42o+0x220>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
mov    0x8(%rsp),%eax
mov    %eax,(%rcx)
mov    $0x2,%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x3,%r15d
ja     1370 <fin42o+0x260>
cmp    %ebp,(%r12,%r15,4)
jne    1370 <fin42o+0x260>
cmp    %ebp,(%r12,%r9,4)
jne    1370 <fin42o+0x260>
mov    0x10(%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    1370 <fin42o+0x260>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
mov    0x8(%rsp),%eax
mov    %eax,(%rcx)
mov    $0x2,%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0x3,%r8
mov    %rcx,0x40(%rsp)
ja     13b0 <fin42o+0x2a0>
cmp    %ebp,(%r12,%r9,4)
jne    13b0 <fin42o+0x2a0>
mov    0x10(%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    13b0 <fin42o+0x2a0>
mov    0x30(%rsp),%rax
cmp    %ebp,(%r12,%rax,4)
jne    13b0 <fin42o+0x2a0>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
mov    0x8(%rsp),%eax
mov    %eax,(%rcx)
mov    $0x2,%r13d
nopl   0x0(%rax)
xor    %ebx,%ebx
mov    %rsi,%r11
mov    $0x1,%r9d
add    $0xffffffffffffffff,%r11
jae    1420 <fin42o+0x310>
test   %r8,%r8
je     1420 <fin42o+0x310>
xor    %ebx,%ebx
mov    %r15d,%edi
mov    %r11d,%r14d
xchg   %ax,%ax
mov    %r14d,%eax
mov    %edi,%ecx
lea    (%rax,%rax,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rax,%rdx
lea    (%rsp,%rdx,1),%rax
add    $0x70,%rax
mov    (%rax,%rcx,4),%r10d
xor    %r9d,%r9d
cmp    %ebp,%r10d
sete   %r9b
add    %r9d,%ebx
cmp    $0x3,%ebx
je     1468 <fin42o+0x358>
cmp    %ebp,%r10d
jne    1420 <fin42o+0x310>
test   %r14d,%r14d
jle    1420 <fin42o+0x310>
add    $0xffffffff,%r14d
lea    -0x1(%rdi),%eax
test   %edi,%edi
mov    %eax,%edi
jg     13d0 <fin42o+0x2c0>
cs nopw 0x0(%rax,%rax,1)
nop
test   %r9d,%r9d
mov    0x38(%rsp),%r9
je     153c <fin42o+0x42c>
cmp    $0x4,%rsi
ja     153c <fin42o+0x42c>
cmp    $0x5,%r8
ja     153c <fin42o+0x42c>
mov    0x1c(%r12,%r9,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
jne    1480 <fin42o+0x370>
test   %r13d,%r13d
mov    $0xfffffffd,%edx
je     1670 <fin42o+0x560>
jmp    1dab <fin42o+0xc9b>
test   %r13d,%r13d
mov    $0xfffffffd,%edx
mov    0x38(%rsp),%r9
je     1670 <fin42o+0x560>
jmp    1dab <fin42o+0xc9b>
cmp    %ebp,%edi
jne    153c <fin42o+0x42c>
cmp    $0x3,%rsi
ja     153c <fin42o+0x42c>
cmp    $0x4,%r8
ja     153c <fin42o+0x42c>
mov    0x10(%rsp),%rax
mov    0x38(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     1455 <fin42o+0x345>
cmp    %ebp,%edi
jne    153c <fin42o+0x42c>
cmp    $0x2,%rsi
ja     153c <fin42o+0x42c>
cmp    $0x3,%r8
ja     153c <fin42o+0x42c>
mov    0x30(%rsp),%rax
mov    0x54(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     1455 <fin42o+0x345>
cmp    %ebp,%edi
jne    153c <fin42o+0x42c>
cmp    $0x1,%rsi
ja     153c <fin42o+0x42c>
cmp    $0x2,%r8
ja     153c <fin42o+0x42c>
mov    0x20(%rsp),%rax
mov    0x70(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     1455 <fin42o+0x345>
cmp    %ebp,%edi
jne    153c <fin42o+0x42c>
test   %rsi,%rsi
jne    153c <fin42o+0x42c>
cmp    $0x1,%r8
ja     153c <fin42o+0x42c>
xor    %eax,%eax
mov    0x50(%rsp),%rcx
cmp    %ebp,0x8c(%r12,%rcx,4)
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     1455 <fin42o+0x345>
mov    $0x2,%ebx
cmp    $0x2,%r13d
mov    $0xfffffffd,%edx
je     1680 <fin42o+0x570>
xor    %ebx,%ebx
cmp    $0x4,%rsi
ja     1621 <fin42o+0x511>
test   %r8,%r8
je     1621 <fin42o+0x511>
xor    %ebx,%ebx
cmp    %ebp,0x1c(%r12,%r15,4)
sete   %bl
jne    1621 <fin42o+0x511>
cmp    $0x3,%rsi
ja     1621 <fin42o+0x511>
test   %r15d,%r15d
jle    1621 <fin42o+0x511>
mov    (%rsp),%rax
mov    0x38(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    1621 <fin42o+0x511>
cmp    $0x2,%rsi
ja     1621 <fin42o+0x511>
cmpl   $0x0,(%rsp)
jle    1621 <fin42o+0x511>
mov    0x28(%rsp),%rax
mov    0x54(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    1621 <fin42o+0x511>
cmp    $0x1,%rsi
ja     1621 <fin42o+0x511>
cmpl   $0x0,0x28(%rsp)
jle    1621 <fin42o+0x511>
mov    0x18(%rsp),%rax
mov    0x70(%r12,%rax,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    1621 <fin42o+0x511>
test   %rsi,%rsi
jne    1621 <fin42o+0x511>
cmpl   $0x0,0x18(%rsp)
jle    1621 <fin42o+0x511>
xor    %eax,%eax
mov    0x58(%rsp),%rcx
cmp    %ebp,0x8c(%r12,%rcx,4)
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
test   %rsi,%rsi
je     17ff <fin42o+0x6ef>
cmp    $0x5,%r8
ja     17ff <fin42o+0x6ef>
mov    %r11d,%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
mov    (%rax,%r9,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
jne    1693 <fin42o+0x583>
test   %r13d,%r13d
jne    1dab <fin42o+0xc9b>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rsp),%eax
mov    0x40(%rsp),%rcx
mov    %eax,(%rcx)
mov    $0x2,%ebx
mov    %ebx,%r13d
cmpl   $0x0,0x4c(%rsp)
jne    1203 <fin42o+0xf3>
jmp    1180 <fin42o+0x70>
cmp    %ebp,%edi
jne    17ff <fin42o+0x6ef>
test   %r11d,%r11d
jle    17ff <fin42o+0x6ef>
cmp    $0x4,%r8
ja     17ff <fin42o+0x6ef>
lea    (%rdx,%rsi,1),%eax
add    $0x1,%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
mov    0x10(%rsp),%rcx
mov    (%rax,%rcx,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    17ff <fin42o+0x6ef>
cmp    $0x2,%r11d
jl     17ff <fin42o+0x6ef>
cmp    $0x3,%r8
ja     17ff <fin42o+0x6ef>
lea    (%rsi,%rdx,1),%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
mov    0x30(%rsp),%rcx
mov    (%rax,%rcx,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    17ff <fin42o+0x6ef>
cmp    $0x3,%r11d
jl     17ff <fin42o+0x6ef>
cmp    $0x2,%r8
ja     17ff <fin42o+0x6ef>
lea    (%rdx,%rsi,1),%eax
add    $0xffffffff,%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
mov    0x20(%rsp),%rcx
mov    (%rax,%rcx,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    17ff <fin42o+0x6ef>
cmp    $0x4,%r11d
jl     17ff <fin42o+0x6ef>
cmp    $0x1,%r8
ja     17ff <fin42o+0x6ef>
lea    (%rdx,%rsi,1),%eax
add    $0xfffffffe,%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
mov    0x50(%rsp),%rcx
mov    (%rax,%rcx,4),%edi
xor    %eax,%eax
cmp    %ebp,%edi
sete   %al
add    %eax,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
cmp    %ebp,%edi
jne    17ff <fin42o+0x6ef>
cmp    $0x5,%r11d
jl     17ff <fin42o+0x6ef>
test   %r8,%r8
jne    17ff <fin42o+0x6ef>
lea    (%rdx,%rsi,1),%eax
add    $0xfffffffd,%eax
lea    (%rax,%rax,8),%rcx
lea    (%rcx,%rcx,2),%rcx
add    %rax,%rcx
lea    (%rsp,%rcx,1),%rax
add    $0x70,%rax
xor    %ecx,%ecx
mov    0x68(%rsp),%rdi
cmp    %ebp,(%rax,%rdi,4)
sete   %cl
add    %ecx,%ebx
cmp    $0x3,%ebx
je     165c <fin42o+0x54c>
mov    %r13d,%ebx
jmp    1680 <fin42o+0x570>
mov    $0xffffffff,%eax
cmp    $0x2,%ebx
jne    1db8 <fin42o+0xca8>
mov    $0x1,%edx
xor    %r15d,%r15d
mov    %r15,%r8
lea    -0x1(%r15),%r14d
lea    -0x2(%r15),%r9d
mov    $0xfffffffd,%ecx
lea    (%rcx,%r15,1),%esi
mov    %rsi,0x30(%rsp)
add    $0x1,%r15
lea    0x2(%r8),%rsi
mov    %rsi,0x38(%rsp)
lea    0x3(%r8),%rsi
mov    %rsi,0x60(%rsp)
lea    0x1(%rdx),%rsi
mov    %rsi,0x40(%rsp)
lea    0x2(%rdx),%rsi
mov    %rsi,0x8(%rsp)
lea    0x3(%rdx),%rsi
mov    %rsi,0x28(%rsp)
lea    0x4(%rdx),%rsi
mov    %rsi,0x18(%rsp)
lea    -0x3(%r8),%esi
mov    %rsi,0x10(%rsp)
lea    -0x4(%r8),%esi
mov    %rsi,0x20(%rsp)
lea    -0x2(%rcx,%r8,1),%ecx
mov    %rcx,0x50(%rsp)
mov    %rdx,%rcx
mov    %rdx,(%rsp)
lea    0x5(%rdx),%rcx
mov    %rcx,0x58(%rsp)
xor    %esi,%esi
jmp    18ac <fin42o+0x79c>
cmp    $0x4,%esi
ja     1d9a <fin42o+0xc8a>
add    $0x1,%esi
mov    %esi,%ecx
lea    (%rcx,%rcx,8),%rdi
lea    (%rdi,%rdi,2),%rdi
add    %rcx,%rdi
lea    (%rsp,%rdi,1),%r12
add    $0x70,%r12
cmpl   $0x0,(%r12,%r8,4)
jne    18a0 <fin42o+0x790>
cmp    $0x3,%esi
jb     1925 <fin42o+0x815>
lea    -0x1(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdi
lea    (%rdi,%rdi,2),%rdi
add    %rcx,%rdi
lea    (%rsp,%rdi,1),%rcx
add    $0x70,%rcx
cmp    %ebp,(%rcx,%r8,4)
jne    1925 <fin42o+0x815>
lea    -0x2(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdi
lea    (%rdi,%rdi,2),%rdi
add    %rcx,%rdi
lea    (%rsp,%rdi,1),%rcx
add    $0x70,%rcx
cmp    %ebp,(%rcx,%r8,4)
jne    1925 <fin42o+0x815>
lea    -0x3(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdi
lea    (%rdi,%rdi,2),%rdi
add    %rcx,%rdi
lea    (%rsp,%rdi,1),%rcx
add    $0x70,%rcx
cmp    %ebp,(%rcx,%r8,4)
je     1dab <fin42o+0xc9b>
cmp    $0x3,%r8
jb     1946 <fin42o+0x836>
cmp    %ebp,(%r12,%r14,4)
jne    1946 <fin42o+0x836>
cmp    %ebp,(%r12,%r9,4)
jne    1946 <fin42o+0x836>
mov    0x30(%rsp),%rcx
cmp    %ebp,(%r12,%rcx,4)
je     1dab <fin42o+0xc9b>
cmp    $0x3,%r9d
ja     1962 <fin42o+0x852>
cmp    %ebp,(%r12,%r14,4)
jne    1962 <fin42o+0x852>
cmp    %ebp,(%r12,%r9,4)
jne    1962 <fin42o+0x852>
cmp    %ebp,(%r12,%r15,4)
je     1dab <fin42o+0xc9b>
cmp    $0x3,%r14d
ja     1983 <fin42o+0x873>
cmp    %ebp,(%r12,%r14,4)
jne    1983 <fin42o+0x873>
cmp    %ebp,(%r12,%r15,4)
jne    1983 <fin42o+0x873>
mov    0x38(%rsp),%rcx
cmp    %ebp,(%r12,%rcx,4)
je     1dab <fin42o+0xc9b>
cmp    $0x3,%r8
ja     19a9 <fin42o+0x899>
cmp    %ebp,(%r12,%r15,4)
jne    19a9 <fin42o+0x899>
mov    0x38(%rsp),%rcx
cmp    %ebp,(%r12,%rcx,4)
jne    19a9 <fin42o+0x899>
mov    0x60(%rsp),%rcx
cmp    %ebp,(%r12,%rcx,4)
je     1dab <fin42o+0xc9b>
xor    %ebx,%ebx
mov    %esi,%r11d
add    $0xffffffff,%r11d
jae    1a17 <fin42o+0x907>
test   %r8,%r8
je     1a17 <fin42o+0x907>
xor    %ebx,%ebx
mov    %r14d,%r13d
mov    %r11d,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebx,%r10d
mov    %ecx,%edi
mov    %r13d,%ebx
lea    (%rdi,%rdi,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rdi,%rdx
add    %rsp,%rdx
add    $0x70,%rdx
mov    (%rdx,%rbx,4),%edi
xor    %ebx,%ebx
cmp    %ebp,%edi
sete   %bl
add    %r10d,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
cmp    %ebp,%edi
jne    1a17 <fin42o+0x907>
test   %ecx,%ecx
jle    1a17 <fin42o+0x907>
add    $0xffffffff,%ecx
lea    -0x1(%r13),%edx
test   %r13d,%r13d
mov    %edx,%r13d
jg     19d0 <fin42o+0x8c0>
cmp    $0x4,%esi
ja     1b05 <fin42o+0x9f5>
cmp    $0x6,%r8
jae    1b05 <fin42o+0x9f5>
mov    (%rsp),%rcx
mov    0x1c(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1b05 <fin42o+0x9f5>
cmp    $0x3,%esi
ja     1b05 <fin42o+0x9f5>
cmpq   $0x5,(%rsp)
ja     1b05 <fin42o+0x9f5>
mov    0x40(%rsp),%rcx
mov    0x38(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1b05 <fin42o+0x9f5>
cmp    $0x2,%esi
ja     1b05 <fin42o+0x9f5>
cmpq   $0x4,(%rsp)
ja     1b05 <fin42o+0x9f5>
mov    0x8(%rsp),%rcx
mov    0x54(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1b05 <fin42o+0x9f5>
cmp    $0x1,%esi
ja     1b05 <fin42o+0x9f5>
cmpq   $0x3,(%rsp)
ja     1b05 <fin42o+0x9f5>
mov    0x28(%rsp),%rcx
mov    0x70(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1b05 <fin42o+0x9f5>
test   %esi,%esi
jne    1b05 <fin42o+0x9f5>
cmpq   $0x2,(%rsp)
ja     1b05 <fin42o+0x9f5>
xor    %ecx,%ecx
mov    0x18(%rsp),%rdx
cmp    %ebp,0x8c(%r12,%rdx,4)
sete   %cl
add    %ecx,%ebx
cmp    $0x3,%ebx
je     1dab <fin42o+0xc9b>
xor    %r13d,%r13d
cmp    $0x4,%esi
ja     1be3 <fin42o+0xad3>
test   %r8,%r8
je     1be3 <fin42o+0xad3>
xor    %r13d,%r13d
cmp    %ebp,0x1c(%r12,%r14,4)
sete   %r13b
jne    1be3 <fin42o+0xad3>
cmp    $0x3,%esi
ja     1be3 <fin42o+0xad3>
test   %r14d,%r14d
jle    1be3 <fin42o+0xad3>
mov    0x38(%r12,%r9,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1be3 <fin42o+0xad3>
cmp    $0x2,%esi
ja     1be3 <fin42o+0xad3>
test   %r9d,%r9d
jle    1be3 <fin42o+0xad3>
mov    0x10(%rsp),%rcx
mov    0x54(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1be3 <fin42o+0xad3>
cmp    $0x1,%esi
ja     1be3 <fin42o+0xad3>
cmpl   $0x0,0x10(%rsp)
jle    1be3 <fin42o+0xad3>
mov    0x20(%rsp),%rcx
mov    0x70(%r12,%rcx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1be3 <fin42o+0xad3>
test   %esi,%esi
jne    1be3 <fin42o+0xad3>
cmpl   $0x0,0x20(%rsp)
jle    1be3 <fin42o+0xad3>
xor    %ecx,%ecx
mov    0x50(%rsp),%rdx
cmp    %ebp,0x8c(%r12,%rdx,4)
sete   %cl
add    %ecx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
test   %esi,%esi
je     1d8a <fin42o+0xc7a>
cmp    $0x6,%r8
jae    1d8a <fin42o+0xc7a>
mov    %r11d,%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
mov    (%rsp),%rdx
mov    (%rcx,%rdx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1d8a <fin42o+0xc7a>
cmp    $0x2,%esi
jb     1d8a <fin42o+0xc7a>
cmpq   $0x5,(%rsp)
ja     1d8a <fin42o+0xc7a>
lea    -0x2(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
mov    0x40(%rsp),%rdx
mov    (%rcx,%rdx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1d8a <fin42o+0xc7a>
cmp    $0x3,%esi
jb     1d8a <fin42o+0xc7a>
cmpq   $0x4,(%rsp)
ja     1d8a <fin42o+0xc7a>
lea    -0x3(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
mov    0x8(%rsp),%rdx
mov    (%rcx,%rdx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1d8a <fin42o+0xc7a>
cmp    $0x4,%esi
jb     1d8a <fin42o+0xc7a>
cmpq   $0x3,(%rsp)
ja     1d8a <fin42o+0xc7a>
lea    -0x4(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
mov    0x28(%rsp),%rdx
mov    (%rcx,%rdx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1d8a <fin42o+0xc7a>
cmp    $0x5,%esi
jb     1d8a <fin42o+0xc7a>
cmpq   $0x2,(%rsp)
ja     1d8a <fin42o+0xc7a>
lea    -0x5(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
mov    0x18(%rsp),%rdx
mov    (%rcx,%rdx,4),%ecx
xor    %edx,%edx
cmp    %ebp,%ecx
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmp    %ebp,%ecx
jne    1d8a <fin42o+0xc7a>
cmp    $0x6,%esi
jb     1d8a <fin42o+0xc7a>
cmpq   $0x1,(%rsp)
ja     1d8a <fin42o+0xc7a>
lea    -0x6(%rsi),%ecx
lea    (%rcx,%rcx,8),%rdx
lea    (%rdx,%rdx,2),%rdx
add    %rcx,%rdx
lea    (%rsp,%rdx,1),%rcx
add    $0x70,%rcx
xor    %edx,%edx
mov    0x58(%rsp),%rdi
cmp    %ebp,(%rcx,%rdi,4)
sete   %dl
add    %edx,%r13d
cmp    $0x3,%r13d
je     1dab <fin42o+0xc9b>
cmpl   $0x0,0x4c(%rsp)
je     1d9a <fin42o+0xc8a>
cmp    $0x5,%esi
jb     18a9 <fin42o+0x799>
cmp    $0x7,%r15
mov    0x40(%rsp),%rdx
jne    181d <fin42o+0x70d>
jmp    1db8 <fin42o+0xca8>
mov    0x150(%rsp),%rax
mov    %esi,(%rax)
mov    %r8d,%eax
add    $0x118,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @fin42o([7 x i32]* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32* %6) {
%8 = alloca i32
%9 = alloca [7 x i32]*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca [6 x [7 x i32]]
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
store [7 x i32]* %0, [7 x i32]** %9
store i32 %1, i32* %10
store i32 %2, i32* %11
store i32 %3, i32* %12
store i32 %4, i32* %13
store i32 %5, i32* %14
store i32* %6, i32** %15
%26 = load i32, i32* %10
%27 = sub nsw i32 0, %26
store i32 %27, i32* %25
store i32 0, i32* %23
br label %28
28: ; preds = %54, %7
%29 = load i32, i32* %23
%30 = icmp slt i32 %29, 6
br i1 %30, label %31, label %57
31: ; preds = %28
store i32 0, i32* %24
br label %32
32: ; preds = %50, %31
%33 = load i32, i32* %24
%34 = icmp slt i32 %33, 7
br i1 %34, label %35, label %53
35: ; preds = %32
%36 = load [7 x i32]*, [7 x i32]** %9
%37 = load i32, i32* %23
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [7 x i32], [7 x i32]* %36, i64 %38
%40 = load i32, i32* %24
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [7 x i32], [7 x i32]* %39, i64 0, i64 %41
%43 = load i32, i32* %42
%44 = load i32, i32* %23
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %45
%47 = load i32, i32* %24
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [7 x i32], [7 x i32]* %46, i64 0, i64 %48
store i32 %43, i32* %49
br label %50
50: ; preds = %35
%51 = load i32, i32* %24
%52 = add nsw i32 %51, 1
store i32 %52, i32* %24
br label %32
53: ; preds = %32
br label %54
54: ; preds = %53
%55 = load i32, i32* %23
%56 = add nsw i32 %55, 1
store i32 %56, i32* %23
br label %28
57: ; preds = %28
%58 = load i32, i32* %13
%59 = icmp ne i32 %58, -1
br i1 %59, label %60, label %68
60: ; preds = %57
%61 = load i32, i32* %25
%62 = load i32, i32* %12
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %63
%65 = load i32, i32* %13
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds [7 x i32], [7 x i32]* %64, i64 0, i64 %66
store i32 %61, i32* %67
br label %68
68: ; preds = %60, %57
store i32 0, i32* %20
br label %69
69: ; preds = %603, %68
%70 = load i32, i32* %20
%71 = icmp slt i32 %70, 7
br i1 %71, label %72, label %606
72: ; preds = %69
store i32 0, i32* %21
br label %73
73: ; preds = %599, %72
%74 = load i32, i32* %21
%75 = icmp slt i32 %74, 6
br i1 %75, label %76, label %602
76: ; preds = %73
%77 = load i32, i32* %21
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %78
%80 = load i32, i32* %20
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [7 x i32], [7 x i32]* %79, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = icmp eq i32 %83, 0
br i1 %84, label %85, label %598
85: ; preds = %76
%86 = load i32, i32* %21
%87 = icmp sge i32 %86, 3
br i1 %87, label %88, label %139
88: ; preds = %85
%89 = load i32, i32* %21
%90 = sub nsw i32 %89, 1
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %91
%93 = load i32, i32* %20
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [7 x i32], [7 x i32]* %92, i64 0, i64 %94
%96 = load i32, i32* %95
%97 = load i32, i32* %10
%98 = icmp eq i32 %96, %97
br i1 %98, label %99, label %138
99: ; preds = %88
%100 = load i32, i32* %21
%101 = sub nsw i32 %100, 2
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %102
%104 = load i32, i32* %20
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds [7 x i32], [7 x i32]* %103, i64 0, i64 %105
%107 = load i32, i32* %106
%108 = load i32, i32* %10
%109 = icmp eq i32 %107, %108
br i1 %109, label %110, label %138
110: ; preds = %99
%111 = load i32, i32* %21
%112 = sub nsw i32 %111, 3
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %113
%115 = load i32, i32* %20
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds [7 x i32], [7 x i32]* %114, i64 0, i64 %116
%118 = load i32, i32* %117
%119 = load i32, i32* %10
%120 = icmp eq i32 %118, %119
br i1 %120, label %121, label %138
121: ; preds = %110
%122 = load i32, i32* %11
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %128
124: ; preds = %121
%125 = load i32, i32* %21
%126 = load i32*, i32** %15
store i32 %125, i32* %126
%127 = load i32, i32* %20
store i32 %127, i32* %8
br label %1024
128: ; preds = %121
store i32 2, i32* %11
%129 = load i32, i32* %10
%130 = sub nsw i32 0, %129
%131 = load i32, i32* %21
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %132
%134 = load i32, i32* %20
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds [7 x i32], [7 x i32]* %133, i64 0, i64 %135
store i32 %130, i32* %136
br label %137
137: ; preds = %128
br label %138
138: ; preds = %137, %110, %99, %88
br label %139
139: ; preds = %138, %85
%140 = load i32, i32* %20
%141 = icmp sge i32 %140, 3
br i1 %141, label %142, label %193
142: ; preds = %139
%143 = load i32, i32* %21
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %144
%146 = load i32, i32* %20
%147 = sub nsw i32 %146, 1
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds [7 x i32], [7 x i32]* %145, i64 0, i64 %148
%150 = load i32, i32* %149
%151 = load i32, i32* %10
%152 = icmp eq i32 %150, %151
br i1 %152, label %153, label %192
153: ; preds = %142
%154 = load i32, i32* %21
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %155
%157 = load i32, i32* %20
%158 = sub nsw i32 %157, 2
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds [7 x i32], [7 x i32]* %156, i64 0, i64 %159
%161 = load i32, i32* %160
%162 = load i32, i32* %10
%163 = icmp eq i32 %161, %162
br i1 %163, label %164, label %192
164: ; preds = %153
%165 = load i32, i32* %21
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %166
%168 = load i32, i32* %20
%169 = sub nsw i32 %168, 3
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds [7 x i32], [7 x i32]* %167, i64 0, i64 %170
%172 = load i32, i32* %171
%173 = load i32, i32* %10
%174 = icmp eq i32 %172, %173
br i1 %174, label %175, label %192
175: ; preds = %164
%176 = load i32, i32* %11
%177 = icmp ne i32 %176, 0
br i1 %177, label %178, label %182
178: ; preds = %175
%179 = load i32, i32* %21
%180 = load i32*, i32** %15
store i32 %179, i32* %180
%181 = load i32, i32* %20
store i32 %181, i32* %8
br label %1024
182: ; preds = %175
store i32 2, i32* %11
%183 = load i32, i32* %10
%184 = sub nsw i32 0, %183
%185 = load i32, i32* %21
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %186
%188 = load i32, i32* %20
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds [7 x i32], [7 x i32]* %187, i64 0, i64 %189
store i32 %184, i32* %190
br label %191
191: ; preds = %182
br label %192
192: ; preds = %191, %164, %153, %142
br label %193
193: ; preds = %192, %139
%194 = load i32, i32* %20
%195 = icmp sge i32 %194, 2
br i1 %195, label %196, label %250
196: ; preds = %193
%197 = load i32, i32* %20
%198 = icmp sle i32 %197, 5
br i1 %198, label %199, label %250
199: ; preds = %196
%200 = load i32, i32* %21
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %201
%203 = load i32, i32* %20
%204 = sub nsw i32 %203, 1
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds [7 x i32], [7 x i32]* %202, i64 0, i64 %205
%207 = load i32, i32* %206
%208 = load i32, i32* %10
%209 = icmp eq i32 %207, %208
br i1 %209, label %210, label %249
210: ; preds = %199
%211 = load i32, i32* %21
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %212
%214 = load i32, i32* %20
%215 = sub nsw i32 %214, 2
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds [7 x i32], [7 x i32]* %213, i64 0, i64 %216
%218 = load i32, i32* %217
%219 = load i32, i32* %10
%220 = icmp eq i32 %218, %219
br i1 %220, label %221, label %249
221: ; preds = %210
%222 = load i32, i32* %21
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %223
%225 = load i32, i32* %20
%226 = add nsw i32 %225, 1
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds [7 x i32], [7 x i32]* %224, i64 0, i64 %227
%229 = load i32, i32* %228
%230 = load i32, i32* %10
%231 = icmp eq i32 %229, %230
br i1 %231, label %232, label %249
232: ; preds = %221
%233 = load i32, i32* %11
%234 = icmp ne i32 %233, 0
br i1 %234, label %235, label %239
235: ; preds = %232
%236 = load i32, i32* %21
%237 = load i32*, i32** %15
store i32 %236, i32* %237
%238 = load i32, i32* %20
store i32 %238, i32* %8
br label %1024
239: ; preds = %232
store i32 2, i32* %11
%240 = load i32, i32* %10
%241 = sub nsw i32 0, %240
%242 = load i32, i32* %21
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %243
%245 = load i32, i32* %20
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds [7 x i32], [7 x i32]* %244, i64 0, i64 %246
store i32 %241, i32* %247
br label %248
248: ; preds = %239
br label %249
249: ; preds = %248, %221, %210, %199
br label %250
250: ; preds = %249, %196, %193
%251 = load i32, i32* %20
%252 = icmp sge i32 %251, 1
br i1 %252, label %253, label %307
253: ; preds = %250
%254 = load i32, i32* %20
%255 = icmp sle i32 %254, 4
br i1 %255, label %256, label %307
256: ; preds = %253
%257 = load i32, i32* %21
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %258
%260 = load i32, i32* %20
%261 = sub nsw i32 %260, 1
%262 = sext i32 %261 to i64
%263 = getelementptr inbounds [7 x i32], [7 x i32]* %259, i64 0, i64 %262
%264 = load i32, i32* %263
%265 = load i32, i32* %10
%266 = icmp eq i32 %264, %265
br i1 %266, label %267, label %306
267: ; preds = %256
%268 = load i32, i32* %21
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %269
%271 = load i32, i32* %20
%272 = add nsw i32 %271, 1
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds [7 x i32], [7 x i32]* %270, i64 0, i64 %273
%275 = load i32, i32* %274
%276 = load i32, i32* %10
%277 = icmp eq i32 %275, %276
br i1 %277, label %278, label %306
278: ; preds = %267
%279 = load i32, i32* %21
%280 = sext i32 %279 to i64
%281 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %280
%282 = load i32, i32* %20
%283 = add nsw i32 %282, 2
%284 = sext i32 %283 to i64
%285 = getelementptr inbounds [7 x i32], [7 x i32]* %281, i64 0, i64 %284
%286 = load i32, i32* %285
%287 = load i32, i32* %10
%288 = icmp eq i32 %286, %287
br i1 %288, label %289, label %306
289: ; preds = %278
%290 = load i32, i32* %11
%291 = icmp ne i32 %290, 0
br i1 %291, label %292, label %296
292: ; preds = %289
%293 = load i32, i32* %21
%294 = load i32*, i32** %15
store i32 %293, i32* %294
%295 = load i32, i32* %20
store i32 %295, i32* %8
br label %1024
296: ; preds = %289
store i32 2, i32* %11
%297 = load i32, i32* %10
%298 = sub nsw i32 0, %297
%299 = load i32, i32* %21
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %300
%302 = load i32, i32* %20
%303 = sext i32 %302 to i64
%304 = getelementptr inbounds [7 x i32], [7 x i32]* %301, i64 0, i64 %303
store i32 %298, i32* %304
br label %305
305: ; preds = %296
br label %306
306: ; preds = %305, %278, %267, %256
br label %307
307: ; preds = %306, %253, %250
%308 = load i32, i32* %20
%309 = icmp sle i32 %308, 3
br i1 %309, label %310, label %361
310: ; preds = %307
%311 = load i32, i32* %21
%312 = sext i32 %311 to i64
%313 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %312
%314 = load i32, i32* %20
%315 = add nsw i32 %314, 1
%316 = sext i32 %315 to i64
%317 = getelementptr inbounds [7 x i32], [7 x i32]* %313, i64 0, i64 %316
%318 = load i32, i32* %317
%319 = load i32, i32* %10
%320 = icmp eq i32 %318, %319
br i1 %320, label %321, label %360
321: ; preds = %310
%322 = load i32, i32* %21
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %323
%325 = load i32, i32* %20
%326 = add nsw i32 %325, 2
%327 = sext i32 %326 to i64
%328 = getelementptr inbounds [7 x i32], [7 x i32]* %324, i64 0, i64 %327
%329 = load i32, i32* %328
%330 = load i32, i32* %10
%331 = icmp eq i32 %329, %330
br i1 %331, label %332, label %360
332: ; preds = %321
%333 = load i32, i32* %21
%334 = sext i32 %333 to i64
%335 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %334
%336 = load i32, i32* %20
%337 = add nsw i32 %336, 3
%338 = sext i32 %337 to i64
%339 = getelementptr inbounds [7 x i32], [7 x i32]* %335, i64 0, i64 %338
%340 = load i32, i32* %339
%341 = load i32, i32* %10
%342 = icmp eq i32 %340, %341
br i1 %342, label %343, label %360
343: ; preds = %332
%344 = load i32, i32* %11
%345 = icmp ne i32 %344, 0
br i1 %345, label %346, label %350
346: ; preds = %343
%347 = load i32, i32* %21
%348 = load i32*, i32** %15
store i32 %347, i32* %348
%349 = load i32, i32* %20
store i32 %349, i32* %8
br label %1024
350: ; preds = %343
store i32 2, i32* %11
%351 = load i32, i32* %10
%352 = sub nsw i32 0, %351
%353 = load i32, i32* %21
%354 = sext i32 %353 to i64
%355 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %354
%356 = load i32, i32* %20
%357 = sext i32 %356 to i64
%358 = getelementptr inbounds [7 x i32], [7 x i32]* %355, i64 0, i64 %357
store i32 %352, i32* %358
br label %359
359: ; preds = %350
br label %360
360: ; preds = %359, %332, %321, %310
br label %361
361: ; preds = %360, %307
%362 = load i32, i32* %21
%363 = sub nsw i32 %362, 1
store i32 %363, i32* %18
%364 = load i32, i32* %20
%365 = sub nsw i32 %364, 1
store i32 %365, i32* %19
store i32 0, i32* %17
store i32 1, i32* %16
br label %366
366: ; preds = %411, %361
%367 = load i32, i32* %18
%368 = icmp sge i32 %367, 0
br i1 %368, label %369, label %375
369: ; preds = %366
%370 = load i32, i32* %19
%371 = icmp sge i32 %370, 0
br i1 %371, label %372, label %375
372: ; preds = %369
%373 = load i32, i32* %16
%374 = icmp eq i32 %373, 1
br label %375
375: ; preds = %372, %369, %366
%376 = phi i1 [ false, %369 ], [ false, %366 ], [ %374, %372 ]
br i1 %376, label %377, label %416
377: ; preds = %375
%378 = load i32, i32* %18
%379 = sext i32 %378 to i64
%380 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %379
%381 = load i32, i32* %19
%382 = sext i32 %381 to i64
%383 = getelementptr inbounds [7 x i32], [7 x i32]* %380, i64 0, i64 %382
%384 = load i32, i32* %383
%385 = load i32, i32* %10
%386 = icmp ne i32 %384, %385
br i1 %386, label %387, label %388
387: ; preds = %377
store i32 0, i32* %16
br label %391
388: ; preds = %377
%389 = load i32, i32* %17
%390 = add nsw i32 %389, 1
store i32 %390, i32* %17
br label %391
391: ; preds = %388, %387
%392 = load i32, i32* %17
%393 = icmp eq i32 %392, 3
br i1 %393, label %394, label %410
394: ; preds = %391
%395 = load i32, i32* %11
%396 = icmp ne i32 %395, 0
br i1 %396, label %397, label %401
397: ; preds = %394
%398 = load i32, i32* %21
%399 = load i32*, i32** %15
store i32 %398, i32* %399
%400 = load i32, i32* %20
store i32 %400, i32* %8
br label %1024
401: ; preds = %394
store i32 2, i32* %11
%402 = load i32, i32* %10
%403 = sub nsw i32 0, %402
%404 = load i32, i32* %21
%405 = sext i32 %404 to i64
%406 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %405
%407 = load i32, i32* %20
%408 = sext i32 %407 to i64
%409 = getelementptr inbounds [7 x i32], [7 x i32]* %406, i64 0, i64 %408
store i32 %403, i32* %409
br label %416
410: ; preds = %391
br label %411
411: ; preds = %410
%412 = load i32, i32* %18
%413 = sub nsw i32 %412, 1
store i32 %413, i32* %18
%414 = load i32, i32* %19
%415 = sub nsw i32 %414, 1
store i32 %415, i32* %19
br label %366
416: ; preds = %401, %375
%417 = load i32, i32* %17
%418 = icmp ne i32 %417, 3
br i1 %418, label %419, label %475
419: ; preds = %416
%420 = load i32, i32* %21
%421 = add nsw i32 %420, 1
store i32 %421, i32* %18
%422 = load i32, i32* %20
%423 = add nsw i32 %422, 1
store i32 %423, i32* %19
br label %424
424: ; preds = %469, %419
%425 = load i32, i32* %18
%426 = icmp sle i32 %425, 5
br i1 %426, label %427, label %433
427: ; preds = %424
%428 = load i32, i32* %19
%429 = icmp sle i32 %428, 6
br i1 %429, label %430, label %433
430: ; preds = %427
%431 = load i32, i32* %16
%432 = icmp eq i32 %431, 1
br label %433
433: ; preds = %430, %427, %424
%434 = phi i1 [ false, %427 ], [ false, %424 ], [ %432, %430 ]
br i1 %434, label %435, label %474
435: ; preds = %433
%436 = load i32, i32* %18
%437 = sext i32 %436 to i64
%438 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %437
%439 = load i32, i32* %19
%440 = sext i32 %439 to i64
%441 = getelementptr inbounds [7 x i32], [7 x i32]* %438, i64 0, i64 %440
%442 = load i32, i32* %441
%443 = load i32, i32* %10
%444 = icmp ne i32 %442, %443
br i1 %444, label %445, label %446
445: ; preds = %435
store i32 0, i32* %16
br label %449
446: ; preds = %435
%447 = load i32, i32* %17
%448 = add nsw i32 %447, 1
store i32 %448, i32* %17
br label %449
449: ; preds = %446, %445
%450 = load i32, i32* %17
%451 = icmp eq i32 %450, 3
br i1 %451, label %452, label %468
452: ; preds = %449
%453 = load i32, i32* %11
%454 = icmp ne i32 %453, 0
br i1 %454, label %455, label %459
455: ; preds = %452
%456 = load i32, i32* %21
%457 = load i32*, i32** %15
store i32 %456, i32* %457
%458 = load i32, i32* %20
store i32 %458, i32* %8
br label %1024
459: ; preds = %452
store i32 2, i32* %11
%460 = load i32, i32* %10
%461 = sub nsw i32 0, %460
%462 = load i32, i32* %21
%463 = sext i32 %462 to i64
%464 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %463
%465 = load i32, i32* %20
%466 = sext i32 %465 to i64
%467 = getelementptr inbounds [7 x i32], [7 x i32]* %464, i64 0, i64 %466
store i32 %461, i32* %467
br label %474
468: ; preds = %449
br label %469
469: ; preds = %468
%470 = load i32, i32* %18
%471 = add nsw i32 %470, 1
store i32 %471, i32* %18
%472 = load i32, i32* %19
%473 = add nsw i32 %472, 1
store i32 %473, i32* %19
br label %424
474: ; preds = %459, %433
br label %475
475: ; preds = %474, %416
%476 = load i32, i32* %11
%477 = icmp ne i32 %476, 2
br i1 %477, label %478, label %593
478: ; preds = %475
%479 = load i32, i32* %21
%480 = add nsw i32 %479, 1
store i32 %480, i32* %18
%481 = load i32, i32* %20
%482 = sub nsw i32 %481, 1
store i32 %482, i32* %19
store i32 0, i32* %17
store i32 1, i32* %16
br label %483
483: ; preds = %528, %478
%484 = load i32, i32* %18
%485 = icmp sle i32 %484, 5
br i1 %485, label %486, label %492
486: ; preds = %483
%487 = load i32, i32* %19
%488 = icmp sge i32 %487, 0
br i1 %488, label %489, label %492
489: ; preds = %486
%490 = load i32, i32* %16
%491 = icmp eq i32 %490, 1
br label %492
492: ; preds = %489, %486, %483
%493 = phi i1 [ false, %486 ], [ false, %483 ], [ %491, %489 ]
br i1 %493, label %494, label %533
494: ; preds = %492
%495 = load i32, i32* %18
%496 = sext i32 %495 to i64
%497 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %496
%498 = load i32, i32* %19
%499 = sext i32 %498 to i64
%500 = getelementptr inbounds [7 x i32], [7 x i32]* %497, i64 0, i64 %499
%501 = load i32, i32* %500
%502 = load i32, i32* %10
%503 = icmp ne i32 %501, %502
br i1 %503, label %504, label %505
504: ; preds = %494
store i32 0, i32* %16
br label %508
505: ; preds = %494
%506 = load i32, i32* %17
%507 = add nsw i32 %506, 1
store i32 %507, i32* %17
br label %508
508: ; preds = %505, %504
%509 = load i32, i32* %17
%510 = icmp eq i32 %509, 3
br i1 %510, label %511, label %527
511: ; preds = %508
%512 = load i32, i32* %11
%513 = icmp ne i32 %512, 0
br i1 %513, label %514, label %518
514: ; preds = %511
%515 = load i32, i32* %21
%516 = load i32*, i32** %15
store i32 %515, i32* %516
%517 = load i32, i32* %20
store i32 %517, i32* %8
br label %1024
518: ; preds = %511
store i32 2, i32* %11
%519 = load i32, i32* %10
%520 = sub nsw i32 0, %519
%521 = load i32, i32* %21
%522 = sext i32 %521 to i64
%523 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %522
%524 = load i32, i32* %20
%525 = sext i32 %524 to i64
%526 = getelementptr inbounds [7 x i32], [7 x i32]* %523, i64 0, i64 %525
store i32 %520, i32* %526
br label %533
527: ; preds = %508
br label %528
528: ; preds = %527
%529 = load i32, i32* %18
%530 = add nsw i32 %529, 1
store i32 %530, i32* %18
%531 = load i32, i32* %19
%532 = sub nsw i32 %531, 1
store i32 %532, i32* %19
br label %483
533: ; preds = %518, %492
%534 = load i32, i32* %17
%535 = icmp ne i32 %534, 3
br i1 %535, label %536, label %592
536: ; preds = %533
%537 = load i32, i32* %21
%538 = sub nsw i32 %537, 1
store i32 %538, i32* %18
%539 = load i32, i32* %20
%540 = add nsw i32 %539, 1
store i32 %540, i32* %19
store i32 1, i32* %16
br label %541
541: ; preds = %586, %536
%542 = load i32, i32* %18
%543 = icmp sge i32 %542, 0
br i1 %543, label %544, label %550
544: ; preds = %541
%545 = load i32, i32* %19
%546 = icmp sle i32 %545, 6
br i1 %546, label %547, label %550
547: ; preds = %544
%548 = load i32, i32* %16
%549 = icmp eq i32 %548, 1
br label %550
550: ; preds = %547, %544, %541
%551 = phi i1 [ false, %544 ], [ false, %541 ], [ %549, %547 ]
br i1 %551, label %552, label %591
552: ; preds = %550
%553 = load i32, i32* %18
%554 = sext i32 %553 to i64
%555 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %554
%556 = load i32, i32* %19
%557 = sext i32 %556 to i64
%558 = getelementptr inbounds [7 x i32], [7 x i32]* %555, i64 0, i64 %557
%559 = load i32, i32* %558
%560 = load i32, i32* %10
%561 = icmp ne i32 %559, %560
br i1 %561, label %562, label %563
562: ; preds = %552
store i32 0, i32* %16
br label %566
563: ; preds = %552
%564 = load i32, i32* %17
%565 = add nsw i32 %564, 1
store i32 %565, i32* %17
br label %566
566: ; preds = %563, %562
%567 = load i32, i32* %17
%568 = icmp eq i32 %567, 3
br i1 %568, label %569, label %585
569: ; preds = %566
%570 = load i32, i32* %11
%571 = icmp ne i32 %570, 0
br i1 %571, label %572, label %576
572: ; preds = %569
%573 = load i32, i32* %21
%574 = load i32*, i32** %15
store i32 %573, i32* %574
%575 = load i32, i32* %20
store i32 %575, i32* %8
br label %1024
576: ; preds = %569
store i32 2, i32* %11
%577 = load i32, i32* %10
%578 = sub nsw i32 0, %577
%579 = load i32, i32* %21
%580 = sext i32 %579 to i64
%581 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %580
%582 = load i32, i32* %20
%583 = sext i32 %582 to i64
%584 = getelementptr inbounds [7 x i32], [7 x i32]* %581, i64 0, i64 %583
store i32 %578, i32* %584
br label %591
585: ; preds = %566
br label %586
586: ; preds = %585
%587 = load i32, i32* %18
%588 = sub nsw i32 %587, 1
store i32 %588, i32* %18
%589 = load i32, i32* %19
%590 = add nsw i32 %589, 1
store i32 %590, i32* %19
br label %541
591: ; preds = %576, %550
br label %592
592: ; preds = %591, %533
br label %593
593: ; preds = %592, %475
%594 = load i32, i32* %14
%595 = icmp ne i32 %594, 0
br i1 %595, label %597, label %596
596: ; preds = %593
br label %602
597: ; preds = %593
br label %598
598: ; preds = %597, %76
br label %599
599: ; preds = %598
%600 = load i32, i32* %21
%601 = add nsw i32 %600, 1
store i32 %601, i32* %21
br label %73
602: ; preds = %596, %73
br label %603
603: ; preds = %602
%604 = load i32, i32* %20
%605 = add nsw i32 %604, 1
store i32 %605, i32* %20
br label %69
606: ; preds = %69
%607 = load i32, i32* %11
%608 = icmp eq i32 %607, 2
br i1 %608, label %609, label %1023
609: ; preds = %606
store i32 0, i32* %20
br label %610
610: ; preds = %1019, %609
%611 = load i32, i32* %20
%612 = icmp slt i32 %611, 7
br i1 %612, label %613, label %1022
613: ; preds = %610
store i32 0, i32* %21
br label %614
614: ; preds = %1015, %613
%615 = load i32, i32* %21
%616 = icmp slt i32 %615, 6
br i1 %616, label %617, label %1018
617: ; preds = %614
%618 = load i32, i32* %21
%619 = sext i32 %618 to i64
%620 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %619
%621 = load i32, i32* %20
%622 = sext i32 %621 to i64
%623 = getelementptr inbounds [7 x i32], [7 x i32]* %620, i64 0, i64 %622
%624 = load i32, i32* %623
%625 = icmp eq i32 %624, 0
br i1 %625, label %626, label %1014
626: ; preds = %617
%627 = load i32, i32* %21
%628 = icmp sge i32 %627, 3
br i1 %628, label %629, label %667
629: ; preds = %626
%630 = load i32, i32* %21
%631 = sub nsw i32 %630, 1
%632 = sext i32 %631 to i64
%633 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %632
%634 = load i32, i32* %20
%635 = sext i32 %634 to i64
%636 = getelementptr inbounds [7 x i32], [7 x i32]* %633, i64 0, i64 %635
%637 = load i32, i32* %636
%638 = load i32, i32* %10
%639 = icmp eq i32 %637, %638
br i1 %639, label %640, label %666
640: ; preds = %629
%641 = load i32, i32* %21
%642 = sub nsw i32 %641, 2
%643 = sext i32 %642 to i64
%644 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %643
%645 = load i32, i32* %20
%646 = sext i32 %645 to i64
%647 = getelementptr inbounds [7 x i32], [7 x i32]* %644, i64 0, i64 %646
%648 = load i32, i32* %647
%649 = load i32, i32* %10
%650 = icmp eq i32 %648, %649
br i1 %650, label %651, label %666
651: ; preds = %640
%652 = load i32, i32* %21
%653 = sub nsw i32 %652, 3
%654 = sext i32 %653 to i64
%655 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %654
%656 = load i32, i32* %20
%657 = sext i32 %656 to i64
%658 = getelementptr inbounds [7 x i32], [7 x i32]* %655, i64 0, i64 %657
%659 = load i32, i32* %658
%660 = load i32, i32* %10
%661 = icmp eq i32 %659, %660
br i1 %661, label %662, label %666
662: ; preds = %651
%663 = load i32, i32* %21
%664 = load i32*, i32** %15
store i32 %663, i32* %664
%665 = load i32, i32* %20
store i32 %665, i32* %8
br label %1024
666: ; preds = %651, %640, %629
br label %667
667: ; preds = %666, %626
%668 = load i32, i32* %20
%669 = icmp sge i32 %668, 3
br i1 %669, label %670, label %708
670: ; preds = %667
%671 = load i32, i32* %21
%672 = sext i32 %671 to i64
%673 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %672
%674 = load i32, i32* %20
%675 = sub nsw i32 %674, 1
%676 = sext i32 %675 to i64
%677 = getelementptr inbounds [7 x i32], [7 x i32]* %673, i64 0, i64 %676
%678 = load i32, i32* %677
%679 = load i32, i32* %10
%680 = icmp eq i32 %678, %679
br i1 %680, label %681, label %707
681: ; preds = %670
%682 = load i32, i32* %21
%683 = sext i32 %682 to i64
%684 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %683
%685 = load i32, i32* %20
%686 = sub nsw i32 %685, 2
%687 = sext i32 %686 to i64
%688 = getelementptr inbounds [7 x i32], [7 x i32]* %684, i64 0, i64 %687
%689 = load i32, i32* %688
%690 = load i32, i32* %10
%691 = icmp eq i32 %689, %690
br i1 %691, label %692, label %707
692: ; preds = %681
%693 = load i32, i32* %21
%694 = sext i32 %693 to i64
%695 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %694
%696 = load i32, i32* %20
%697 = sub nsw i32 %696, 3
%698 = sext i32 %697 to i64
%699 = getelementptr inbounds [7 x i32], [7 x i32]* %695, i64 0, i64 %698
%700 = load i32, i32* %699
%701 = load i32, i32* %10
%702 = icmp eq i32 %700, %701
br i1 %702, label %703, label %707
703: ; preds = %692
%704 = load i32, i32* %21
%705 = load i32*, i32** %15
store i32 %704, i32* %705
%706 = load i32, i32* %20
store i32 %706, i32* %8
br label %1024
707: ; preds = %692, %681, %670
br label %708
708: ; preds = %707, %667
%709 = load i32, i32* %20
%710 = icmp sge i32 %709, 2
br i1 %710, label %711, label %752
711: ; preds = %708
%712 = load i32, i32* %20
%713 = icmp sle i32 %712, 5
br i1 %713, label %714, label %752
714: ; preds = %711
%715 = load i32, i32* %21
%716 = sext i32 %715 to i64
%717 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %716
%718 = load i32, i32* %20
%719 = sub nsw i32 %718, 1
%720 = sext i32 %719 to i64
%721 = getelementptr inbounds [7 x i32], [7 x i32]* %717, i64 0, i64 %720
%722 = load i32, i32* %721
%723 = load i32, i32* %10
%724 = icmp eq i32 %722, %723
br i1 %724, label %725, label %751
725: ; preds = %714
%726 = load i32, i32* %21
%727 = sext i32 %726 to i64
%728 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %727
%729 = load i32, i32* %20
%730 = sub nsw i32 %729, 2
%731 = sext i32 %730 to i64
%732 = getelementptr inbounds [7 x i32], [7 x i32]* %728, i64 0, i64 %731
%733 = load i32, i32* %732
%734 = load i32, i32* %10
%735 = icmp eq i32 %733, %734
br i1 %735, label %736, label %751
736: ; preds = %725
%737 = load i32, i32* %21
%738 = sext i32 %737 to i64
%739 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %738
%740 = load i32, i32* %20
%741 = add nsw i32 %740, 1
%742 = sext i32 %741 to i64
%743 = getelementptr inbounds [7 x i32], [7 x i32]* %739, i64 0, i64 %742
%744 = load i32, i32* %743
%745 = load i32, i32* %10
%746 = icmp eq i32 %744, %745
br i1 %746, label %747, label %751
747: ; preds = %736
%748 = load i32, i32* %21
%749 = load i32*, i32** %15
store i32 %748, i32* %749
%750 = load i32, i32* %20
store i32 %750, i32* %8
br label %1024
751: ; preds = %736, %725, %714
br label %752
752: ; preds = %751, %711, %708
%753 = load i32, i32* %20
%754 = icmp sge i32 %753, 1
br i1 %754, label %755, label %796
755: ; preds = %752
%756 = load i32, i32* %20
%757 = icmp sle i32 %756, 4
br i1 %757, label %758, label %796
758: ; preds = %755
%759 = load i32, i32* %21
%760 = sext i32 %759 to i64
%761 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %760
%762 = load i32, i32* %20
%763 = sub nsw i32 %762, 1
%764 = sext i32 %763 to i64
%765 = getelementptr inbounds [7 x i32], [7 x i32]* %761, i64 0, i64 %764
%766 = load i32, i32* %765
%767 = load i32, i32* %10
%768 = icmp eq i32 %766, %767
br i1 %768, label %769, label %795
769: ; preds = %758
%770 = load i32, i32* %21
%771 = sext i32 %770 to i64
%772 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %771
%773 = load i32, i32* %20
%774 = add nsw i32 %773, 1
%775 = sext i32 %774 to i64
%776 = getelementptr inbounds [7 x i32], [7 x i32]* %772, i64 0, i64 %775
%777 = load i32, i32* %776
%778 = load i32, i32* %10
%779 = icmp eq i32 %777, %778
br i1 %779, label %780, label %795
780: ; preds = %769
%781 = load i32, i32* %21
%782 = sext i32 %781 to i64
%783 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %782
%784 = load i32, i32* %20
%785 = add nsw i32 %784, 2
%786 = sext i32 %785 to i64
%787 = getelementptr inbounds [7 x i32], [7 x i32]* %783, i64 0, i64 %786
%788 = load i32, i32* %787
%789 = load i32, i32* %10
%790 = icmp eq i32 %788, %789
br i1 %790, label %791, label %795
791: ; preds = %780
%792 = load i32, i32* %21
%793 = load i32*, i32** %15
store i32 %792, i32* %793
%794 = load i32, i32* %20
store i32 %794, i32* %8
br label %1024
795: ; preds = %780, %769, %758
br label %796
796: ; preds = %795, %755, %752
%797 = load i32, i32* %20
%798 = icmp sle i32 %797, 3
br i1 %798, label %799, label %837
799: ; preds = %796
%800 = load i32, i32* %21
%801 = sext i32 %800 to i64
%802 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %801
%803 = load i32, i32* %20
%804 = add nsw i32 %803, 1
%805 = sext i32 %804 to i64
%806 = getelementptr inbounds [7 x i32], [7 x i32]* %802, i64 0, i64 %805
%807 = load i32, i32* %806
%808 = load i32, i32* %10
%809 = icmp eq i32 %807, %808
br i1 %809, label %810, label %836
810: ; preds = %799
%811 = load i32, i32* %21
%812 = sext i32 %811 to i64
%813 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %812
%814 = load i32, i32* %20
%815 = add nsw i32 %814, 2
%816 = sext i32 %815 to i64
%817 = getelementptr inbounds [7 x i32], [7 x i32]* %813, i64 0, i64 %816
%818 = load i32, i32* %817
%819 = load i32, i32* %10
%820 = icmp eq i32 %818, %819
br i1 %820, label %821, label %836
821: ; preds = %810
%822 = load i32, i32* %21
%823 = sext i32 %822 to i64
%824 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %823
%825 = load i32, i32* %20
%826 = add nsw i32 %825, 3
%827 = sext i32 %826 to i64
%828 = getelementptr inbounds [7 x i32], [7 x i32]* %824, i64 0, i64 %827
%829 = load i32, i32* %828
%830 = load i32, i32* %10
%831 = icmp eq i32 %829, %830
br i1 %831, label %832, label %836
832: ; preds = %821
%833 = load i32, i32* %21
%834 = load i32*, i32** %15
store i32 %833, i32* %834
%835 = load i32, i32* %20
store i32 %835, i32* %8
br label %1024
836: ; preds = %821, %810, %799
br label %837
837: ; preds = %836, %796
%838 = load i32, i32* %21
%839 = sub nsw i32 %838, 1
store i32 %839, i32* %18
%840 = load i32, i32* %20
%841 = sub nsw i32 %840, 1
store i32 %841, i32* %19
store i32 0, i32* %17
store i32 1, i32* %16
br label %842
842: ; preds = %875, %837
%843 = load i32, i32* %18
%844 = icmp sge i32 %843, 0
br i1 %844, label %845, label %851
845: ; preds = %842
%846 = load i32, i32* %19
%847 = icmp sge i32 %846, 0
br i1 %847, label %848, label %851
848: ; preds = %845
%849 = load i32, i32* %16
%850 = icmp eq i32 %849, 1
br label %851
851: ; preds = %848, %845, %842
%852 = phi i1 [ false, %845 ], [ false, %842 ], [ %850, %848 ]
br i1 %852, label %853, label %880
853: ; preds = %851
%854 = load i32, i32* %18
%855 = sext i32 %854 to i64
%856 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %855
%857 = load i32, i32* %19
%858 = sext i32 %857 to i64
%859 = getelementptr inbounds [7 x i32], [7 x i32]* %856, i64 0, i64 %858
%860 = load i32, i32* %859
%861 = load i32, i32* %10
%862 = icmp ne i32 %860, %861
br i1 %862, label %863, label %864
863: ; preds = %853
store i32 0, i32* %16
br label %867
864: ; preds = %853
%865 = load i32, i32* %17
%866 = add nsw i32 %865, 1
store i32 %866, i32* %17
br label %867
867: ; preds = %864, %863
%868 = load i32, i32* %17
%869 = icmp eq i32 %868, 3
br i1 %869, label %870, label %874
870: ; preds = %867
%871 = load i32, i32* %21
%872 = load i32*, i32** %15
store i32 %871, i32* %872
%873 = load i32, i32* %20
store i32 %873, i32* %8
br label %1024
874: ; preds = %867
br label %875
875: ; preds = %874
%876 = load i32, i32* %18
%877 = sub nsw i32 %876, 1
store i32 %877, i32* %18
%878 = load i32, i32* %19
%879 = sub nsw i32 %878, 1
store i32 %879, i32* %19
br label %842
880: ; preds = %851
%881 = load i32, i32* %21
%882 = add nsw i32 %881, 1
store i32 %882, i32* %18
%883 = load i32, i32* %20
%884 = add nsw i32 %883, 1
store i32 %884, i32* %19
store i32 1, i32* %16
br label %885
885: ; preds = %918, %880
%886 = load i32, i32* %18
%887 = icmp sle i32 %886, 5
br i1 %887, label %888, label %894
888: ; preds = %885
%889 = load i32, i32* %19
%890 = icmp sle i32 %889, 6
br i1 %890, label %891, label %894
891: ; preds = %888
%892 = load i32, i32* %16
%893 = icmp eq i32 %892, 1
br label %894
894: ; preds = %891, %888, %885
%895 = phi i1 [ false, %888 ], [ false, %885 ], [ %893, %891 ]
br i1 %895, label %896, label %923
896: ; preds = %894
%897 = load i32, i32* %18
%898 = sext i32 %897 to i64
%899 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %898
%900 = load i32, i32* %19
%901 = sext i32 %900 to i64
%902 = getelementptr inbounds [7 x i32], [7 x i32]* %899, i64 0, i64 %901
%903 = load i32, i32* %902
%904 = load i32, i32* %10
%905 = icmp ne i32 %903, %904
br i1 %905, label %906, label %907
906: ; preds = %896
store i32 0, i32* %16
br label %910
907: ; preds = %896
%908 = load i32, i32* %17
%909 = add nsw i32 %908, 1
store i32 %909, i32* %17
br label %910
910: ; preds = %907, %906
%911 = load i32, i32* %17
%912 = icmp eq i32 %911, 3
br i1 %912, label %913, label %917
913: ; preds = %910
%914 = load i32, i32* %21
%915 = load i32*, i32** %15
store i32 %914, i32* %915
%916 = load i32, i32* %20
store i32 %916, i32* %8
br label %1024
917: ; preds = %910
br label %918
918: ; preds = %917
%919 = load i32, i32* %18
%920 = add nsw i32 %919, 1
store i32 %920, i32* %18
%921 = load i32, i32* %19
%922 = add nsw i32 %921, 1
store i32 %922, i32* %19
br label %885
923: ; preds = %894
%924 = load i32, i32* %21
%925 = add nsw i32 %924, 1
store i32 %925, i32* %18
%926 = load i32, i32* %20
%927 = sub nsw i32 %926, 1
store i32 %927, i32* %19
store i32 0, i32* %17
store i32 1, i32* %16
br label %928
928: ; preds = %961, %923
%929 = load i32, i32* %18
%930 = icmp sle i32 %929, 5
br i1 %930, label %931, label %937
931: ; preds = %928
%932 = load i32, i32* %19
%933 = icmp sge i32 %932, 0
br i1 %933, label %934, label %937
934: ; preds = %931
%935 = load i32, i32* %16
%936 = icmp eq i32 %935, 1
br label %937
937: ; preds = %934, %931, %928
%938 = phi i1 [ false, %931 ], [ false, %928 ], [ %936, %934 ]
br i1 %938, label %939, label %966
939: ; preds = %937
%940 = load i32, i32* %18
%941 = sext i32 %940 to i64
%942 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %941
%943 = load i32, i32* %19
%944 = sext i32 %943 to i64
%945 = getelementptr inbounds [7 x i32], [7 x i32]* %942, i64 0, i64 %944
%946 = load i32, i32* %945
%947 = load i32, i32* %10
%948 = icmp ne i32 %946, %947
br i1 %948, label %949, label %950
949: ; preds = %939
store i32 0, i32* %16
br label %953
950: ; preds = %939
%951 = load i32, i32* %17
%952 = add nsw i32 %951, 1
store i32 %952, i32* %17
br label %953
953: ; preds = %950, %949
%954 = load i32, i32* %17
%955 = icmp eq i32 %954, 3
br i1 %955, label %956, label %960
956: ; preds = %953
%957 = load i32, i32* %21
%958 = load i32*, i32** %15
store i32 %957, i32* %958
%959 = load i32, i32* %20
store i32 %959, i32* %8
br label %1024
960: ; preds = %953
br label %961
961: ; preds = %960
%962 = load i32, i32* %18
%963 = add nsw i32 %962, 1
store i32 %963, i32* %18
%964 = load i32, i32* %19
%965 = sub nsw i32 %964, 1
store i32 %965, i32* %19
br label %928
966: ; preds = %937
%967 = load i32, i32* %21
%968 = sub nsw i32 %967, 1
store i32 %968, i32* %18
%969 = load i32, i32* %20
%970 = add nsw i32 %969, 1
store i32 %970, i32* %19
store i32 1, i32* %16
br label %971
971: ; preds = %1004, %966
%972 = load i32, i32* %18
%973 = icmp sge i32 %972, 0
br i1 %973, label %974, label %980
974: ; preds = %971
%975 = load i32, i32* %19
%976 = icmp sle i32 %975, 6
br i1 %976, label %977, label %980
977: ; preds = %974
%978 = load i32, i32* %16
%979 = icmp eq i32 %978, 1
br label %980
980: ; preds = %977, %974, %971
%981 = phi i1 [ false, %974 ], [ false, %971 ], [ %979, %977 ]
br i1 %981, label %982, label %1009
982: ; preds = %980
%983 = load i32, i32* %18
%984 = sext i32 %983 to i64
%985 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %22, i64 0, i64 %984
%986 = load i32, i32* %19
%987 = sext i32 %986 to i64
%988 = getelementptr inbounds [7 x i32], [7 x i32]* %985, i64 0, i64 %987
%989 = load i32, i32* %988
%990 = load i32, i32* %10
%991 = icmp ne i32 %989, %990
br i1 %991, label %992, label %993
992: ; preds = %982
store i32 0, i32* %16
br label %996
993: ; preds = %982
%994 = load i32, i32* %17
%995 = add nsw i32 %994, 1
store i32 %995, i32* %17
br label %996
996: ; preds = %993, %992
%997 = load i32, i32* %17
%998 = icmp eq i32 %997, 3
br i1 %998, label %999, label %1003
999: ; preds = %996
%1000 = load i32, i32* %21
%1001 = load i32*, i32** %15
store i32 %1000, i32* %1001
%1002 = load i32, i32* %20
store i32 %1002, i32* %8
br label %1024
1003: ; preds = %996
br label %1004
1004: ; preds = %1003
%1005 = load i32, i32* %18
%1006 = sub nsw i32 %1005, 1
store i32 %1006, i32* %18
%1007 = load i32, i32* %19
%1008 = add nsw i32 %1007, 1
store i32 %1008, i32* %19
br label %971
1009: ; preds = %980
%1010 = load i32, i32* %14
%1011 = icmp ne i32 %1010, 0
br i1 %1011, label %1013, label %1012
1012: ; preds = %1009
br label %1018
1013: ; preds = %1009
br label %1014
1014: ; preds = %1013, %617
br label %1015
1015: ; preds = %1014
%1016 = load i32, i32* %21
%1017 = add nsw i32 %1016, 1
store i32 %1017, i32* %21
br label %614
1018: ; preds = %1012, %614
br label %1019
1019: ; preds = %1018
%1020 = load i32, i32* %20
%1021 = add nsw i32 %1020, 1
store i32 %1021, i32* %20
br label %610
1022: ; preds = %610
br label %1023
1023: ; preds = %1022, %606
store i32 -1, i32* %8
br label %1024
1024: ; preds = %1023, %999, %956, %913, %870, %832, %791, %747, %703, %662, %572, %514, %455, %397, %346, %292, %235, %178, %124
%1025 = load i32, i32* %8
ret i32 %1025
}

LLVM IR (-O2):
define i32 @fin42o([7 x i32]* nocapture %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32* nocapture writeonly %6) {
%8 = bitcast [7 x i32]* %0 to i8*
%9 = alloca [6 x [7 x i32]]
%10 = bitcast [6 x [7 x i32]]* %9 to i8*
%11 = sub nsw i32 0, %1
%12 = icmp eq i32 %4, -1
br i1 %12, label %17, label %13
13: ; preds = %7
%14 = sext i32 %3 to i64
%15 = sext i32 %4 to i64
%16 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %14, i64 %15
store i32 %11, i32* %16
br label %17
17: ; preds = %13, %7
%18 = icmp eq i32 %5, 0
br label %19
19: ; preds = %17, %427
%20 = phi i64 [ 0, %17 ], [ %32, %427 ]
%21 = phi i32 [ %2, %17 ], [ %428, %427 ]
%22 = icmp ugt i64 %20, 2
%23 = trunc i64 %20 to i32
%24 = add i32 %23, -1
%25 = zext i32 %24 to i64
%26 = trunc i64 %20 to i32
%27 = add i32 %26, -2
%28 = zext i32 %27 to i64
%29 = add nuw i64 %20, 4294967293
%30 = and i64 %29, 4294967295
%31 = icmp ult i32 %27, 4
%32 = add nuw nsw i64 %20, 1
%33 = icmp ult i32 %24, 4
%34 = add nuw nsw i64 %20, 2
%35 = icmp ult i64 %20, 4
%36 = add nuw nsw i64 %20, 3
%37 = icmp ne i64 %20, 0
%38 = icmp ult i64 %20, 6
%39 = icmp ult i64 %20, 6
%40 = add nuw nsw i64 %20, 1
%41 = icmp ult i64 %20, 5
%42 = add nuw nsw i64 %20, 2
%43 = icmp ult i64 %20, 4
%44 = add nuw nsw i64 %20, 3
%45 = icmp ult i64 %20, 3
%46 = add nuw nsw i64 %20, 4
%47 = icmp ult i64 %20, 2
%48 = add nuw nsw i64 %20, 5
%49 = zext i32 %24 to i64
%50 = add i32 %23, -2
%51 = icmp sgt i32 %24, 0
%52 = zext i32 %50 to i64
%53 = add i32 %23, -3
%54 = icmp sgt i32 %50, 0
%55 = zext i32 %53 to i64
%56 = add i32 %23, -4
%57 = icmp sgt i32 %53, 0
%58 = zext i32 %56 to i64
%59 = icmp sgt i32 %56, 0
%60 = add nuw i64 %20, 4294967291
%61 = and i64 %60, 4294967295
%62 = add nuw nsw i64 %20, 1
%63 = icmp ult i64 %20, 5
%64 = add nuw nsw i64 %20, 2
%65 = icmp ult i64 %20, 4
%66 = add nuw nsw i64 %20, 3
%67 = icmp ult i64 %20, 3
%68 = add nuw nsw i64 %20, 4
%69 = icmp ult i64 %20, 2
%70 = add nuw nsw i64 %20, 5
%71 = icmp eq i64 %20, 0
%72 = add nuw nsw i64 %20, 6
br label %73
73: ; preds = %19, %423
%74 = phi i64 [ 0, %19 ], [ %425, %423 ]
%75 = phi i32 [ %21, %19 ], [ %424, %423 ]
%76 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %20
%77 = load i32, i32* %76
%78 = icmp eq i32 %77, 0
br i1 %78, label %79, label %423
79: ; preds = %73
%80 = icmp ugt i64 %74, 2
br i1 %80, label %81, label %104
81: ; preds = %79
%82 = add nuw i64 %74, 4294967295
%83 = and i64 %82, 4294967295
%84 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %83, i64 %20
%85 = load i32, i32* %84
%86 = icmp eq i32 %85, %1
br i1 %86, label %87, label %104
87: ; preds = %81
%88 = add nuw i64 %74, 4294967294
%89 = and i64 %88, 4294967295
%90 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %89, i64 %20
%91 = load i32, i32* %90
%92 = icmp eq i32 %91, %1
br i1 %92, label %93, label %104
93: ; preds = %87
%94 = add nuw i64 %74, 4294967293
%95 = and i64 %94, 4294967295
%96 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %95, i64 %20
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, %1
br i1 %98, label %99, label %104
99: ; preds = %93
%100 = icmp eq i32 %75, 0
br i1 %100, label %103, label %101
101: ; preds = %99
%102 = trunc i64 %74 to i32
br label %786
103: ; preds = %99
store i32 %11, i32* %76
br label %104
104: ; preds = %81, %87, %93, %103, %79
%105 = phi i32 [ 2, %103 ], [ %75, %93 ], [ %75, %87 ], [ %75, %81 ], [ %75, %79 ]
br i1 %22, label %106, label %123
106: ; preds = %104
%107 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %25
%108 = load i32, i32* %107
%109 = icmp eq i32 %108, %1
br i1 %109, label %110, label %123
110: ; preds = %106
%111 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %28
%112 = load i32, i32* %111
%113 = icmp eq i32 %112, %1
br i1 %113, label %114, label %123
114: ; preds = %110
%115 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %30
%116 = load i32, i32* %115
%117 = icmp eq i32 %116, %1
br i1 %117, label %118, label %123
118: ; preds = %114
%119 = icmp eq i32 %105, 0
br i1 %119, label %122, label %120
120: ; preds = %118
%121 = trunc i64 %74 to i32
br label %786
122: ; preds = %118
store i32 %11, i32* %76
br label %123
123: ; preds = %106, %110, %114, %122, %104
%124 = phi i32 [ 2, %122 ], [ %105, %114 ], [ %105, %110 ], [ %105, %106 ], [ %105, %104 ]
br i1 %31, label %125, label %142
125: ; preds = %123
%126 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %25
%127 = load i32, i32* %126
%128 = icmp eq i32 %127, %1
br i1 %128, label %129, label %142
129: ; preds = %125
%130 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %28
%131 = load i32, i32* %130
%132 = icmp eq i32 %131, %1
br i1 %132, label %133, label %142
133: ; preds = %129
%134 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %32
%135 = load i32, i32* %134
%136 = icmp eq i32 %135, %1
br i1 %136, label %137, label %142
137: ; preds = %133
%138 = icmp eq i32 %124, 0
br i1 %138, label %141, label %139
139: ; preds = %137
%140 = trunc i64 %74 to i32
br label %786
141: ; preds = %137
store i32 %11, i32* %76
br label %142
142: ; preds = %125, %129, %133, %141, %123
%143 = phi i32 [ 2, %141 ], [ %124, %133 ], [ %124, %129 ], [ %124, %125 ], [ %124, %123 ]
br i1 %33, label %144, label %161
144: ; preds = %142
%145 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %25
%146 = load i32, i32* %145
%147 = icmp eq i32 %146, %1
br i1 %147, label %148, label %161
148: ; preds = %144
%149 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %32
%150 = load i32, i32* %149
%151 = icmp eq i32 %150, %1
br i1 %151, label %152, label %161
152: ; preds = %148
%153 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %34
%154 = load i32, i32* %153
%155 = icmp eq i32 %154, %1
br i1 %155, label %156, label %161
156: ; preds = %152
%157 = icmp eq i32 %143, 0
br i1 %157, label %160, label %158
158: ; preds = %156
%159 = trunc i64 %74 to i32
br label %786
160: ; preds = %156
store i32 %11, i32* %76
br label %161
161: ; preds = %144, %148, %152, %160, %142
%162 = phi i32 [ 2, %160 ], [ %143, %152 ], [ %143, %148 ], [ %143, %144 ], [ %143, %142 ]
br i1 %35, label %163, label %180
163: ; preds = %161
%164 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %32
%165 = load i32, i32* %164
%166 = icmp eq i32 %165, %1
br i1 %166, label %167, label %180
167: ; preds = %163
%168 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %34
%169 = load i32, i32* %168
%170 = icmp eq i32 %169, %1
br i1 %170, label %171, label %180
171: ; preds = %167
%172 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %74, i64 %36
%173 = load i32, i32* %172
%174 = icmp eq i32 %173, %1
br i1 %174, label %175, label %180
175: ; preds = %171
%176 = icmp eq i32 %162, 0
br i1 %176, label %179, label %177
177: ; preds = %175
%178 = trunc i64 %74 to i32
br label %786
179: ; preds = %175
store i32 %11, i32* %76
br label %180
180: ; preds = %163, %167, %171, %179, %161
%181 = phi i32 [ 2, %179 ], [ %162, %171 ], [ %162, %167 ], [ %162, %163 ], [ %162, %161 ]
%182 = add nsw i64 %74, -1
%183 = icmp ne i64 %74, 0
%184 = select i1 %183, i1 %37, i1 false
br i1 %184, label %185, label %210
185: ; preds = %180
%186 = trunc i64 %182 to i32
br label %187
187: ; preds = %185, %203
%188 = phi i32 [ %205, %203 ], [ %24, %185 ]
%189 = phi i32 [ %204, %203 ], [ %186, %185 ]
%190 = phi i32 [ %197, %203 ], [ 0, %185 ]
%191 = zext i32 %189 to i64
%192 = zext i32 %188 to i64
%193 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %191, i64 %192
%194 = load i32, i32* %193
%195 = icmp eq i32 %194, %1
%196 = zext i1 %195 to i32
%197 = add nuw nsw i32 %190, %196
%198 = icmp eq i32 %197, 3
br i1 %198, label %199, label %203
199: ; preds = %187
%200 = icmp eq i32 %181, 0
br i1 %200, label %420, label %201
201: ; preds = %199
%202 = trunc i64 %74 to i32
br label %786
203: ; preds = %187
%204 = add nsw i32 %189, -1
%205 = add nsw i32 %188, -1
%206 = icmp sgt i32 %189, 0
%207 = icmp sgt i32 %188, 0
%208 = select i1 %206, i1 %207, i1 false
%209 = and i1 %195, %208
br i1 %209, label %187, label %210
210: ; preds = %180, %203
%211 = phi i32 [ 1, %180 ], [ %196, %203 ]
%212 = phi i32 [ 0, %180 ], [ %197, %203 ]
%213 = icmp ult i64 %74, 5
%214 = select i1 %213, i1 %39, i1 false
%215 = icmp eq i32 %211, 1
%216 = and i1 %215, %214
br i1 %216, label %217, label %277
217: ; preds = %210
%218 = add nuw nsw i64 %74, 1
%219 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %218, i64 %40
%220 = load i32, i32* %219
%221 = icmp eq i32 %220, %1
%222 = zext i1 %221 to i32
%223 = add nuw nsw i32 %212, %222
%224 = icmp eq i32 %223, 3
br i1 %224, label %273, label %225
225: ; preds = %217
%226 = icmp ult i64 %74, 4
%227 = select i1 %226, i1 %41, i1 false
%228 = and i1 %221, %227
br i1 %228, label %229, label %277
229: ; preds = %225
%230 = add nuw nsw i64 %74, 2
%231 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %230, i64 %42
%232 = load i32, i32* %231
%233 = icmp eq i32 %232, %1
%234 = zext i1 %233 to i32
%235 = add nuw nsw i32 %223, %234
%236 = icmp eq i32 %235, 3
br i1 %236, label %273, label %237
237: ; preds = %229
%238 = icmp ult i64 %74, 3
%239 = select i1 %238, i1 %43, i1 false
%240 = and i1 %233, %239
br i1 %240, label %241, label %277
241: ; preds = %237
%242 = add nuw nsw i64 %74, 3
%243 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %242, i64 %44
%244 = load i32, i32* %243
%245 = icmp eq i32 %244, %1
%246 = zext i1 %245 to i32
%247 = add nuw nsw i32 %235, %246
%248 = icmp eq i32 %247, 3
br i1 %248, label %273, label %249
249: ; preds = %241
%250 = icmp ult i64 %74, 2
%251 = select i1 %250, i1 %45, i1 false
%252 = and i1 %245, %251
br i1 %252, label %253, label %277
253: ; preds = %249
%254 = add nuw nsw i64 %74, 4
%255 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %254, i64 %46
%256 = load i32, i32* %255
%257 = icmp eq i32 %256, %1
%258 = zext i1 %257 to i32
%259 = add nuw nsw i32 %247, %258
%260 = icmp eq i32 %259, 3
br i1 %260, label %273, label %261
261: ; preds = %253
%262 = icmp eq i64 %74, 0
%263 = select i1 %262, i1 %47, i1 false
%264 = and i1 %257, %263
br i1 %264, label %265, label %277
265: ; preds = %261
%266 = add nuw nsw i64 %74, 5
%267 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %266, i64 %48
%268 = load i32, i32* %267
%269 = icmp eq i32 %268, %1
%270 = zext i1 %269 to i32
%271 = add nuw nsw i32 %259, %270
%272 = icmp eq i32 %271, 3
br i1 %272, label %273, label %277
273: ; preds = %265, %253, %241, %229, %217
%274 = icmp eq i32 %181, 0
br i1 %274, label %420, label %275
275: ; preds = %273
%276 = trunc i64 %74 to i32
br label %786
277: ; preds = %265, %261, %249, %237, %225, %210
%278 = icmp eq i32 %181, 2
br i1 %278, label %421, label %279
279: ; preds = %277
%280 = icmp ult i64 %74, 5
%281 = select i1 %280, i1 %37, i1 false
br i1 %281, label %338, label %326
282: ; preds = %338
%283 = add nuw nsw i64 %74, 2
%284 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %283, i64 %52
%285 = load i32, i32* %284
%286 = icmp eq i32 %285, %1
%287 = zext i1 %286 to i32
%288 = add nuw nsw i32 %343, %287
%289 = icmp eq i32 %288, 3
br i1 %289, label %347, label %290
290: ; preds = %282
%291 = icmp ult i64 %74, 3
%292 = select i1 %291, i1 %54, i1 false
%293 = and i1 %286, %292
br i1 %293, label %294, label %326
294: ; preds = %290
%295 = add nuw nsw i64 %74, 3
%296 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %295, i64 %55
%297 = load i32, i32* %296
%298 = icmp eq i32 %297, %1
%299 = zext i1 %298 to i32
%300 = add nuw nsw i32 %288, %299
%301 = icmp eq i32 %300, 3
br i1 %301, label %347, label %302
302: ; preds = %294
%303 = icmp ult i64 %74, 2
%304 = select i1 %303, i1 %57, i1 false
%305 = and i1 %298, %304
br i1 %305, label %306, label %326
306: ; preds = %302
%307 = add nuw nsw i64 %74, 4
%308 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %307, i64 %58
%309 = load i32, i32* %308
%310 = icmp eq i32 %309, %1
%311 = zext i1 %310 to i32
%312 = add nuw nsw i32 %300, %311
%313 = icmp eq i32 %312, 3
br i1 %313, label %347, label %314
314: ; preds = %306
%315 = icmp eq i64 %74, 0
%316 = select i1 %315, i1 %59, i1 false
%317 = and i1 %310, %316
br i1 %317, label %318, label %326
318: ; preds = %314
%319 = add nuw nsw i64 %74, 5
%320 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %319, i64 %61
%321 = load i32, i32* %320
%322 = icmp eq i32 %321, %1
%323 = zext i1 %322 to i32
%324 = add nuw nsw i32 %312, %323
%325 = icmp eq i32 %324, 3
br i1 %325, label %347, label %326
326: ; preds = %338, %290, %302, %314, %318, %279
%327 = phi i32 [ 0, %279 ], [ %343, %338 ], [ %288, %290 ], [ %300, %302 ], [ %312, %314 ], [ %324, %318 ]
%328 = select i1 %183, i1 %38, i1 false
br i1 %328, label %329, label %421
329: ; preds = %326
%330 = trunc i64 %182 to i32
%331 = and i64 %182, 4294967295
%332 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %331, i64 %62
%333 = load i32, i32* %332
%334 = icmp eq i32 %333, %1
%335 = zext i1 %334 to i32
%336 = add nuw nsw i32 %327, %335
%337 = icmp eq i32 %336, 3
br i1 %337, label %416, label %351
338: ; preds = %279
%339 = add nuw nsw i64 %74, 1
%340 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %339, i64 %49
%341 = load i32, i32* %340
%342 = icmp eq i32 %341, %1
%343 = zext i1 %342 to i32
%344 = icmp ult i64 %74, 4
%345 = select i1 %344, i1 %51, i1 false
%346 = and i1 %342, %345
br i1 %346, label %282, label %326
347: ; preds = %318, %306, %294, %282
%348 = icmp eq i32 %181, 0
br i1 %348, label %420, label %349
349: ; preds = %347
%350 = trunc i64 %74 to i32
br label %786
351: ; preds = %329
%352 = icmp sgt i32 %330, 0
%353 = select i1 %352, i1 %63, i1 false
%354 = and i1 %334, %353
br i1 %354, label %355, label %421
355: ; preds = %351
%356 = add nuw i64 %74, 4294967294
%357 = and i64 %356, 4294967295
%358 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %357, i64 %64
%359 = load i32, i32* %358
%360 = icmp eq i32 %359, %1
%361 = zext i1 %360 to i32
%362 = add nuw nsw i32 %336, %361
%363 = icmp eq i32 %362, 3
br i1 %363, label %416, label %364
364: ; preds = %355
%365 = icmp sgt i32 %330, 1
%366 = select i1 %365, i1 %65, i1 false
%367 = and i1 %360, %366
br i1 %367, label %368, label %421
368: ; preds = %364
%369 = add nuw i64 %74, 4294967293
%370 = and i64 %369, 4294967295
%371 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %370, i64 %66
%372 = load i32, i32* %371
%373 = icmp eq i32 %372, %1
%374 = zext i1 %373 to i32
%375 = add nuw nsw i32 %362, %374
%376 = icmp eq i32 %375, 3
br i1 %376, label %416, label %377
377: ; preds = %368
%378 = icmp sgt i32 %330, 2
%379 = select i1 %378, i1 %67, i1 false
%380 = and i1 %373, %379
br i1 %380, label %381, label %421
381: ; preds = %377
%382 = add nuw i64 %74, 4294967292
%383 = and i64 %382, 4294967295
%384 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %383, i64 %68
%385 = load i32, i32* %384
%386 = icmp eq i32 %385, %1
%387 = zext i1 %386 to i32
%388 = add nuw nsw i32 %375, %387
%389 = icmp eq i32 %388, 3
br i1 %389, label %416, label %390
390: ; preds = %381
%391 = icmp sgt i32 %330, 3
%392 = select i1 %391, i1 %69, i1 false
%393 = and i1 %386, %392
br i1 %393, label %394, label %421
394: ; preds = %390
%395 = add nuw i64 %74, 4294967291
%396 = and i64 %395, 4294967295
%397 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %396, i64 %70
%398 = load i32, i32* %397
%399 = icmp eq i32 %398, %1
%400 = zext i1 %399 to i32
%401 = add nuw nsw i32 %388, %400
%402 = icmp eq i32 %401, 3
br i1 %402, label %416, label %403
403: ; preds = %394
%404 = icmp sgt i32 %330, 4
%405 = select i1 %404, i1 %71, i1 false
%406 = and i1 %399, %405
br i1 %406, label %407, label %421
407: ; preds = %403
%408 = add nuw i64 %74, 4294967290
%409 = and i64 %408, 4294967295
%410 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %409, i64 %72
%411 = load i32, i32* %410
%412 = icmp eq i32 %411, %1
%413 = zext i1 %412 to i32
%414 = add nuw nsw i32 %401, %413
%415 = icmp eq i32 %414, 3
br i1 %415, label %416, label %421
416: ; preds = %407, %394, %381, %368, %355, %329
%417 = icmp eq i32 %181, 0
br i1 %417, label %420, label %418
418: ; preds = %416
%419 = trunc i64 %74 to i32
br label %786
420: ; preds = %416, %347, %273, %199
store i32 %11, i32* %76
br label %421
421: ; preds = %351, %364, %377, %390, %403, %407, %420, %326, %277
%422 = phi i32 [ 2, %277 ], [ %181, %326 ], [ 2, %420 ], [ %181, %407 ], [ %181, %403 ], [ %181, %390 ], [ %181, %377 ], [ %181, %364 ], [ %181, %351 ]
br i1 %18, label %427, label %423
423: ; preds = %73, %421
%424 = phi i32 [ %422, %421 ], [ %75, %73 ]
%425 = add nuw nsw i64 %74, 1
%426 = icmp eq i64 %425, 6
br i1 %426, label %427, label %73
427: ; preds = %423, %421
%428 = phi i32 [ %422, %421 ], [ %424, %423 ]
%429 = icmp eq i64 %32, 7
br i1 %429, label %430, label %19
430: ; preds = %427
%431 = icmp eq i32 %428, 2
br i1 %431, label %432, label %790
432: ; preds = %430
%433 = icmp ne i32 %5, 0
br label %434
434: ; preds = %432, %783
%435 = phi i64 [ 0, %432 ], [ %447, %783 ]
%436 = phi i64 [ 1, %432 ], [ %784, %783 ]
%437 = icmp ugt i64 %435, 2
%438 = trunc i64 %435 to i32
%439 = add i32 %438, -1
%440 = zext i32 %439 to i64
%441 = trunc i64 %435 to i32
%442 = add i32 %441, -2
%443 = zext i32 %442 to i64
%444 = add nuw i64 %435, 4294967293
%445 = and i64 %444, 4294967295
%446 = icmp ult i32 %442, 4
%447 = add nuw nsw i64 %435, 1
%448 = icmp ult i32 %439, 4
%449 = add nuw nsw i64 %435, 2
%450 = icmp ult i64 %435, 4
%451 = add nuw nsw i64 %435, 3
%452 = icmp ne i64 %435, 0
%453 = icmp ult i64 %435, 6
%454 = icmp ult i64 %436, 6
%455 = add nuw nsw i64 %436, 1
%456 = icmp ult i64 %436, 5
%457 = add nuw nsw i64 %436, 2
%458 = icmp ult i64 %436, 4
%459 = add nuw nsw i64 %436, 3
%460 = icmp ult i64 %436, 3
%461 = add nuw nsw i64 %436, 4
%462 = zext i32 %439 to i64
%463 = add i32 %438, -2
%464 = icmp sgt i32 %439, 0
%465 = zext i32 %463 to i64
%466 = add i32 %438, -3
%467 = icmp sgt i32 %463, 0
%468 = zext i32 %466 to i64
%469 = add i32 %438, -4
%470 = icmp sgt i32 %466, 0
%471 = zext i32 %469 to i64
%472 = icmp sgt i32 %469, 0
%473 = add nuw i64 %435, 4294967291
%474 = and i64 %473, 4294967295
%475 = icmp ult i64 %436, 6
%476 = add nuw nsw i64 %436, 1
%477 = icmp ult i64 %436, 5
%478 = add nuw nsw i64 %436, 2
%479 = icmp ult i64 %436, 4
%480 = add nuw nsw i64 %436, 3
%481 = icmp ult i64 %436, 3
%482 = add nuw nsw i64 %436, 4
%483 = icmp ult i64 %436, 2
%484 = add nuw nsw i64 %436, 5
br label %485
485: ; preds = %781, %434
%486 = phi i32 [ 0, %434 ], [ %782, %781 ]
%487 = zext i32 %486 to i64
%488 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %435
%489 = load i32, i32* %488
%490 = icmp eq i32 %489, 0
br i1 %490, label %491, label %779
491: ; preds = %485
%492 = icmp ugt i32 %486, 2
br i1 %492, label %493, label %511
493: ; preds = %491
%494 = add nsw i32 %486, -1
%495 = zext i32 %494 to i64
%496 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %495, i64 %435
%497 = load i32, i32* %496
%498 = icmp eq i32 %497, %1
br i1 %498, label %499, label %511
499: ; preds = %493
%500 = add nsw i32 %486, -2
%501 = zext i32 %500 to i64
%502 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %501, i64 %435
%503 = load i32, i32* %502
%504 = icmp eq i32 %503, %1
br i1 %504, label %505, label %511
505: ; preds = %499
%506 = add nsw i32 %486, -3
%507 = zext i32 %506 to i64
%508 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %507, i64 %435
%509 = load i32, i32* %508
%510 = icmp eq i32 %509, %1
br i1 %510, label %786, label %511
511: ; preds = %493, %499, %505, %491
br i1 %437, label %512, label %524
512: ; preds = %511
%513 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %440
%514 = load i32, i32* %513
%515 = icmp eq i32 %514, %1
br i1 %515, label %516, label %524
516: ; preds = %512
%517 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %443
%518 = load i32, i32* %517
%519 = icmp eq i32 %518, %1
br i1 %519, label %520, label %524
520: ; preds = %516
%521 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %445
%522 = load i32, i32* %521
%523 = icmp eq i32 %522, %1
br i1 %523, label %786, label %524
524: ; preds = %512, %516, %520, %511
br i1 %446, label %525, label %537
525: ; preds = %524
%526 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %440
%527 = load i32, i32* %526
%528 = icmp eq i32 %527, %1
br i1 %528, label %529, label %537
529: ; preds = %525
%530 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %443
%531 = load i32, i32* %530
%532 = icmp eq i32 %531, %1
br i1 %532, label %533, label %537
533: ; preds = %529
%534 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %447
%535 = load i32, i32* %534
%536 = icmp eq i32 %535, %1
br i1 %536, label %786, label %537
537: ; preds = %525, %529, %533, %524
br i1 %448, label %538, label %550
538: ; preds = %537
%539 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %440
%540 = load i32, i32* %539
%541 = icmp eq i32 %540, %1
br i1 %541, label %542, label %550
542: ; preds = %538
%543 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %447
%544 = load i32, i32* %543
%545 = icmp eq i32 %544, %1
br i1 %545, label %546, label %550
546: ; preds = %542
%547 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %449
%548 = load i32, i32* %547
%549 = icmp eq i32 %548, %1
br i1 %549, label %786, label %550
550: ; preds = %538, %542, %546, %537
br i1 %450, label %551, label %563
551: ; preds = %550
%552 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %447
%553 = load i32, i32* %552
%554 = icmp eq i32 %553, %1
br i1 %554, label %555, label %563
555: ; preds = %551
%556 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %449
%557 = load i32, i32* %556
%558 = icmp eq i32 %557, %1
br i1 %558, label %559, label %563
559: ; preds = %555
%560 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %487, i64 %451
%561 = load i32, i32* %560
%562 = icmp eq i32 %561, %1
br i1 %562, label %786, label %563
563: ; preds = %551, %555, %559, %550
%564 = add nsw i32 %486, -1
%565 = icmp ne i32 %486, 0
%566 = select i1 %565, i1 %452, i1 false
br i1 %566, label %567, label %586
567: ; preds = %563, %579
%568 = phi i32 [ %581, %579 ], [ %439, %563 ]
%569 = phi i32 [ %580, %579 ], [ %564, %563 ]
%570 = phi i32 [ %577, %579 ], [ 0, %563 ]
%571 = zext i32 %569 to i64
%572 = zext i32 %568 to i64
%573 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %571, i64 %572
%574 = load i32, i32* %573
%575 = icmp eq i32 %574, %1
%576 = zext i1 %575 to i32
%577 = add nuw nsw i32 %570, %576
%578 = icmp eq i32 %577, 3
br i1 %578, label %786, label %579
579: ; preds = %567
%580 = add nsw i32 %569, -1
%581 = add nsw i32 %568, -1
%582 = icmp sgt i32 %569, 0
%583 = icmp sgt i32 %568, 0
%584 = select i1 %582, i1 %583, i1 false
%585 = and i1 %575, %584
br i1 %585, label %567, label %586
586: ; preds = %579, %563
%587 = phi i32 [ 0, %563 ], [ %577, %579 ]
%588 = icmp ult i32 %486, 5
%589 = select i1 %588, i1 %453, i1 false
br i1 %589, label %592, label %590
590: ; preds = %640, %600, %612, %624, %636, %586
%591 = select i1 %588, i1 %452, i1 false
br i1 %591, label %651, label %648
592: ; preds = %586
%593 = add nuw nsw i64 %487, 1
%594 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %593, i64 %436
%595 = load i32, i32* %594
%596 = icmp eq i32 %595, %1
%597 = zext i1 %596 to i32
%598 = add nuw nsw i32 %587, %597
%599 = icmp eq i32 %598, 3
br i1 %599, label %786, label %600
600: ; preds = %592
%601 = icmp ult i32 %486, 4
%602 = select i1 %601, i1 %454, i1 false
%603 = and i1 %596, %602
br i1 %603, label %604, label %590
604: ; preds = %600
%605 = add nuw nsw i64 %487, 2
%606 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %605, i64 %455
%607 = load i32, i32* %606
%608 = icmp eq i32 %607, %1
%609 = zext i1 %608 to i32
%610 = add nuw nsw i32 %598, %609
%611 = icmp eq i32 %610, 3
br i1 %611, label %786, label %612
612: ; preds = %604
%613 = icmp ult i32 %486, 3
%614 = select i1 %613, i1 %456, i1 false
%615 = and i1 %608, %614
br i1 %615, label %616, label %590
616: ; preds = %612
%617 = add nuw nsw i64 %487, 3
%618 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %617, i64 %457
%619 = load i32, i32* %618
%620 = icmp eq i32 %619, %1
%621 = zext i1 %620 to i32
%622 = add nuw nsw i32 %610, %621
%623 = icmp eq i32 %622, 3
br i1 %623, label %786, label %624
624: ; preds = %616
%625 = icmp ult i32 %486, 2
%626 = select i1 %625, i1 %458, i1 false
%627 = and i1 %620, %626
br i1 %627, label %628, label %590
628: ; preds = %624
%629 = add nuw nsw i64 %487, 4
%630 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %629, i64 %459
%631 = load i32, i32* %630
%632 = icmp eq i32 %631, %1
%633 = zext i1 %632 to i32
%634 = add nuw nsw i32 %622, %633
%635 = icmp eq i32 %634, 3
br i1 %635, label %786, label %636
636: ; preds = %628
%637 = icmp eq i32 %486, 0
%638 = select i1 %637, i1 %460, i1 false
%639 = and i1 %632, %638
br i1 %639, label %640, label %590
640: ; preds = %636
%641 = add nuw nsw i64 %487, 5
%642 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %641, i64 %461
%643 = load i32, i32* %642
%644 = icmp eq i32 %643, %1
%645 = zext i1 %644 to i32
%646 = add nuw nsw i32 %634, %645
%647 = icmp eq i32 %646, 3
br i1 %647, label %786, label %590
648: ; preds = %696, %651, %668, %680, %692, %590
%649 = phi i32 [ 0, %590 ], [ %656, %651 ], [ %666, %668 ], [ %678, %680 ], [ %690, %692 ], [ %702, %696 ]
%650 = select i1 %565, i1 %453, i1 false
br i1 %650, label %704, label %777
651: ; preds = %590
%652 = add nuw nsw i64 %487, 1
%653 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %652, i64 %462
%654 = load i32, i32* %653
%655 = icmp eq i32 %654, %1
%656 = zext i1 %655 to i32
%657 = icmp ult i32 %486, 4
%658 = select i1 %657, i1 %464, i1 false
%659 = and i1 %655, %658
br i1 %659, label %660, label %648
660: ; preds = %651
%661 = add nuw nsw i64 %487, 2
%662 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %661, i64 %465
%663 = load i32, i32* %662
%664 = icmp eq i32 %663, %1
%665 = zext i1 %664 to i32
%666 = add nuw nsw i32 %656, %665
%667 = icmp eq i32 %666, 3
br i1 %667, label %786, label %668
668: ; preds = %660
%669 = icmp ult i32 %486, 3
%670 = select i1 %669, i1 %467, i1 false
%671 = and i1 %664, %670
br i1 %671, label %672, label %648
672: ; preds = %668
%673 = add nuw nsw i64 %487, 3
%674 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %673, i64 %468
%675 = load i32, i32* %674
%676 = icmp eq i32 %675, %1
%677 = zext i1 %676 to i32
%678 = add nuw nsw i32 %666, %677
%679 = icmp eq i32 %678, 3
br i1 %679, label %786, label %680
680: ; preds = %672
%681 = icmp ult i32 %486, 2
%682 = select i1 %681, i1 %470, i1 false
%683 = and i1 %676, %682
br i1 %683, label %684, label %648
684: ; preds = %680
%685 = add nuw nsw i64 %487, 4
%686 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %685, i64 %471
%687 = load i32, i32* %686
%688 = icmp eq i32 %687, %1
%689 = zext i1 %688 to i32
%690 = add nuw nsw i32 %678, %689
%691 = icmp eq i32 %690, 3
br i1 %691, label %786, label %692
692: ; preds = %684
%693 = icmp eq i32 %486, 0
%694 = select i1 %693, i1 %472, i1 false
%695 = and i1 %688, %694
br i1 %695, label %696, label %648
696: ; preds = %692
%697 = add nuw nsw i64 %487, 5
%698 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %697, i64 %474
%699 = load i32, i32* %698
%700 = icmp eq i32 %699, %1
%701 = zext i1 %700 to i32
%702 = add nuw nsw i32 %690, %701
%703 = icmp eq i32 %702, 3
br i1 %703, label %786, label %648
704: ; preds = %648
%705 = zext i32 %564 to i64
%706 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %705, i64 %436
%707 = load i32, i32* %706
%708 = icmp eq i32 %707, %1
%709 = zext i1 %708 to i32
%710 = add nuw nsw i32 %649, %709
%711 = icmp eq i32 %710, 3
br i1 %711, label %786, label %712
712: ; preds = %704
%713 = icmp ugt i32 %486, 1
%714 = select i1 %713, i1 %475, i1 false
%715 = and i1 %708, %714
br i1 %715, label %716, label %777
716: ; preds = %712
%717 = add nsw i32 %486, -2
%718 = zext i32 %717 to i64
%719 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %718, i64 %476
%720 = load i32, i32* %719
%721 = icmp eq i32 %720, %1
%722 = zext i1 %721 to i32
%723 = add nuw nsw i32 %710, %722
%724 = icmp eq i32 %723, 3
br i1 %724, label %786, label %725
725: ; preds = %716
%726 = icmp ugt i32 %486, 2
%727 = select i1 %726, i1 %477, i1 false
%728 = and i1 %721, %727
br i1 %728, label %729, label %777
729: ; preds = %725
%730 = add nsw i32 %486, -3
%731 = zext i32 %730 to i64
%732 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %731, i64 %478
%733 = load i32, i32* %732
%734 = icmp eq i32 %733, %1
%735 = zext i1 %734 to i32
%736 = add nuw nsw i32 %723, %735
%737 = icmp eq i32 %736, 3
br i1 %737, label %786, label %738
738: ; preds = %729
%739 = icmp ugt i32 %486, 3
%740 = select i1 %739, i1 %479, i1 false
%741 = and i1 %734, %740
br i1 %741, label %742, label %777
742: ; preds = %738
%743 = add nsw i32 %486, -4
%744 = zext i32 %743 to i64
%745 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %744, i64 %480
%746 = load i32, i32* %745
%747 = icmp eq i32 %746, %1
%748 = zext i1 %747 to i32
%749 = add nuw nsw i32 %736, %748
%750 = icmp eq i32 %749, 3
br i1 %750, label %786, label %751
751: ; preds = %742
%752 = icmp ugt i32 %486, 4
%753 = select i1 %752, i1 %481, i1 false
%754 = and i1 %747, %753
br i1 %754, label %755, label %777
755: ; preds = %751
%756 = add nsw i32 %486, -5
%757 = zext i32 %756 to i64
%758 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %757, i64 %482
%759 = load i32, i32* %758
%760 = icmp eq i32 %759, %1
%761 = zext i1 %760 to i32
%762 = add nuw nsw i32 %749, %761
%763 = icmp eq i32 %762, 3
br i1 %763, label %786, label %764
764: ; preds = %755
%765 = icmp ugt i32 %486, 5
%766 = select i1 %765, i1 %483, i1 false
%767 = and i1 %760, %766
br i1 %767, label %768, label %777
768: ; preds = %764
%769 = add nsw i32 %486, -6
%770 = zext i32 %769 to i64
%771 = getelementptr inbounds [6 x [7 x i32]], [6 x [7 x i32]]* %9, i64 0, i64 %770, i64 %484
%772 = load i32, i32* %771
%773 = icmp eq i32 %772, %1
%774 = zext i1 %773 to i32
%775 = add nuw nsw i32 %762, %774
%776 = icmp eq i32 %775, 3
br i1 %776, label %786, label %777
777: ; preds = %712, %725, %738, %751, %764, %768, %648
%778 = select i1 %433, i1 %588, i1 false
br i1 %778, label %781, label %783
779: ; preds = %485
%780 = icmp ult i32 %486, 5
br i1 %780, label %781, label %783
781: ; preds = %779, %777
%782 = add nuw nsw i32 %486, 1
br label %485
783: ; preds = %779, %777
%784 = add nuw nsw i64 %436, 1
%785 = icmp eq i64 %447, 7
br i1 %785, label %790, label %434
786: ; preds = %559, %546, %533, %520, %505, %567, %592, %604, %616, %628, %640, %660, %672, %684, %696, %704, %716, %729, %742, %755, %768, %101, %120, %139, %158, %177, %201, %275, %349, %418
%787 = phi i32 [ %419, %418 ], [ %350, %349 ], [ %276, %275 ], [ %202, %201 ], [ %178, %177 ], [ %159, %158 ], [ %140, %139 ], [ %121, %120 ], [ %102, %101 ], [ %486, %768 ], [ %486, %755 ], [ %486, %742 ], [ %486, %729 ], [ %486, %716 ], [ %486, %704 ], [ %486, %696 ], [ %486, %684 ], [ %486, %672 ], [ %486, %660 ], [ %486, %640 ], [ %486, %628 ], [ %486, %616 ], [ %486, %604 ], [ %486, %592 ], [ %486, %567 ], [ %486, %505 ], [ %486, %520 ], [ %486, %533 ], [ %486, %546 ], [ %486, %559 ]
%788 = phi i64 [ %20, %418 ], [ %20, %349 ], [ %20, %275 ], [ %20, %201 ], [ %20, %177 ], [ %20, %158 ], [ %20, %139 ], [ %20, %120 ], [ %20, %101 ], [ %435, %768 ], [ %435, %755 ], [ %435, %742 ], [ %435, %729 ], [ %435, %716 ], [ %435, %704 ], [ %435, %696 ], [ %435, %684 ], [ %435, %672 ], [ %435, %660 ], [ %435, %640 ], [ %435, %628 ], [ %435, %616 ], [ %435, %604 ], [ %435, %592 ], [ %435, %567 ], [ %435, %505 ], [ %435, %520 ], [ %435, %533 ], [ %435, %546 ], [ %435, %559 ]
%789 = trunc i64 %788 to i32
store i32 %787, i32* %6
br label %790
790: ; preds = %783, %786, %430
%791 = phi i32 [ -1, %430 ], [ %789, %786 ], [ -1, %783 ]
ret i32 %791
}