// File: /workspace/github_cpp_makefile_star2_O1/aalto-speech[P]ftk/test/sstest.cc
// Function: StringSetTest3::test_method()
BOOST_AUTO_TEST_CASE(StringSetTest3)
{
    map<string, flt_type> vocab;
    vocab["hei"] = -1.0;
    vocab["heippa"] = -2.0;
    vocab["heh"] = -3.0;
    StringSet ss(vocab);

    BOOST_CHECK ( ss.includes("hei") );
    BOOST_CHECK ( ss.includes("heippa") );
    BOOST_CHECK ( ss.includes("heh") );

    ss.remove("hei");
    BOOST_CHECK ( ss.includes("heh") );
    BOOST_CHECK ( ss.includes("heippa") );
    BOOST_CHECK ( !ss.includes("hei") );

    BOOST_CHECK_EQUAL ( -2.0, ss.get_score("heippa") );
    BOOST_CHECK_EQUAL ( -3.0, ss.get_score("heh") );

    bool throws = false;
    try {
        ss.get_score("hei");
    }
    catch (string &e) {
        throws = true;
    }
    BOOST_CHECK( throws );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3d8, %rsp            # imm = 0x3D8
leaq -0x108(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x230(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x45a81(%rip), %rsi     # 0x717da
leaq 0x45a7d(%rip), %rdx     # 0x717dd
leaq -0x240(%rbp), %rdi
callq 0x95e2
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1de9e
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bd9d
callq 0x5380
leaq -0x240(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x45a8b(%rip), %rsi     # 0x71839
leaq 0x45a8a(%rip), %rdx     # 0x7183f
callq 0x95e2
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1de9e
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bdeb
callq 0x5380
leaq -0x240(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x45a44(%rip), %rsi     # 0x71840
leaq 0x45a40(%rip), %rdx     # 0x71843
callq 0x95e2
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1de9e
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2be39
callq 0x5380
leaq -0x240(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0xf588
movq 0x5f6c5(%rip), %rdi     # 0x8b518
leaq 0x45971(%rip), %rax     # 0x717cb
leaq -0x3d0(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x4596e(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rsi)
leaq 0x45be9(%rip), %rax     # 0x71a5f
leaq -0x3c0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x54, %edx
callq 0x5760
leaq -0x38(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x4593d(%rip), %rsi     # 0x717da
leaq 0x45939(%rip), %rdx     # 0x717dd
leaq -0x48(%rbp), %rdi
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x45907(%rip), %r14     # 0x717cb
leaq 0x4590e(%rip), %r15     # 0x717d9
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x45a6d(%rip), %rax     # 0x71951
leaq -0x68(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x45a71(%rip), %rax     # 0x71963
movq %rax, 0x8(%rcx)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5ec10(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5f09e(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x3b0(%rbp), %rdx
movq %r14, (%rdx)
movq %r15, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x54, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bf5c
callq 0x5380
movq 0x5f5b5(%rip), %rdi     # 0x8b518
leaq -0x3a0(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x390(%rbp), %rcx
leaq 0x45ae0(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x55, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x4589b(%rip), %rsi     # 0x71839
leaq 0x4589a(%rip), %rdx     # 0x7183f
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x4580a(%rip), %r15     # 0x717cb
leaq 0x45811(%rip), %r12     # 0x717d9
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x45870(%rip), %rax     # 0x71851
movq %rax, -0x68(%rbp)
leaq 0x4587a(%rip), %r14     # 0x71866
movq %r14, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5eb16(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5efa4(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x380(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x55, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c05a
callq 0x5380
movq 0x5f4b7(%rip), %rdi     # 0x8b518
leaq -0x370(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x360(%rbp), %rcx
leaq 0x459e2(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x56, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x457a4(%rip), %rsi     # 0x71840
leaq 0x457a0(%rip), %rdx     # 0x71843
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x4570c(%rip), %r15     # 0x717cb
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x4578f(%rip), %r12     # 0x71867
movq %r12, -0x68(%rbp)
leaq 0x45796(%rip), %r13     # 0x71879
movq %r13, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5ea1f(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5eead(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x350(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x456b9(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x56, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c158
callq 0x5380
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x45674(%rip), %rsi     # 0x717da
leaq 0x45670(%rip), %rdx     # 0x717dd
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfcf8
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c190
callq 0x5380
movq 0x5f381(%rip), %rdi     # 0x8b518
leaq -0x340(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x45631(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rsi)
leaq -0x330(%rbp), %rcx
leaq 0x458a5(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x59, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x45667(%rip), %rsi     # 0x71840
leaq 0x45663(%rip), %rdx     # 0x71843
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x455cf(%rip), %r15     # 0x717cb
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movq %r12, -0x68(%rbp)
movq %r13, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5e8f0(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5ed7e(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x320(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x4558a(%rip), %r12     # 0x717d9
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x59, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c287
callq 0x5380
movq 0x5f28a(%rip), %rdi     # 0x8b518
leaq -0x310(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x300(%rbp), %rcx
leaq 0x457b5(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5a, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x45570(%rip), %rsi     # 0x71839
leaq 0x4556f(%rip), %rdx     # 0x7183f
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x454df(%rip), %r15     # 0x717cb
leaq 0x454e6(%rip), %r12     # 0x717d9
leaq 0x45557(%rip), %rcx     # 0x71851
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movq %rcx, -0x68(%rbp)
movq %r14, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5e7f2(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5ec80(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2f0(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x5a, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c37e
callq 0x5380
movq 0x5f193(%rip), %rdi     # 0x8b518
leaq -0x2e0(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x2d0(%rbp), %rcx
leaq 0x456be(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5b, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x4541a(%rip), %rsi     # 0x717da
leaq 0x45416(%rip), %rdx     # 0x717dd
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb6a
leaq 0x453e8(%rip), %r15     # 0x717cb
leaq 0x453ef(%rip), %r12     # 0x717d9
xorb $0x1, %al
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x4554b(%rip), %rax     # 0x71950
movq %rax, -0x68(%rbp)
leaq 0x45553(%rip), %rax     # 0x71963
movq %rax, -0x60(%rbp)
leaq -0xa8(%rbp), %r14
movb $0x0, 0x8(%r14)
leaq 0x5e6f1(%rip), %rax     # 0x8ab18
movq %rax, (%r14)
movq 0x5eb7f(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%r14)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%r14)
leaq -0x2c0(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x5b, %ecx
movq %r14, %rsi
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e966
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c482
callq 0x5380
movq 0x5f08f(%rip), %rdi     # 0x8b518
leaq -0x2b0(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x2a0(%rbp), %rcx
leaq 0x455ba(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5d, %edx
callq 0x5760
movb $0x0, -0x80(%rbp)
leaq 0x5e59f(%rip), %rax     # 0x8aa60
movq %rax, -0x88(%rbp)
movq 0x5eae1(%rip), %rax     # 0x8afb0
movq %rax, -0x78(%rbp)
leaq 0x44eed(%rip), %rax     # 0x713c7
movq %rax, -0x70(%rbp)
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0xb0(%rbp)
leaq -0x58(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x4533b(%rip), %rsi     # 0x71839
leaq 0x4533a(%rip), %rdx     # 0x7183f
leaq -0x68(%rbp), %rdi
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xfbdc
leaq 0x452a6(%rip), %rsi     # 0x717cb
leaq -0xb8(%rbp), %r8
movsd %xmm0, (%r8)
leaq -0xb0(%rbp), %r13
ucomisd (%r13), %xmm0
setnp %al
sete %cl
andb %al, %cl
leaq -0xe0(%rbp), %rdi
movb %cl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x120(%rbp), %rdx
movq %rsi, (%rdx)
leaq 0x45270(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rdx)
leaq -0xc8(%rbp), %r15
movq %r13, (%r15)
xorl %eax, %eax
movb %al, -0x40(%rbp)
leaq 0x5e555(%rip), %rbx     # 0x8aad8
movq %rbx, -0x48(%rbp)
movq 0x5ea22(%rip), %rcx     # 0x8afb0
movq %rcx, -0x38(%rbp)
movq %r15, -0x30(%rbp)
leaq -0xc0(%rbp), %r12
movq %r8, (%r12)
movb %al, -0xa0(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0x98(%rbp)
movq %r12, -0x90(%rbp)
movq %r14, 0x20(%rsp)
leaq 0x45312(%rip), %rax     # 0x718da
movq %rax, 0x18(%rsp)
leaq -0x48(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x452f8(%rip), %rax     # 0x718d5
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
leaq -0x88(%rbp), %rsi
movl $0x5d, %ecx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0xd0(%rbp), %rdi
callq 0x2e966
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x2c627
callq 0x5380
movq 0x5eeea(%rip), %rdi     # 0x8b518
leaq -0x290(%rbp), %rsi
leaq 0x4518f(%rip), %rax     # 0x717cb
movq %rax, (%rsi)
leaq 0x45193(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
leaq 0x45407(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5e, %edx
callq 0x5760
movb $0x0, -0x80(%rbp)
leaq 0x5e3ec(%rip), %rax     # 0x8aa60
movq %rax, -0x88(%rbp)
movq 0x5e92e(%rip), %rax     # 0x8afb0
movq %rax, -0x78(%rbp)
leaq 0x44d3a(%rip), %rax     # 0x713c7
movq %rax, -0x70(%rbp)
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0xb0(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
movq %rax, (%rdi)
leaq 0x4518c(%rip), %rsi     # 0x71840
leaq 0x45188(%rip), %rdx     # 0x71843
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xfbdc
movsd %xmm0, -0xb8(%rbp)
ucomisd -0xb0(%rbp), %xmm0
setnp %al
sete %cl
andb %al, %cl
leaq -0xe0(%rbp), %rdi
movb %cl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x120(%rbp), %rdx
leaq 0x450c3(%rip), %rax     # 0x717cb
movq %rax, (%rdx)
leaq 0x450c7(%rip), %rax     # 0x717d9
movq %rax, 0x8(%rdx)
movq %r13, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x40(%rbp)
movq %rbx, -0x48(%rbp)
movq 0x5e883(%rip), %rcx     # 0x8afb0
movq %rcx, -0x38(%rbp)
movq %r15, -0x30(%rbp)
leaq -0xb8(%rbp), %rsi
movq %rsi, -0xc0(%rbp)
movb %al, -0xa0(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0x98(%rbp)
movq %r12, -0x90(%rbp)
movq %r14, 0x20(%rsp)
leaq 0x4518c(%rip), %rax     # 0x718f6
movq %rax, 0x18(%rsp)
leaq -0x48(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x45172(%rip), %rax     # 0x718f1
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
leaq -0x88(%rbp), %r14
movl $0x5e, %ecx
movq %r14, %rsi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0xd0(%rbp), %rdi
callq 0x2e966
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
leaq -0x38(%rbp), %rbx
je 0x2c7d0
callq 0x5380
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x44ffc(%rip), %rsi     # 0x717da
leaq 0x44ff8(%rip), %rdx     # 0x717dd
leaq 0x44fdf(%rip), %r15     # 0x717cb
leaq 0x44fe6(%rip), %r12     # 0x717d9
callq 0x95e2
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfbdc
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c816
callq 0x5380
xorl %ebx, %ebx
movq 0x5ecf9(%rip), %rdi     # 0x8b518
leaq -0x270(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x260(%rbp), %rcx
leaq 0x45224(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x67, %edx
callq 0x5760
leaq -0xa8(%rbp), %rdi
movb %bl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x44f97(%rip), %rax     # 0x717fc
movq %rax, -0x88(%rbp)
leaq 0x44f8f(%rip), %rax     # 0x71802
movq %rax, -0x80(%rbp)
leaq -0x48(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5e292(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x5e720(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x250(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x67, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x98(%rbp), %rdi
callq 0x2e966
leaq -0x240(%rbp), %rdi
callq 0xf8d4
leaq -0x110(%rbp), %rdi
callq 0x1e7f8
addq $0x3d8, %rsp            # imm = 0x3D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r15
leaq -0x98(%rbp), %rdi
callq 0x2e966
jmp 0x2ca05
movq %rdx, %r12
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c92e
callq 0x5380
jmp 0x2c92e
jmp 0x2ca02
movq %rdx, %r12
movq %rax, %r15
cmpl $0x1, %r12d
jne 0x2ca05
movq %r15, %rdi
callq 0x5170
movb $0x1, %bl
callq 0x5640
leaq 0x44e7d(%rip), %r15     # 0x717cb
leaq 0x44e84(%rip), %r12     # 0x717d9
jmp 0x2c818
jmp 0x2ca02
jmp 0x2c968
jmp 0x2c979
jmp 0x2ca02
movq %rax, %r15
leaq -0xd0(%rbp), %rdi
callq 0x2e966
jmp 0x2c97c
movq %rax, %r15
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
jmp 0x2c9cf
jmp 0x2ca02
jmp 0x2c9b6
jmp 0x2c9c4
jmp 0x2ca02
jmp 0x2c9b6
jmp 0x2c9c4
jmp 0x2ca02
jmp 0x2c9b6
jmp 0x2c9c4
jmp 0x2ca02
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x2c9d4
jmp 0x2ca05
jmp 0x2ca02
jmp 0x2c9b6
jmp 0x2c9c4
jmp 0x2ca02
jmp 0x2c9b6
jmp 0x2c9c4
jmp 0x2ca02
movq %rax, %r15
leaq -0x78(%rbp), %rdi
callq 0x2e966
jmp 0x2c9c7
movq %rax, %r15
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2ca05
callq 0x5380
jmp 0x2ca05
jmp 0x2ca02
jmp 0x2c9fd
jmp 0x2c9e7
jmp 0x2c9fd
jmp 0x2c9e7
jmp 0x2c9fd
movq %rax, %r15
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2ca11
callq 0x5380
jmp 0x2ca11
movq %rax, %r15
jmp 0x2ca11
movq %rax, %r15
leaq -0x240(%rbp), %rdi
callq 0xf8d4
leaq -0x110(%rbp), %rdi
callq 0x1e7f8
movq %r15, %rdi
callq 0x56f0