// File: /workspace/github_cpp_makefile_star2_O3/pfnet-research[P]pml/src/logic.cpp
// Function: logic::output[abi:cxx11](logic::formula_t const&, int, bool)
std::string output(formula_t const& f, int accept, bool pos) {
    switch (f.kind()) {
    case formula_kind_t::Var:
        return cast<var_formula_t>(f).name;
    case formula_kind_t::Bot:
        return "(1=2)";
    case formula_kind_t::Top:
        return "(1=1)";
    case formula_kind_t::Neg:
        return "!("  + output(*cast<neg_formula_t>(f).inner, accept, pos) + ")";
    case formula_kind_t::And:
        return "(" +
            output(*cast<and_formula_t>(f).lhs, accept, pos) + "&" +
            output(*cast<and_formula_t>(f).rhs, accept, pos) + ")";
        break;
    case formula_kind_t::Or:
        return "(" +
            output(*cast<or_formula_t>(f).lhs, accept, pos) + "|" +
            output(*cast<or_formula_t>(f).rhs, accept, pos) + ")";
    case formula_kind_t::Impl:
        return "(" +
            output(*cast<impl_formula_t>(f).lhs, accept, !pos) + "=>" +
            output(*cast<impl_formula_t>(f).rhs, accept, pos) + ")";
    case formula_kind_t::Eq:
        return "(" +
            output(*cast<eq_formula_t>(f).lhs, accept, pos) + "=" +
            output(*cast<eq_formula_t>(f).rhs, accept, pos) + ")";
    case formula_kind_t::Lt:
        return "(" +
            output(*cast<less_formula_t>(f).lhs, accept, !pos) + "<" +
            output(*cast<less_formula_t>(f).rhs, accept, pos) + ")";
    case formula_kind_t::Leq:
        return "(" +
            output(*cast<leq_formula_t>(f).lhs, accept, !pos) + "<=" +
            output(*cast<leq_formula_t>(f).rhs, accept, pos) + ")";
    case formula_kind_t::Geq:
        return "(" +
            output(*cast<geq_formula_t>(f).lhs, accept, pos) + ">=" +
            output(*cast<geq_formula_t>(f).rhs, accept, !pos) + ")";
    case formula_kind_t::Gt:
        return "(" +
            output(*cast<greater_formula_t>(f).lhs, accept, pos) + ">" +
            output(*cast<greater_formula_t>(f).rhs, accept, !pos) + ")";
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movl %ecx, %r15d
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rax
movq %rsi, %rdi
callq *(%rax)
movl %eax, %eax
leaq 0x30ad8(%rip), %rcx     # 0x473ec
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x49744(%rip), %rsi     # 0x60068
leaq 0x49c25(%rip), %rdx     # 0x60550
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
leaq 0x10(%rbx), %rcx
movq %rcx, (%rbx)
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xac68
jmp 0x17b5e
leaq 0x49704(%rip), %rsi     # 0x60068
leaq 0x49bcd(%rip), %rdx     # 0x60538
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x15382
leaq 0x30b64(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x16e45
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x16e4d
leaq 0x49681(%rip), %rsi     # 0x60068
leaq 0x4971a(%rip), %rdx     # 0x60108
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x168e7
leaq 0x30ade(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x16ea3
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x16eab
leaq 0x495fb(%rip), %rsi     # 0x60068
leaq 0x499a4(%rip), %rdx     # 0x60418
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x15382
leaq 0x30a57(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x16f01
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x16f09
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x30a01(%rip), %rsi     # 0x474fc
leaq 0x309ff(%rip), %rdx     # 0x47501
jmp 0x16c21
leaq 0x4955a(%rip), %rsi     # 0x60068
leaq 0x49563(%rip), %rdx     # 0x60078
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x28(%rsp), %r14
movq %r14, %rdi
movl %ebp, %edx
callq 0x168e7
leaq 0x309bc(%rip), %rcx     # 0x47502
movl $0x2, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x16f5f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x16f66
leaq 0x494db(%rip), %rsi     # 0x60068
leaq 0x4973c(%rip), %rdx     # 0x602d0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x15382
leaq 0x30938(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x16fb7
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x16fbf
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x308dc(%rip), %rsi     # 0x474f6
leaq 0x308da(%rip), %rdx     # 0x474fb
movq %rbx, %rdi
callq 0x116f8
jmp 0x17b5e
leaq 0x49433(%rip), %rsi     # 0x60068
leaq 0x4955c(%rip), %rdx     # 0x60198
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x168e7
leaq 0x30890(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x17015
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x1701d
leaq 0x493ad(%rip), %rsi     # 0x60068
leaq 0x49566(%rip), %rdx     # 0x60228
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x168e7
leaq 0x30809(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x17073
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x1707b
leaq 0x49326(%rip), %rsi     # 0x60068
leaq 0x4975f(%rip), %rdx     # 0x604a8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x15382
leaq 0x30786(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x170d1
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x170d9
leaq 0x492a3(%rip), %rsi     # 0x60068
leaq 0x495bc(%rip), %rdx     # 0x60388
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b73
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x15382
leaq 0x306ff(%rip), %rcx     # 0x47503
movl $0x1, %r8d
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1712f
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x17137
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x31457(%rip), %rsi     # 0x482c7
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1718d
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x17195
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x30637(%rip), %rsi     # 0x47505
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1723e
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x17246
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x305df(%rip), %rsi     # 0x4750b
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x172ea
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x172f2
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x2e434(%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 0x17397
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x1739d
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x30ec3(%rip), %rsi     # 0x47ea5
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x173e7
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x173ef
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x304c7(%rip), %rsi     # 0x47507
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x17493
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x1749b
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x30e0a(%rip), %rsi     # 0x47ea8
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1753f
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x17547
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x30412(%rip), %rsi     # 0x4750e
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x175ec
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x175f4
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x303af(%rip), %rsi     # 0x47509
callq 0x9540
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1769d
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x176a5
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48eb4(%rip), %rsi     # 0x60068
leaq 0x4937d(%rip), %rdx     # 0x60538
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b78
movq 0x18(%rax), %rsi
xorb $0x1, %r15b
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x15382
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x17208
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x1722f
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x17226
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x1774a
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17758
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48e03(%rip), %rsi     # 0x60068
leaq 0x48e9c(%rip), %rdx     # 0x60108
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b7d
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x168e7
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x172b4
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x172db
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x172d2
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x177b5
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x177c3
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48d57(%rip), %rsi     # 0x60068
leaq 0x49100(%rip), %rdx     # 0x60418
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b82
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x15382
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x17361
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x17388
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x1737f
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x17820
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x1782e
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 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x173cb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17b5e
movq 0x38(%rsp), %rsi
jmp 0x17b56
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48c5a(%rip), %rsi     # 0x60068
leaq 0x48ebb(%rip), %rdx     # 0x602d0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b87
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x15382
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x1745d
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x17484
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x1747b
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x1788b
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17899
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48bae(%rip), %rsi     # 0x60068
leaq 0x48cd7(%rip), %rdx     # 0x60198
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b8c
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x168e7
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x17509
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x17530
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x17527
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x178f6
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17904
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48b02(%rip), %rsi     # 0x60068
leaq 0x48cbb(%rip), %rdx     # 0x60228
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b91
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x168e7
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x175b6
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x175dd
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x175d4
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x17961
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x1796f
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x48a55(%rip), %rsi     # 0x60068
leaq 0x48e8e(%rip), %rdx     # 0x604a8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b96
movq 0x18(%rax), %rsi
xorb $0x1, %r15b
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x15382
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x17667
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x1768e
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x17685
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x179cc
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x179da
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x489a4(%rip), %rsi     # 0x60068
leaq 0x48cbd(%rip), %rdx     # 0x60388
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17b9b
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x15382
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x17714
movq 0x38(%rsp), %rdi
movq 0x48(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x1773b
leaq 0x58(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0x17732
movq 0x58(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x17a34
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17a42
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x1777c
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17782
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2dc17(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x177e7
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x177ed
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2dbac(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x17852
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17858
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2db41(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x178bd
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x178c3
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2dad6(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x17928
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x1792e
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2da6b(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x17993
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17999
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2da00(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x179fe
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17a04
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2d995(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17a9a
leaq 0x48(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9330
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x17a66
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17a6c
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2d92d(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x17abc
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x17ac2
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 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17af4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17b0f
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x17b26
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x17b3d
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17b5e
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
callq 0x9530
jmp 0x17bae
jmp 0x17bae
jmp 0x17bae
jmp 0x17bae
jmp 0x17bae
jmp 0x17bae
jmp 0x17bae
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17bdf
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17bdf
jmp 0x17bdc
jmp 0x17bdc
jmp 0x17bdc
jmp 0x17bdc
jmp 0x17bdc
jmp 0x17bdc
jmp 0x17bdc
movq %rax, %rbx
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17c67
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17c67
jmp 0x17c26
jmp 0x17c26
jmp 0x17c26
jmp 0x17c26
jmp 0x17c26
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x17c38
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17c38
jmp 0x17c26
jmp 0x17c26
movq %rax, %rbx
jmp 0x17c7e
jmp 0x17c51
jmp 0x17c51
jmp 0x17c51
jmp 0x17c51
jmp 0x17c51
movq %rax, %rbx
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17cb6
movq 0x38(%rsp), %rsi
jmp 0x17cae
jmp 0x17c51
jmp 0x17c51
movq %rax, %rbx
jmp 0x17c95
jmp 0x17c64
jmp 0x17c64
jmp 0x17c64
jmp 0x17c64
jmp 0x17c64
jmp 0x17c64
jmp 0x17c64
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x17c7e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x17c95
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17cb6
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rdi
callq 0x94e0