// File: aalto-speech[P]ftk/test/emtest.cc
// Function: MSFGViterbiTest1::test_method()
BOOST_AUTO_TEST_CASE(MSFGViterbiTest1)
{
    set<string> vocab = {"k","i","s","a","sa","ki","kis","kissa"};

    transitions_t transitions;
    transitions[start_end]["k"] = log(0.5);
    transitions[start_end]["ki"] = log(0.25);
    transitions[start_end]["kis"] = log(0.4);
    transitions[start_end]["kissa"] = log(0.1);
    transitions["a"][start_end] = log(0.5);
    transitions["kissa"][start_end] = log(0.10);
    transitions["sa"][start_end] = log(0.4);
    transitions["ki"]["s"] = log(0.25);
    transitions["k"]["i"] = log(0.5);
    transitions["i"]["s"] = log(0.5);
    transitions["s"]["s"] = log(0.5);
    transitions["s"]["sa"] = log(0.5);
    transitions["s"]["a"] = log(0.5);
    transitions["kis"]["sa"] = log(0.4);
    transitions["kis"]["s"] = log(0.4);

    transitions["i"]["sa"] = log(0.8);
    transitions["a"]["a"] = log(0.8);
    transitions["ki"]["sa"] = log(0.8);
    transitions["kis"]["a"] = log(0.8);
    transitions["kissa"]["a"] = log(0.8);
    transitions["sa"]["a"] = log(0.8);

    string sentence("kissa");
    FactorGraph fg(sentence, start_end, vocab, 5);

    MultiStringFactorGraph msfg(start_end);
    msfg.add(fg);
    FactorGraph fg2("kisa", start_end, vocab, 5);
    msfg.add(fg2);
    FactorGraph fg3("kissaa", start_end, vocab, 5);
    msfg.add(fg3);
    msfg.update_factor_node_map();
    assign_scores(transitions, msfg);

    transitions_t stats;
    vector<string> viterbi_path;
    flt_type lp = viterbi(transitions, fg, viterbi_path);
    lp = viterbi(transitions, fg, stats);

    transitions_t msfg_stats;
    vector<string> msfg_viterbi_path;
    flt_type msfg_lp = viterbi(msfg, sentence, msfg_viterbi_path);
    msfg_lp = viterbi(msfg, sentence, msfg_stats);

    BOOST_CHECK_CLOSE( lp, msfg_lp, DBL_ACCURACY );
    BOOST_CHECK( viterbi_path == msfg_viterbi_path );
    BOOST_CHECK( stats == msfg_stats );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1090, %rsp           # imm = 0x1090
movq %rdi, -0x8(%rbp)
movb $0x1, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0xbf0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x151(%rbp), %rdi
movq %rdi, -0xbe8(%rbp)
callq 0x67b0
movq -0xbf0(%rbp), %rdi
movq -0xbe8(%rbp), %rdx
leaq 0x12377(%rip), %rsi     # 0xcbc3a
callq 0x65e0
jmp 0xb98ca
leaq -0x128(%rbp), %rax
movq %rax, -0xc00(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x165(%rbp), %rdi
movq %rdi, -0xbf8(%rbp)
callq 0x67b0
movq -0xc00(%rbp), %rdi
movq -0xbf8(%rbp), %rdx
leaq 0x11e31(%rip), %rsi     # 0xcb738
callq 0x65e0
jmp 0xb990e
leaq -0x108(%rbp), %rax
movq %rax, -0xc10(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x166(%rbp), %rdi
movq %rdi, -0xc08(%rbp)
callq 0x67b0
movq -0xc10(%rbp), %rdi
movq -0xc08(%rbp), %rdx
leaq 0x116c3(%rip), %rsi     # 0xcb00e
callq 0x65e0
jmp 0xb9952
leaq -0xe8(%rbp), %rax
movq %rax, -0xc20(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x167(%rbp), %rdi
movq %rdi, -0xc18(%rbp)
callq 0x67b0
movq -0xc20(%rbp), %rdi
movq -0xc18(%rbp), %rdx
leaq 0x12585(%rip), %rsi     # 0xcbf14
callq 0x65e0
jmp 0xb9996
leaq -0xc8(%rbp), %rax
movq %rax, -0xc30(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x168(%rbp), %rdi
movq %rdi, -0xc28(%rbp)
callq 0x67b0
movq -0xc30(%rbp), %rdi
movq -0xc28(%rbp), %rdx
leaq 0x12dd5(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0xb99da
leaq -0xa8(%rbp), %rax
movq %rax, -0xc40(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x169(%rbp), %rdi
movq %rdi, -0xc38(%rbp)
callq 0x67b0
movq -0xc40(%rbp), %rdi
movq -0xc38(%rbp), %rdx
leaq 0x12355(%rip), %rsi     # 0xcbd6c
callq 0x65e0
jmp 0xb9a1e
leaq -0x88(%rbp), %rax
movq %rax, -0xc50(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16a(%rbp), %rdi
movq %rdi, -0xc48(%rbp)
callq 0x67b0
movq -0xc50(%rbp), %rdi
movq -0xc48(%rbp), %rdx
leaq 0x12314(%rip), %rsi     # 0xcbd6f
callq 0x65e0
jmp 0xb9a62
leaq -0x68(%rbp), %rax
movq %rax, -0xc60(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16b(%rbp), %rdi
movq %rdi, -0xc58(%rbp)
callq 0x67b0
movq -0xc60(%rbp), %rdi
movq -0xc58(%rbp), %rdx
leaq 0x121a0(%rip), %rsi     # 0xcbc3c
callq 0x65e0
jmp 0xb9aa3
movb $0x0, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0x48(%rbp)
movq $0x8, -0x40(%rbp)
leaq -0x16e(%rbp), %rdi
movq %rdi, -0xc68(%rbp)
callq 0xdab0
movq -0xc68(%rbp), %r8
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0x16d(%rbp), %rcx
callq 0xbfde0
jmp 0xb9af1
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0xc78(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0xc70(%rbp)
movq -0xc70(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xc80(%rbp)
callq 0x6908
movq -0xc78(%rbp), %rcx
movq -0xc80(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xc70(%rbp)
jne 0xb9b18
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0xc98(%rbp)
callq 0x4bd30
movsd 0x11f5c(%rip), %xmm0    # 0xcbb20
callq 0x6370
movq -0xc98(%rbp), %rdi
movsd %xmm0, -0xc90(%rbp)
leaq 0x4da59(%rip), %rsi     # 0x107638
callq 0x4b980
movq %rax, -0xc88(%rbp)
jmp 0xb9bed
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0xca0(%rbp)
callq 0x67b0
movq -0xca0(%rbp), %rdx
leaq 0x1202c(%rip), %rsi     # 0xcbc3a
leaq -0x1c0(%rbp), %rdi
callq 0x65e0
jmp 0xb9c1c
movq -0xc88(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xca8(%rbp)
jmp 0xb9c38
movq -0xca8(%rbp), %rax
movsd -0xc90(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1c0(%rbp), %rdi
callq 0x6908
leaq -0x1c1(%rbp), %rdi
callq 0x6470
movsd 0x11ead(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xcb8(%rbp)
leaq 0x4d9b9(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xcb0(%rbp)
jmp 0xb9c94
leaq -0x1e9(%rbp), %rdi
movq %rdi, -0xcc0(%rbp)
callq 0x67b0
movq -0xcc0(%rbp), %rdx
leaq 0x120b7(%rip), %rsi     # 0xcbd6c
leaq -0x1e8(%rbp), %rdi
callq 0x65e0
jmp 0xb9cc3
movq -0xcb0(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xcc8(%rbp)
jmp 0xb9cdf
movq -0xcc8(%rbp), %rax
movsd -0xcb8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1e8(%rbp), %rdi
callq 0x6908
leaq -0x1e9(%rbp), %rdi
callq 0x6470
movsd 0x11e2e(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xcd8(%rbp)
leaq 0x4d912(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xcd0(%rbp)
jmp 0xb9d3b
leaq -0x211(%rbp), %rdi
movq %rdi, -0xce0(%rbp)
callq 0x67b0
movq -0xce0(%rbp), %rdx
leaq 0x12013(%rip), %rsi     # 0xcbd6f
leaq -0x210(%rbp), %rdi
callq 0x65e0
jmp 0xb9d6a
movq -0xcd0(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xce8(%rbp)
jmp 0xb9d86
movq -0xce8(%rbp), %rax
movsd -0xcd8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x210(%rbp), %rdi
callq 0x6908
leaq -0x211(%rbp), %rdi
callq 0x6470
movsd 0x11d8f(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xcf8(%rbp)
leaq 0x4d86b(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xcf0(%rbp)
jmp 0xb9de2
leaq -0x239(%rbp), %rdi
movq %rdi, -0xd00(%rbp)
callq 0x67b0
movq -0xd00(%rbp), %rdx
leaq 0x11e39(%rip), %rsi     # 0xcbc3c
leaq -0x238(%rbp), %rdi
callq 0x65e0
jmp 0xb9e11
movq -0xcf0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd08(%rbp)
jmp 0xb9e2d
movq -0xd08(%rbp), %rax
movsd -0xcf8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
movsd 0x11cc0(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xd18(%rbp)
leaq -0x261(%rbp), %rdi
movq %rdi, -0xd10(%rbp)
callq 0x67b0
movq -0xd10(%rbp), %rdx
leaq 0x12086(%rip), %rsi     # 0xcbf14
leaq -0x260(%rbp), %rdi
callq 0x65e0
jmp 0xb9e9c
leaq -0x1a0(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd20(%rbp)
jmp 0xb9eb8
movq -0xd20(%rbp), %rdi
leaq 0x4d772(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xd28(%rbp)
jmp 0xb9ed4
movq -0xd28(%rbp), %rax
movsd -0xd18(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
movsd 0x11c41(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xd38(%rbp)
leaq -0x289(%rbp), %rdi
movq %rdi, -0xd30(%rbp)
callq 0x67b0
movq -0xd30(%rbp), %rdx
leaq 0x11d07(%rip), %rsi     # 0xcbc3c
leaq -0x288(%rbp), %rdi
callq 0x65e0
jmp 0xb9f43
leaq -0x1a0(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd40(%rbp)
jmp 0xb9f5f
movq -0xd40(%rbp), %rdi
leaq 0x4d6cb(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xd48(%rbp)
jmp 0xb9f7b
movq -0xd48(%rbp), %rax
movsd -0xd38(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
movsd 0x11b92(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xd58(%rbp)
leaq -0x2b1(%rbp), %rdi
movq %rdi, -0xd50(%rbp)
callq 0x67b0
movq -0xd50(%rbp), %rdx
leaq 0x127cc(%rip), %rsi     # 0xcc7a8
leaq -0x2b0(%rbp), %rdi
callq 0x65e0
jmp 0xb9fea
leaq -0x1a0(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd60(%rbp)
jmp 0xba006
movq -0xd60(%rbp), %rdi
leaq 0x4d624(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xd68(%rbp)
jmp 0xba022
movq -0xd68(%rbp), %rax
movsd -0xd58(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x2b0(%rbp), %rdi
callq 0x6908
leaq -0x2b1(%rbp), %rdi
callq 0x6470
movsd 0x11ac3(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xd78(%rbp)
leaq -0x2d9(%rbp), %rdi
movq %rdi, -0xd70(%rbp)
callq 0x67b0
movq -0xd70(%rbp), %rdx
leaq 0x11ce9(%rip), %rsi     # 0xcbd6c
leaq -0x2d8(%rbp), %rdi
callq 0x65e0
jmp 0xba091
leaq -0x1a0(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd80(%rbp)
jmp 0xba0ad
leaq -0x301(%rbp), %rdi
movq %rdi, -0xd88(%rbp)
callq 0x67b0
movq -0xd88(%rbp), %rdx
leaq 0x10f40(%rip), %rsi     # 0xcb00e
leaq -0x300(%rbp), %rdi
callq 0x65e0
jmp 0xba0dc
movq -0xd80(%rbp), %rdi
leaq -0x300(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd90(%rbp)
jmp 0xba0f8
movq -0xd90(%rbp), %rax
movsd -0xd78(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x300(%rbp), %rdi
callq 0x6908
leaq -0x301(%rbp), %rdi
callq 0x6470
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
movsd 0x119dd(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xda0(%rbp)
leaq -0x329(%rbp), %rdi
movq %rdi, -0xd98(%rbp)
callq 0x67b0
movq -0xd98(%rbp), %rdx
leaq 0x11ac9(%rip), %rsi     # 0xcbc3a
leaq -0x328(%rbp), %rdi
callq 0x65e0
jmp 0xba17f
leaq -0x1a0(%rbp), %rdi
leaq -0x328(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xda8(%rbp)
jmp 0xba19b
leaq -0x351(%rbp), %rdi
movq %rdi, -0xdb0(%rbp)
callq 0x67b0
movq -0xdb0(%rbp), %rdx
leaq 0x1157c(%rip), %rsi     # 0xcb738
leaq -0x350(%rbp), %rdi
callq 0x65e0
jmp 0xba1ca
movq -0xda8(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xdb8(%rbp)
jmp 0xba1e6
movq -0xdb8(%rbp), %rax
movsd -0xda0(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x350(%rbp), %rdi
callq 0x6908
leaq -0x351(%rbp), %rdi
callq 0x6470
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
movsd 0x118ef(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xdc8(%rbp)
leaq -0x379(%rbp), %rdi
movq %rdi, -0xdc0(%rbp)
callq 0x67b0
movq -0xdc0(%rbp), %rdx
leaq 0x114d9(%rip), %rsi     # 0xcb738
leaq -0x378(%rbp), %rdi
callq 0x65e0
jmp 0xba26d
leaq -0x1a0(%rbp), %rdi
leaq -0x378(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdd0(%rbp)
jmp 0xba289
leaq -0x3a1(%rbp), %rdi
movq %rdi, -0xdd8(%rbp)
callq 0x67b0
movq -0xdd8(%rbp), %rdx
leaq 0x10d64(%rip), %rsi     # 0xcb00e
leaq -0x3a0(%rbp), %rdi
callq 0x65e0
jmp 0xba2b8
movq -0xdd0(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xde0(%rbp)
jmp 0xba2d4
movq -0xde0(%rbp), %rax
movsd -0xdc8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x3a0(%rbp), %rdi
callq 0x6908
leaq -0x3a1(%rbp), %rdi
callq 0x6470
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
movsd 0x11801(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xdf0(%rbp)
leaq -0x3c9(%rbp), %rdi
movq %rdi, -0xde8(%rbp)
callq 0x67b0
movq -0xde8(%rbp), %rdx
leaq 0x10cc1(%rip), %rsi     # 0xcb00e
leaq -0x3c8(%rbp), %rdi
callq 0x65e0
jmp 0xba35b
leaq -0x1a0(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdf8(%rbp)
jmp 0xba377
leaq -0x3f1(%rbp), %rdi
movq %rdi, -0xe00(%rbp)
callq 0x67b0
movq -0xe00(%rbp), %rdx
leaq 0x10c76(%rip), %rsi     # 0xcb00e
leaq -0x3f0(%rbp), %rdi
callq 0x65e0
jmp 0xba3a6
movq -0xdf8(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe08(%rbp)
jmp 0xba3c2
movq -0xe08(%rbp), %rax
movsd -0xdf0(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x3f0(%rbp), %rdi
callq 0x6908
leaq -0x3f1(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
movsd 0x11713(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xe18(%rbp)
leaq -0x419(%rbp), %rdi
movq %rdi, -0xe10(%rbp)
callq 0x67b0
movq -0xe10(%rbp), %rdx
leaq 0x10bd3(%rip), %rsi     # 0xcb00e
leaq -0x418(%rbp), %rdi
callq 0x65e0
jmp 0xba449
leaq -0x1a0(%rbp), %rdi
leaq -0x418(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe20(%rbp)
jmp 0xba465
leaq -0x441(%rbp), %rdi
movq %rdi, -0xe28(%rbp)
callq 0x67b0
movq -0xe28(%rbp), %rdx
leaq 0x12322(%rip), %rsi     # 0xcc7a8
leaq -0x440(%rbp), %rdi
callq 0x65e0
jmp 0xba494
movq -0xe20(%rbp), %rdi
leaq -0x440(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe30(%rbp)
jmp 0xba4b0
movq -0xe30(%rbp), %rax
movsd -0xe18(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x6908
leaq -0x419(%rbp), %rdi
callq 0x6470
movsd 0x11625(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xe40(%rbp)
leaq -0x469(%rbp), %rdi
movq %rdi, -0xe38(%rbp)
callq 0x67b0
movq -0xe38(%rbp), %rdx
leaq 0x10ae5(%rip), %rsi     # 0xcb00e
leaq -0x468(%rbp), %rdi
callq 0x65e0
jmp 0xba537
leaq -0x1a0(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe48(%rbp)
jmp 0xba553
leaq -0x491(%rbp), %rdi
movq %rdi, -0xe50(%rbp)
callq 0x67b0
movq -0xe50(%rbp), %rdx
leaq 0x119a0(%rip), %rsi     # 0xcbf14
leaq -0x490(%rbp), %rdi
callq 0x65e0
jmp 0xba582
movq -0xe48(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe58(%rbp)
jmp 0xba59e
movq -0xe58(%rbp), %rax
movsd -0xe40(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x490(%rbp), %rdi
callq 0x6908
leaq -0x491(%rbp), %rdi
callq 0x6470
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
movsd 0x11557(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xe68(%rbp)
leaq -0x4b9(%rbp), %rdi
movq %rdi, -0xe60(%rbp)
callq 0x67b0
movq -0xe60(%rbp), %rdx
leaq 0x11758(%rip), %rsi     # 0xcbd6f
leaq -0x4b8(%rbp), %rdi
callq 0x65e0
jmp 0xba625
leaq -0x1a0(%rbp), %rdi
leaq -0x4b8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe70(%rbp)
jmp 0xba641
leaq -0x4e1(%rbp), %rdi
movq %rdi, -0xe78(%rbp)
callq 0x67b0
movq -0xe78(%rbp), %rdx
leaq 0x12146(%rip), %rsi     # 0xcc7a8
leaq -0x4e0(%rbp), %rdi
callq 0x65e0
jmp 0xba670
movq -0xe70(%rbp), %rdi
leaq -0x4e0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe80(%rbp)
jmp 0xba68c
movq -0xe80(%rbp), %rax
movsd -0xe68(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
leaq -0x4b8(%rbp), %rdi
callq 0x6908
leaq -0x4b9(%rbp), %rdi
callq 0x6470
movsd 0x11469(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xe90(%rbp)
leaq -0x509(%rbp), %rdi
movq %rdi, -0xe88(%rbp)
callq 0x67b0
movq -0xe88(%rbp), %rdx
leaq 0x1166a(%rip), %rsi     # 0xcbd6f
leaq -0x508(%rbp), %rdi
callq 0x65e0
jmp 0xba713
leaq -0x1a0(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe98(%rbp)
jmp 0xba72f
leaq -0x531(%rbp), %rdi
movq %rdi, -0xea0(%rbp)
callq 0x67b0
movq -0xea0(%rbp), %rdx
leaq 0x108be(%rip), %rsi     # 0xcb00e
leaq -0x530(%rbp), %rdi
callq 0x65e0
jmp 0xba75e
movq -0xe98(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xea8(%rbp)
jmp 0xba77a
movq -0xea8(%rbp), %rax
movsd -0xe90(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x530(%rbp), %rdi
callq 0x6908
leaq -0x531(%rbp), %rdi
callq 0x6470
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
movsd 0x1138b(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xeb8(%rbp)
leaq -0x559(%rbp), %rdi
movq %rdi, -0xeb0(%rbp)
callq 0x67b0
movq -0xeb0(%rbp), %rdx
leaq 0x10f45(%rip), %rsi     # 0xcb738
leaq -0x558(%rbp), %rdi
callq 0x65e0
jmp 0xba801
leaq -0x1a0(%rbp), %rdi
leaq -0x558(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xec0(%rbp)
jmp 0xba81d
leaq -0x581(%rbp), %rdi
movq %rdi, -0xec8(%rbp)
callq 0x67b0
movq -0xec8(%rbp), %rdx
leaq 0x11f6a(%rip), %rsi     # 0xcc7a8
leaq -0x580(%rbp), %rdi
callq 0x65e0
jmp 0xba84c
movq -0xec0(%rbp), %rdi
leaq -0x580(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xed0(%rbp)
jmp 0xba868
movq -0xed0(%rbp), %rax
movsd -0xeb8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x580(%rbp), %rdi
callq 0x6908
leaq -0x581(%rbp), %rdi
callq 0x6470
leaq -0x558(%rbp), %rdi
callq 0x6908
leaq -0x559(%rbp), %rdi
callq 0x6470
movsd 0x1129d(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xee0(%rbp)
leaq -0x5a9(%rbp), %rdi
movq %rdi, -0xed8(%rbp)
callq 0x67b0
movq -0xed8(%rbp), %rdx
leaq 0x11633(%rip), %rsi     # 0xcbf14
leaq -0x5a8(%rbp), %rdi
callq 0x65e0
jmp 0xba8ef
leaq -0x1a0(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xee8(%rbp)
jmp 0xba90b
leaq -0x5d1(%rbp), %rdi
movq %rdi, -0xef0(%rbp)
callq 0x67b0
movq -0xef0(%rbp), %rdx
leaq 0x115e8(%rip), %rsi     # 0xcbf14
leaq -0x5d0(%rbp), %rdi
callq 0x65e0
jmp 0xba93a
movq -0xee8(%rbp), %rdi
leaq -0x5d0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xef8(%rbp)
jmp 0xba956
movq -0xef8(%rbp), %rax
movsd -0xee0(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x5d0(%rbp), %rdi
callq 0x6908
leaq -0x5d1(%rbp), %rdi
callq 0x6470
leaq -0x5a8(%rbp), %rdi
callq 0x6908
leaq -0x5a9(%rbp), %rdi
callq 0x6470
movsd 0x111af(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xf08(%rbp)
leaq -0x5f9(%rbp), %rdi
movq %rdi, -0xf00(%rbp)
callq 0x67b0
movq -0xf00(%rbp), %rdx
leaq 0x1139d(%rip), %rsi     # 0xcbd6c
leaq -0x5f8(%rbp), %rdi
callq 0x65e0
jmp 0xba9dd
leaq -0x1a0(%rbp), %rdi
leaq -0x5f8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf10(%rbp)
jmp 0xba9f9
leaq -0x621(%rbp), %rdi
movq %rdi, -0xf18(%rbp)
callq 0x67b0
movq -0xf18(%rbp), %rdx
leaq 0x11d8e(%rip), %rsi     # 0xcc7a8
leaq -0x620(%rbp), %rdi
callq 0x65e0
jmp 0xbaa28
movq -0xf10(%rbp), %rdi
leaq -0x620(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf20(%rbp)
jmp 0xbaa44
movq -0xf20(%rbp), %rax
movsd -0xf08(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x620(%rbp), %rdi
callq 0x6908
leaq -0x621(%rbp), %rdi
callq 0x6470
leaq -0x5f8(%rbp), %rdi
callq 0x6908
leaq -0x5f9(%rbp), %rdi
callq 0x6470
movsd 0x110c1(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xf30(%rbp)
leaq -0x649(%rbp), %rdi
movq %rdi, -0xf28(%rbp)
callq 0x67b0
movq -0xf28(%rbp), %rdx
leaq 0x112b2(%rip), %rsi     # 0xcbd6f
leaq -0x648(%rbp), %rdi
callq 0x65e0
jmp 0xbaacb
leaq -0x1a0(%rbp), %rdi
leaq -0x648(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf38(%rbp)
jmp 0xbaae7
leaq -0x671(%rbp), %rdi
movq %rdi, -0xf40(%rbp)
callq 0x67b0
movq -0xf40(%rbp), %rdx
leaq 0x1140c(%rip), %rsi     # 0xcbf14
leaq -0x670(%rbp), %rdi
callq 0x65e0
jmp 0xbab16
movq -0xf38(%rbp), %rdi
leaq -0x670(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf48(%rbp)
jmp 0xbab32
movq -0xf48(%rbp), %rax
movsd -0xf30(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x670(%rbp), %rdi
callq 0x6908
leaq -0x671(%rbp), %rdi
callq 0x6470
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
movsd 0x10fd3(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xf58(%rbp)
leaq -0x699(%rbp), %rdi
movq %rdi, -0xf50(%rbp)
callq 0x67b0
movq -0xf50(%rbp), %rdx
leaq 0x11091(%rip), %rsi     # 0xcbc3c
leaq -0x698(%rbp), %rdi
callq 0x65e0
jmp 0xbabb9
leaq -0x1a0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf60(%rbp)
jmp 0xbabd5
leaq -0x6c1(%rbp), %rdi
movq %rdi, -0xf68(%rbp)
callq 0x67b0
movq -0xf68(%rbp), %rdx
leaq 0x1131e(%rip), %rsi     # 0xcbf14
leaq -0x6c0(%rbp), %rdi
callq 0x65e0
jmp 0xbac04
movq -0xf60(%rbp), %rdi
leaq -0x6c0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf70(%rbp)
jmp 0xbac20
movq -0xf70(%rbp), %rax
movsd -0xf58(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x6c0(%rbp), %rdi
callq 0x6908
leaq -0x6c1(%rbp), %rdi
callq 0x6470
leaq -0x698(%rbp), %rdi
callq 0x6908
leaq -0x699(%rbp), %rdi
callq 0x6470
movsd 0x10ee5(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xf80(%rbp)
leaq -0x6e9(%rbp), %rdi
movq %rdi, -0xf78(%rbp)
callq 0x67b0
movq -0xf78(%rbp), %rdx
leaq 0x11b0f(%rip), %rsi     # 0xcc7a8
leaq -0x6e8(%rbp), %rdi
callq 0x65e0
jmp 0xbaca7
leaq -0x1a0(%rbp), %rdi
leaq -0x6e8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf88(%rbp)
jmp 0xbacc3
leaq -0x711(%rbp), %rdi
movq %rdi, -0xf90(%rbp)
callq 0x67b0
movq -0xf90(%rbp), %rdx
leaq 0x11230(%rip), %rsi     # 0xcbf14
leaq -0x710(%rbp), %rdi
callq 0x65e0
jmp 0xbacf2
movq -0xf88(%rbp), %rdi
leaq -0x710(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf98(%rbp)
jmp 0xbad0e
movq -0xf98(%rbp), %rax
movsd -0xf80(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x710(%rbp), %rdi
callq 0x6908
leaq -0x711(%rbp), %rdi
callq 0x6470
leaq -0x6e8(%rbp), %rdi
callq 0x6908
leaq -0x6e9(%rbp), %rdi
callq 0x6470
leaq -0x739(%rbp), %rdi
movq %rdi, -0xfa0(%rbp)
callq 0x67b0
movq -0xfa0(%rbp), %rdx
leaq 0x10eca(%rip), %rsi     # 0xcbc3c
leaq -0x738(%rbp), %rdi
callq 0x65e0
jmp 0xbad80
leaq -0x739(%rbp), %rdi
callq 0x6470
leaq 0x4c8a5(%rip), %rdx     # 0x107638
leaq -0x7b8(%rbp), %rdi
leaq -0x738(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xbadb5
leaq 0x4c87c(%rip), %rsi     # 0x107638
leaq -0x8b0(%rbp), %rdi
callq 0xc0180
jmp 0xbadca
leaq -0x8b0(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xbade4
leaq -0x949(%rbp), %rdi
movq %rdi, -0xfa8(%rbp)
callq 0x67b0
movq -0xfa8(%rbp), %rdx
leaq 0x119a1(%rip), %rsi     # 0xcc7a6
leaq -0x948(%rbp), %rdi
callq 0x65e0
jmp 0xbae13
leaq 0x4c81e(%rip), %rdx     # 0x107638
leaq -0x928(%rbp), %rdi
leaq -0x948(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xbae3c
leaq -0x948(%rbp), %rdi
callq 0x6908
leaq -0x949(%rbp), %rdi
callq 0x6470
leaq -0x8b0(%rbp), %rdi
leaq -0x928(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xbae6e
leaq -0x9e9(%rbp), %rdi
movq %rdi, -0xfb0(%rbp)
callq 0x67b0
movq -0xfb0(%rbp), %rdx
leaq 0x1191c(%rip), %rsi     # 0xcc7ab
leaq -0x9e8(%rbp), %rdi
callq 0x65e0
jmp 0xbae9d
leaq 0x4c794(%rip), %rdx     # 0x107638
leaq -0x9c8(%rbp), %rdi
leaq -0x9e8(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xbaec6
leaq -0x9e8(%rbp), %rdi
callq 0x6908
leaq -0x9e9(%rbp), %rdi
callq 0x6470
leaq -0x8b0(%rbp), %rdi
leaq -0x9c8(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xbaef8
leaq -0x8b0(%rbp), %rdi
callq 0x32390
jmp 0xbaf06
leaq -0x1a0(%rbp), %rdi
leaq -0x8b0(%rbp), %rsi
callq 0x476d0
jmp 0xbaf1b
leaq -0xa20(%rbp), %rdi
callq 0x4bd30
leaq -0xa38(%rbp), %rdi
movq %rdi, -0xfc0(%rbp)
callq 0xc7d0
movq -0xfc0(%rbp), %rdx
leaq -0x1a0(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
movl $0x1, %ecx
callq 0x45140
movsd %xmm0, -0xfb8(%rbp)
jmp 0xbaf63
movsd -0xfb8(%rbp), %xmm0
movsd %xmm0, -0xa40(%rbp)
leaq -0x1a0(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
leaq -0xa20(%rbp), %rdx
movsd 0x10620(%rip), %xmm0    # 0xcb5b0
callq 0x45730
movsd %xmm0, -0xfc8(%rbp)
jmp 0xbaf9f
movsd -0xfc8(%rbp), %xmm0
movsd %xmm0, -0xa40(%rbp)
leaq -0xa70(%rbp), %rdi
callq 0x4bd30
leaq -0xa88(%rbp), %rdi
movq %rdi, -0xfd8(%rbp)
callq 0xc7d0
movq -0xfd8(%rbp), %rdx
leaq -0x8b0(%rbp), %rdi
leaq -0x738(%rbp), %rsi
callq 0x4a060
movsd %xmm0, -0xfd0(%rbp)
jmp 0xbaff2
movsd -0xfd0(%rbp), %xmm0
movsd %xmm0, -0xa90(%rbp)
leaq -0x8b0(%rbp), %rdi
leaq -0x738(%rbp), %rsi
leaq -0xa70(%rbp), %rdx
movsd 0x10591(%rip), %xmm0    # 0xcb5b0
callq 0x4a560
movsd %xmm0, -0xfe0(%rbp)
jmp 0xbb02e
movsd -0xfe0(%rbp), %xmm0
movsd %xmm0, -0xa90(%rbp)
movq 0x4c5ab(%rip), %rax     # 0x1075f0
movq %rax, -0xfe8(%rbp)
leaq 0x10b15(%rip), %rsi     # 0xcbb68
leaq -0xaa0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb066
leaq -0xab0(%rbp), %rdi
callq 0x70c00
jmp 0xbb074
movq -0xfe8(%rbp), %rdi
leaq -0xaa0(%rbp), %rsi
movl $0x529, %edx            # imm = 0x529
leaq -0xab0(%rbp), %rcx
callq 0x6840
jmp 0xbb095
callq 0x70e90
movq %rax, -0xff0(%rbp)
jmp 0xbb0a3
movq -0xff0(%rbp), %rsi
leaq 0x10279(%rip), %rdx     # 0xcb32a
leaq -0xad8(%rbp), %rdi
callq 0x70e50
jmp 0xbb0bf
leaq 0x10aa2(%rip), %rsi     # 0xcbb68
leaq -0xae8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb0d9
movsd 0x4c3cf(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xff8(%rbp)
jmp 0xbb0f0
movsd -0xff8(%rbp), %xmm0
movsd %xmm0, -0xaf0(%rbp)
leaq 0x10bde(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0xaf0(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x11651(%rip), %rcx     # 0xcc771
movq %rcx, 0x10(%rax)
leaq -0xa90(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x11640(%rip), %rcx     # 0xcc776
movq %rcx, (%rax)
leaq -0xad8(%rbp), %rdi
leaq -0xae8(%rbp), %rsi
movl $0x529, %edx            # imm = 0x529
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0xa40(%rbp), %r9
callq 0xbf6a0
jmp 0xbb165
leaq -0xad8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xff9(%rbp)
jmp 0xbb17e
movb -0xff9(%rbp), %al
testb $0x1, %al
jne 0xbb03e
jmp 0xbb18e
jmp 0xbb190
movq 0x4c459(%rip), %rax     # 0x1075f0
movq %rax, -0x1008(%rbp)
leaq 0x109c3(%rip), %rsi     # 0xcbb68
leaq -0xb00(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb1b8
leaq -0xb10(%rbp), %rdi
callq 0x70c00
jmp 0xbb1c6
movq -0x1008(%rbp), %rdi
leaq -0xb00(%rbp), %rsi
movl $0x52a, %edx            # imm = 0x52A
leaq -0xb10(%rbp), %rcx
callq 0x6840
jmp 0xbb1e7
leaq -0xa38(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
callq 0xc0620
movb %al, -0x1009(%rbp)
jmp 0xbb202
movb -0x1009(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xb28(%rbp), %rdi
callq 0x70ed0
jmp 0xbb21c
callq 0x70e90
movq %rax, -0x1018(%rbp)
jmp 0xbb22a
leaq 0x115ab(%rip), %rsi     # 0xcc7dc
leaq -0xb58(%rbp), %rdi
movl $0x21, %edx
callq 0x70bd0
jmp 0xbb244
movq -0x1018(%rbp), %rsi
leaq -0xb48(%rbp), %rdi
leaq -0xb58(%rbp), %rdx
callq 0x70f10
jmp 0xbb260
leaq 0x10901(%rip), %rsi     # 0xcbb68
leaq -0xb68(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb27a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xb28(%rbp), %rdi
leaq -0xb48(%rbp), %rsi
leaq -0xb68(%rbp), %rdx
movl $0x52a, %ecx            # imm = 0x52A
movl $0x1, %r8d
callq 0x6810
jmp 0xbb2b1
leaq -0xb48(%rbp), %rdi
callq 0x70f50
leaq -0xb28(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x1019(%rbp)
jmp 0xbb2d6
movb -0x1019(%rbp), %al
testb $0x1, %al
jne 0xbb190
jmp 0xbb2e6
jmp 0xbb2e8
movq 0x4c301(%rip), %rax     # 0x1075f0
movq %rax, -0x1028(%rbp)
leaq 0x1086b(%rip), %rsi     # 0xcbb68
leaq -0xb78(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb310
leaq -0xb88(%rbp), %rdi
callq 0x70c00
jmp 0xbb31e
movq -0x1028(%rbp), %rdi
leaq -0xb78(%rbp), %rsi
movl $0x52b, %edx            # imm = 0x52B
leaq -0xb88(%rbp), %rcx
callq 0x6840
jmp 0xbb33f
leaq -0xa20(%rbp), %rdi
leaq -0xa70(%rbp), %rsi
callq 0xc0330
movb %al, -0x1029(%rbp)
jmp 0xbb35a
movb -0x1029(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xba0(%rbp), %rdi
callq 0x70ed0
jmp 0xbb374
callq 0x70e90
movq %rax, -0x1038(%rbp)
jmp 0xbb382
leaq 0x113f0(%rip), %rsi     # 0xcc779
leaq -0xbd0(%rbp), %rdi
movl $0x13, %edx
callq 0x70bd0
jmp 0xbb39c
movq -0x1038(%rbp), %rsi
leaq -0xbc0(%rbp), %rdi
leaq -0xbd0(%rbp), %rdx
callq 0x70f10
jmp 0xbb3b8
leaq 0x107a9(%rip), %rsi     # 0xcbb68
leaq -0xbe0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xbb3d2
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xba0(%rbp), %rdi
leaq -0xbc0(%rbp), %rsi
leaq -0xbe0(%rbp), %rdx
movl $0x52b, %ecx            # imm = 0x52B
movl $0x1, %r8d
callq 0x6810
jmp 0xbb409
leaq -0xbc0(%rbp), %rdi
callq 0x70f50
leaq -0xba0(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x1039(%rbp)
jmp 0xbb42e
movb -0x1039(%rbp), %al
testb $0x1, %al
jne 0xbb2e8
jmp 0xbb43e
leaq -0xa88(%rbp), %rdi
callq 0xcfc0
leaq -0xa70(%rbp), %rdi
callq 0x4bd50
leaq -0xa38(%rbp), %rdi
callq 0xcfc0
leaq -0xa20(%rbp), %rdi
callq 0x4bd50
leaq -0x9c8(%rbp), %rdi
callq 0x26180
leaq -0x928(%rbp), %rdi
callq 0x26180
leaq -0x8b0(%rbp), %rdi
callq 0x2fe10
leaq -0x7b8(%rbp), %rdi
callq 0x26180
leaq -0x738(%rbp), %rdi
callq 0x6908
leaq -0x1a0(%rbp), %rdi
callq 0x4bd50
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
addq $0x1090, %rsp           # imm = 0x1090
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb63d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb631
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb625
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb619
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb60d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb601
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb5f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb5e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0x1050(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0x1048(%rbp)
movq -0x1048(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x1058(%rbp)
callq 0x6908
movq -0x1050(%rbp), %rcx
movq -0x1058(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1048(%rbp)
jne 0xbb5b6
jmp 0xbb5e9
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
testb $0x1, -0x16c(%rbp)
jne 0xbb654
jmp 0xbb6a1
movq -0x150(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x1060(%rbp)
je 0xbb69f
movq -0x1060(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x1068(%rbp)
callq 0x6908
movq -0x1068(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x1060(%rbp)
jne 0xbb66e
jmp 0xbb6a1
jmp 0xbc225
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb6ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x6908
leaq -0x1c1(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb732
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x6908
leaq -0x1e9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb775
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x6908
leaq -0x211(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb7b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb7fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb83e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb881
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x6908
leaq -0x2b1(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb904
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb8f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb8ec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x300(%rbp), %rdi
callq 0x6908
leaq -0x301(%rbp), %rdi
callq 0x6470
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb987
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb97b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb96f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x350(%rbp), %rdi
callq 0x6908
leaq -0x351(%rbp), %rdi
callq 0x6470
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbba0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb9fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbb9f2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x3a0(%rbp), %rdi
callq 0x6908
leaq -0x3a1(%rbp), %rdi
callq 0x6470
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbba8d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbba81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbba75
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x3f0(%rbp), %rdi
callq 0x6908
leaq -0x3f1(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbb10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbb04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbaf8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x6908
leaq -0x419(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbb93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbb87
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbb7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x490(%rbp), %rdi
callq 0x6908
leaq -0x491(%rbp), %rdi
callq 0x6470
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbc16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbc0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbbfe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
leaq -0x4b8(%rbp), %rdi
callq 0x6908
leaq -0x4b9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbc99
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbc8d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbc81
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x530(%rbp), %rdi
callq 0x6908
leaq -0x531(%rbp), %rdi
callq 0x6470
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x580(%rbp), %rdi
callq 0x6908
leaq -0x581(%rbp), %rdi
callq 0x6470
leaq -0x558(%rbp), %rdi
callq 0x6908
leaq -0x559(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd9f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbd87
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x5d0(%rbp), %rdi
callq 0x6908
leaq -0x5d1(%rbp), %rdi
callq 0x6470
leaq -0x5a8(%rbp), %rdi
callq 0x6908
leaq -0x5a9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbe22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbe16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbe0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x620(%rbp), %rdi
callq 0x6908
leaq -0x621(%rbp), %rdi
callq 0x6470
leaq -0x5f8(%rbp), %rdi
callq 0x6908
leaq -0x5f9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbea5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbe99
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbe8d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x670(%rbp), %rdi
callq 0x6908
leaq -0x671(%rbp), %rdi
callq 0x6470
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbf28
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbf1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbf10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x6c0(%rbp), %rdi
callq 0x6908
leaq -0x6c1(%rbp), %rdi
callq 0x6470
leaq -0x698(%rbp), %rdi
callq 0x6908
leaq -0x699(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbfab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbf9f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbbf93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x710(%rbp), %rdi
callq 0x6908
leaq -0x711(%rbp), %rdi
callq 0x6470
leaq -0x6e8(%rbp), %rdi
callq 0x6908
leaq -0x6e9(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x739(%rbp), %rdi
callq 0x6470
jmp 0xbc210
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc204
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1ec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc056
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x948(%rbp), %rdi
callq 0x6908
leaq -0x949(%rbp), %rdi
callq 0x6470
jmp 0xbc1ec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc0b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x9e8(%rbp), %rdi
callq 0x6908
leaq -0x9e9(%rbp), %rdi
callq 0x6470
jmp 0xbc1e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1d4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1bc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc1a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xad8(%rbp), %rdi
callq 0x70ea0
jmp 0xbc1a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc158
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xb48(%rbp), %rdi
callq 0x70f50
leaq -0xb28(%rbp), %rdi
callq 0x70f70
jmp 0xbc1a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xbc198
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xbc0(%rbp), %rdi
callq 0x70f50
leaq -0xba0(%rbp), %rdi
callq 0x70f70
leaq -0xa88(%rbp), %rdi
callq 0xcfc0
leaq -0xa70(%rbp), %rdi
callq 0x4bd50
leaq -0xa38(%rbp), %rdi
callq 0xcfc0
leaq -0xa20(%rbp), %rdi
callq 0x4bd50
leaq -0x9c8(%rbp), %rdi
callq 0x26180
leaq -0x928(%rbp), %rdi
callq 0x26180
leaq -0x8b0(%rbp), %rdi
callq 0x2fe10
leaq -0x7b8(%rbp), %rdi
callq 0x26180
leaq -0x738(%rbp), %rdi
callq 0x6908
leaq -0x1a0(%rbp), %rdi
callq 0x4bd50
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
movq -0x160(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)