// File: /workspace/github_cpp_makefile_star2_O1/pfnet-research[P]pml/src/logic.cpp
// Function: logic::to_debug_string[abi:cxx11](logic::term_t const&)
std::string to_debug_string(term_t const& term) {
    switch (term.kind()) {
    case term_kind_t::Var:
        return cast<var_term_t>(term).name;
    case term_kind_t::Int:
        return std::to_string(cast<int_term_t>(term).n);
    case term_kind_t::Add:
        return "Add(" +
            to_debug_string(*cast<add_term_t>(term).lhs) + ", " +
            to_debug_string(*cast<add_term_t>(term).rhs) + ")";
    case term_kind_t::Sub:
        return "Sub(" +
            to_debug_string(*cast<sub_term_t>(term).lhs) + ", " +
            to_debug_string(*cast<sub_term_t>(term).rhs) + ")";
    case term_kind_t::Mul:
        return "Mul(" +
            to_debug_string(*cast<mul_term_t>(term).lhs) + ", " +
            to_debug_string(*cast<mul_term_t>(term).rhs) + ")";
    case term_kind_t::Div:
        return "Div(" +
            to_debug_string(*cast<div_term_t>(term).lhs) + ", " +
            to_debug_string(*cast<div_term_t>(term).rhs) + ")";
    case term_kind_t::Prob:
        return "Prob(" + to_debug_string(*cast<prob_term_t>(term).inner) + ")";
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xa0, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rax
movq %rsi, %rdi
callq *(%rax)
movl %eax, %eax
leaq 0x34198(%rip), %rcx     # 0x47384
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x4db0c(%rip), %rsi     # 0x60d08
leaq 0x4ddad(%rip), %rdx     # 0x60fb0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
leaq 0x10(%rbx), %rcx
movq %rcx, (%rbx)
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xad30
jmp 0x13c7b
leaq 0x4dacc(%rip), %rsi     # 0x60d08
leaq 0x4dc35(%rip), %rdx     # 0x60e78
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movq 0x8(%rax), %rsi
leaq 0x80(%rsp), %r15
movq %r15, %rdi
callq 0x131c6
leaq 0x34201(%rip), %rcx     # 0x47472
movl $0x4, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x13529
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
jmp 0x13530
leaq 0x4da50(%rip), %rsi     # 0x60d08
leaq 0x4da71(%rip), %rdx     # 0x60d30
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movq 0x8(%rax), %rsi
leaq 0x80(%rsp), %r15
movq %r15, %rdi
callq 0x131c6
leaq 0x3417b(%rip), %rcx     # 0x47468
movl $0x4, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x13587
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
jmp 0x1358e
leaq 0x4d9d4(%rip), %rsi     # 0x60d08
leaq 0x4daad(%rip), %rdx     # 0x60de8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movq 0x8(%rax), %rsi
leaq 0x80(%rsp), %r15
movq %r15, %rdi
callq 0x131c6
leaq 0x34104(%rip), %rcx     # 0x4746d
movl $0x4, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x135e5
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
jmp 0x135ec
leaq 0x4d958(%rip), %rsi     # 0x60d08
leaq 0x4e189(%rip), %rdx     # 0x61540
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movl 0x8(%rax), %r15d
movl %r15d, %ebp
negl %ebp
cmovsl %r15d, %ebp
movl $0x1, %r14d
cmpl $0xa, %ebp
jb 0x13c4d
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0x13c44
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x13c4a
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x13c4d
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x133f3
addl $-0x3, %r14d
jmp 0x13c4d
leaq 0x4d8cc(%rip), %rsi     # 0x60d08
leaq 0x4dac5(%rip), %rdx     # 0x60f08
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movq 0x8(%rax), %rsi
leaq 0x80(%rsp), %r15
movq %r15, %rdi
callq 0x131c6
leaq 0x34006(%rip), %rcx     # 0x47477
movl $0x4, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x70(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x13643
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
jmp 0x1364a
leaq 0x4d850(%rip), %rsi     # 0x60d08
leaq 0x4dad9(%rip), %rdx     # 0x60f98
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c8e
movq 0x8(%rax), %rsi
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x13d9c
leaq 0x33f92(%rip), %rcx     # 0x4747c
movl $0x5, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x136a1
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x136a8
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x60(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x33c4c(%rip), %rsi     # 0x4719f
callq 0x9540
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x136f7
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x136ff
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x60(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x33bee(%rip), %rsi     # 0x4719f
callq 0x9540
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1379f
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x137a7
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x60(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x33b90(%rip), %rsi     # 0x4719f
callq 0x9540
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x13847
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x1384f
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x60(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x33b32(%rip), %rsi     # 0x4719f
callq 0x9540
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x138ef
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x138f7
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rsp, %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x31cf4(%rip), %rsi     # 0x453bd
callq 0x9540
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x13997
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x1399d
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4d5ea(%rip), %rsi     # 0x60d08
leaq 0x4d753(%rip), %rdx     # 0x60e78
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c93
movq 0x18(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x131c6
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %r8
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x13768
movq 0x30(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x1378b
leaq 0x50(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x13782
movq 0x50(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x139e6
movq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdi
callq 0x90d0
jmp 0x139f4
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4d542(%rip), %rsi     # 0x60d08
leaq 0x4d563(%rip), %rdx     # 0x60d30
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c98
movq 0x18(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x131c6
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %r8
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x13810
movq 0x30(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x13833
leaq 0x50(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x1382a
movq 0x50(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x13a4e
movq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdi
callq 0x90d0
jmp 0x13a5c
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4d49a(%rip), %rsi     # 0x60d08
leaq 0x4d573(%rip), %rdx     # 0x60de8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13c9d
movq 0x18(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x131c6
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %r8
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x138b8
movq 0x30(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x138db
leaq 0x50(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x138d2
movq 0x50(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x13ab6
movq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdi
callq 0x90d0
jmp 0x13ac4
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4d3f2(%rip), %rsi     # 0x60d08
leaq 0x4d5eb(%rip), %rdx     # 0x60f08
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x13ca2
movq 0x18(%rax), %rsi
leaq 0x40(%rsp), %rdi
callq 0x131c6
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %r8
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x13960
movq 0x30(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x13983
leaq 0x50(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x1397a
movq 0x50(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x13b1b
movq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdi
callq 0x90d0
jmp 0x13b29
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x139ca
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13c7b
movq 0x30(%rsp), %rsi
jmp 0x13c3a
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x10(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x13a17
movq %rsi, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x13a1d
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x3197c(%rip), %rsi     # 0x453bd
movq %rsp, %rdi
callq 0x9540
jmp 0x13b7e
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x10(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x13a7f
movq %rsi, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x13a85
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x31914(%rip), %rsi     # 0x453bd
movq %rsp, %rdi
callq 0x9540
jmp 0x13b7e
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x10(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x13ae7
movq %rsi, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x13aed
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x318ac(%rip), %rsi     # 0x453bd
movq %rsp, %rdi
callq 0x9540
jmp 0x13b7e
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x10(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x13b4c
movq %rsi, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x13b52
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x31847(%rip), %rsi     # 0x453bd
movq %rsp, %rdi
callq 0x9540
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x13ba0
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x13ba6
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13bd8
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13bf3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x13c0a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x13c21
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x90(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13c7b
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x13c7b
addl $-0x2, %r14d
jmp 0x13c4d
decl %r14d
shrl $0x1f, %r15d
movl %r15d, %esi
addl %r14d, %esi
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq %rbx, %rdi
movl $0x2d, %edx
callq 0x9360
movq (%rbx), %rdi
addq %r15, %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x117f9
movq %rbx, %rax
addq $0xa0, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
jmp 0x13cad
jmp 0x13cad
jmp 0x13cad
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13cd6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x13cd6
jmp 0x13cd3
jmp 0x13cd3
jmp 0x13cd3
movq %rax, %rbx
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13d45
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x13d45
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x13d1c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x13d1c
jmp 0x13d14
jmp 0x13d14
jmp 0x13d14
movq %rax, %rbx
jmp 0x13d5c
movq %rax, %rbx
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13d94
movq 0x30(%rsp), %rsi
jmp 0x13d8c
jmp 0x13d37
jmp 0x13d37
jmp 0x13d37
movq %rax, %rbx
jmp 0x13d73
jmp 0x13d42
jmp 0x13d42
jmp 0x13d42
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x13d5c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x60(%rsp), %rdi
cmpq %r15, %rdi
je 0x13d73
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x90(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13d94
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rdi
callq 0x94e0