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

    BOOST_CHECK ( ss.includes("hei") );
    BOOST_CHECK ( ss.includes("heippa") );
    BOOST_CHECK ( ss.includes("heh") );
    BOOST_CHECK ( ss.includes("hassua") );
    BOOST_CHECK ( ss.includes("hassu") );
    BOOST_CHECK ( !ss.includes("h") );
    BOOST_CHECK ( !ss.includes("he") );
    BOOST_CHECK ( !ss.includes("heip") );

    BOOST_CHECK_EQUAL ( -1.0, ss.get_score("hei") );
    BOOST_CHECK_EQUAL ( -2.0, ss.get_score("heippa") );
    BOOST_CHECK_EQUAL ( -3.0, ss.get_score("heh") );
    BOOST_CHECK_EQUAL ( -4.0, ss.get_score("hassua") );
    BOOST_CHECK_EQUAL ( -5.0, ss.get_score("hassu") );

    bool throws = false;
    try {
        ss.get_score("he");
    }
    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 $0x488, %rsp            # imm = 0x488
leaq -0x118(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0x2d669(%rip), %rsi     # 0x53766
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0x120(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x240(%rbp), %rdi
callq 0x57b8
leaq 0x2d685(%rip), %rsi     # 0x537c5
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0x120(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
leaq -0x240(%rbp), %rdi
callq 0x57b8
leaq 0x2d649(%rip), %rsi     # 0x537cc
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0x120(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
leaq -0x240(%rbp), %rdi
callq 0x57b8
leaq 0x2d60a(%rip), %rsi     # 0x537d0
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0x120(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x3ff0000000000000, %rcx # imm = 0xC010000000000000
movq %rcx, (%rax)
leaq -0x240(%rbp), %rdi
callq 0x57b8
leaq 0x2d5ce(%rip), %rsi     # 0x537d7
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0x120(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x3fec000000000000, %rcx # imm = 0xC014000000000000
movq %rcx, (%rax)
leaq -0x240(%rbp), %rdi
callq 0x57b8
leaq -0x240(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0xdbec
movq 0x4a2a9(%rip), %rdi     # 0x70508
leaq 0x2d4f1(%rip), %r12     # 0x53757
leaq -0x490(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x2d4ee(%rip), %r13     # 0x53765
movq %r13, 0x8(%rsi)
leaq 0x2d793(%rip), %r15     # 0x53a15
leaq -0x480(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x32
popq %rdx
callq 0x5710
leaq 0x2d4c7(%rip), %rsi     # 0x53766
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d60d(%rip), %rax     # 0x538dd
leaq -0x60(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x2d611(%rip), %rax     # 0x538ef
movq %rax, 0x8(%rcx)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x4987c(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49cb2(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x470(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x32
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x4a1c5(%rip), %rdi     # 0x70508
leaq -0x460(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x450(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x33
popq %rdx
callq 0x5710
leaq 0x2d457(%rip), %rsi     # 0x537c5
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d43e(%rip), %rax     # 0x537dd
movq %rax, -0x60(%rbp)
leaq 0x2d448(%rip), %rax     # 0x537f2
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x497b0(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49be6(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x440(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x33
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x4a0f5(%rip), %rdi     # 0x70508
leaq -0x430(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x420(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x34
popq %rdx
callq 0x5710
leaq 0x2d38e(%rip), %rsi     # 0x537cc
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d384(%rip), %rax     # 0x537f3
movq %rax, -0x60(%rbp)
leaq 0x2d38b(%rip), %rax     # 0x53805
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x496e0(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49b16(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x410(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x34
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x4a025(%rip), %rdi     # 0x70508
leaq -0x400(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3f0(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x35
popq %rdx
callq 0x5710
leaq 0x2d2c2(%rip), %rsi     # 0x537d0
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d2c7(%rip), %rax     # 0x53806
movq %rax, -0x60(%rbp)
leaq 0x2d2d1(%rip), %rax     # 0x5381b
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x49610(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49a46(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x3e0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x35
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x49f55(%rip), %rdi     # 0x70508
leaq -0x3d0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3c0(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x36
popq %rdx
callq 0x5710
leaq 0x2d1f9(%rip), %rsi     # 0x537d7
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d20d(%rip), %rax     # 0x5381c
movq %rax, -0x60(%rbp)
leaq 0x2d216(%rip), %rax     # 0x53830
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x49540(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49976(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x3b0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x36
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x49e85(%rip), %rdi     # 0x70508
leaq -0x3a0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x390(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x37
popq %rdx
callq 0x5710
leaq 0x2d120(%rip), %rsi     # 0x537ce
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
xorb $0x1, %al
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d0c3(%rip), %rax     # 0x537a4
movq %rax, -0x60(%rbp)
leaq 0x2d0c9(%rip), %rax     # 0x537b5
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x4946e(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x498a4(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x380(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x37
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x49db3(%rip), %rdi     # 0x70508
leaq -0x370(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x360(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x38
popq %rdx
callq 0x5710
leaq 0x2d0b1(%rip), %rsi     # 0x53831
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
xorb $0x1, %al
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d081(%rip), %rax     # 0x53834
movq %rax, -0x60(%rbp)
leaq 0x2d088(%rip), %rax     # 0x53846
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x4939c(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x497d2(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x350(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x38
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x49ce1(%rip), %rdi     # 0x70508
leaq -0x340(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x330(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x39
popq %rdx
callq 0x5710
leaq 0x2cff5(%rip), %rsi     # 0x53847
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
xorb $0x1, %al
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2cfc7(%rip), %rax     # 0x5384c
movq %rax, -0x60(%rbp)
leaq 0x2cfd0(%rip), %rax     # 0x53860
movq %rax, -0x58(%rbp)
leaq -0x98(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x492ca(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x49700(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
leaq -0x60(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x320(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x39
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x68(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x49c0f(%rip), %rdi     # 0x70508
leaq -0x310(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x300(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x3b
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x491b8(%rip), %rbx     # 0x6fae0
movq %rbx, -0x50(%rbp)
movq 0x4967d(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0x2ca19(%rip), %r14     # 0x53357
movq %r14, -0x38(%rbp)
movq %r12, -0xf0(%rbp)
movq %r13, -0xe8(%rbp)
movabsq $-0x4010000000000000, %rax # imm = 0xBFF0000000000000
movq %rax, -0x78(%rbp)
leaq 0x2ce01(%rip), %rsi     # 0x53766
leaq -0x98(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0x60(%rbp)
leaq 0x2cddb(%rip), %rax     # 0x5376f
movq %rax, 0x10(%rsp)
leaq -0x60(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq 0x2cdc1(%rip), %rax     # 0x5376a
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
pushq $0x3b
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x78(%rbp), %r9
callq 0x2903d
leaq -0x98(%rbp), %rdi
callq 0x57b8
movq 0x49b2a(%rip), %rdi     # 0x70508
leaq -0x2f0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x2e0(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x3c
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
movq %rbx, -0x50(%rbp)
movq 0x4959f(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
movq %r14, -0x38(%rbp)
movq %r12, -0xe0(%rbp)
movq %r13, -0xd8(%rbp)
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0x78(%rbp)
leaq 0x2cd89(%rip), %rsi     # 0x537c5
leaq -0x98(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0x60(%rbp)
leaq 0x2cdfb(%rip), %rax     # 0x53866
movq %rax, 0x10(%rsp)
leaq -0x60(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq 0x2cde1(%rip), %rax     # 0x53861
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
pushq $0x3c
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x78(%rbp), %r9
callq 0x2903d
leaq -0x98(%rbp), %rdi
callq 0x57b8
movq 0x49a53(%rip), %rdi     # 0x70508
leaq -0x2d0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x2c0(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x3d
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
movq %rbx, -0x50(%rbp)
movq 0x494c8(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
movq %r14, -0x38(%rbp)
movq %r12, -0xd0(%rbp)
movq %r13, -0xc8(%rbp)
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0x78(%rbp)
leaq 0x2ccb9(%rip), %rsi     # 0x537cc
leaq -0x98(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0x60(%rbp)
leaq 0x2cd40(%rip), %rax     # 0x53882
movq %rax, 0x10(%rsp)
leaq -0x60(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq 0x2cd26(%rip), %rax     # 0x5387d
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
pushq $0x3d
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x78(%rbp), %r9
callq 0x2903d
leaq -0x98(%rbp), %rdi
callq 0x57b8
movq 0x4997c(%rip), %rdi     # 0x70508
leaq -0x2b0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x2a0(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x3e
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
movq %rbx, -0x50(%rbp)
movq 0x493f1(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
movq %r14, -0x38(%rbp)
movq %r12, -0xc0(%rbp)
movq %r13, -0xb8(%rbp)
movabsq $-0x3ff0000000000000, %rax # imm = 0xC010000000000000
movq %rax, -0x78(%rbp)
leaq 0x2cbe6(%rip), %rsi     # 0x537d0
leaq -0x98(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0x60(%rbp)
leaq 0x2cc82(%rip), %rax     # 0x5389b
movq %rax, 0x10(%rsp)
leaq -0x60(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq 0x2cc68(%rip), %rax     # 0x53896
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
pushq $0x3e
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x78(%rbp), %r9
callq 0x2903d
leaq -0x98(%rbp), %rdi
callq 0x57b8
movq 0x498a5(%rip), %rdi     # 0x70508
leaq -0x290(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x3f
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
movq %rbx, -0x50(%rbp)
movq 0x4931a(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
movq %r14, -0x38(%rbp)
movq %r12, -0xb0(%rbp)
movq %r13, -0xa8(%rbp)
movabsq $-0x3fec000000000000, %rax # imm = 0xC014000000000000
movq %rax, -0x78(%rbp)
leaq 0x2cb16(%rip), %rsi     # 0x537d7
leaq -0x98(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0x60(%rbp)
leaq 0x2cbc7(%rip), %rax     # 0x538b7
movq %rax, 0x10(%rsp)
leaq -0x60(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq 0x2cbad(%rip), %rax     # 0x538b2
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
pushq $0x3f
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x78(%rbp), %r14
movq %r14, %r9
callq 0x2903d
leaq -0x98(%rbp), %rdi
callq 0x57b8
leaq 0x2caf4(%rip), %rsi     # 0x53831
leaq -0x50(%rbp), %rdi
leaq -0x98(%rbp), %rdx
callq 0x5160
leaq -0x240(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe12a
leaq -0x50(%rbp), %rdi
callq 0x57b8
xorl %ebx, %ebx
movq 0x49799(%rip), %rdi     # 0x70508
leaq -0x270(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x260(%rbp), %rcx
movq %r15, (%rcx)
movq %r15, 0x8(%rcx)
pushq $0x48
popq %rdx
callq 0x5710
leaq -0x98(%rbp), %rdi
movb %bl, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2c9de(%rip), %rax     # 0x53788
movq %rax, -0x78(%rbp)
leaq 0x2c9d9(%rip), %rax     # 0x5378e
movq %rax, -0x70(%rbp)
leaq -0x50(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x48da8(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x491de(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x250(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x48
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x88(%rbp), %rdi
callq 0x291f6
leaq -0x240(%rbp), %rdi
callq 0xdea0
leaq -0x120(%rbp), %rdi
callq 0x1bba4
addq $0x488, %rsp            # imm = 0x488
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x88(%rbp), %rdi
callq 0x291f6
jmp 0x26f32
movq %rdx, -0xa0(%rbp)
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0x57b8
jmp 0x26e6c
jmp 0x26f2f
movq %rdx, -0xa0(%rbp)
movq %rax, %rbx
cmpl $0x1, -0xa0(%rbp)
jne 0x26f32
movq %rbx, %rdi
callq 0x5170
movb $0x1, %bl
callq 0x5610
jmp 0x26d68
jmp 0x26f2f
jmp 0x26f2f
jmp 0x26f2f
jmp 0x26f2f
jmp 0x26f2f
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
jmp 0x26ed5
jmp 0x26ee3
jmp 0x26f2f
movq %rax, %rbx
leaq -0x68(%rbp), %rdi
callq 0x291f6
jmp 0x26ee6
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
jmp 0x26f28
jmp 0x26f2f
jmp 0x26f11
jmp 0x26f00
jmp 0x26f11
jmp 0x26f00
jmp 0x26f11
jmp 0x26f00
jmp 0x26f11
jmp 0x26f00
jmp 0x26f11
movq %rax, %rbx
leaq -0x240(%rbp), %rdi
callq 0x57b8
jmp 0x26f3e
movq %rax, %rbx
jmp 0x26f3e
jmp 0x26f1e
jmp 0x26f1e
jmp 0x26f1e
jmp 0x26f1e
movq %rax, %rbx
leaq -0x98(%rbp), %rdi
callq 0x57b8
jmp 0x26f32
movq %rax, %rbx
leaq -0x240(%rbp), %rdi
callq 0xdea0
leaq -0x120(%rbp), %rdi
callq 0x1bba4
movq %rbx, %rdi
callq 0x56b0