// File: /workspace/github_cpp_makefile_star2_O1/isovic[P]cigargen/cigargen.cc
// Function: Verbose(_IO_FILE*, char*, unsigned int, char*, unsigned int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&, std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>>&, std::vector<std::vector<unsigned char, std::allocator<unsigned char>>, std::allocator<std::vector<unsigned char, std::allocator<unsigned char>>>>&)
void Verbose(FILE *fp, char *query, uint32_t query_length, char *reference, uint32_t reference_length, std::string &cigar, std::vector<std::vector<int32_t> > &dp_matrix, std::vector<std::vector<uint8_t> > &dp_traceback) {
  fprintf (fp, "%3c", ' ');
  for (uint32_t i=0; i<=reference_length; i++) {
    if (i > 0)
      fprintf (fp, "%3c", reference[i-1]);
    else
      fprintf (fp, "%3c", '-');
  }
  fprintf (fp, "\n");

  for (uint32_t i=0; i<=query_length; i++) {
    if (i > 0)
      fprintf (fp, "%3c", query[i-1]);
    else
      fprintf (fp, "%3c", '-');

    for (uint32_t j=0; j<=reference_length; j++) {
      fprintf (fp, "%3d", dp_matrix[i][j]);
    }
    fprintf (fp, "\n");
  }

  fprintf (fp, "\n");
  fprintf (fp, "Traceback:\n");

  fprintf (fp, "%3c", ' ');
  for (uint32_t i=0; i<=reference_length; i++) {
    if (i > 0)
      fprintf (fp, "%3c", reference[i-1]);
    else
      fprintf (fp, "%3c", '-');
  }
  fprintf (fp, "\n");

  for (uint32_t i=0; i<=query_length; i++) {
    if (i > 0)
      fprintf (fp, "%3c", query[i-1]);
    else
      fprintf (fp, "%3c", '-');

    for (uint32_t j=0; j<=reference_length; j++) {
      fprintf (fp, "%3d", dp_traceback[i][j]);
    }
    fprintf (fp, "\n");
  }

  fprintf (fp, "\n");

  fprintf (fp, "CIGAR: %s\n", cigar.c_str());
  fprintf (fp, "\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %r9, -0x58(%rbp)
movl %r8d, %r13d
movq %rcx, -0x38(%rbp)
movl %edx, -0x2c(%rbp)
movq %rsi, -0x48(%rbp)
movq %rdi, %rbx
movq 0x18(%rbp), %rax
movq %rax, -0x68(%rbp)
movq 0x10(%rbp), %r14
leaq 0x1344(%rip), %rsi      # 0x40ca
movq %rsi, %r12
movl $0x20, %edx
xorl %eax, %eax
callq 0x2170
xorl %r15d, %r15d
testl %r15d, %r15d
je 0x2dab
leal -0x1(%r15), %eax
movq -0x38(%rbp), %rcx
movsbl (%rcx,%rax), %edx
jmp 0x2db0
movl $0x2d, %edx
movq %rbx, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x2170
incl %r15d
cmpl %r13d, %r15d
jbe 0x2d98
movl $0xa, %edi
movq %rbx, %rsi
callq 0x2160
movl %r13d, %eax
incq %rax
movq %rax, -0x50(%rbp)
xorl %r15d, %r15d
movq %r14, -0x60(%rbp)
movq -0x50(%rbp), %r14
testl %r15d, %r15d
je 0x2dfa
leal -0x1(%r15), %eax
movq -0x48(%rbp), %rcx
movsbl (%rcx,%rax), %edx
jmp 0x2dff
movl $0x2d, %edx
movq %rbx, %rdi
leaq 0x12c1(%rip), %rsi      # 0x40ca
xorl %eax, %eax
callq 0x2170
movq %r15, -0x40(%rbp)
movl %r15d, %eax
leaq (%rax,%rax,2), %r12
xorl %r15d, %r15d
movq %rbx, %r13
movq -0x60(%rbp), %rbx
movq (%rbx), %rax
movq (%rax,%r12,8), %rax
movl (%rax,%r15,4), %edx
movq %r13, %rdi
leaq 0x1294(%rip), %rsi      # 0x40ce
xorl %eax, %eax
callq 0x2170
incq %r15
cmpq %r15, %r14
jne 0x2e25
movl $0xa, %edi
movq %r13, %rsi
callq 0x2160
movq -0x40(%rbp), %r15
incl %r15d
cmpl -0x2c(%rbp), %r15d
movq %r13, %rbx
jbe 0x2de7
movq %r14, %r12
movl $0xa, %edi
movq %rbx, %rsi
callq 0x2160
leaq 0x1255(%rip), %rdi      # 0x40d2
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x21e0
leaq 0x1234(%rip), %r14      # 0x40ca
movq %rbx, %rdi
movq %r14, %rsi
movl $0x20, %edx
xorl %eax, %eax
callq 0x2170
xorl %r15d, %r15d
testq %r15, %r15
je 0x2ebc
movq -0x38(%rbp), %rax
movsbl -0x1(%rax,%r15), %edx
jmp 0x2ec1
movl $0x2d, %edx
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x2170
incq %r15
cmpq %r15, %r12
jne 0x2eab
movl $0xa, %edi
movq %rbx, %rsi
callq 0x2160
movl -0x2c(%rbp), %eax
movq %rax, -0x38(%rbp)
xorl %r14d, %r14d
movq -0x68(%rbp), %r15
testq %r14, %r14
je 0x2f02
movq -0x48(%rbp), %rax
movsbl -0x1(%rax,%r14), %edx
jmp 0x2f07
movl $0x2d, %edx
movq %rbx, %rdi
leaq 0x11b9(%rip), %rsi      # 0x40ca
xorl %eax, %eax
callq 0x2170
movq %r14, -0x40(%rbp)
leaq (%r14,%r14,2), %r12
xorl %r14d, %r14d
movq %rbx, %r13
movq -0x50(%rbp), %rbx
movq (%r15), %rax
movq (%rax,%r12,8), %rax
movzbl (%rax,%r14), %edx
movq %r13, %rdi
leaq 0x118e(%rip), %rsi      # 0x40ce
xorl %eax, %eax
callq 0x2170
incq %r14
cmpq %r14, %rbx
jne 0x2f2a
movl $0xa, %edi
movq %r13, %rsi
callq 0x2160
movq -0x40(%rbp), %rcx
leaq 0x1(%rcx), %r14
cmpq -0x38(%rbp), %rcx
movq %r13, %rbx
jne 0x2ef1
movl $0xa, %edi
movq %rbx, %rsi
callq 0x2160
movq -0x58(%rbp), %rax
movq (%rax), %rdx
leaq 0x10d5(%rip), %rsi      # 0x405d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2170
movl $0xa, %edi
movq %rbx, %rsi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2160
nop