// File: aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionViterbiTest7::test_method()
BOOST_AUTO_TEST_CASE(TransitionViterbiTest7)
{
    string str1("k"); string str2("i");
    string str3("s"); string str4("a");
    string str5("l"); string str6("kissa");
    string str7("lla"); string str8("kissalla");
    set<string> vocab = {start_end,str1,str2,str3,str4,str5,str6,str7,str8};

    transitions_t transitions;
    transitions[start_end][str1] = -1.0;
    transitions[start_end][str6] = -1.0;
    transitions[start_end][str8] = -6.0;
    transitions[str4][start_end] = -1.0;
    transitions[str7][start_end] = -1.0;
    transitions[str8][start_end] = -6.0;
    transitions[str1][str2] = -1.0;
    transitions[str2][str3] = -1.0;
    transitions[str3][str3] = -1.0;
    transitions[str3][str4] = -1.0;
    transitions[str4][str5] = -1.0;
    transitions[str4][str7] = -1.0;
    transitions[str5][str4] = -1.0;
    transitions[str5][str5] = -1.0;
    transitions[str6][str7] = -1.0;
    transitions[str6][str5] = -1.0;
    string sentence("kissalla");
    int maxlen = 8;
    FactorGraph fg(sentence, start_end, vocab, maxlen);
    vector<string> best_path;

    flt_type lp = viterbi(transitions, fg, best_path);
    BOOST_CHECK_EQUAL(4, (int)best_path.size());
    BOOST_CHECK_EQUAL(start_end, best_path[0]);
    BOOST_CHECK_EQUAL(str6, best_path[1]);
    BOOST_CHECK_EQUAL(str7, best_path[2]);
    BOOST_CHECK_EQUAL(start_end, best_path[3]);
    BOOST_CHECK_CLOSE( -3.0, lp, DBL_ACCURACY );

    transitions[str6][str7] = -10.0;
    lp = viterbi(transitions, fg, best_path);
    BOOST_CHECK_EQUAL(6, (int)best_path.size());
    BOOST_CHECK_EQUAL(start_end, best_path[0]);
    BOOST_CHECK_EQUAL(str6, best_path[1]);
    BOOST_CHECK_EQUAL(str5, best_path[2]);
    BOOST_CHECK_EQUAL(str5, best_path[3]);
    BOOST_CHECK_EQUAL(str4, best_path[4]);
    BOOST_CHECK_EQUAL(start_end, best_path[5]);
    BOOST_CHECK_CLOSE( -5.0, lp, DBL_ACCURACY );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc00, %rsp            # imm = 0xC00
movq %rdi, -0x8(%rbp)
leaq -0x29(%rbp), %rdi
movq %rdi, -0x8c0(%rbp)
callq 0x67b0
movq -0x8c0(%rbp), %rdx
leaq 0x34a6d(%rip), %rsi     # 0xcbc3a
leaq -0x28(%rbp), %rdi
callq 0x65e0
jmp 0x971d8
leaq -0x29(%rbp), %rdi
callq 0x6470
leaq -0x61(%rbp), %rdi
movq %rdi, -0x8c8(%rbp)
callq 0x67b0
movq -0x8c8(%rbp), %rdx
leaq 0x34539(%rip), %rsi     # 0xcb738
leaq -0x60(%rbp), %rdi
callq 0x65e0
jmp 0x9720a
leaq -0x61(%rbp), %rdi
callq 0x6470
leaq -0x89(%rbp), %rdi
movq %rdi, -0x8d0(%rbp)
callq 0x67b0
movq -0x8d0(%rbp), %rdx
leaq 0x33dda(%rip), %rsi     # 0xcb00e
leaq -0x88(%rbp), %rdi
callq 0x65e0
jmp 0x97242
leaq -0x89(%rbp), %rdi
callq 0x6470
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x8d8(%rbp)
callq 0x67b0
movq -0x8d8(%rbp), %rdx
leaq 0x34ca5(%rip), %rsi     # 0xcbf14
leaq -0xb0(%rbp), %rdi
callq 0x65e0
jmp 0x9727d
leaq -0xb1(%rbp), %rdi
callq 0x6470
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x8e0(%rbp)
callq 0x67b0
movq -0x8e0(%rbp), %rdx
leaq 0x34c62(%rip), %rsi     # 0xcbf0c
leaq -0xd8(%rbp), %rdi
callq 0x65e0
jmp 0x972b8
leaq -0xd9(%rbp), %rdi
callq 0x6470
leaq -0x101(%rbp), %rdi
movq %rdi, -0x8e8(%rbp)
callq 0x67b0
movq -0x8e8(%rbp), %rdx
leaq 0x34957(%rip), %rsi     # 0xcbc3c
leaq -0x100(%rbp), %rdi
callq 0x65e0
jmp 0x972f3
leaq -0x101(%rbp), %rdi
callq 0x6470
leaq -0x129(%rbp), %rdi
movq %rdi, -0x8f0(%rbp)
callq 0x67b0
movq -0x8f0(%rbp), %rdx
leaq 0x34927(%rip), %rsi     # 0xcbc47
leaq -0x128(%rbp), %rdi
callq 0x65e0
jmp 0x9732e
leaq -0x129(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
movq %rdi, -0x8f8(%rbp)
callq 0x67b0
movq -0x8f8(%rbp), %rdx
leaq 0x348e7(%rip), %rsi     # 0xcbc42
leaq -0x150(%rbp), %rdi
callq 0x65e0
jmp 0x97369
leaq -0x151(%rbp), %rdi
callq 0x6470
leaq -0x2b8(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq 0x702ae(%rip), %rsi     # 0x107638
callq 0x61c0
jmp 0x97391
leaq -0x298(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x28(%rbp), %rsi
callq 0x61c0
jmp 0x973aa
leaq -0x278(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x60(%rbp), %rsi
callq 0x61c0
jmp 0x973c3
leaq -0x258(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x88(%rbp), %rsi
callq 0x61c0
jmp 0x973df
leaq -0x238(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0xb0(%rbp), %rsi
callq 0x61c0
jmp 0x973fb
leaq -0x218(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0xd8(%rbp), %rsi
callq 0x61c0
jmp 0x97417
leaq -0x1f8(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x100(%rbp), %rsi
callq 0x61c0
jmp 0x97433
leaq -0x1d8(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x128(%rbp), %rsi
callq 0x61c0
jmp 0x9744f
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0x2c0(%rbp)
leaq -0x150(%rbp), %rsi
callq 0x61c0
jmp 0x9746b
leaq -0x2b8(%rbp), %rax
movq %rax, -0x198(%rbp)
movq $0x9, -0x190(%rbp)
leaq -0x2c2(%rbp), %rdi
movq %rdi, -0x900(%rbp)
callq 0xdab0
movq -0x900(%rbp), %r8
movq -0x198(%rbp), %rsi
movq -0x190(%rbp), %rdx
leaq -0x188(%rbp), %rdi
leaq -0x2c1(%rbp), %rcx
callq 0xbfde0
jmp 0x974c1
leaq -0x2c2(%rbp), %rdi
callq 0xdb50
leaq -0x2b8(%rbp), %rax
movq %rax, -0x910(%rbp)
addq $0x120, %rax            # imm = 0x120
movq %rax, -0x908(%rbp)
movq -0x908(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x918(%rbp)
callq 0x6908
movq -0x910(%rbp), %rcx
movq -0x918(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x908(%rbp)
jne 0x974e8
leaq -0x2f8(%rbp), %rdi
movq %rdi, -0x928(%rbp)
callq 0x4bd30
movq -0x928(%rbp), %rdi
leaq 0x700fe(%rip), %rsi     # 0x107638
callq 0x4b980
movq %rax, -0x920(%rbp)
jmp 0x97548
movq -0x920(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x4b030
movq %rax, -0x930(%rbp)
jmp 0x97561
movq -0x930(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq 0x700bc(%rip), %rsi     # 0x107638
leaq -0x2f8(%rbp), %rdi
callq 0x4b980
movq %rax, -0x938(%rbp)
jmp 0x97591
movq -0x938(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x4b030
movq %rax, -0x940(%rbp)
jmp 0x975ad
movq -0x940(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq 0x70070(%rip), %rsi     # 0x107638
leaq -0x2f8(%rbp), %rdi
callq 0x4b980
movq %rax, -0x948(%rbp)
jmp 0x975dd
movq -0x948(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x4b030
movq %rax, -0x950(%rbp)
jmp 0x975f9
movq -0x950(%rbp), %rax
movabsq $-0x3fe8000000000000, %rcx # imm = 0xC018000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x4b980
movq %rax, -0x958(%rbp)
jmp 0x97629
movq -0x958(%rbp), %rdi
leaq 0x70001(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0x960(%rbp)
jmp 0x97645
movq -0x960(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x4b980
movq %rax, -0x968(%rbp)
jmp 0x97675
movq -0x968(%rbp), %rdi
leaq 0x6ffb5(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0x970(%rbp)
jmp 0x97691
movq -0x970(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x4b980
movq %rax, -0x978(%rbp)
jmp 0x976c1
movq -0x978(%rbp), %rdi
leaq 0x6ff69(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0x980(%rbp)
jmp 0x976dd
movq -0x980(%rbp), %rax
movabsq $-0x3fe8000000000000, %rcx # imm = 0xC018000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x4b980
movq %rax, -0x988(%rbp)
jmp 0x9770a
movq -0x988(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x4b030
movq %rax, -0x990(%rbp)
jmp 0x97723
movq -0x990(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x4b980
movq %rax, -0x998(%rbp)
jmp 0x97750
movq -0x998(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9a0(%rbp)
jmp 0x9776c
movq -0x9a0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9a8(%rbp)
jmp 0x9779c
movq -0x9a8(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9b0(%rbp)
jmp 0x977b8
movq -0x9b0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9b8(%rbp)
jmp 0x977e8
movq -0x9b8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9c0(%rbp)
jmp 0x97804
movq -0x9c0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9c8(%rbp)
jmp 0x97834
movq -0x9c8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9d0(%rbp)
jmp 0x97850
movq -0x9d0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9d8(%rbp)
jmp 0x97880
movq -0x9d8(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9e0(%rbp)
jmp 0x9789c
movq -0x9e0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9e8(%rbp)
jmp 0x978cc
movq -0x9e8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x4b030
movq %rax, -0x9f0(%rbp)
jmp 0x978e8
movq -0x9f0(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x4b980
movq %rax, -0x9f8(%rbp)
jmp 0x97918
movq -0x9f8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x4b030
movq %rax, -0xa00(%rbp)
jmp 0x97934
movq -0xa00(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x4b980
movq %rax, -0xa08(%rbp)
jmp 0x97964
movq -0xa08(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x4b030
movq %rax, -0xa10(%rbp)
jmp 0x97980
movq -0xa10(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x4b980
movq %rax, -0xa18(%rbp)
jmp 0x979b0
movq -0xa18(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x4b030
movq %rax, -0xa20(%rbp)
jmp 0x979cc
movq -0xa20(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x319(%rbp), %rdi
movq %rdi, -0xa28(%rbp)
callq 0x67b0
movq -0xa28(%rbp), %rdx
leaq 0x34241(%rip), %rsi     # 0xcbc42
leaq -0x318(%rbp), %rdi
callq 0x65e0
jmp 0x97a0f
leaq -0x319(%rbp), %rdi
callq 0x6470
movl $0x8, -0x320(%rbp)
movl -0x320(%rbp), %r8d
leaq 0x6fc05(%rip), %rdx     # 0x107638
leaq -0x398(%rbp), %rdi
leaq -0x318(%rbp), %rsi
leaq -0x188(%rbp), %rcx
xorl %r9d, %r9d
callq 0x239b0
jmp 0x97a52
leaq -0x3b0(%rbp), %rdi
movq %rdi, -0xa38(%rbp)
callq 0xc7d0
movq -0xa38(%rbp), %rdx
leaq -0x2f8(%rbp), %rdi
leaq -0x398(%rbp), %rsi
movl $0x1, %ecx
callq 0x45140
movsd %xmm0, -0xa30(%rbp)
jmp 0x97a8e
movsd -0xa30(%rbp), %xmm0
movsd %xmm0, -0x3b8(%rbp)
movq 0x6fb4b(%rip), %rax     # 0x1075f0
movq %rax, -0xa40(%rbp)
leaq 0x340b5(%rip), %rsi     # 0xcbb68
leaq -0x3c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97ac6
leaq -0x3d8(%rbp), %rdi
callq 0x70c00
jmp 0x97ad4
movq -0xa40(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
movl $0x303, %edx            # imm = 0x303
leaq -0x3d8(%rbp), %rcx
callq 0x6840
jmp 0x97af5
callq 0x70e90
movq %rax, -0xa48(%rbp)
jmp 0x97b03
movq -0xa48(%rbp), %rsi
leaq 0x33819(%rip), %rdx     # 0xcb32a
leaq -0x400(%rbp), %rdi
callq 0x70e50
jmp 0x97b1f
leaq 0x34042(%rip), %rsi     # 0xcbb68
leaq -0x410(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97b39
movl $0x4, -0x414(%rbp)
leaq -0x3b0(%rbp), %rdi
callq 0xcba0
movl %eax, -0x418(%rbp)
leaq 0x34581(%rip), %rcx     # 0xcc0dd
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x418(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x34ad5(%rip), %rcx     # 0xcc64a
movq %rcx, (%rax)
leaq -0x400(%rbp), %rdi
leaq -0x410(%rbp), %rsi
movl $0x303, %edx            # imm = 0x303
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x414(%rbp), %r9
callq 0xbf480
jmp 0x97ba4
leaq -0x400(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xa49(%rbp)
jmp 0x97bbd
movb -0xa49(%rbp), %al
testb $0x1, %al
jne 0x97a9e
jmp 0x97bcd
jmp 0x97bcf
movq 0x6fa1a(%rip), %rax     # 0x1075f0
movq %rax, -0xa58(%rbp)
leaq 0x33f84(%rip), %rsi     # 0xcbb68
leaq -0x428(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97bf7
leaq -0x438(%rbp), %rdi
callq 0x70c00
jmp 0x97c05
movq -0xa58(%rbp), %rdi
leaq -0x428(%rbp), %rsi
movl $0x304, %edx            # imm = 0x304
leaq -0x438(%rbp), %rcx
callq 0x6840
jmp 0x97c26
callq 0x70e90
movq %rax, -0xa60(%rbp)
jmp 0x97c34
movq -0xa60(%rbp), %rsi
leaq 0x336e8(%rip), %rdx     # 0xcb32a
leaq -0x460(%rbp), %rdi
callq 0x70e50
jmp 0x97c50
leaq 0x33f11(%rip), %rsi     # 0xcbb68
leaq -0x470(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97c6a
xorl %eax, %eax
movl %eax, %esi
leaq -0x3b0(%rbp), %rdi
callq 0xcbf0
movq %rax, %rcx
leaq 0x34479(%rip), %rdx     # 0xcc0fd
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x3445d(%rip), %rcx     # 0xcc0f3
movq %rcx, (%rax)
leaq 0x6f998(%rip), %r9      # 0x107638
leaq -0x460(%rbp), %rdi
leaq -0x470(%rbp), %rsi
movl $0x304, %edx            # imm = 0x304
movl $0x1, %ecx
movl $0x2, %r8d
callq 0xbf260
jmp 0x97cc5
leaq -0x460(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xa61(%rbp)
jmp 0x97cde
movb -0xa61(%rbp), %al
testb $0x1, %al
jne 0x97bcf
jmp 0x97cee
jmp 0x97cf0
movq 0x6f8f9(%rip), %rax     # 0x1075f0
movq %rax, -0xa70(%rbp)
leaq 0x33e63(%rip), %rsi     # 0xcbb68
leaq -0x480(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97d18
leaq -0x490(%rbp), %rdi
callq 0x70c00
jmp 0x97d26
movq -0xa70(%rbp), %rdi
leaq -0x480(%rbp), %rsi
movl $0x305, %edx            # imm = 0x305
leaq -0x490(%rbp), %rcx
callq 0x6840
jmp 0x97d47
callq 0x70e90
movq %rax, -0xa78(%rbp)
jmp 0x97d55
movq -0xa78(%rbp), %rsi
leaq 0x335c7(%rip), %rdx     # 0xcb32a
leaq -0x4b8(%rbp), %rdi
callq 0x70e50
jmp 0x97d71
leaq 0x33df0(%rip), %rsi     # 0xcbb68
leaq -0x4c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97d8b
leaq -0x3b0(%rbp), %rdi
movl $0x1, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x34369(%rip), %rdx     # 0xcc10f
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x34417(%rip), %rcx     # 0xcc1cf
movq %rcx, (%rax)
leaq -0x4b8(%rbp), %rdi
leaq -0x4c8(%rbp), %rsi
movl $0x305, %edx            # imm = 0x305
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x100(%rbp), %r9
callq 0xbf260
jmp 0x97de7
leaq -0x4b8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xa79(%rbp)
jmp 0x97e00
movb -0xa79(%rbp), %al
testb $0x1, %al
jne 0x97cf0
jmp 0x97e10
jmp 0x97e12
movq 0x6f7d7(%rip), %rax     # 0x1075f0
movq %rax, -0xa88(%rbp)
leaq 0x33d41(%rip), %rsi     # 0xcbb68
leaq -0x4d8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97e3a
leaq -0x4e8(%rbp), %rdi
callq 0x70c00
jmp 0x97e48
movq -0xa88(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0x306, %edx            # imm = 0x306
leaq -0x4e8(%rbp), %rcx
callq 0x6840
jmp 0x97e69
callq 0x70e90
movq %rax, -0xa90(%rbp)
jmp 0x97e77
movq -0xa90(%rbp), %rsi
leaq 0x334a5(%rip), %rdx     # 0xcb32a
leaq -0x510(%rbp), %rdi
callq 0x70e50
jmp 0x97e93
leaq 0x33cce(%rip), %rsi     # 0xcbb68
leaq -0x520(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97ead
leaq -0x3b0(%rbp), %rdi
movl $0x2, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x34259(%rip), %rdx     # 0xcc121
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x342fa(%rip), %rcx     # 0xcc1d4
movq %rcx, (%rax)
leaq -0x510(%rbp), %rdi
leaq -0x520(%rbp), %rsi
movl $0x306, %edx            # imm = 0x306
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x128(%rbp), %r9
callq 0xbf260
jmp 0x97f09
leaq -0x510(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xa91(%rbp)
jmp 0x97f22
movb -0xa91(%rbp), %al
testb $0x1, %al
jne 0x97e12
jmp 0x97f32
jmp 0x97f34
movq 0x6f6b5(%rip), %rax     # 0x1075f0
movq %rax, -0xaa0(%rbp)
leaq 0x33c1f(%rip), %rsi     # 0xcbb68
leaq -0x530(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97f5c
leaq -0x540(%rbp), %rdi
callq 0x70c00
jmp 0x97f6a
movq -0xaa0(%rbp), %rdi
leaq -0x530(%rbp), %rsi
movl $0x307, %edx            # imm = 0x307
leaq -0x540(%rbp), %rcx
callq 0x6840
jmp 0x97f8b
callq 0x70e90
movq %rax, -0xaa8(%rbp)
jmp 0x97f99
movq -0xaa8(%rbp), %rsi
leaq 0x33383(%rip), %rdx     # 0xcb32a
leaq -0x568(%rbp), %rdi
callq 0x70e50
jmp 0x97fb5
leaq 0x33bac(%rip), %rsi     # 0xcbb68
leaq -0x578(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x97fcf
leaq -0x3b0(%rbp), %rdi
movl $0x3, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x34144(%rip), %rdx     # 0xcc12e
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x340f7(%rip), %rcx     # 0xcc0f3
movq %rcx, (%rax)
leaq 0x6f632(%rip), %r9      # 0x107638
leaq -0x568(%rbp), %rdi
leaq -0x578(%rbp), %rsi
movl $0x307, %edx            # imm = 0x307
movl $0x1, %ecx
movl $0x2, %r8d
callq 0xbf260
jmp 0x9802b
leaq -0x568(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xaa9(%rbp)
jmp 0x98044
movb -0xaa9(%rbp), %al
testb $0x1, %al
jne 0x97f34
jmp 0x98054
jmp 0x98056
movq 0x6f593(%rip), %rax     # 0x1075f0
movq %rax, -0xab8(%rbp)
leaq 0x33afd(%rip), %rsi     # 0xcbb68
leaq -0x588(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9807e
leaq -0x598(%rbp), %rdi
callq 0x70c00
jmp 0x9808c
movq -0xab8(%rbp), %rdi
leaq -0x588(%rbp), %rsi
movl $0x308, %edx            # imm = 0x308
leaq -0x598(%rbp), %rcx
callq 0x6840
jmp 0x980ad
callq 0x70e90
movq %rax, -0xac0(%rbp)
jmp 0x980bb
movq -0xac0(%rbp), %rsi
leaq 0x33261(%rip), %rdx     # 0xcb32a
leaq -0x5c0(%rbp), %rdi
callq 0x70e50
jmp 0x980d7
leaq 0x33a8a(%rip), %rsi     # 0xcbb68
leaq -0x5d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x980f1
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0x5d8(%rbp)
movsd 0x6f3a6(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xac8(%rbp)
jmp 0x98119
movsd -0xac8(%rbp), %xmm0
movsd %xmm0, -0x5e0(%rbp)
leaq 0x33bb5(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0x5e0(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x3462d(%rip), %rcx     # 0xcc776
movq %rcx, 0x10(%rax)
leaq -0x3b8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x336ee(%rip), %rcx     # 0xcb84d
movq %rcx, (%rax)
leaq -0x5c0(%rbp), %rdi
leaq -0x5d0(%rbp), %rsi
movl $0x308, %edx            # imm = 0x308
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x5d8(%rbp), %r9
callq 0xbf6a0
jmp 0x9818e
leaq -0x5c0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xac9(%rbp)
jmp 0x981a7
movb -0xac9(%rbp), %al
testb $0x1, %al
jne 0x98056
jmp 0x981b7
leaq -0x2f8(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x4b980
movq %rax, -0xad8(%rbp)
jmp 0x981d3
movq -0xad8(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x4b030
movq %rax, -0xae0(%rbp)
jmp 0x981ef
movq -0xae0(%rbp), %rax
movabsq $-0x3fdc000000000000, %rcx # imm = 0xC024000000000000
movq %rcx, (%rax)
leaq -0x2f8(%rbp), %rdi
leaq -0x398(%rbp), %rsi
leaq -0x3b0(%rbp), %rdx
movl $0x1, %ecx
callq 0x45140
movsd %xmm0, -0xae8(%rbp)
jmp 0x9822c
movsd -0xae8(%rbp), %xmm0
movsd %xmm0, -0x3b8(%rbp)
movq 0x6f3ad(%rip), %rax     # 0x1075f0
movq %rax, -0xaf0(%rbp)
leaq 0x33917(%rip), %rsi     # 0xcbb68
leaq -0x5f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98264
leaq -0x600(%rbp), %rdi
callq 0x70c00
jmp 0x98272
movq -0xaf0(%rbp), %rdi
leaq -0x5f0(%rbp), %rsi
movl $0x30c, %edx            # imm = 0x30C
leaq -0x600(%rbp), %rcx
callq 0x6840
jmp 0x98293
callq 0x70e90
movq %rax, -0xaf8(%rbp)
jmp 0x982a1
movq -0xaf8(%rbp), %rsi
leaq 0x3307b(%rip), %rdx     # 0xcb32a
leaq -0x628(%rbp), %rdi
callq 0x70e50
jmp 0x982bd
leaq 0x338a4(%rip), %rsi     # 0xcbb68
leaq -0x638(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x982d7
movl $0x6, -0x63c(%rbp)
leaq -0x3b0(%rbp), %rdi
callq 0xcba0
movl %eax, -0x640(%rbp)
leaq 0x33de3(%rip), %rcx     # 0xcc0dd
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x640(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x343aa(%rip), %rcx     # 0xcc6bd
movq %rcx, (%rax)
leaq -0x628(%rbp), %rdi
leaq -0x638(%rbp), %rsi
movl $0x30c, %edx            # imm = 0x30C
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x63c(%rbp), %r9
callq 0xbf480
jmp 0x98342
leaq -0x628(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xaf9(%rbp)
jmp 0x9835b
movb -0xaf9(%rbp), %al
testb $0x1, %al
jne 0x9823c
jmp 0x9836b
jmp 0x9836d
movq 0x6f27c(%rip), %rax     # 0x1075f0
movq %rax, -0xb08(%rbp)
leaq 0x337e6(%rip), %rsi     # 0xcbb68
leaq -0x650(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98395
leaq -0x660(%rbp), %rdi
callq 0x70c00
jmp 0x983a3
movq -0xb08(%rbp), %rdi
leaq -0x650(%rbp), %rsi
movl $0x30d, %edx            # imm = 0x30D
leaq -0x660(%rbp), %rcx
callq 0x6840
jmp 0x983c4
callq 0x70e90
movq %rax, -0xb10(%rbp)
jmp 0x983d2
movq -0xb10(%rbp), %rsi
leaq 0x32f4a(%rip), %rdx     # 0xcb32a
leaq -0x688(%rbp), %rdi
callq 0x70e50
jmp 0x983ee
leaq 0x33773(%rip), %rsi     # 0xcbb68
leaq -0x698(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98408
xorl %eax, %eax
movl %eax, %esi
leaq -0x3b0(%rbp), %rdi
callq 0xcbf0
movq %rax, %rcx
leaq 0x33cdb(%rip), %rdx     # 0xcc0fd
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x33cbf(%rip), %rcx     # 0xcc0f3
movq %rcx, (%rax)
leaq 0x6f1fa(%rip), %r9      # 0x107638
leaq -0x688(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0x30d, %edx            # imm = 0x30D
movl $0x1, %ecx
movl $0x2, %r8d
callq 0xbf260
jmp 0x98463
leaq -0x688(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb11(%rbp)
jmp 0x9847c
movb -0xb11(%rbp), %al
testb $0x1, %al
jne 0x9836d
jmp 0x9848c
jmp 0x9848e
movq 0x6f15b(%rip), %rax     # 0x1075f0
movq %rax, -0xb20(%rbp)
leaq 0x336c5(%rip), %rsi     # 0xcbb68
leaq -0x6a8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x984b6
leaq -0x6b8(%rbp), %rdi
callq 0x70c00
jmp 0x984c4
movq -0xb20(%rbp), %rdi
leaq -0x6a8(%rbp), %rsi
movl $0x30e, %edx            # imm = 0x30E
leaq -0x6b8(%rbp), %rcx
callq 0x6840
jmp 0x984e5
callq 0x70e90
movq %rax, -0xb28(%rbp)
jmp 0x984f3
movq -0xb28(%rbp), %rsi
leaq 0x32e29(%rip), %rdx     # 0xcb32a
leaq -0x6e0(%rbp), %rdi
callq 0x70e50
jmp 0x9850f
leaq 0x33652(%rip), %rsi     # 0xcbb68
leaq -0x6f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98529
leaq -0x3b0(%rbp), %rdi
movl $0x1, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x33bcb(%rip), %rdx     # 0xcc10f
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x33c79(%rip), %rcx     # 0xcc1cf
movq %rcx, (%rax)
leaq -0x6e0(%rbp), %rdi
leaq -0x6f0(%rbp), %rsi
movl $0x30e, %edx            # imm = 0x30E
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x100(%rbp), %r9
callq 0xbf260
jmp 0x98585
leaq -0x6e0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb29(%rbp)
jmp 0x9859e
movb -0xb29(%rbp), %al
testb $0x1, %al
jne 0x9848e
jmp 0x985ae
jmp 0x985b0
movq 0x6f039(%rip), %rax     # 0x1075f0
movq %rax, -0xb38(%rbp)
leaq 0x335a3(%rip), %rsi     # 0xcbb68
leaq -0x700(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x985d8
leaq -0x710(%rbp), %rdi
callq 0x70c00
jmp 0x985e6
movq -0xb38(%rbp), %rdi
leaq -0x700(%rbp), %rsi
movl $0x30f, %edx            # imm = 0x30F
leaq -0x710(%rbp), %rcx
callq 0x6840
jmp 0x98607
callq 0x70e90
movq %rax, -0xb40(%rbp)
jmp 0x98615
movq -0xb40(%rbp), %rsi
leaq 0x32d07(%rip), %rdx     # 0xcb32a
leaq -0x738(%rbp), %rdi
callq 0x70e50
jmp 0x98631
leaq 0x33530(%rip), %rsi     # 0xcbb68
leaq -0x748(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9864b
leaq -0x3b0(%rbp), %rdi
movl $0x2, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x33abb(%rip), %rdx     # 0xcc121
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x33b61(%rip), %rcx     # 0xcc1d9
movq %rcx, (%rax)
leaq -0x738(%rbp), %rdi
leaq -0x748(%rbp), %rsi
movl $0x30f, %edx            # imm = 0x30F
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0xd8(%rbp), %r9
callq 0xbf260
jmp 0x986a7
leaq -0x738(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb41(%rbp)
jmp 0x986c0
movb -0xb41(%rbp), %al
testb $0x1, %al
jne 0x985b0
jmp 0x986d0
jmp 0x986d2
movq 0x6ef17(%rip), %rax     # 0x1075f0
movq %rax, -0xb50(%rbp)
leaq 0x33481(%rip), %rsi     # 0xcbb68
leaq -0x758(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x986fa
leaq -0x768(%rbp), %rdi
callq 0x70c00
jmp 0x98708
movq -0xb50(%rbp), %rdi
leaq -0x758(%rbp), %rsi
movl $0x310, %edx            # imm = 0x310
leaq -0x768(%rbp), %rcx
callq 0x6840
jmp 0x98729
callq 0x70e90
movq %rax, -0xb58(%rbp)
jmp 0x98737
movq -0xb58(%rbp), %rsi
leaq 0x32be5(%rip), %rdx     # 0xcb32a
leaq -0x790(%rbp), %rdi
callq 0x70e50
jmp 0x98753
leaq 0x3340e(%rip), %rsi     # 0xcbb68
leaq -0x7a0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9876d
leaq -0x3b0(%rbp), %rdi
movl $0x3, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x339a6(%rip), %rdx     # 0xcc12e
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x33a3f(%rip), %rcx     # 0xcc1d9
movq %rcx, (%rax)
leaq -0x790(%rbp), %rdi
leaq -0x7a0(%rbp), %rsi
movl $0x310, %edx            # imm = 0x310
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0xd8(%rbp), %r9
callq 0xbf260
jmp 0x987c9
leaq -0x790(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb59(%rbp)
jmp 0x987e2
movb -0xb59(%rbp), %al
testb $0x1, %al
jne 0x986d2
jmp 0x987f2
jmp 0x987f4
movq 0x6edf5(%rip), %rax     # 0x1075f0
movq %rax, -0xb68(%rbp)
leaq 0x3335f(%rip), %rsi     # 0xcbb68
leaq -0x7b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9881c
leaq -0x7c0(%rbp), %rdi
callq 0x70c00
jmp 0x9882a
movq -0xb68(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
movl $0x311, %edx            # imm = 0x311
leaq -0x7c0(%rbp), %rcx
callq 0x6840
jmp 0x9884b
callq 0x70e90
movq %rax, -0xb70(%rbp)
jmp 0x98859
movq -0xb70(%rbp), %rsi
leaq 0x32ac3(%rip), %rdx     # 0xcb32a
leaq -0x7e8(%rbp), %rdi
callq 0x70e50
jmp 0x98875
leaq 0x332ec(%rip), %rsi     # 0xcbb68
leaq -0x7f8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9888f
leaq -0x3b0(%rbp), %rdi
movl $0x4, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x33934(%rip), %rdx     # 0xcc1de
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x3389b(%rip), %rcx     # 0xcc157
movq %rcx, (%rax)
leaq -0x7e8(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
movl $0x311, %edx            # imm = 0x311
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0xb0(%rbp), %r9
callq 0xbf260
jmp 0x988eb
leaq -0x7e8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb71(%rbp)
jmp 0x98904
movb -0xb71(%rbp), %al
testb $0x1, %al
jne 0x987f4
jmp 0x98914
jmp 0x98916
movq 0x6ecd3(%rip), %rax     # 0x1075f0
movq %rax, -0xb80(%rbp)
leaq 0x3323d(%rip), %rsi     # 0xcbb68
leaq -0x808(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x9893e
leaq -0x818(%rbp), %rdi
callq 0x70c00
jmp 0x9894c
movq -0xb80(%rbp), %rdi
leaq -0x808(%rbp), %rsi
movl $0x312, %edx            # imm = 0x312
leaq -0x818(%rbp), %rcx
callq 0x6840
jmp 0x9896d
callq 0x70e90
movq %rax, -0xb88(%rbp)
jmp 0x9897b
movq -0xb88(%rbp), %rsi
leaq 0x329a1(%rip), %rdx     # 0xcb32a
leaq -0x840(%rbp), %rdi
callq 0x70e50
jmp 0x98997
leaq 0x331ca(%rip), %rsi     # 0xcbb68
leaq -0x850(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x989b1
leaq -0x3b0(%rbp), %rdi
movl $0x5, %esi
callq 0xcbf0
movq %rax, %rcx
leaq 0x3381f(%rip), %rdx     # 0xcc1eb
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x33715(%rip), %rcx     # 0xcc0f3
movq %rcx, (%rax)
leaq 0x6ec50(%rip), %r9      # 0x107638
leaq -0x840(%rbp), %rdi
leaq -0x850(%rbp), %rsi
movl $0x312, %edx            # imm = 0x312
movl $0x1, %ecx
movl $0x2, %r8d
callq 0xbf260
jmp 0x98a0d
leaq -0x840(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xb89(%rbp)
jmp 0x98a26
movb -0xb89(%rbp), %al
testb $0x1, %al
jne 0x98916
jmp 0x98a36
jmp 0x98a38
movq 0x6ebb1(%rip), %rax     # 0x1075f0
movq %rax, -0xb98(%rbp)
leaq 0x3311b(%rip), %rsi     # 0xcbb68
leaq -0x860(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98a60
leaq -0x870(%rbp), %rdi
callq 0x70c00
jmp 0x98a6e
movq -0xb98(%rbp), %rdi
leaq -0x860(%rbp), %rsi
movl $0x313, %edx            # imm = 0x313
leaq -0x870(%rbp), %rcx
callq 0x6840
jmp 0x98a8f
callq 0x70e90
movq %rax, -0xba0(%rbp)
jmp 0x98a9d
movq -0xba0(%rbp), %rsi
leaq 0x3287f(%rip), %rdx     # 0xcb32a
leaq -0x898(%rbp), %rdi
callq 0x70e50
jmp 0x98ab9
leaq 0x330a8(%rip), %rsi     # 0xcbb68
leaq -0x8a8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x98ad3
movabsq $-0x3fec000000000000, %rax # imm = 0xC014000000000000
movq %rax, -0x8b0(%rbp)
movsd 0x6e9c4(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xba8(%rbp)
jmp 0x98afb
movsd -0xba8(%rbp), %xmm0
movsd %xmm0, -0x8b8(%rbp)
leaq 0x331d3(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0x8b8(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x33c4b(%rip), %rcx     # 0xcc776
movq %rcx, 0x10(%rax)
leaq -0x3b8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x32d41(%rip), %rcx     # 0xcb882
movq %rcx, (%rax)
leaq -0x898(%rbp), %rdi
leaq -0x8a8(%rbp), %rsi
movl $0x313, %edx            # imm = 0x313
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x8b0(%rbp), %r9
callq 0xbf6a0
jmp 0x98b70
leaq -0x898(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xba9(%rbp)
jmp 0x98b89
movb -0xba9(%rbp), %al
testb $0x1, %al
jne 0x98a38
jmp 0x98b99
leaq -0x3b0(%rbp), %rdi
callq 0xcfc0
leaq -0x398(%rbp), %rdi
callq 0x26180
leaq -0x318(%rbp), %rdi
callq 0x6908
leaq -0x2f8(%rbp), %rdi
callq 0x4bd50
leaq -0x188(%rbp), %rdi
callq 0x5c1b0
leaq -0x150(%rbp), %rdi
callq 0x6908
leaq -0x128(%rbp), %rdi
callq 0x6908
leaq -0x100(%rbp), %rdi
callq 0x6908
leaq -0xd8(%rbp), %rdi
callq 0x6908
leaq -0xb0(%rbp), %rdi
callq 0x6908
leaq -0x88(%rbp), %rdi
callq 0x6908
leaq -0x60(%rbp), %rdi
callq 0x6908
leaq -0x28(%rbp), %rdi
callq 0x6908
addq $0xc00, %rsp            # imm = 0xC00
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0x6470
jmp 0x9904a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x61(%rbp), %rdi
callq 0x6470
jmp 0x99041
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x89(%rbp), %rdi
callq 0x6470
jmp 0x99038
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xb1(%rbp), %rdi
callq 0x6470
jmp 0x9902c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xd9(%rbp), %rdi
callq 0x6470
jmp 0x99020
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x101(%rbp), %rdi
callq 0x6470
jmp 0x99014
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x129(%rbp), %rdi
callq 0x6470
jmp 0x99008
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x151(%rbp), %rdi
callq 0x6470
jmp 0x98ffc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
movq -0x2c0(%rbp), %rax
leaq -0x2b8(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0xbb8(%rbp)
je 0x98d71
movq -0xbb8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xbc0(%rbp)
callq 0x6908
movq -0xbc0(%rbp), %rax
leaq -0x2b8(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0xbb8(%rbp)
jne 0x98d40
jmp 0x98ff0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x2c2(%rbp), %rdi
callq 0xdb50
leaq -0x2b8(%rbp), %rax
movq %rax, -0xbd0(%rbp)
addq $0x120, %rax            # imm = 0x120
movq %rax, -0xbc8(%rbp)
movq -0xbc8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xbd8(%rbp)
callq 0x6908
movq -0xbd0(%rbp), %rcx
movq -0xbd8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xbc8(%rbp)
jne 0x98da9
jmp 0x98ff0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x98fd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x319(%rbp), %rdi
callq 0x6470
jmp 0x98fd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x98fcc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x400(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x460(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x4b8(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x510(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x568(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x5c0(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x628(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x688(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x6e0(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x738(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x790(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x7e8(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x70ea0
jmp 0x98fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x898(%rbp), %rdi
callq 0x70ea0
leaq -0x3b0(%rbp), %rdi
callq 0xcfc0
leaq -0x398(%rbp), %rdi
callq 0x26180
leaq -0x318(%rbp), %rdi
callq 0x6908
leaq -0x2f8(%rbp), %rdi
callq 0x4bd50
leaq -0x188(%rbp), %rdi
callq 0x5c1b0
leaq -0x150(%rbp), %rdi
callq 0x6908
leaq -0x128(%rbp), %rdi
callq 0x6908
leaq -0x100(%rbp), %rdi
callq 0x6908
leaq -0xd8(%rbp), %rdi
callq 0x6908
leaq -0xb0(%rbp), %rdi
callq 0x6908
leaq -0x88(%rbp), %rdi
callq 0x6908
leaq -0x60(%rbp), %rdi
callq 0x6908
leaq -0x28(%rbp), %rdi
callq 0x6908
movq -0x38(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)