// File: 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
subq $0x940, %rsp            # imm = 0x940
movq %rdi, -0x8(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x530a0
leaq -0x59(%rbp), %rdi
movq %rdi, -0x798(%rbp)
callq 0x67b0
movq -0x798(%rbp), %rdx
leaq 0x5e850(%rip), %rsi     # 0xcb736
leaq -0x58(%rbp), %rdi
callq 0x65e0
jmp 0x6cef1
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x7a0(%rbp)
jmp 0x6cf07
movq -0x7a0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
leaq -0x91(%rbp), %rdi
movq %rdi, -0x7a8(%rbp)
callq 0x67b0
movq -0x7a8(%rbp), %rdx
leaq 0x5e847(%rip), %rsi     # 0xcb795
leaq -0x90(%rbp), %rdi
callq 0x65e0
jmp 0x6cf5c
leaq -0x38(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x7b0(%rbp)
jmp 0x6cf75
movq -0x7b0(%rbp), %rax
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x7b8(%rbp)
callq 0x67b0
movq -0x7b8(%rbp), %rdx
leaq 0x5e7da(%rip), %rsi     # 0xcb79c
leaq -0xb8(%rbp), %rdi
callq 0x65e0
jmp 0x6cfd0
leaq -0x38(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x7c0(%rbp)
jmp 0x6cfe9
movq -0x7c0(%rbp), %rax
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
leaq -0x1e0(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x1ce60
jmp 0x6d027
jmp 0x6d029
movq 0x9a588(%rip), %rax     # 0x1075b8
movq %rax, -0x7c8(%rbp)
leaq 0x5e6e9(%rip), %rsi     # 0xcb727
leaq -0x1f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d051
leaq -0x200(%rbp), %rdi
callq 0x70c00
jmp 0x6d05f
movq -0x7c8(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
movl $0x54, %edx
leaq -0x200(%rbp), %rcx
callq 0x6840
jmp 0x6d080
leaq -0x239(%rbp), %rdi
movq %rdi, -0x7d0(%rbp)
callq 0x67b0
movq -0x7d0(%rbp), %rdx
leaq 0x5e695(%rip), %rsi     # 0xcb736
leaq -0x238(%rbp), %rdi
callq 0x65e0
jmp 0x6d0af
leaq -0x1e0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x7d1(%rbp)
jmp 0x6d0ca
movb -0x7d1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x218(%rbp), %rdi
callq 0x70ed0
jmp 0x6d0e4
callq 0x70e90
movq %rax, -0x7e0(%rbp)
jmp 0x6d0f2
leaq 0x5e7b4(%rip), %rsi     # 0xcb8ad
leaq -0x270(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6d10c
movq -0x7e0(%rbp), %rsi
leaq -0x260(%rbp), %rdi
leaq -0x270(%rbp), %rdx
callq 0x70f10
jmp 0x6d128
leaq 0x5e5f8(%rip), %rsi     # 0xcb727
leaq -0x280(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d142
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x218(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x280(%rbp), %rdx
movl $0x54, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d179
leaq -0x260(%rbp), %rdi
callq 0x70f50
leaq -0x218(%rbp), %rdi
callq 0x70f70
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x7e1(%rbp)
jmp 0x6d1b6
movb -0x7e1(%rbp), %al
testb $0x1, %al
jne 0x6d029
jmp 0x6d1c6
jmp 0x6d1c8
movq 0x9a3e9(%rip), %rax     # 0x1075b8
movq %rax, -0x7f0(%rbp)
leaq 0x5e54a(%rip), %rsi     # 0xcb727
leaq -0x290(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d1f0
leaq -0x2a0(%rbp), %rdi
callq 0x70c00
jmp 0x6d1fe
movq -0x7f0(%rbp), %rdi
leaq -0x290(%rbp), %rsi
movl $0x55, %edx
leaq -0x2a0(%rbp), %rcx
callq 0x6840
jmp 0x6d21f
leaq -0x2d9(%rbp), %rdi
movq %rdi, -0x7f8(%rbp)
callq 0x67b0
movq -0x7f8(%rbp), %rdx
leaq 0x5e555(%rip), %rsi     # 0xcb795
leaq -0x2d8(%rbp), %rdi
callq 0x65e0
jmp 0x6d24e
leaq -0x1e0(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x7f9(%rbp)
jmp 0x6d269
movb -0x7f9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x2b8(%rbp), %rdi
callq 0x70ed0
jmp 0x6d283
callq 0x70e90
movq %rax, -0x808(%rbp)
jmp 0x6d291
leaq 0x5e515(%rip), %rsi     # 0xcb7ad
leaq -0x310(%rbp), %rdi
movl $0x15, %edx
callq 0x70bd0
jmp 0x6d2ab
movq -0x808(%rbp), %rsi
leaq -0x300(%rbp), %rdi
leaq -0x310(%rbp), %rdx
callq 0x70f10
jmp 0x6d2c7
leaq 0x5e459(%rip), %rsi     # 0xcb727
leaq -0x320(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d2e1
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x2b8(%rbp), %rdi
leaq -0x300(%rbp), %rsi
leaq -0x320(%rbp), %rdx
movl $0x55, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d318
leaq -0x300(%rbp), %rdi
callq 0x70f50
leaq -0x2b8(%rbp), %rdi
callq 0x70f70
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x809(%rbp)
jmp 0x6d355
movb -0x809(%rbp), %al
testb $0x1, %al
jne 0x6d1c8
jmp 0x6d365
jmp 0x6d367
movq 0x9a24a(%rip), %rax     # 0x1075b8
movq %rax, -0x818(%rbp)
leaq 0x5e3ab(%rip), %rsi     # 0xcb727
leaq -0x330(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d38f
leaq -0x340(%rbp), %rdi
callq 0x70c00
jmp 0x6d39d
movq -0x818(%rbp), %rdi
leaq -0x330(%rbp), %rsi
movl $0x56, %edx
leaq -0x340(%rbp), %rcx
callq 0x6840
jmp 0x6d3be
leaq -0x379(%rbp), %rdi
movq %rdi, -0x820(%rbp)
callq 0x67b0
movq -0x820(%rbp), %rdx
leaq 0x5e3bd(%rip), %rsi     # 0xcb79c
leaq -0x378(%rbp), %rdi
callq 0x65e0
jmp 0x6d3ed
leaq -0x1e0(%rbp), %rdi
leaq -0x378(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x821(%rbp)
jmp 0x6d408
movb -0x821(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x358(%rbp), %rdi
callq 0x70ed0
jmp 0x6d422
callq 0x70e90
movq %rax, -0x830(%rbp)
jmp 0x6d430
leaq 0x5e38c(%rip), %rsi     # 0xcb7c3
leaq -0x3b0(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6d44a
movq -0x830(%rbp), %rsi
leaq -0x3a0(%rbp), %rdi
leaq -0x3b0(%rbp), %rdx
callq 0x70f10
jmp 0x6d466
leaq 0x5e2ba(%rip), %rsi     # 0xcb727
leaq -0x3c0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d480
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x358(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
leaq -0x3c0(%rbp), %rdx
movl $0x56, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d4b7
leaq -0x3a0(%rbp), %rdi
callq 0x70f50
leaq -0x358(%rbp), %rdi
callq 0x70f70
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x831(%rbp)
jmp 0x6d4f4
movb -0x831(%rbp), %al
testb $0x1, %al
jne 0x6d367
jmp 0x6d504
leaq -0x3e1(%rbp), %rdi
movq %rdi, -0x840(%rbp)
callq 0x67b0
movq -0x840(%rbp), %rdx
leaq 0x5e211(%rip), %rsi     # 0xcb736
leaq -0x3e0(%rbp), %rdi
callq 0x65e0
jmp 0x6d533
leaq -0x1e0(%rbp), %rdi
leaq -0x3e0(%rbp), %rsi
callq 0x1da70
jmp 0x6d548
leaq -0x3e0(%rbp), %rdi
callq 0x6908
leaq -0x3e1(%rbp), %rdi
callq 0x6470
movq 0x9a051(%rip), %rax     # 0x1075b8
movq %rax, -0x848(%rbp)
leaq 0x5e1b2(%rip), %rsi     # 0xcb727
leaq -0x3f8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d588
leaq -0x408(%rbp), %rdi
callq 0x70c00
jmp 0x6d596
movq -0x848(%rbp), %rdi
leaq -0x3f8(%rbp), %rsi
movl $0x59, %edx
leaq -0x408(%rbp), %rcx
callq 0x6840
jmp 0x6d5b7
leaq -0x441(%rbp), %rdi
movq %rdi, -0x850(%rbp)
callq 0x67b0
movq -0x850(%rbp), %rdx
leaq 0x5e1c4(%rip), %rsi     # 0xcb79c
leaq -0x440(%rbp), %rdi
callq 0x65e0
jmp 0x6d5e6
leaq -0x1e0(%rbp), %rdi
leaq -0x440(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x851(%rbp)
jmp 0x6d601
movb -0x851(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x420(%rbp), %rdi
callq 0x70ed0
jmp 0x6d61b
callq 0x70e90
movq %rax, -0x860(%rbp)
jmp 0x6d629
leaq 0x5e193(%rip), %rsi     # 0xcb7c3
leaq -0x478(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6d643
movq -0x860(%rbp), %rsi
leaq -0x468(%rbp), %rdi
leaq -0x478(%rbp), %rdx
callq 0x70f10
jmp 0x6d65f
leaq 0x5e0c1(%rip), %rsi     # 0xcb727
leaq -0x488(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d679
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x420(%rbp), %rdi
leaq -0x468(%rbp), %rsi
leaq -0x488(%rbp), %rdx
movl $0x59, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d6b0
leaq -0x468(%rbp), %rdi
callq 0x70f50
leaq -0x420(%rbp), %rdi
callq 0x70f70
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x861(%rbp)
jmp 0x6d6ed
movb -0x861(%rbp), %al
testb $0x1, %al
jne 0x6d560
jmp 0x6d6fd
jmp 0x6d6ff
movq 0x99eb2(%rip), %rax     # 0x1075b8
movq %rax, -0x870(%rbp)
leaq 0x5e013(%rip), %rsi     # 0xcb727
leaq -0x498(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d727
leaq -0x4a8(%rbp), %rdi
callq 0x70c00
jmp 0x6d735
movq -0x870(%rbp), %rdi
leaq -0x498(%rbp), %rsi
movl $0x5a, %edx
leaq -0x4a8(%rbp), %rcx
callq 0x6840
jmp 0x6d756
leaq -0x4e1(%rbp), %rdi
movq %rdi, -0x878(%rbp)
callq 0x67b0
movq -0x878(%rbp), %rdx
leaq 0x5e01e(%rip), %rsi     # 0xcb795
leaq -0x4e0(%rbp), %rdi
callq 0x65e0
jmp 0x6d785
leaq -0x1e0(%rbp), %rdi
leaq -0x4e0(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x879(%rbp)
jmp 0x6d7a0
movb -0x879(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x4c0(%rbp), %rdi
callq 0x70ed0
jmp 0x6d7ba
callq 0x70e90
movq %rax, -0x888(%rbp)
jmp 0x6d7c8
leaq 0x5dfde(%rip), %rsi     # 0xcb7ad
leaq -0x518(%rbp), %rdi
movl $0x15, %edx
callq 0x70bd0
jmp 0x6d7e2
movq -0x888(%rbp), %rsi
leaq -0x508(%rbp), %rdi
leaq -0x518(%rbp), %rdx
callq 0x70f10
jmp 0x6d7fe
leaq 0x5df22(%rip), %rsi     # 0xcb727
leaq -0x528(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d818
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x4c0(%rbp), %rdi
leaq -0x508(%rbp), %rsi
leaq -0x528(%rbp), %rdx
movl $0x5a, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d84f
leaq -0x508(%rbp), %rdi
callq 0x70f50
leaq -0x4c0(%rbp), %rdi
callq 0x70f70
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x889(%rbp)
jmp 0x6d88c
movb -0x889(%rbp), %al
testb $0x1, %al
jne 0x6d6ff
jmp 0x6d89c
jmp 0x6d89e
movq 0x99d13(%rip), %rax     # 0x1075b8
movq %rax, -0x898(%rbp)
leaq 0x5de74(%rip), %rsi     # 0xcb727
leaq -0x538(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d8c6
leaq -0x548(%rbp), %rdi
callq 0x70c00
jmp 0x6d8d4
movq -0x898(%rbp), %rdi
leaq -0x538(%rbp), %rsi
movl $0x5b, %edx
leaq -0x548(%rbp), %rcx
callq 0x6840
jmp 0x6d8f5
leaq -0x581(%rbp), %rdi
movq %rdi, -0x8a0(%rbp)
callq 0x67b0
movq -0x8a0(%rbp), %rdx
leaq 0x5de20(%rip), %rsi     # 0xcb736
leaq -0x580(%rbp), %rdi
callq 0x65e0
jmp 0x6d924
leaq -0x1e0(%rbp), %rdi
leaq -0x580(%rbp), %rsi
callq 0x1d7e0
movb %al, -0x8a1(%rbp)
jmp 0x6d93f
movb -0x8a1(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x560(%rbp), %rdi
callq 0x70ed0
jmp 0x6d95b
callq 0x70e90
movq %rax, -0x8b0(%rbp)
jmp 0x6d969
leaq 0x5df3c(%rip), %rsi     # 0xcb8ac
leaq -0x5b8(%rbp), %rdi
movl $0x13, %edx
callq 0x70bd0
jmp 0x6d983
movq -0x8b0(%rbp), %rsi
leaq -0x5a8(%rbp), %rdi
leaq -0x5b8(%rbp), %rdx
callq 0x70f10
jmp 0x6d99f
leaq 0x5dd81(%rip), %rsi     # 0xcb727
leaq -0x5c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6d9b9
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x560(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
leaq -0x5c8(%rbp), %rdx
movl $0x5b, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6d9f0
leaq -0x5a8(%rbp), %rdi
callq 0x70f50
leaq -0x560(%rbp), %rdi
callq 0x70f70
leaq -0x580(%rbp), %rdi
callq 0x6908
leaq -0x581(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0x8b1(%rbp)
jmp 0x6da2d
movb -0x8b1(%rbp), %al
testb $0x1, %al
jne 0x6d89e
jmp 0x6da3d
jmp 0x6da3f
movq 0x99b72(%rip), %rax     # 0x1075b8
movq %rax, -0x8c0(%rbp)
leaq 0x5dcd3(%rip), %rsi     # 0xcb727
leaq -0x5d8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6da67
leaq -0x5e8(%rbp), %rdi
callq 0x70c00
jmp 0x6da75
movq -0x8c0(%rbp), %rdi
leaq -0x5d8(%rbp), %rsi
movl $0x5d, %edx
leaq -0x5e8(%rbp), %rcx
callq 0x6840
jmp 0x6da96
callq 0x70e90
movq %rax, -0x8c8(%rbp)
jmp 0x6daa4
movq -0x8c8(%rbp), %rsi
leaq 0x5d878(%rip), %rdx     # 0xcb32a
leaq -0x610(%rbp), %rdi
callq 0x70e50
jmp 0x6dac0
leaq 0x5dc60(%rip), %rsi     # 0xcb727
leaq -0x620(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6dada
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0x628(%rbp)
leaq -0x651(%rbp), %rdi
movq %rdi, -0x8d0(%rbp)
callq 0x67b0
movq -0x8d0(%rbp), %rdx
leaq 0x5dc89(%rip), %rsi     # 0xcb795
leaq -0x650(%rbp), %rdi
callq 0x65e0
jmp 0x6db1a
leaq -0x1e0(%rbp), %rdi
leaq -0x650(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x8d8(%rbp)
jmp 0x6db37
movsd -0x8d8(%rbp), %xmm0
movsd %xmm0, -0x630(%rbp)
leaq 0x5dce8(%rip), %rcx     # 0xcb836
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x630(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5dcca(%rip), %rcx     # 0xcb831
movq %rcx, (%rax)
leaq -0x610(%rbp), %rdi
leaq -0x620(%rbp), %rsi
movl $0x5d, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x628(%rbp), %r9
callq 0x70c30
jmp 0x6db96
leaq -0x650(%rbp), %rdi
callq 0x6908
leaq -0x651(%rbp), %rdi
callq 0x6470
leaq -0x610(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x8d9(%rbp)
jmp 0x6dbc7
movb -0x8d9(%rbp), %al
testb $0x1, %al
jne 0x6da3f
jmp 0x6dbd7
jmp 0x6dbd9
movq 0x999d8(%rip), %rax     # 0x1075b8
movq %rax, -0x8e8(%rbp)
leaq 0x5db39(%rip), %rsi     # 0xcb727
leaq -0x668(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6dc01
leaq -0x678(%rbp), %rdi
callq 0x70c00
jmp 0x6dc0f
movq -0x8e8(%rbp), %rdi
leaq -0x668(%rbp), %rsi
movl $0x5e, %edx
leaq -0x678(%rbp), %rcx
callq 0x6840
jmp 0x6dc30
callq 0x70e90
movq %rax, -0x8f0(%rbp)
jmp 0x6dc3e
movq -0x8f0(%rbp), %rsi
leaq 0x5d6de(%rip), %rdx     # 0xcb32a
leaq -0x6a0(%rbp), %rdi
callq 0x70e50
jmp 0x6dc5a
leaq 0x5dac6(%rip), %rsi     # 0xcb727
leaq -0x6b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6dc74
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0x6b8(%rbp)
leaq -0x6e1(%rbp), %rdi
movq %rdi, -0x8f8(%rbp)
callq 0x67b0
movq -0x8f8(%rbp), %rdx
leaq 0x5daf6(%rip), %rsi     # 0xcb79c
leaq -0x6e0(%rbp), %rdi
callq 0x65e0
jmp 0x6dcb4
leaq -0x1e0(%rbp), %rdi
leaq -0x6e0(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x900(%rbp)
jmp 0x6dcd1
movsd -0x900(%rbp), %xmm0
movsd %xmm0, -0x6c0(%rbp)
leaq 0x5db6a(%rip), %rcx     # 0xcb852
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x6c0(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5db4c(%rip), %rcx     # 0xcb84d
movq %rcx, (%rax)
leaq -0x6a0(%rbp), %rdi
leaq -0x6b0(%rbp), %rsi
movl $0x5e, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x6b8(%rbp), %r9
callq 0x70c30
jmp 0x6dd30
leaq -0x6e0(%rbp), %rdi
callq 0x6908
leaq -0x6e1(%rbp), %rdi
callq 0x6470
leaq -0x6a0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x901(%rbp)
jmp 0x6dd61
movb -0x901(%rbp), %al
testb $0x1, %al
jne 0x6dbd9
jmp 0x6dd71
movb $0x0, -0x6e2(%rbp)
leaq -0x709(%rbp), %rdi
movq %rdi, -0x910(%rbp)
callq 0x67b0
movq -0x910(%rbp), %rdx
leaq 0x5d99d(%rip), %rsi     # 0xcb736
leaq -0x708(%rbp), %rdi
callq 0x65e0
jmp 0x6dda7
leaq -0x1e0(%rbp), %rdi
leaq -0x708(%rbp), %rsi
callq 0x1d8a0
jmp 0x6ddbc
leaq -0x708(%rbp), %rdi
callq 0x6908
leaq -0x709(%rbp), %rdi
callq 0x6470
jmp 0x6e257
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6ddfc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
jmp 0x6e3ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6de30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
jmp 0x6e3ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6de67
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
jmp 0x6e3ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e3ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6def4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6dee8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6dedc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x70f50
leaq -0x218(%rbp), %rdi
callq 0x70f70
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6df5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6df53
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6df47
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x300(%rbp), %rdi
callq 0x70f50
leaq -0x2b8(%rbp), %rdi
callq 0x70f70
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6dfca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6dfbe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6dfb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x3a0(%rbp), %rdi
callq 0x70f50
leaq -0x358(%rbp), %rdi
callq 0x70f70
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e001
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x3e0(%rbp), %rdi
callq 0x6908
leaq -0x3e1(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e06c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e060
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e054
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x468(%rbp), %rdi
callq 0x70f50
leaq -0x420(%rbp), %rdi
callq 0x70f70
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e0d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e0cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e0bf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x508(%rbp), %rdi
callq 0x70f50
leaq -0x4c0(%rbp), %rdi
callq 0x70f70
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e142
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e136
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e12a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x5a8(%rbp), %rdi
callq 0x70f50
leaq -0x560(%rbp), %rdi
callq 0x70f70
leaq -0x580(%rbp), %rdi
callq 0x6908
leaq -0x581(%rbp), %rdi
callq 0x6470
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e193
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e187
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x650(%rbp), %rdi
callq 0x6908
leaq -0x651(%rbp), %rdi
callq 0x6470
leaq -0x610(%rbp), %rdi
callq 0x70ea0
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e1e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e1d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x6e0(%rbp), %rdi
callq 0x6908
leaq -0x6e1(%rbp), %rdi
callq 0x6470
leaq -0x6a0(%rbp), %rdi
callq 0x70ea0
jmp 0x6e3e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e21b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x708(%rbp), %rdi
callq 0x6908
leaq -0x709(%rbp), %rdi
callq 0x6470
movl -0x6c(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x6e3e2
movq -0x68(%rbp), %rdi
callq 0x61a0
movq %rax, -0x718(%rbp)
movb $0x1, -0x6e2(%rbp)
callq 0x6700
jmp 0x6e255
jmp 0x6e257
jmp 0x6e259
movq 0x99358(%rip), %rax     # 0x1075b8
movq %rax, -0x918(%rbp)
leaq 0x5d4b9(%rip), %rsi     # 0xcb727
leaq -0x728(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6e281
leaq -0x738(%rbp), %rdi
callq 0x70c00
jmp 0x6e28f
movq -0x918(%rbp), %rdi
leaq -0x728(%rbp), %rsi
movl $0x67, %edx
leaq -0x738(%rbp), %rcx
callq 0x6840
jmp 0x6e2b0
movzbl -0x6e2(%rbp), %esi
andl $0x1, %esi
leaq -0x750(%rbp), %rdi
callq 0x70ed0
jmp 0x6e2c8
callq 0x70e90
movq %rax, -0x920(%rbp)
jmp 0x6e2d6
leaq 0x5d47b(%rip), %rsi     # 0xcb758
leaq -0x780(%rbp), %rdi
movl $0x6, %edx
callq 0x70bd0
jmp 0x6e2f0
movq -0x920(%rbp), %rsi
leaq -0x770(%rbp), %rdi
leaq -0x780(%rbp), %rdx
callq 0x70f10
jmp 0x6e30c
leaq 0x5d414(%rip), %rsi     # 0xcb727
leaq -0x790(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6e326
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x750(%rbp), %rdi
leaq -0x770(%rbp), %rsi
leaq -0x790(%rbp), %rdx
movl $0x67, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6e35d
leaq -0x770(%rbp), %rdi
callq 0x70f50
leaq -0x750(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x921(%rbp)
jmp 0x6e382
movb -0x921(%rbp), %al
testb $0x1, %al
jne 0x6e259
jmp 0x6e392
leaq -0x1e0(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
addq $0x940, %rsp            # imm = 0x940
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6e3d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x770(%rbp), %rdi
callq 0x70f50
leaq -0x750(%rbp), %rdi
callq 0x70f70
leaq -0x1e0(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
movq -0x68(%rbp), %rdi
callq 0x67a0