// File: 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
subq $0xd40, %rsp            # imm = 0xD40
movq %rdi, -0x8(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x530a0
leaq -0x59(%rbp), %rdi
movq %rdi, -0xab0(%rbp)
callq 0x67b0
movq -0xab0(%rbp), %rdx
leaq 0x60e40(%rip), %rsi     # 0xcb736
leaq -0x58(%rbp), %rdi
callq 0x65e0
jmp 0x6a901
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xab8(%rbp)
jmp 0x6a917
movq -0xab8(%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, -0xac0(%rbp)
callq 0x67b0
movq -0xac0(%rbp), %rdx
leaq 0x60e37(%rip), %rsi     # 0xcb795
leaq -0x90(%rbp), %rdi
callq 0x65e0
jmp 0x6a96c
leaq -0x38(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xac8(%rbp)
jmp 0x6a985
movq -0xac8(%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, -0xad0(%rbp)
callq 0x67b0
movq -0xad0(%rbp), %rdx
leaq 0x60dca(%rip), %rsi     # 0xcb79c
leaq -0xb8(%rbp), %rdi
callq 0x65e0
jmp 0x6a9e0
leaq -0x38(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xad8(%rbp)
jmp 0x6a9f9
movq -0xad8(%rbp), %rax
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
leaq -0xe1(%rbp), %rdi
movq %rdi, -0xae0(%rbp)
callq 0x67b0
movq -0xae0(%rbp), %rdx
leaq 0x60d5a(%rip), %rsi     # 0xcb7a0
leaq -0xe0(%rbp), %rdi
callq 0x65e0
jmp 0x6aa54
leaq -0x38(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xae8(%rbp)
jmp 0x6aa6d
movq -0xae8(%rbp), %rax
movabsq $-0x3ff0000000000000, %rcx # imm = 0xC010000000000000
movq %rcx, (%rax)
leaq -0xe0(%rbp), %rdi
callq 0x6908
leaq -0xe1(%rbp), %rdi
callq 0x6470
leaq -0x109(%rbp), %rdi
movq %rdi, -0xaf0(%rbp)
callq 0x67b0
movq -0xaf0(%rbp), %rdx
leaq 0x60ced(%rip), %rsi     # 0xcb7a7
leaq -0x108(%rbp), %rdi
callq 0x65e0
jmp 0x6aac8
leaq -0x38(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xaf8(%rbp)
jmp 0x6aae1
movq -0xaf8(%rbp), %rax
movabsq $-0x3fec000000000000, %rcx # imm = 0xC014000000000000
movq %rcx, (%rax)
leaq -0x108(%rbp), %rdi
callq 0x6908
leaq -0x109(%rbp), %rdi
callq 0x6470
leaq -0x230(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x1ce60
jmp 0x6ab1f
jmp 0x6ab21
movq 0x9ca90(%rip), %rax     # 0x1075b8
movq %rax, -0xb00(%rbp)
leaq 0x60bf1(%rip), %rsi     # 0xcb727
leaq -0x240(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ab49
leaq -0x250(%rbp), %rdi
callq 0x70c00
jmp 0x6ab57
movq -0xb00(%rbp), %rdi
leaq -0x240(%rbp), %rsi
movl $0x32, %edx
leaq -0x250(%rbp), %rcx
callq 0x6840
jmp 0x6ab78
leaq -0x289(%rbp), %rdi
movq %rdi, -0xb08(%rbp)
callq 0x67b0
movq -0xb08(%rbp), %rdx
leaq 0x60b9d(%rip), %rsi     # 0xcb736
leaq -0x288(%rbp), %rdi
callq 0x65e0
jmp 0x6aba7
leaq -0x230(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xb09(%rbp)
jmp 0x6abc2
movb -0xb09(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x268(%rbp), %rdi
callq 0x70ed0
jmp 0x6abdc
callq 0x70e90
movq %rax, -0xb18(%rbp)
jmp 0x6abea
leaq 0x60cbc(%rip), %rsi     # 0xcb8ad
leaq -0x2c0(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6ac04
movq -0xb18(%rbp), %rsi
leaq -0x2b0(%rbp), %rdi
leaq -0x2c0(%rbp), %rdx
callq 0x70f10
jmp 0x6ac20
leaq 0x60b00(%rip), %rsi     # 0xcb727
leaq -0x2d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ac3a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x268(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
leaq -0x2d0(%rbp), %rdx
movl $0x32, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6ac71
leaq -0x2b0(%rbp), %rdi
callq 0x70f50
leaq -0x268(%rbp), %rdi
callq 0x70f70
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xb19(%rbp)
jmp 0x6acae
movb -0xb19(%rbp), %al
testb $0x1, %al
jne 0x6ab21
jmp 0x6acbe
jmp 0x6acc0
movq 0x9c8f1(%rip), %rax     # 0x1075b8
movq %rax, -0xb28(%rbp)
leaq 0x60a52(%rip), %rsi     # 0xcb727
leaq -0x2e0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ace8
leaq -0x2f0(%rbp), %rdi
callq 0x70c00
jmp 0x6acf6
movq -0xb28(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
movl $0x33, %edx
leaq -0x2f0(%rbp), %rcx
callq 0x6840
jmp 0x6ad17
leaq -0x329(%rbp), %rdi
movq %rdi, -0xb30(%rbp)
callq 0x67b0
movq -0xb30(%rbp), %rdx
leaq 0x60a5d(%rip), %rsi     # 0xcb795
leaq -0x328(%rbp), %rdi
callq 0x65e0
jmp 0x6ad46
leaq -0x230(%rbp), %rdi
leaq -0x328(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xb31(%rbp)
jmp 0x6ad61
movb -0xb31(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x308(%rbp), %rdi
callq 0x70ed0
jmp 0x6ad7b
callq 0x70e90
movq %rax, -0xb40(%rbp)
jmp 0x6ad89
leaq 0x60a1d(%rip), %rsi     # 0xcb7ad
leaq -0x360(%rbp), %rdi
movl $0x15, %edx
callq 0x70bd0
jmp 0x6ada3
movq -0xb40(%rbp), %rsi
leaq -0x350(%rbp), %rdi
leaq -0x360(%rbp), %rdx
callq 0x70f10
jmp 0x6adbf
leaq 0x60961(%rip), %rsi     # 0xcb727
leaq -0x370(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6add9
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x308(%rbp), %rdi
leaq -0x350(%rbp), %rsi
leaq -0x370(%rbp), %rdx
movl $0x33, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6ae10
leaq -0x350(%rbp), %rdi
callq 0x70f50
leaq -0x308(%rbp), %rdi
callq 0x70f70
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xb41(%rbp)
jmp 0x6ae4d
movb -0xb41(%rbp), %al
testb $0x1, %al
jne 0x6acc0
jmp 0x6ae5d
jmp 0x6ae5f
movq 0x9c752(%rip), %rax     # 0x1075b8
movq %rax, -0xb50(%rbp)
leaq 0x608b3(%rip), %rsi     # 0xcb727
leaq -0x380(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ae87
leaq -0x390(%rbp), %rdi
callq 0x70c00
jmp 0x6ae95
movq -0xb50(%rbp), %rdi
leaq -0x380(%rbp), %rsi
movl $0x34, %edx
leaq -0x390(%rbp), %rcx
callq 0x6840
jmp 0x6aeb6
leaq -0x3c9(%rbp), %rdi
movq %rdi, -0xb58(%rbp)
callq 0x67b0
movq -0xb58(%rbp), %rdx
leaq 0x608c5(%rip), %rsi     # 0xcb79c
leaq -0x3c8(%rbp), %rdi
callq 0x65e0
jmp 0x6aee5
leaq -0x230(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xb59(%rbp)
jmp 0x6af00
movb -0xb59(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x3a8(%rbp), %rdi
callq 0x70ed0
jmp 0x6af1a
callq 0x70e90
movq %rax, -0xb68(%rbp)
jmp 0x6af28
leaq 0x60894(%rip), %rsi     # 0xcb7c3
leaq -0x400(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6af42
movq -0xb68(%rbp), %rsi
leaq -0x3f0(%rbp), %rdi
leaq -0x400(%rbp), %rdx
callq 0x70f10
jmp 0x6af5e
leaq 0x607c2(%rip), %rsi     # 0xcb727
leaq -0x410(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6af78
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x3a8(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
leaq -0x410(%rbp), %rdx
movl $0x34, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6afaf
leaq -0x3f0(%rbp), %rdi
callq 0x70f50
leaq -0x3a8(%rbp), %rdi
callq 0x70f70
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xb69(%rbp)
jmp 0x6afec
movb -0xb69(%rbp), %al
testb $0x1, %al
jne 0x6ae5f
jmp 0x6affc
jmp 0x6affe
movq 0x9c5b3(%rip), %rax     # 0x1075b8
movq %rax, -0xb78(%rbp)
leaq 0x60714(%rip), %rsi     # 0xcb727
leaq -0x420(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b026
leaq -0x430(%rbp), %rdi
callq 0x70c00
jmp 0x6b034
movq -0xb78(%rbp), %rdi
leaq -0x420(%rbp), %rsi
movl $0x35, %edx
leaq -0x430(%rbp), %rcx
callq 0x6840
jmp 0x6b055
leaq -0x469(%rbp), %rdi
movq %rdi, -0xb80(%rbp)
callq 0x67b0
movq -0xb80(%rbp), %rdx
leaq 0x6072a(%rip), %rsi     # 0xcb7a0
leaq -0x468(%rbp), %rdi
callq 0x65e0
jmp 0x6b084
leaq -0x230(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xb81(%rbp)
jmp 0x6b09f
movb -0xb81(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x448(%rbp), %rdi
callq 0x70ed0
jmp 0x6b0b9
callq 0x70e90
movq %rax, -0xb90(%rbp)
jmp 0x6b0c7
leaq 0x60708(%rip), %rsi     # 0xcb7d6
leaq -0x4a0(%rbp), %rdi
movl $0x15, %edx
callq 0x70bd0
jmp 0x6b0e1
movq -0xb90(%rbp), %rsi
leaq -0x490(%rbp), %rdi
leaq -0x4a0(%rbp), %rdx
callq 0x70f10
jmp 0x6b0fd
leaq 0x60623(%rip), %rsi     # 0xcb727
leaq -0x4b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b117
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x448(%rbp), %rdi
leaq -0x490(%rbp), %rsi
leaq -0x4b0(%rbp), %rdx
movl $0x35, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6b14e
leaq -0x490(%rbp), %rdi
callq 0x70f50
leaq -0x448(%rbp), %rdi
callq 0x70f70
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xb91(%rbp)
jmp 0x6b18b
movb -0xb91(%rbp), %al
testb $0x1, %al
jne 0x6affe
jmp 0x6b19b
jmp 0x6b19d
movq 0x9c414(%rip), %rax     # 0x1075b8
movq %rax, -0xba0(%rbp)
leaq 0x60575(%rip), %rsi     # 0xcb727
leaq -0x4c0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b1c5
leaq -0x4d0(%rbp), %rdi
callq 0x70c00
jmp 0x6b1d3
movq -0xba0(%rbp), %rdi
leaq -0x4c0(%rbp), %rsi
movl $0x36, %edx
leaq -0x4d0(%rbp), %rcx
callq 0x6840
jmp 0x6b1f4
leaq -0x509(%rbp), %rdi
movq %rdi, -0xba8(%rbp)
callq 0x67b0
movq -0xba8(%rbp), %rdx
leaq 0x60592(%rip), %rsi     # 0xcb7a7
leaq -0x508(%rbp), %rdi
callq 0x65e0
jmp 0x6b223
leaq -0x230(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xba9(%rbp)
jmp 0x6b23e
movb -0xba9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x4e8(%rbp), %rdi
callq 0x70ed0
jmp 0x6b258
callq 0x70e90
movq %rax, -0xbb8(%rbp)
jmp 0x6b266
leaq 0x6057f(%rip), %rsi     # 0xcb7ec
leaq -0x540(%rbp), %rdi
movl $0x14, %edx
callq 0x70bd0
jmp 0x6b280
movq -0xbb8(%rbp), %rsi
leaq -0x530(%rbp), %rdi
leaq -0x540(%rbp), %rdx
callq 0x70f10
jmp 0x6b29c
leaq 0x60484(%rip), %rsi     # 0xcb727
leaq -0x550(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b2b6
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x4e8(%rbp), %rdi
leaq -0x530(%rbp), %rsi
leaq -0x550(%rbp), %rdx
movl $0x36, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6b2ed
leaq -0x530(%rbp), %rdi
callq 0x70f50
leaq -0x4e8(%rbp), %rdi
callq 0x70f70
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xbb9(%rbp)
jmp 0x6b32a
movb -0xbb9(%rbp), %al
testb $0x1, %al
jne 0x6b19d
jmp 0x6b33a
jmp 0x6b33c
movq 0x9c275(%rip), %rax     # 0x1075b8
movq %rax, -0xbc8(%rbp)
leaq 0x603d6(%rip), %rsi     # 0xcb727
leaq -0x560(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b364
leaq -0x570(%rbp), %rdi
callq 0x70c00
jmp 0x6b372
movq -0xbc8(%rbp), %rdi
leaq -0x560(%rbp), %rsi
movl $0x37, %edx
leaq -0x570(%rbp), %rcx
callq 0x6840
jmp 0x6b393
leaq -0x5a9(%rbp), %rdi
movq %rdi, -0xbd0(%rbp)
callq 0x67b0
movq -0xbd0(%rbp), %rdx
leaq 0x603ea(%rip), %rsi     # 0xcb79e
leaq -0x5a8(%rbp), %rdi
callq 0x65e0
jmp 0x6b3c2
leaq -0x230(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xbd1(%rbp)
jmp 0x6b3dd
movb -0xbd1(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x588(%rbp), %rdi
callq 0x70ed0
jmp 0x6b3f9
callq 0x70e90
movq %rax, -0xbe0(%rbp)
jmp 0x6b407
leaq 0x60366(%rip), %rsi     # 0xcb774
leaq -0x5e0(%rbp), %rdi
movl $0x11, %edx
callq 0x70bd0
jmp 0x6b421
movq -0xbe0(%rbp), %rsi
leaq -0x5d0(%rbp), %rdi
leaq -0x5e0(%rbp), %rdx
callq 0x70f10
jmp 0x6b43d
leaq 0x602e3(%rip), %rsi     # 0xcb727
leaq -0x5f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b457
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x588(%rbp), %rdi
leaq -0x5d0(%rbp), %rsi
leaq -0x5f0(%rbp), %rdx
movl $0x37, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6b48e
leaq -0x5d0(%rbp), %rdi
callq 0x70f50
leaq -0x588(%rbp), %rdi
callq 0x70f70
leaq -0x5a8(%rbp), %rdi
callq 0x6908
leaq -0x5a9(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xbe1(%rbp)
jmp 0x6b4cb
movb -0xbe1(%rbp), %al
testb $0x1, %al
jne 0x6b33c
jmp 0x6b4db
jmp 0x6b4dd
movq 0x9c0d4(%rip), %rax     # 0x1075b8
movq %rax, -0xbf0(%rbp)
leaq 0x60235(%rip), %rsi     # 0xcb727
leaq -0x600(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b505
leaq -0x610(%rbp), %rdi
callq 0x70c00
jmp 0x6b513
movq -0xbf0(%rbp), %rdi
leaq -0x600(%rbp), %rsi
movl $0x38, %edx
leaq -0x610(%rbp), %rcx
callq 0x6840
jmp 0x6b534
leaq -0x649(%rbp), %rdi
movq %rdi, -0xbf8(%rbp)
callq 0x67b0
movq -0xbf8(%rbp), %rdx
leaq 0x602ac(%rip), %rsi     # 0xcb801
leaq -0x648(%rbp), %rdi
callq 0x65e0
jmp 0x6b563
leaq -0x230(%rbp), %rdi
leaq -0x648(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xbf9(%rbp)
jmp 0x6b57e
movb -0xbf9(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x628(%rbp), %rdi
callq 0x70ed0
jmp 0x6b59a
callq 0x70e90
movq %rax, -0xc08(%rbp)
jmp 0x6b5a8
leaq 0x60255(%rip), %rsi     # 0xcb804
leaq -0x680(%rbp), %rdi
movl $0x12, %edx
callq 0x70bd0
jmp 0x6b5c2
movq -0xc08(%rbp), %rsi
leaq -0x670(%rbp), %rdi
leaq -0x680(%rbp), %rdx
callq 0x70f10
jmp 0x6b5de
leaq 0x60142(%rip), %rsi     # 0xcb727
leaq -0x690(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b5f8
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x628(%rbp), %rdi
leaq -0x670(%rbp), %rsi
leaq -0x690(%rbp), %rdx
movl $0x38, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6b62f
leaq -0x670(%rbp), %rdi
callq 0x70f50
leaq -0x628(%rbp), %rdi
callq 0x70f70
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xc09(%rbp)
jmp 0x6b66c
movb -0xc09(%rbp), %al
testb $0x1, %al
jne 0x6b4dd
jmp 0x6b67c
jmp 0x6b67e
movq 0x9bf33(%rip), %rax     # 0x1075b8
movq %rax, -0xc18(%rbp)
leaq 0x60094(%rip), %rsi     # 0xcb727
leaq -0x6a0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b6a6
leaq -0x6b0(%rbp), %rdi
callq 0x70c00
jmp 0x6b6b4
movq -0xc18(%rbp), %rdi
leaq -0x6a0(%rbp), %rsi
movl $0x39, %edx
leaq -0x6b0(%rbp), %rcx
callq 0x6840
jmp 0x6b6d5
leaq -0x6e9(%rbp), %rdi
movq %rdi, -0xc20(%rbp)
callq 0x67b0
movq -0xc20(%rbp), %rdx
leaq 0x60121(%rip), %rsi     # 0xcb817
leaq -0x6e8(%rbp), %rdi
callq 0x65e0
jmp 0x6b704
leaq -0x230(%rbp), %rdi
leaq -0x6e8(%rbp), %rsi
callq 0x1d7e0
movb %al, -0xc21(%rbp)
jmp 0x6b71f
movb -0xc21(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x6c8(%rbp), %rdi
callq 0x70ed0
jmp 0x6b73b
callq 0x70e90
movq %rax, -0xc30(%rbp)
jmp 0x6b749
leaq 0x600cc(%rip), %rsi     # 0xcb81c
leaq -0x720(%rbp), %rdi
movl $0x14, %edx
callq 0x70bd0
jmp 0x6b763
movq -0xc30(%rbp), %rsi
leaq -0x710(%rbp), %rdi
leaq -0x720(%rbp), %rdx
callq 0x70f10
jmp 0x6b77f
leaq 0x5ffa1(%rip), %rsi     # 0xcb727
leaq -0x730(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b799
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x6c8(%rbp), %rdi
leaq -0x710(%rbp), %rsi
leaq -0x730(%rbp), %rdx
movl $0x39, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6b7d0
leaq -0x710(%rbp), %rdi
callq 0x70f50
leaq -0x6c8(%rbp), %rdi
callq 0x70f70
leaq -0x6e8(%rbp), %rdi
callq 0x6908
leaq -0x6e9(%rbp), %rdi
callq 0x6470
callq 0x70ec0
movb %al, -0xc31(%rbp)
jmp 0x6b80d
movb -0xc31(%rbp), %al
testb $0x1, %al
jne 0x6b67e
jmp 0x6b81d
jmp 0x6b81f
movq 0x9bd92(%rip), %rax     # 0x1075b8
movq %rax, -0xc40(%rbp)
leaq 0x5fef3(%rip), %rsi     # 0xcb727
leaq -0x740(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b847
leaq -0x750(%rbp), %rdi
callq 0x70c00
jmp 0x6b855
movq -0xc40(%rbp), %rdi
leaq -0x740(%rbp), %rsi
movl $0x3b, %edx
leaq -0x750(%rbp), %rcx
callq 0x6840
jmp 0x6b876
callq 0x70e90
movq %rax, -0xc48(%rbp)
jmp 0x6b884
movq -0xc48(%rbp), %rsi
leaq 0x5fa98(%rip), %rdx     # 0xcb32a
leaq -0x778(%rbp), %rdi
callq 0x70e50
jmp 0x6b8a0
leaq 0x5fe80(%rip), %rsi     # 0xcb727
leaq -0x788(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b8ba
movabsq $-0x4010000000000000, %rax # imm = 0xBFF0000000000000
movq %rax, -0x790(%rbp)
leaq -0x7b9(%rbp), %rdi
movq %rdi, -0xc50(%rbp)
callq 0x67b0
movq -0xc50(%rbp), %rdx
leaq 0x5fe4a(%rip), %rsi     # 0xcb736
leaq -0x7b8(%rbp), %rdi
callq 0x65e0
jmp 0x6b8fa
leaq -0x230(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0xc58(%rbp)
jmp 0x6b917
movsd -0xc58(%rbp), %xmm0
movsd %xmm0, -0x798(%rbp)
leaq 0x5fe11(%rip), %rcx     # 0xcb73f
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x798(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5fdf3(%rip), %rcx     # 0xcb73a
movq %rcx, (%rax)
leaq -0x778(%rbp), %rdi
leaq -0x788(%rbp), %rsi
movl $0x3b, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x790(%rbp), %r9
callq 0x70c30
jmp 0x6b976
leaq -0x7b8(%rbp), %rdi
callq 0x6908
leaq -0x7b9(%rbp), %rdi
callq 0x6470
leaq -0x778(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xc59(%rbp)
jmp 0x6b9a7
movb -0xc59(%rbp), %al
testb $0x1, %al
jne 0x6b81f
jmp 0x6b9b7
jmp 0x6b9b9
movq 0x9bbf8(%rip), %rax     # 0x1075b8
movq %rax, -0xc68(%rbp)
leaq 0x5fd59(%rip), %rsi     # 0xcb727
leaq -0x7d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6b9e1
leaq -0x7e0(%rbp), %rdi
callq 0x70c00
jmp 0x6b9ef
movq -0xc68(%rbp), %rdi
leaq -0x7d0(%rbp), %rsi
movl $0x3c, %edx
leaq -0x7e0(%rbp), %rcx
callq 0x6840
jmp 0x6ba10
callq 0x70e90
movq %rax, -0xc70(%rbp)
jmp 0x6ba1e
movq -0xc70(%rbp), %rsi
leaq 0x5f8fe(%rip), %rdx     # 0xcb32a
leaq -0x808(%rbp), %rdi
callq 0x70e50
jmp 0x6ba3a
leaq 0x5fce6(%rip), %rsi     # 0xcb727
leaq -0x818(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ba54
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0x820(%rbp)
leaq -0x849(%rbp), %rdi
movq %rdi, -0xc78(%rbp)
callq 0x67b0
movq -0xc78(%rbp), %rdx
leaq 0x5fd0f(%rip), %rsi     # 0xcb795
leaq -0x848(%rbp), %rdi
callq 0x65e0
jmp 0x6ba94
leaq -0x230(%rbp), %rdi
leaq -0x848(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0xc80(%rbp)
jmp 0x6bab1
movsd -0xc80(%rbp), %xmm0
movsd %xmm0, -0x828(%rbp)
leaq 0x5fd6e(%rip), %rcx     # 0xcb836
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x828(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5fd50(%rip), %rcx     # 0xcb831
movq %rcx, (%rax)
leaq -0x808(%rbp), %rdi
leaq -0x818(%rbp), %rsi
movl $0x3c, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x820(%rbp), %r9
callq 0x70c30
jmp 0x6bb10
leaq -0x848(%rbp), %rdi
callq 0x6908
leaq -0x849(%rbp), %rdi
callq 0x6470
leaq -0x808(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xc81(%rbp)
jmp 0x6bb41
movb -0xc81(%rbp), %al
testb $0x1, %al
jne 0x6b9b9
jmp 0x6bb51
jmp 0x6bb53
movq 0x9ba5e(%rip), %rax     # 0x1075b8
movq %rax, -0xc90(%rbp)
leaq 0x5fbbf(%rip), %rsi     # 0xcb727
leaq -0x860(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6bb7b
leaq -0x870(%rbp), %rdi
callq 0x70c00
jmp 0x6bb89
movq -0xc90(%rbp), %rdi
leaq -0x860(%rbp), %rsi
movl $0x3d, %edx
leaq -0x870(%rbp), %rcx
callq 0x6840
jmp 0x6bbaa
callq 0x70e90
movq %rax, -0xc98(%rbp)
jmp 0x6bbb8
movq -0xc98(%rbp), %rsi
leaq 0x5f764(%rip), %rdx     # 0xcb32a
leaq -0x898(%rbp), %rdi
callq 0x70e50
jmp 0x6bbd4
leaq 0x5fb4c(%rip), %rsi     # 0xcb727
leaq -0x8a8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6bbee
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0x8b0(%rbp)
leaq -0x8d9(%rbp), %rdi
movq %rdi, -0xca0(%rbp)
callq 0x67b0
movq -0xca0(%rbp), %rdx
leaq 0x5fb7c(%rip), %rsi     # 0xcb79c
leaq -0x8d8(%rbp), %rdi
callq 0x65e0
jmp 0x6bc2e
leaq -0x230(%rbp), %rdi
leaq -0x8d8(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0xca8(%rbp)
jmp 0x6bc4b
movsd -0xca8(%rbp), %xmm0
movsd %xmm0, -0x8b8(%rbp)
leaq 0x5fbf0(%rip), %rcx     # 0xcb852
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x8b8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5fbd2(%rip), %rcx     # 0xcb84d
movq %rcx, (%rax)
leaq -0x898(%rbp), %rdi
leaq -0x8a8(%rbp), %rsi
movl $0x3d, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x8b0(%rbp), %r9
callq 0x70c30
jmp 0x6bcaa
leaq -0x8d8(%rbp), %rdi
callq 0x6908
leaq -0x8d9(%rbp), %rdi
callq 0x6470
leaq -0x898(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xca9(%rbp)
jmp 0x6bcdb
movb -0xca9(%rbp), %al
testb $0x1, %al
jne 0x6bb53
jmp 0x6bceb
jmp 0x6bced
movq 0x9b8c4(%rip), %rax     # 0x1075b8
movq %rax, -0xcb8(%rbp)
leaq 0x5fa25(%rip), %rsi     # 0xcb727
leaq -0x8f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6bd15
leaq -0x900(%rbp), %rdi
callq 0x70c00
jmp 0x6bd23
movq -0xcb8(%rbp), %rdi
leaq -0x8f0(%rbp), %rsi
movl $0x3e, %edx
leaq -0x900(%rbp), %rcx
callq 0x6840
jmp 0x6bd44
callq 0x70e90
movq %rax, -0xcc0(%rbp)
jmp 0x6bd52
movq -0xcc0(%rbp), %rsi
leaq 0x5f5ca(%rip), %rdx     # 0xcb32a
leaq -0x928(%rbp), %rdi
callq 0x70e50
jmp 0x6bd6e
leaq 0x5f9b2(%rip), %rsi     # 0xcb727
leaq -0x938(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6bd88
movabsq $-0x3ff0000000000000, %rax # imm = 0xC010000000000000
movq %rax, -0x940(%rbp)
leaq -0x969(%rbp), %rdi
movq %rdi, -0xcc8(%rbp)
callq 0x67b0
movq -0xcc8(%rbp), %rdx
leaq 0x5f9e6(%rip), %rsi     # 0xcb7a0
leaq -0x968(%rbp), %rdi
callq 0x65e0
jmp 0x6bdc8
leaq -0x230(%rbp), %rdi
leaq -0x968(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0xcd0(%rbp)
jmp 0x6bde5
movsd -0xcd0(%rbp), %xmm0
movsd %xmm0, -0x948(%rbp)
leaq 0x5fa6f(%rip), %rcx     # 0xcb86b
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x948(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5fa51(%rip), %rcx     # 0xcb866
movq %rcx, (%rax)
leaq -0x928(%rbp), %rdi
leaq -0x938(%rbp), %rsi
movl $0x3e, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x940(%rbp), %r9
callq 0x70c30
jmp 0x6be44
leaq -0x968(%rbp), %rdi
callq 0x6908
leaq -0x969(%rbp), %rdi
callq 0x6470
leaq -0x928(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xcd1(%rbp)
jmp 0x6be75
movb -0xcd1(%rbp), %al
testb $0x1, %al
jne 0x6bced
jmp 0x6be85
jmp 0x6be87
movq 0x9b72a(%rip), %rax     # 0x1075b8
movq %rax, -0xce0(%rbp)
leaq 0x5f88b(%rip), %rsi     # 0xcb727
leaq -0x980(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6beaf
leaq -0x990(%rbp), %rdi
callq 0x70c00
jmp 0x6bebd
movq -0xce0(%rbp), %rdi
leaq -0x980(%rbp), %rsi
movl $0x3f, %edx
leaq -0x990(%rbp), %rcx
callq 0x6840
jmp 0x6bede
callq 0x70e90
movq %rax, -0xce8(%rbp)
jmp 0x6beec
movq -0xce8(%rbp), %rsi
leaq 0x5f430(%rip), %rdx     # 0xcb32a
leaq -0x9b8(%rbp), %rdi
callq 0x70e50
jmp 0x6bf08
leaq 0x5f818(%rip), %rsi     # 0xcb727
leaq -0x9c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6bf22
movabsq $-0x3fec000000000000, %rax # imm = 0xC014000000000000
movq %rax, -0x9d0(%rbp)
leaq -0x9f9(%rbp), %rdi
movq %rdi, -0xcf0(%rbp)
callq 0x67b0
movq -0xcf0(%rbp), %rdx
leaq 0x5f853(%rip), %rsi     # 0xcb7a7
leaq -0x9f8(%rbp), %rdi
callq 0x65e0
jmp 0x6bf62
leaq -0x230(%rbp), %rdi
leaq -0x9f8(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0xcf8(%rbp)
jmp 0x6bf7f
movsd -0xcf8(%rbp), %xmm0
movsd %xmm0, -0x9d8(%rbp)
leaq 0x5f8f1(%rip), %rcx     # 0xcb887
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x9d8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5f8d3(%rip), %rcx     # 0xcb882
movq %rcx, (%rax)
leaq -0x9b8(%rbp), %rdi
leaq -0x9c8(%rbp), %rsi
movl $0x3f, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x9d0(%rbp), %r9
callq 0x70c30
jmp 0x6bfde
leaq -0x9f8(%rbp), %rdi
callq 0x6908
leaq -0x9f9(%rbp), %rdi
callq 0x6470
leaq -0x9b8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xcf9(%rbp)
jmp 0x6c00f
movb -0xcf9(%rbp), %al
testb $0x1, %al
jne 0x6be87
jmp 0x6c01f
movb $0x0, -0x9fa(%rbp)
leaq -0xa21(%rbp), %rdi
movq %rdi, -0xd08(%rbp)
callq 0x67b0
movq -0xd08(%rbp), %rdx
leaq 0x5f7ba(%rip), %rsi     # 0xcb801
leaq -0xa20(%rbp), %rdi
callq 0x65e0
jmp 0x6c055
leaq -0x230(%rbp), %rdi
leaq -0xa20(%rbp), %rsi
callq 0x1d8a0
jmp 0x6c06a
leaq -0xa20(%rbp), %rdi
callq 0x6908
leaq -0xa21(%rbp), %rdi
callq 0x6470
jmp 0x6c705
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c0aa
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 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c0de
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 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c115
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 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c14c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x6908
leaq -0xe1(%rbp), %rdi
callq 0x6470
jmp 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c183
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x6908
leaq -0x109(%rbp), %rdi
callq 0x6470
jmp 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c204
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c1f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x70f50
leaq -0x268(%rbp), %rdi
callq 0x70f70
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c27b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c26f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c263
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x350(%rbp), %rdi
callq 0x70f50
leaq -0x308(%rbp), %rdi
callq 0x70f70
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c2e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c2da
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c2ce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x3f0(%rbp), %rdi
callq 0x70f50
leaq -0x3a8(%rbp), %rdi
callq 0x70f70
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c351
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c345
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c339
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x490(%rbp), %rdi
callq 0x70f50
leaq -0x448(%rbp), %rdi
callq 0x70f70
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c3bc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c3b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c3a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x530(%rbp), %rdi
callq 0x70f50
leaq -0x4e8(%rbp), %rdi
callq 0x70f70
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c41b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c40f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x5d0(%rbp), %rdi
callq 0x70f50
leaq -0x588(%rbp), %rdi
callq 0x70f70
leaq -0x5a8(%rbp), %rdi
callq 0x6908
leaq -0x5a9(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c492
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c486
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c47a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x670(%rbp), %rdi
callq 0x70f50
leaq -0x628(%rbp), %rdi
callq 0x70f70
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c4fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c4f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c4e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x710(%rbp), %rdi
callq 0x70f50
leaq -0x6c8(%rbp), %rdi
callq 0x70f70
leaq -0x6e8(%rbp), %rdi
callq 0x6908
leaq -0x6e9(%rbp), %rdi
callq 0x6470
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c54e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c542
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x7b8(%rbp), %rdi
callq 0x6908
leaq -0x7b9(%rbp), %rdi
callq 0x6470
leaq -0x778(%rbp), %rdi
callq 0x70ea0
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c59f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c593
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x848(%rbp), %rdi
callq 0x6908
leaq -0x849(%rbp), %rdi
callq 0x6470
leaq -0x808(%rbp), %rdi
callq 0x70ea0
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c5f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c5e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x8d8(%rbp), %rdi
callq 0x6908
leaq -0x8d9(%rbp), %rdi
callq 0x6470
leaq -0x898(%rbp), %rdi
callq 0x70ea0
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c641
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c635
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x968(%rbp), %rdi
callq 0x6908
leaq -0x969(%rbp), %rdi
callq 0x6470
leaq -0x928(%rbp), %rdi
callq 0x70ea0
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c692
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c686
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x9f8(%rbp), %rdi
callq 0x6908
leaq -0x9f9(%rbp), %rdi
callq 0x6470
leaq -0x9b8(%rbp), %rdi
callq 0x70ea0
jmp 0x6c890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c6c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xa20(%rbp), %rdi
callq 0x6908
leaq -0xa21(%rbp), %rdi
callq 0x6470
movl -0x6c(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x6c890
movq -0x68(%rbp), %rdi
callq 0x61a0
movq %rax, -0xa30(%rbp)
movb $0x1, -0x9fa(%rbp)
callq 0x6700
jmp 0x6c703
jmp 0x6c705
jmp 0x6c707
movq 0x9aeaa(%rip), %rax     # 0x1075b8
movq %rax, -0xd10(%rbp)
leaq 0x5f00b(%rip), %rsi     # 0xcb727
leaq -0xa40(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6c72f
leaq -0xa50(%rbp), %rdi
callq 0x70c00
jmp 0x6c73d
movq -0xd10(%rbp), %rdi
leaq -0xa40(%rbp), %rsi
movl $0x48, %edx
leaq -0xa50(%rbp), %rcx
callq 0x6840
jmp 0x6c75e
movzbl -0x9fa(%rbp), %esi
andl $0x1, %esi
leaq -0xa68(%rbp), %rdi
callq 0x70ed0
jmp 0x6c776
callq 0x70e90
movq %rax, -0xd18(%rbp)
jmp 0x6c784
leaq 0x5efcd(%rip), %rsi     # 0xcb758
leaq -0xa98(%rbp), %rdi
movl $0x6, %edx
callq 0x70bd0
jmp 0x6c79e
movq -0xd18(%rbp), %rsi
leaq -0xa88(%rbp), %rdi
leaq -0xa98(%rbp), %rdx
callq 0x70f10
jmp 0x6c7ba
leaq 0x5ef66(%rip), %rsi     # 0xcb727
leaq -0xaa8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6c7d4
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xa68(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
leaq -0xaa8(%rbp), %rdx
movl $0x48, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x6c80b
leaq -0xa88(%rbp), %rdi
callq 0x70f50
leaq -0xa68(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0xd19(%rbp)
jmp 0x6c830
movb -0xd19(%rbp), %al
testb $0x1, %al
jne 0x6c707
jmp 0x6c840
leaq -0x230(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
addq $0xd40, %rsp            # imm = 0xD40
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x6c884
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xa88(%rbp), %rdi
callq 0x70f50
leaq -0xa68(%rbp), %rdi
callq 0x70f70
leaq -0x230(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
movq -0x68(%rbp), %rdi
callq 0x67a0
nop