// File: aalto-speech[P]ftk/test/sstest.cc
// Function: StringSetTest5::test_method()
BOOST_AUTO_TEST_CASE(StringSetTest5)
{
    map<string, flt_type> vocab;
    vocab["joo"] = 50;
    vocab["heippa"] = 10;
    vocab["hei"] = 10;
    vocab["heh"] = 15;

    StringSet ss(vocab);

    auto it = vocab.find(string("heippa"));
    vocab.erase(it);
    vocab["jepsis"] = 30;

    ss.assign_scores(vocab);
    BOOST_CHECK_EQUAL ( vocab["joo"], ss.get_score("joo") );
    BOOST_CHECK_EQUAL ( vocab["hei"], ss.get_score("hei") );
    BOOST_CHECK_EQUAL ( vocab["heh"], ss.get_score("heh") );
    BOOST_CHECK_EQUAL ( vocab["jepsis"], ss.get_score("jepsis") );

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x800, %rsp            # imm = 0x800
movq %rdi, -0x8(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x530a0
leaq -0x59(%rbp), %rdi
movq %rdi, -0x658(%rbp)
callq 0x67b0
movq -0x658(%rbp), %rdx
leaq 0x5c118(%rip), %rsi     # 0xcb8de
leaq -0x58(%rbp), %rdi
callq 0x65e0
jmp 0x6f7d1
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x660(%rbp)
jmp 0x6f7e7
movq -0x660(%rbp), %rax
movabsq $0x4049000000000000, %rcx # imm = 0x4049000000000000
movq %rcx, (%rax)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
leaq -0x91(%rbp), %rdi
movq %rdi, -0x668(%rbp)
callq 0x67b0
movq -0x668(%rbp), %rdx
leaq 0x5bf67(%rip), %rsi     # 0xcb795
leaq -0x90(%rbp), %rdi
callq 0x65e0
jmp 0x6f83c
leaq -0x38(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x670(%rbp)
jmp 0x6f855
movq -0x670(%rbp), %rax
movabsq $0x4024000000000000, %rcx # imm = 0x4024000000000000
movq %rcx, (%rax)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x678(%rbp)
callq 0x67b0
movq -0x678(%rbp), %rdx
leaq 0x5be94(%rip), %rsi     # 0xcb736
leaq -0xb8(%rbp), %rdi
callq 0x65e0
jmp 0x6f8b0
leaq -0x38(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x680(%rbp)
jmp 0x6f8c9
movq -0x680(%rbp), %rax
movabsq $0x4024000000000000, %rcx # imm = 0x4024000000000000
movq %rcx, (%rax)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x688(%rbp)
callq 0x67b0
movq -0x688(%rbp), %rdx
leaq 0x5be86(%rip), %rsi     # 0xcb79c
leaq -0xe0(%rbp), %rdi
callq 0x65e0
jmp 0x6f924
leaq -0x38(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x690(%rbp)
jmp 0x6f93d
movq -0x690(%rbp), %rax
movabsq $0x402e000000000000, %rcx # imm = 0x402E000000000000
movq %rcx, (%rax)
leaq -0xe0(%rbp), %rdi
callq 0x6908
leaq -0xe1(%rbp), %rdi
callq 0x6470
leaq -0x208(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x1ce60
jmp 0x6f97b
leaq -0x231(%rbp), %rdi
movq %rdi, -0x698(%rbp)
callq 0x67b0
movq -0x698(%rbp), %rdx
leaq 0x5bdf9(%rip), %rsi     # 0xcb795
leaq -0x230(%rbp), %rdi
callq 0x65e0
jmp 0x6f9aa
leaq -0x38(%rbp), %rdi
leaq -0x230(%rbp), %rsi
callq 0x4bee0
movq %rax, -0x6a0(%rbp)
jmp 0x6f9c3
movq -0x6a0(%rbp), %rax
movq %rax, -0x210(%rbp)
leaq -0x230(%rbp), %rdi
callq 0x6908
leaq -0x231(%rbp), %rdi
callq 0x6470
movq -0x210(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0x5c2f0
movq %rax, -0x6a8(%rbp)
jmp 0x6fa10
movq -0x6a8(%rbp), %rax
movq %rax, -0x248(%rbp)
leaq -0x269(%rbp), %rdi
movq %rdi, -0x6b0(%rbp)
callq 0x67b0
movq -0x6b0(%rbp), %rdx
leaq 0x5bea3(%rip), %rsi     # 0xcb8e2
leaq -0x268(%rbp), %rdi
callq 0x65e0
jmp 0x6fa4d
leaq -0x38(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x6b8(%rbp)
jmp 0x6fa66
movq -0x6b8(%rbp), %rax
movabsq $0x403e000000000000, %rcx # imm = 0x403E000000000000
movq %rcx, (%rax)
leaq -0x268(%rbp), %rdi
callq 0x6908
leaq -0x269(%rbp), %rdi
callq 0x6470
leaq -0x208(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x1dbc0
jmp 0x6faa4
jmp 0x6faa6
movq 0x97b0b(%rip), %rax     # 0x1075b8
movq %rax, -0x6c0(%rbp)
leaq 0x5bc6c(%rip), %rsi     # 0xcb727
leaq -0x280(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6face
leaq -0x290(%rbp), %rdi
callq 0x70c00
jmp 0x6fadc
movq -0x6c0(%rbp), %rdi
leaq -0x280(%rbp), %rsi
movl $0x8c, %edx
leaq -0x290(%rbp), %rcx
callq 0x6840
jmp 0x6fafd
callq 0x70e90
movq %rax, -0x6c8(%rbp)
jmp 0x6fb0b
movq -0x6c8(%rbp), %rsi
leaq 0x5b811(%rip), %rdx     # 0xcb32a
leaq -0x2b8(%rbp), %rdi
callq 0x70e50
jmp 0x6fb27
leaq 0x5bbf9(%rip), %rsi     # 0xcb727
leaq -0x2c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6fb41
leaq -0x2e9(%rbp), %rdi
movq %rdi, -0x6d0(%rbp)
callq 0x67b0
movq -0x6d0(%rbp), %rdx
leaq 0x5bd7c(%rip), %rsi     # 0xcb8de
leaq -0x2e8(%rbp), %rdi
callq 0x65e0
jmp 0x6fb70
leaq -0x38(%rbp), %rdi
leaq -0x2e8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x6d8(%rbp)
jmp 0x6fb89
leaq -0x319(%rbp), %rdi
movq %rdi, -0x6e0(%rbp)
callq 0x67b0
movq -0x6e0(%rbp), %rdx
leaq 0x5bd34(%rip), %rsi     # 0xcb8de
leaq -0x318(%rbp), %rdi
callq 0x65e0
jmp 0x6fbb8
leaq -0x208(%rbp), %rdi
leaq -0x318(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x6e8(%rbp)
jmp 0x6fbd5
movq -0x6d8(%rbp), %r9
movsd -0x6e8(%rbp), %xmm0
movsd %xmm0, -0x2f8(%rbp)
leaq 0x5bd03(%rip), %rcx     # 0xcb8f6
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x2f8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5bcdd(%rip), %rcx     # 0xcb8e9
movq %rcx, (%rax)
leaq -0x2b8(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
movl $0x8c, %edx
movl $0x1, %ecx
movl $0x2, %r8d
callq 0x70c30
jmp 0x6fc34
leaq -0x318(%rbp), %rdi
callq 0x6908
leaq -0x319(%rbp), %rdi
callq 0x6470
leaq -0x2e8(%rbp), %rdi
callq 0x6908
leaq -0x2e9(%rbp), %rdi
callq 0x6470
leaq -0x2b8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x6e9(%rbp)
jmp 0x6fc7d
movb -0x6e9(%rbp), %al
testb $0x1, %al
jne 0x6faa6
jmp 0x6fc8d
jmp 0x6fc8f
movq 0x97922(%rip), %rax     # 0x1075b8
movq %rax, -0x6f8(%rbp)
leaq 0x5ba83(%rip), %rsi     # 0xcb727
leaq -0x330(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6fcb7
leaq -0x340(%rbp), %rdi
callq 0x70c00
jmp 0x6fcc5
movq -0x6f8(%rbp), %rdi
leaq -0x330(%rbp), %rsi
movl $0x8d, %edx
leaq -0x340(%rbp), %rcx
callq 0x6840
jmp 0x6fce6
callq 0x70e90
movq %rax, -0x700(%rbp)
jmp 0x6fcf4
movq -0x700(%rbp), %rsi
leaq 0x5b628(%rip), %rdx     # 0xcb32a
leaq -0x368(%rbp), %rdi
callq 0x70e50
jmp 0x6fd10
leaq 0x5ba10(%rip), %rsi     # 0xcb727
leaq -0x378(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6fd2a
leaq -0x399(%rbp), %rdi
movq %rdi, -0x708(%rbp)
callq 0x67b0
movq -0x708(%rbp), %rdx
leaq 0x5b9eb(%rip), %rsi     # 0xcb736
leaq -0x398(%rbp), %rdi
callq 0x65e0
jmp 0x6fd59
leaq -0x38(%rbp), %rdi
leaq -0x398(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x710(%rbp)
jmp 0x6fd72
leaq -0x3c9(%rbp), %rdi
movq %rdi, -0x718(%rbp)
callq 0x67b0
movq -0x718(%rbp), %rdx
leaq 0x5b9a3(%rip), %rsi     # 0xcb736
leaq -0x3c8(%rbp), %rdi
callq 0x65e0
jmp 0x6fda1
leaq -0x208(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x720(%rbp)
jmp 0x6fdbe
movq -0x710(%rbp), %r9
movsd -0x720(%rbp), %xmm0
movsd %xmm0, -0x3a8(%rbp)
leaq 0x5b963(%rip), %rcx     # 0xcb73f
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x3a8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5bb15(%rip), %rcx     # 0xcb90a
movq %rcx, (%rax)
leaq -0x368(%rbp), %rdi
leaq -0x378(%rbp), %rsi
movl $0x8d, %edx
movl $0x1, %ecx
movl $0x2, %r8d
callq 0x70c30
jmp 0x6fe1d
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
leaq -0x398(%rbp), %rdi
callq 0x6908
leaq -0x399(%rbp), %rdi
callq 0x6470
leaq -0x368(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x721(%rbp)
jmp 0x6fe66
movb -0x721(%rbp), %al
testb $0x1, %al
jne 0x6fc8f
jmp 0x6fe76
jmp 0x6fe78
movq 0x97739(%rip), %rax     # 0x1075b8
movq %rax, -0x730(%rbp)
leaq 0x5b89a(%rip), %rsi     # 0xcb727
leaq -0x3e0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6fea0
leaq -0x3f0(%rbp), %rdi
callq 0x70c00
jmp 0x6feae
movq -0x730(%rbp), %rdi
leaq -0x3e0(%rbp), %rsi
movl $0x8e, %edx
leaq -0x3f0(%rbp), %rcx
callq 0x6840
jmp 0x6fecf
callq 0x70e90
movq %rax, -0x738(%rbp)
jmp 0x6fedd
movq -0x738(%rbp), %rsi
leaq 0x5b43f(%rip), %rdx     # 0xcb32a
leaq -0x418(%rbp), %rdi
callq 0x70e50
jmp 0x6fef9
leaq 0x5b827(%rip), %rsi     # 0xcb727
leaq -0x428(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x6ff13
leaq -0x449(%rbp), %rdi
movq %rdi, -0x740(%rbp)
callq 0x67b0
movq -0x740(%rbp), %rdx
leaq 0x5b868(%rip), %rsi     # 0xcb79c
leaq -0x448(%rbp), %rdi
callq 0x65e0
jmp 0x6ff42
leaq -0x38(%rbp), %rdi
leaq -0x448(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x748(%rbp)
jmp 0x6ff5b
leaq -0x479(%rbp), %rdi
movq %rdi, -0x750(%rbp)
callq 0x67b0
movq -0x750(%rbp), %rdx
leaq 0x5b820(%rip), %rsi     # 0xcb79c
leaq -0x478(%rbp), %rdi
callq 0x65e0
jmp 0x6ff8a
leaq -0x208(%rbp), %rdi
leaq -0x478(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x758(%rbp)
jmp 0x6ffa7
movq -0x748(%rbp), %r9
movsd -0x758(%rbp), %xmm0
movsd %xmm0, -0x458(%rbp)
leaq 0x5b88d(%rip), %rcx     # 0xcb852
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x458(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5b939(%rip), %rcx     # 0xcb917
movq %rcx, (%rax)
leaq -0x418(%rbp), %rdi
leaq -0x428(%rbp), %rsi
movl $0x8e, %edx
movl $0x1, %ecx
movl $0x2, %r8d
callq 0x70c30
jmp 0x70006
leaq -0x478(%rbp), %rdi
callq 0x6908
leaq -0x479(%rbp), %rdi
callq 0x6470
leaq -0x448(%rbp), %rdi
callq 0x6908
leaq -0x449(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x759(%rbp)
jmp 0x7004f
movb -0x759(%rbp), %al
testb $0x1, %al
jne 0x6fe78
jmp 0x7005f
jmp 0x70061
movq 0x97550(%rip), %rax     # 0x1075b8
movq %rax, -0x768(%rbp)
leaq 0x5b6b1(%rip), %rsi     # 0xcb727
leaq -0x490(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x70089
leaq -0x4a0(%rbp), %rdi
callq 0x70c00
jmp 0x70097
movq -0x768(%rbp), %rdi
leaq -0x490(%rbp), %rsi
movl $0x8f, %edx
leaq -0x4a0(%rbp), %rcx
callq 0x6840
jmp 0x700b8
callq 0x70e90
movq %rax, -0x770(%rbp)
jmp 0x700c6
movq -0x770(%rbp), %rsi
leaq 0x5b256(%rip), %rdx     # 0xcb32a
leaq -0x4c8(%rbp), %rdi
callq 0x70e50
jmp 0x700e2
leaq 0x5b63e(%rip), %rsi     # 0xcb727
leaq -0x4d8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x700fc
leaq -0x4f9(%rbp), %rdi
movq %rdi, -0x778(%rbp)
callq 0x67b0
movq -0x778(%rbp), %rdx
leaq 0x5b7c5(%rip), %rsi     # 0xcb8e2
leaq -0x4f8(%rbp), %rdi
callq 0x65e0
jmp 0x7012b
leaq -0x38(%rbp), %rdi
leaq -0x4f8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x780(%rbp)
jmp 0x70144
leaq -0x529(%rbp), %rdi
movq %rdi, -0x788(%rbp)
callq 0x67b0
movq -0x788(%rbp), %rdx
leaq 0x5b77d(%rip), %rsi     # 0xcb8e2
leaq -0x528(%rbp), %rdi
callq 0x65e0
jmp 0x70173
leaq -0x208(%rbp), %rdi
leaq -0x528(%rbp), %rsi
callq 0x1d8a0
movsd %xmm0, -0x790(%rbp)
jmp 0x70190
movq -0x780(%rbp), %r9
movsd -0x790(%rbp), %xmm0
movsd %xmm0, -0x508(%rbp)
leaq 0x5b786(%rip), %rcx     # 0xcb934
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x508(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5b75d(%rip), %rcx     # 0xcb924
movq %rcx, (%rax)
leaq -0x4c8(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0x8f, %edx
movl $0x1, %ecx
movl $0x2, %r8d
callq 0x70c30
jmp 0x701ef
leaq -0x528(%rbp), %rdi
callq 0x6908
leaq -0x529(%rbp), %rdi
callq 0x6470
leaq -0x4f8(%rbp), %rdi
callq 0x6908
leaq -0x4f9(%rbp), %rdi
callq 0x6470
leaq -0x4c8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x791(%rbp)
jmp 0x70238
movb -0x791(%rbp), %al
testb $0x1, %al
jne 0x70061
jmp 0x70248
movb $0x0, -0x52a(%rbp)
leaq -0x551(%rbp), %rdi
movq %rdi, -0x7a0(%rbp)
callq 0x67b0
movq -0x7a0(%rbp), %rdx
leaq 0x5b525(%rip), %rsi     # 0xcb795
leaq -0x550(%rbp), %rdi
callq 0x65e0
jmp 0x7027e
leaq -0x208(%rbp), %rdi
leaq -0x550(%rbp), %rsi
callq 0x1d8a0
jmp 0x70293
leaq -0x550(%rbp), %rdi
callq 0x6908
leaq -0x551(%rbp), %rdi
callq 0x6470
jmp 0x7068c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x702d3
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 0x709c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70307
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 0x709c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7033e
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 0x709c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70375
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 0x709c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x709c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x703bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x230(%rbp), %rdi
callq 0x6908
leaq -0x231(%rbp), %rdi
callq 0x6470
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70405
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x268(%rbp), %rdi
callq 0x6908
leaq -0x269(%rbp), %rdi
callq 0x6470
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7048a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7047e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70472
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70466
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x6908
leaq -0x319(%rbp), %rdi
callq 0x6470
leaq -0x2e8(%rbp), %rdi
callq 0x6908
leaq -0x2e9(%rbp), %rdi
callq 0x6470
leaq -0x2b8(%rbp), %rdi
callq 0x70ea0
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7050f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70503
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x704f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x704eb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
leaq -0x398(%rbp), %rdi
callq 0x6908
leaq -0x399(%rbp), %rdi
callq 0x6470
leaq -0x368(%rbp), %rdi
callq 0x70ea0
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70594
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70588
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7057c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70570
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x478(%rbp), %rdi
callq 0x6908
leaq -0x479(%rbp), %rdi
callq 0x6470
leaq -0x448(%rbp), %rdi
callq 0x6908
leaq -0x449(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x70ea0
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70619
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7060d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70601
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x705f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x528(%rbp), %rdi
callq 0x6908
leaq -0x529(%rbp), %rdi
callq 0x6470
leaq -0x4f8(%rbp), %rdi
callq 0x6908
leaq -0x4f9(%rbp), %rdi
callq 0x6470
leaq -0x4c8(%rbp), %rdi
callq 0x70ea0
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70650
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x550(%rbp), %rdi
callq 0x6908
leaq -0x551(%rbp), %rdi
callq 0x6470
movl -0x6c(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x709b8
movq -0x68(%rbp), %rdi
callq 0x61a0
movq %rax, -0x560(%rbp)
movb $0x1, -0x52a(%rbp)
callq 0x6700
jmp 0x7068a
jmp 0x7068c
jmp 0x7068e
movq 0x96f23(%rip), %rax     # 0x1075b8
movq %rax, -0x7a8(%rbp)
leaq 0x5b084(%rip), %rsi     # 0xcb727
leaq -0x570(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x706b6
leaq -0x580(%rbp), %rdi
callq 0x70c00
jmp 0x706c4
movq -0x7a8(%rbp), %rdi
leaq -0x570(%rbp), %rsi
movl $0x98, %edx
leaq -0x580(%rbp), %rcx
callq 0x6840
jmp 0x706e5
movzbl -0x52a(%rbp), %esi
andl $0x1, %esi
leaq -0x598(%rbp), %rdi
callq 0x70ed0
jmp 0x706fd
callq 0x70e90
movq %rax, -0x7b0(%rbp)
jmp 0x7070b
leaq 0x5b046(%rip), %rsi     # 0xcb758
leaq -0x5c8(%rbp), %rdi
movl $0x6, %edx
callq 0x70bd0
jmp 0x70725
movq -0x7b0(%rbp), %rsi
leaq -0x5b8(%rbp), %rdi
leaq -0x5c8(%rbp), %rdx
callq 0x70f10
jmp 0x70741
leaq 0x5afdf(%rip), %rsi     # 0xcb727
leaq -0x5d8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7075b
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x598(%rbp), %rdi
leaq -0x5b8(%rbp), %rsi
leaq -0x5d8(%rbp), %rdx
movl $0x98, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x70792
leaq -0x5b8(%rbp), %rdi
callq 0x70f50
leaq -0x598(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x7b1(%rbp)
jmp 0x707b7
movb -0x7b1(%rbp), %al
testb $0x1, %al
jne 0x7068e
jmp 0x707c7
jmp 0x707c9
movq 0x96de8(%rip), %rax     # 0x1075b8
movq %rax, -0x7c0(%rbp)
leaq 0x5af49(%rip), %rsi     # 0xcb727
leaq -0x5e8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x707f1
leaq -0x5f8(%rbp), %rdi
callq 0x70c00
jmp 0x707ff
movq -0x7c0(%rbp), %rdi
leaq -0x5e8(%rbp), %rsi
movl $0x99, %edx
leaq -0x5f8(%rbp), %rcx
callq 0x6840
jmp 0x70820
leaq -0x38(%rbp), %rdi
callq 0x5bdf0
movq %rax, -0x7d0(%rbp)
leaq -0x208(%rbp), %rdi
callq 0x1e040
movl %eax, -0x7c4(%rbp)
jmp 0x70844
movq -0x7d0(%rbp), %rax
movl -0x7c4(%rbp), %ecx
movl %ecx, %ecx
subq %rcx, %rax
sete %al
movzbl %al, %esi
leaq -0x610(%rbp), %rdi
callq 0x70ed0
jmp 0x7086a
callq 0x70e90
movq %rax, -0x7d8(%rbp)
jmp 0x70878
leaq 0x5b0cc(%rip), %rsi     # 0xcb94b
leaq -0x640(%rbp), %rdi
movl $0x21, %edx
callq 0x70bd0
jmp 0x70892
movq -0x7d8(%rbp), %rsi
leaq -0x630(%rbp), %rdi
leaq -0x640(%rbp), %rdx
callq 0x70f10
jmp 0x708ae
leaq 0x5ae72(%rip), %rsi     # 0xcb727
leaq -0x650(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x708c8
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x610(%rbp), %rdi
leaq -0x630(%rbp), %rsi
leaq -0x650(%rbp), %rdx
movl $0x99, %ecx
movl $0x1, %r8d
callq 0x6810
jmp 0x708ff
leaq -0x630(%rbp), %rdi
callq 0x70f50
leaq -0x610(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x7d9(%rbp)
jmp 0x70924
movb -0x7d9(%rbp), %al
testb $0x1, %al
jne 0x707c9
jmp 0x70934
leaq -0x208(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
addq $0x800, %rsp            # imm = 0x800
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x70978
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x5b8(%rbp), %rdi
callq 0x70f50
leaq -0x598(%rbp), %rdi
callq 0x70f70
jmp 0x709b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x709ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x630(%rbp), %rdi
callq 0x70f50
leaq -0x610(%rbp), %rdi
callq 0x70f70
leaq -0x208(%rbp), %rdi
callq 0x1d3d0
leaq -0x38(%rbp), %rdi
callq 0x4cf70
movq -0x68(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)