// File: /workspace/github_cpp_makefile_star2_O1/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 0x308ea(%rip), %rcx     # 0x473ec
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x4a52e(%rip), %rsi     # 0x61040
leaq 0x4aa0f(%rip), %rdx     # 0x61528
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
leaq 0x10(%rbx), %rcx
movq %rcx, (%rbx)
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xad30
jmp 0x17d54
leaq 0x4a4ee(%rip), %rsi     # 0x61040
leaq 0x4a9b7(%rip), %rdx     # 0x61510
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x1556b
leaq 0x30976(%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 0x17033
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x1703b
leaq 0x4a46b(%rip), %rsi     # 0x61040
leaq 0x4a504(%rip), %rdx     # 0x610e0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x16ad5
leaq 0x308f0(%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 0x17091
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x17099
leaq 0x4a3e5(%rip), %rsi     # 0x61040
leaq 0x4a78e(%rip), %rdx     # 0x613f0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x1556b
leaq 0x30869(%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 0x170ef
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x170f7
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x30813(%rip), %rsi     # 0x474fc
leaq 0x30811(%rip), %rdx     # 0x47501
jmp 0x16e0f
leaq 0x4a344(%rip), %rsi     # 0x61040
leaq 0x4a34d(%rip), %rdx     # 0x61050
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x28(%rsp), %r14
movq %r14, %rdi
movl %ebp, %edx
callq 0x16ad5
leaq 0x307ce(%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 0x1714d
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17154
leaq 0x4a2c5(%rip), %rsi     # 0x61040
leaq 0x4a526(%rip), %rdx     # 0x612a8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x1556b
leaq 0x3074a(%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 0x171a5
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x171ad
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x306ee(%rip), %rsi     # 0x474f6
leaq 0x306ec(%rip), %rdx     # 0x474fb
movq %rbx, %rdi
callq 0x11866
jmp 0x17d54
leaq 0x4a21d(%rip), %rsi     # 0x61040
leaq 0x4a346(%rip), %rdx     # 0x61170
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %r15d
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x16ad5
leaq 0x306a2(%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 0x17203
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x1720b
leaq 0x4a197(%rip), %rsi     # 0x61040
leaq 0x4a350(%rip), %rdx     # 0x61200
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x16ad5
leaq 0x3061b(%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 0x17261
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x17269
leaq 0x4a110(%rip), %rsi     # 0x61040
leaq 0x4a549(%rip), %rdx     # 0x61480
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x1556b
leaq 0x30598(%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 0x172bf
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x172c7
leaq 0x4a08d(%rip), %rsi     # 0x61040
leaq 0x4a3a6(%rip), %rdx     # 0x61360
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d69
movq 0x8(%rax), %rsi
movl %r15d, %eax
xorb $0x1, %al
movzbl %al, %ecx
leaq 0x88(%rsp), %r12
movq %r12, %rdi
movl %ebp, %edx
callq 0x1556b
leaq 0x30511(%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 0x1731d
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x17325
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 0x31269(%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 0x1737b
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x17383
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 0x30449(%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 0x1742d
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x17435
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 0x303f1(%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 0x174da
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x174e2
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 0x2e246(%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 0x17588
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x1758e
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 0x30cd5(%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 0x175d8
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x175e0
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 0x302d9(%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 0x17685
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x1768d
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 0x30c1c(%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 0x17732
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x1773a
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 0x30224(%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 0x177e0
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x177e8
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 0x301c1(%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 0x17892
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x1789a
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 0x49c9e(%rip), %rsi     # 0x61040
leaq 0x4a167(%rip), %rdx     # 0x61510
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d6e
movq 0x18(%rax), %rsi
xorb $0x1, %r15b
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x1556b
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x173f6
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17419
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x17410
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17940
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x1794e
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 0x49bec(%rip), %rsi     # 0x61040
leaq 0x49c85(%rip), %rdx     # 0x610e0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d73
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x16ad5
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x174a3
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x174c6
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x174bd
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x179ab
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x179b9
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 0x49b3f(%rip), %rsi     # 0x61040
leaq 0x49ee8(%rip), %rdx     # 0x613f0
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d78
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x1556b
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x17551
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17574
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x1756b
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17a16
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17a24
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 0x175bc
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17d54
movq 0x38(%rsp), %rsi
jmp 0x17d4c
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 0x49a41(%rip), %rsi     # 0x61040
leaq 0x49ca2(%rip), %rdx     # 0x612a8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d7d
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x1556b
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x1764e
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17671
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x17668
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17a81
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17a8f
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 0x49994(%rip), %rsi     # 0x61040
leaq 0x49abd(%rip), %rdx     # 0x61170
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d82
movq 0x18(%rax), %rsi
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
movl %r15d, %ecx
callq 0x16ad5
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x176fb
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x1771e
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x17715
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17aec
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17afa
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 0x498e7(%rip), %rsi     # 0x61040
leaq 0x49aa0(%rip), %rdx     # 0x61200
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d87
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x16ad5
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x177a9
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x177cc
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x177c3
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17b57
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17b65
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 0x49839(%rip), %rsi     # 0x61040
leaq 0x49c72(%rip), %rdx     # 0x61480
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d8c
movq 0x18(%rax), %rsi
xorb $0x1, %r15b
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x1556b
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x1785b
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x1787e
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x17875
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17bc2
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17bd0
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 0x49787(%rip), %rsi     # 0x61040
leaq 0x49aa0(%rip), %rdx     # 0x61360
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0x17d91
movq 0x18(%rax), %rsi
movzbl %r15b, %ecx
leaq 0x48(%rsp), %rdi
movl %ebp, %edx
callq 0x1556b
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x17909
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x1792c
leaq 0x58(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x17923
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x17c2a
movq 0x48(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x90d0
jmp 0x17c38
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 0x17972
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17978
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 0x2da21(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x179dd
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x179e3
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 0x2d9b6(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17a48
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17a4e
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 0x2d94b(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17ab3
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17ab9
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 0x2d8e0(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17b1e
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17b24
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 0x2d875(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17b89
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17b8f
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 0x2d80a(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17bf4
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17bfa
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 0x2d79f(%rip), %rsi     # 0x453bd
leaq 0x8(%rsp), %rdi
callq 0x9540
jmp 0x17c90
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 0x17c5c
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x17c62
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 0x2d737(%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 0x17cb2
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x17cb8
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 0x17cea
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17d05
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x17d1c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x17d33
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17d54
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 0x17da4
jmp 0x17da4
jmp 0x17da4
jmp 0x17da4
jmp 0x17da4
jmp 0x17da4
jmp 0x17da4
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17dd5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17dd5
jmp 0x17dd2
jmp 0x17dd2
jmp 0x17dd2
jmp 0x17dd2
jmp 0x17dd2
jmp 0x17dd2
jmp 0x17dd2
movq %rax, %rbx
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17e5d
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17e5d
jmp 0x17e1c
jmp 0x17e1c
jmp 0x17e1c
jmp 0x17e1c
jmp 0x17e1c
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x17e2e
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0x17e2e
jmp 0x17e1c
jmp 0x17e1c
movq %rax, %rbx
jmp 0x17e74
jmp 0x17e47
jmp 0x17e47
jmp 0x17e47
jmp 0x17e47
jmp 0x17e47
movq %rax, %rbx
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17eac
movq 0x38(%rsp), %rsi
jmp 0x17ea4
jmp 0x17e47
jmp 0x17e47
movq %rax, %rbx
jmp 0x17e8b
jmp 0x17e5a
jmp 0x17e5a
jmp 0x17e5a
jmp 0x17e5a
jmp 0x17e5a
jmp 0x17e5a
jmp 0x17e5a
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x17e74
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x92e0
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x17e8b
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x92e0
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x17eac
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rdi
callq 0x94e0