// File: aalto-speech[P]ftk/test/emtest.cc
// Function: MSFGForwardBackwardTest2::test_method()
BOOST_AUTO_TEST_CASE(MSFGForwardBackwardTest2)
{
    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);
    transitions_t stats;
    flt_type lp = forward_backward(transitions, fg, stats);

    FactorGraph fg2("kisa", start_end, vocab, 5);
    FactorGraph fg3("kissaa", start_end, vocab, 5);

    MultiStringFactorGraph msfg(start_end);
    msfg.add(fg);
    msfg.add(fg2);
    msfg.add(fg3);
    msfg.update_factor_node_map();
    assign_scores(transitions, msfg);
    transitions_t msfg_stats;
    flt_type msfg_lp = forward_backward(msfg, sentence, msfg_stats);

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xfc0, %rsp            # imm = 0xFC0
movq %rdi, -0x8(%rbp)
movb $0x1, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0xb48(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x151(%rbp), %rdi
movq %rdi, -0xb40(%rbp)
callq 0x67b0
movq -0xb48(%rbp), %rdi
movq -0xb40(%rbp), %rdx
leaq 0x17ea7(%rip), %rsi     # 0xcbc3a
callq 0x65e0
jmp 0xb3d9a
leaq -0x128(%rbp), %rax
movq %rax, -0xb58(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x165(%rbp), %rdi
movq %rdi, -0xb50(%rbp)
callq 0x67b0
movq -0xb58(%rbp), %rdi
movq -0xb50(%rbp), %rdx
leaq 0x17961(%rip), %rsi     # 0xcb738
callq 0x65e0
jmp 0xb3dde
leaq -0x108(%rbp), %rax
movq %rax, -0xb68(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x166(%rbp), %rdi
movq %rdi, -0xb60(%rbp)
callq 0x67b0
movq -0xb68(%rbp), %rdi
movq -0xb60(%rbp), %rdx
leaq 0x171f3(%rip), %rsi     # 0xcb00e
callq 0x65e0
jmp 0xb3e22
leaq -0xe8(%rbp), %rax
movq %rax, -0xb78(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x167(%rbp), %rdi
movq %rdi, -0xb70(%rbp)
callq 0x67b0
movq -0xb78(%rbp), %rdi
movq -0xb70(%rbp), %rdx
leaq 0x180b5(%rip), %rsi     # 0xcbf14
callq 0x65e0
jmp 0xb3e66
leaq -0xc8(%rbp), %rax
movq %rax, -0xb88(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x168(%rbp), %rdi
movq %rdi, -0xb80(%rbp)
callq 0x67b0
movq -0xb88(%rbp), %rdi
movq -0xb80(%rbp), %rdx
leaq 0x18905(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0xb3eaa
leaq -0xa8(%rbp), %rax
movq %rax, -0xb98(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x169(%rbp), %rdi
movq %rdi, -0xb90(%rbp)
callq 0x67b0
movq -0xb98(%rbp), %rdi
movq -0xb90(%rbp), %rdx
leaq 0x17e85(%rip), %rsi     # 0xcbd6c
callq 0x65e0
jmp 0xb3eee
leaq -0x88(%rbp), %rax
movq %rax, -0xba8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16a(%rbp), %rdi
movq %rdi, -0xba0(%rbp)
callq 0x67b0
movq -0xba8(%rbp), %rdi
movq -0xba0(%rbp), %rdx
leaq 0x17e44(%rip), %rsi     # 0xcbd6f
callq 0x65e0
jmp 0xb3f32
leaq -0x68(%rbp), %rax
movq %rax, -0xbb8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16b(%rbp), %rdi
movq %rdi, -0xbb0(%rbp)
callq 0x67b0
movq -0xbb8(%rbp), %rdi
movq -0xbb0(%rbp), %rdx
leaq 0x17cd0(%rip), %rsi     # 0xcbc3c
callq 0x65e0
jmp 0xb3f73
movb $0x0, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0x48(%rbp)
movq $0x8, -0x40(%rbp)
leaq -0x16e(%rbp), %rdi
movq %rdi, -0xbc0(%rbp)
callq 0xdab0
movq -0xbc0(%rbp), %r8
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0x16d(%rbp), %rcx
callq 0xbfde0
jmp 0xb3fc1
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0xbd0(%rbp)
addq $0x100, %rax            # imm = 0x100
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 0xb3fe8
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, -0xbf0(%rbp)
callq 0x4bd30
movsd 0x17a8c(%rip), %xmm0    # 0xcbb20
callq 0x6370
movq -0xbf0(%rbp), %rdi
movsd %xmm0, -0xbe8(%rbp)
leaq 0x53589(%rip), %rsi     # 0x107638
callq 0x4b980
movq %rax, -0xbe0(%rbp)
jmp 0xb40bd
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0xbf8(%rbp)
callq 0x67b0
movq -0xbf8(%rbp), %rdx
leaq 0x17b5c(%rip), %rsi     # 0xcbc3a
leaq -0x1c0(%rbp), %rdi
callq 0x65e0
jmp 0xb40ec
movq -0xbe0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xc00(%rbp)
jmp 0xb4108
movq -0xc00(%rbp), %rax
movsd -0xbe8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1c0(%rbp), %rdi
callq 0x6908
leaq -0x1c1(%rbp), %rdi
callq 0x6470
movsd 0x179dd(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xc10(%rbp)
leaq 0x534e9(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xc08(%rbp)
jmp 0xb4164
leaq -0x1e9(%rbp), %rdi
movq %rdi, -0xc18(%rbp)
callq 0x67b0
movq -0xc18(%rbp), %rdx
leaq 0x17be7(%rip), %rsi     # 0xcbd6c
leaq -0x1e8(%rbp), %rdi
callq 0x65e0
jmp 0xb4193
movq -0xc08(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xc20(%rbp)
jmp 0xb41af
movq -0xc20(%rbp), %rax
movsd -0xc10(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1e8(%rbp), %rdi
callq 0x6908
leaq -0x1e9(%rbp), %rdi
callq 0x6470
movsd 0x1795e(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xc30(%rbp)
leaq 0x53442(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xc28(%rbp)
jmp 0xb420b
leaq -0x211(%rbp), %rdi
movq %rdi, -0xc38(%rbp)
callq 0x67b0
movq -0xc38(%rbp), %rdx
leaq 0x17b43(%rip), %rsi     # 0xcbd6f
leaq -0x210(%rbp), %rdi
callq 0x65e0
jmp 0xb423a
movq -0xc28(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xc40(%rbp)
jmp 0xb4256
movq -0xc40(%rbp), %rax
movsd -0xc30(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x210(%rbp), %rdi
callq 0x6908
leaq -0x211(%rbp), %rdi
callq 0x6470
movsd 0x178bf(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xc50(%rbp)
leaq 0x5339b(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xc48(%rbp)
jmp 0xb42b2
leaq -0x239(%rbp), %rdi
movq %rdi, -0xc58(%rbp)
callq 0x67b0
movq -0xc58(%rbp), %rdx
leaq 0x17969(%rip), %rsi     # 0xcbc3c
leaq -0x238(%rbp), %rdi
callq 0x65e0
jmp 0xb42e1
movq -0xc48(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xc60(%rbp)
jmp 0xb42fd
movq -0xc60(%rbp), %rax
movsd -0xc50(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
movsd 0x177f0(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xc70(%rbp)
leaq -0x261(%rbp), %rdi
movq %rdi, -0xc68(%rbp)
callq 0x67b0
movq -0xc68(%rbp), %rdx
leaq 0x17bb6(%rip), %rsi     # 0xcbf14
leaq -0x260(%rbp), %rdi
callq 0x65e0
jmp 0xb436c
leaq -0x1a0(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xc78(%rbp)
jmp 0xb4388
movq -0xc78(%rbp), %rdi
leaq 0x532a2(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xc80(%rbp)
jmp 0xb43a4
movq -0xc80(%rbp), %rax
movsd -0xc70(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
movsd 0x17771(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xc90(%rbp)
leaq -0x289(%rbp), %rdi
movq %rdi, -0xc88(%rbp)
callq 0x67b0
movq -0xc88(%rbp), %rdx
leaq 0x17837(%rip), %rsi     # 0xcbc3c
leaq -0x288(%rbp), %rdi
callq 0x65e0
jmp 0xb4413
leaq -0x1a0(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xc98(%rbp)
jmp 0xb442f
movq -0xc98(%rbp), %rdi
leaq 0x531fb(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xca0(%rbp)
jmp 0xb444b
movq -0xca0(%rbp), %rax
movsd -0xc90(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
movsd 0x176c2(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xcb0(%rbp)
leaq -0x2b1(%rbp), %rdi
movq %rdi, -0xca8(%rbp)
callq 0x67b0
movq -0xca8(%rbp), %rdx
leaq 0x182fc(%rip), %rsi     # 0xcc7a8
leaq -0x2b0(%rbp), %rdi
callq 0x65e0
jmp 0xb44ba
leaq -0x1a0(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xcb8(%rbp)
jmp 0xb44d6
movq -0xcb8(%rbp), %rdi
leaq 0x53154(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xcc0(%rbp)
jmp 0xb44f2
movq -0xcc0(%rbp), %rax
movsd -0xcb0(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x2b0(%rbp), %rdi
callq 0x6908
leaq -0x2b1(%rbp), %rdi
callq 0x6470
movsd 0x175f3(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xcd0(%rbp)
leaq -0x2d9(%rbp), %rdi
movq %rdi, -0xcc8(%rbp)
callq 0x67b0
movq -0xcc8(%rbp), %rdx
leaq 0x17819(%rip), %rsi     # 0xcbd6c
leaq -0x2d8(%rbp), %rdi
callq 0x65e0
jmp 0xb4561
leaq -0x1a0(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xcd8(%rbp)
jmp 0xb457d
leaq -0x301(%rbp), %rdi
movq %rdi, -0xce0(%rbp)
callq 0x67b0
movq -0xce0(%rbp), %rdx
leaq 0x16a70(%rip), %rsi     # 0xcb00e
leaq -0x300(%rbp), %rdi
callq 0x65e0
jmp 0xb45ac
movq -0xcd8(%rbp), %rdi
leaq -0x300(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xce8(%rbp)
jmp 0xb45c8
movq -0xce8(%rbp), %rax
movsd -0xcd0(%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 0x1750d(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xcf8(%rbp)
leaq -0x329(%rbp), %rdi
movq %rdi, -0xcf0(%rbp)
callq 0x67b0
movq -0xcf0(%rbp), %rdx
leaq 0x175f9(%rip), %rsi     # 0xcbc3a
leaq -0x328(%rbp), %rdi
callq 0x65e0
jmp 0xb464f
leaq -0x1a0(%rbp), %rdi
leaq -0x328(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd00(%rbp)
jmp 0xb466b
leaq -0x351(%rbp), %rdi
movq %rdi, -0xd08(%rbp)
callq 0x67b0
movq -0xd08(%rbp), %rdx
leaq 0x170ac(%rip), %rsi     # 0xcb738
leaq -0x350(%rbp), %rdi
callq 0x65e0
jmp 0xb469a
movq -0xd00(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd10(%rbp)
jmp 0xb46b6
movq -0xd10(%rbp), %rax
movsd -0xcf8(%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 0x1741f(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xd20(%rbp)
leaq -0x379(%rbp), %rdi
movq %rdi, -0xd18(%rbp)
callq 0x67b0
movq -0xd18(%rbp), %rdx
leaq 0x17009(%rip), %rsi     # 0xcb738
leaq -0x378(%rbp), %rdi
callq 0x65e0
jmp 0xb473d
leaq -0x1a0(%rbp), %rdi
leaq -0x378(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd28(%rbp)
jmp 0xb4759
leaq -0x3a1(%rbp), %rdi
movq %rdi, -0xd30(%rbp)
callq 0x67b0
movq -0xd30(%rbp), %rdx
leaq 0x16894(%rip), %rsi     # 0xcb00e
leaq -0x3a0(%rbp), %rdi
callq 0x65e0
jmp 0xb4788
movq -0xd28(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd38(%rbp)
jmp 0xb47a4
movq -0xd38(%rbp), %rax
movsd -0xd20(%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 0x17331(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xd48(%rbp)
leaq -0x3c9(%rbp), %rdi
movq %rdi, -0xd40(%rbp)
callq 0x67b0
movq -0xd40(%rbp), %rdx
leaq 0x167f1(%rip), %rsi     # 0xcb00e
leaq -0x3c8(%rbp), %rdi
callq 0x65e0
jmp 0xb482b
leaq -0x1a0(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd50(%rbp)
jmp 0xb4847
leaq -0x3f1(%rbp), %rdi
movq %rdi, -0xd58(%rbp)
callq 0x67b0
movq -0xd58(%rbp), %rdx
leaq 0x167a6(%rip), %rsi     # 0xcb00e
leaq -0x3f0(%rbp), %rdi
callq 0x65e0
jmp 0xb4876
movq -0xd50(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd60(%rbp)
jmp 0xb4892
movq -0xd60(%rbp), %rax
movsd -0xd48(%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 0x17243(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xd70(%rbp)
leaq -0x419(%rbp), %rdi
movq %rdi, -0xd68(%rbp)
callq 0x67b0
movq -0xd68(%rbp), %rdx
leaq 0x16703(%rip), %rsi     # 0xcb00e
leaq -0x418(%rbp), %rdi
callq 0x65e0
jmp 0xb4919
leaq -0x1a0(%rbp), %rdi
leaq -0x418(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xd78(%rbp)
jmp 0xb4935
leaq -0x441(%rbp), %rdi
movq %rdi, -0xd80(%rbp)
callq 0x67b0
movq -0xd80(%rbp), %rdx
leaq 0x17e52(%rip), %rsi     # 0xcc7a8
leaq -0x440(%rbp), %rdi
callq 0x65e0
jmp 0xb4964
movq -0xd78(%rbp), %rdi
leaq -0x440(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd88(%rbp)
jmp 0xb4980
movq -0xd88(%rbp), %rax
movsd -0xd70(%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 0x17155(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xd98(%rbp)
leaq -0x469(%rbp), %rdi
movq %rdi, -0xd90(%rbp)
callq 0x67b0
movq -0xd90(%rbp), %rdx
leaq 0x16615(%rip), %rsi     # 0xcb00e
leaq -0x468(%rbp), %rdi
callq 0x65e0
jmp 0xb4a07
leaq -0x1a0(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xda0(%rbp)
jmp 0xb4a23
leaq -0x491(%rbp), %rdi
movq %rdi, -0xda8(%rbp)
callq 0x67b0
movq -0xda8(%rbp), %rdx
leaq 0x174d0(%rip), %rsi     # 0xcbf14
leaq -0x490(%rbp), %rdi
callq 0x65e0
jmp 0xb4a52
movq -0xda0(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xdb0(%rbp)
jmp 0xb4a6e
movq -0xdb0(%rbp), %rax
movsd -0xd98(%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 0x17087(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xdc0(%rbp)
leaq -0x4b9(%rbp), %rdi
movq %rdi, -0xdb8(%rbp)
callq 0x67b0
movq -0xdb8(%rbp), %rdx
leaq 0x17288(%rip), %rsi     # 0xcbd6f
leaq -0x4b8(%rbp), %rdi
callq 0x65e0
jmp 0xb4af5
leaq -0x1a0(%rbp), %rdi
leaq -0x4b8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdc8(%rbp)
jmp 0xb4b11
leaq -0x4e1(%rbp), %rdi
movq %rdi, -0xdd0(%rbp)
callq 0x67b0
movq -0xdd0(%rbp), %rdx
leaq 0x17c76(%rip), %rsi     # 0xcc7a8
leaq -0x4e0(%rbp), %rdi
callq 0x65e0
jmp 0xb4b40
movq -0xdc8(%rbp), %rdi
leaq -0x4e0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xdd8(%rbp)
jmp 0xb4b5c
movq -0xdd8(%rbp), %rax
movsd -0xdc0(%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 0x16f99(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xde8(%rbp)
leaq -0x509(%rbp), %rdi
movq %rdi, -0xde0(%rbp)
callq 0x67b0
movq -0xde0(%rbp), %rdx
leaq 0x1719a(%rip), %rsi     # 0xcbd6f
leaq -0x508(%rbp), %rdi
callq 0x65e0
jmp 0xb4be3
leaq -0x1a0(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdf0(%rbp)
jmp 0xb4bff
leaq -0x531(%rbp), %rdi
movq %rdi, -0xdf8(%rbp)
callq 0x67b0
movq -0xdf8(%rbp), %rdx
leaq 0x163ee(%rip), %rsi     # 0xcb00e
leaq -0x530(%rbp), %rdi
callq 0x65e0
jmp 0xb4c2e
movq -0xdf0(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe00(%rbp)
jmp 0xb4c4a
movq -0xe00(%rbp), %rax
movsd -0xde8(%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 0x16ebb(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xe10(%rbp)
leaq -0x559(%rbp), %rdi
movq %rdi, -0xe08(%rbp)
callq 0x67b0
movq -0xe08(%rbp), %rdx
leaq 0x16a75(%rip), %rsi     # 0xcb738
leaq -0x558(%rbp), %rdi
callq 0x65e0
jmp 0xb4cd1
leaq -0x1a0(%rbp), %rdi
leaq -0x558(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe18(%rbp)
jmp 0xb4ced
leaq -0x581(%rbp), %rdi
movq %rdi, -0xe20(%rbp)
callq 0x67b0
movq -0xe20(%rbp), %rdx
leaq 0x17a9a(%rip), %rsi     # 0xcc7a8
leaq -0x580(%rbp), %rdi
callq 0x65e0
jmp 0xb4d1c
movq -0xe18(%rbp), %rdi
leaq -0x580(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe28(%rbp)
jmp 0xb4d38
movq -0xe28(%rbp), %rax
movsd -0xe10(%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 0x16dcd(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xe38(%rbp)
leaq -0x5a9(%rbp), %rdi
movq %rdi, -0xe30(%rbp)
callq 0x67b0
movq -0xe30(%rbp), %rdx
leaq 0x17163(%rip), %rsi     # 0xcbf14
leaq -0x5a8(%rbp), %rdi
callq 0x65e0
jmp 0xb4dbf
leaq -0x1a0(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe40(%rbp)
jmp 0xb4ddb
leaq -0x5d1(%rbp), %rdi
movq %rdi, -0xe48(%rbp)
callq 0x67b0
movq -0xe48(%rbp), %rdx
leaq 0x17118(%rip), %rsi     # 0xcbf14
leaq -0x5d0(%rbp), %rdi
callq 0x65e0
jmp 0xb4e0a
movq -0xe40(%rbp), %rdi
leaq -0x5d0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe50(%rbp)
jmp 0xb4e26
movq -0xe50(%rbp), %rax
movsd -0xe38(%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 0x16cdf(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xe60(%rbp)
leaq -0x5f9(%rbp), %rdi
movq %rdi, -0xe58(%rbp)
callq 0x67b0
movq -0xe58(%rbp), %rdx
leaq 0x16ecd(%rip), %rsi     # 0xcbd6c
leaq -0x5f8(%rbp), %rdi
callq 0x65e0
jmp 0xb4ead
leaq -0x1a0(%rbp), %rdi
leaq -0x5f8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe68(%rbp)
jmp 0xb4ec9
leaq -0x621(%rbp), %rdi
movq %rdi, -0xe70(%rbp)
callq 0x67b0
movq -0xe70(%rbp), %rdx
leaq 0x178be(%rip), %rsi     # 0xcc7a8
leaq -0x620(%rbp), %rdi
callq 0x65e0
jmp 0xb4ef8
movq -0xe68(%rbp), %rdi
leaq -0x620(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe78(%rbp)
jmp 0xb4f14
movq -0xe78(%rbp), %rax
movsd -0xe60(%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 0x16bf1(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xe88(%rbp)
leaq -0x649(%rbp), %rdi
movq %rdi, -0xe80(%rbp)
callq 0x67b0
movq -0xe80(%rbp), %rdx
leaq 0x16de2(%rip), %rsi     # 0xcbd6f
leaq -0x648(%rbp), %rdi
callq 0x65e0
jmp 0xb4f9b
leaq -0x1a0(%rbp), %rdi
leaq -0x648(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe90(%rbp)
jmp 0xb4fb7
leaq -0x671(%rbp), %rdi
movq %rdi, -0xe98(%rbp)
callq 0x67b0
movq -0xe98(%rbp), %rdx
leaq 0x16f3c(%rip), %rsi     # 0xcbf14
leaq -0x670(%rbp), %rdi
callq 0x65e0
jmp 0xb4fe6
movq -0xe90(%rbp), %rdi
leaq -0x670(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xea0(%rbp)
jmp 0xb5002
movq -0xea0(%rbp), %rax
movsd -0xe88(%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 0x16b03(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xeb0(%rbp)
leaq -0x699(%rbp), %rdi
movq %rdi, -0xea8(%rbp)
callq 0x67b0
movq -0xea8(%rbp), %rdx
leaq 0x16bc1(%rip), %rsi     # 0xcbc3c
leaq -0x698(%rbp), %rdi
callq 0x65e0
jmp 0xb5089
leaq -0x1a0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xeb8(%rbp)
jmp 0xb50a5
leaq -0x6c1(%rbp), %rdi
movq %rdi, -0xec0(%rbp)
callq 0x67b0
movq -0xec0(%rbp), %rdx
leaq 0x16e4e(%rip), %rsi     # 0xcbf14
leaq -0x6c0(%rbp), %rdi
callq 0x65e0
jmp 0xb50d4
movq -0xeb8(%rbp), %rdi
leaq -0x6c0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xec8(%rbp)
jmp 0xb50f0
movq -0xec8(%rbp), %rax
movsd -0xeb0(%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 0x16a15(%rip), %xmm0    # 0xcbb50
callq 0x6370
movsd %xmm0, -0xed8(%rbp)
leaq -0x6e9(%rbp), %rdi
movq %rdi, -0xed0(%rbp)
callq 0x67b0
movq -0xed0(%rbp), %rdx
leaq 0x1763f(%rip), %rsi     # 0xcc7a8
leaq -0x6e8(%rbp), %rdi
callq 0x65e0
jmp 0xb5177
leaq -0x1a0(%rbp), %rdi
leaq -0x6e8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xee0(%rbp)
jmp 0xb5193
leaq -0x711(%rbp), %rdi
movq %rdi, -0xee8(%rbp)
callq 0x67b0
movq -0xee8(%rbp), %rdx
leaq 0x16d60(%rip), %rsi     # 0xcbf14
leaq -0x710(%rbp), %rdi
callq 0x65e0
jmp 0xb51c2
movq -0xee0(%rbp), %rdi
leaq -0x710(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xef0(%rbp)
jmp 0xb51de
movq -0xef0(%rbp), %rax
movsd -0xed8(%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, -0xef8(%rbp)
callq 0x67b0
movq -0xef8(%rbp), %rdx
leaq 0x169fa(%rip), %rsi     # 0xcbc3c
leaq -0x738(%rbp), %rdi
callq 0x65e0
jmp 0xb5250
leaq -0x739(%rbp), %rdi
callq 0x6470
leaq 0x523d5(%rip), %rdx     # 0x107638
leaq -0x7b8(%rbp), %rdi
leaq -0x738(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xb5285
leaq -0x7e8(%rbp), %rdi
movq %rdi, -0xf08(%rbp)
callq 0x4bd30
movq -0xf08(%rbp), %rdx
leaq -0x1a0(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
callq 0x45f80
movsd %xmm0, -0xf00(%rbp)
jmp 0xb52bc
movsd -0xf00(%rbp), %xmm0
movsd %xmm0, -0x7f0(%rbp)
leaq -0x889(%rbp), %rdi
movq %rdi, -0xf10(%rbp)
callq 0x67b0
movq -0xf10(%rbp), %rdx
leaq 0x174b9(%rip), %rsi     # 0xcc7a6
leaq -0x888(%rbp), %rdi
callq 0x65e0
jmp 0xb52fb
leaq 0x52336(%rip), %rdx     # 0x107638
leaq -0x868(%rbp), %rdi
leaq -0x888(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xb5324
leaq -0x888(%rbp), %rdi
callq 0x6908
leaq -0x889(%rbp), %rdi
callq 0x6470
leaq -0x929(%rbp), %rdi
movq %rdi, -0xf18(%rbp)
callq 0x67b0
movq -0xf18(%rbp), %rdx
leaq 0x1744e(%rip), %rsi     # 0xcc7ab
leaq -0x928(%rbp), %rdi
callq 0x65e0
jmp 0xb536b
leaq 0x522c6(%rip), %rdx     # 0x107638
leaq -0x908(%rbp), %rdi
leaq -0x928(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xb5394
leaq -0x928(%rbp), %rdi
callq 0x6908
leaq -0x929(%rbp), %rdi
callq 0x6470
leaq 0x52285(%rip), %rsi     # 0x107638
leaq -0xa28(%rbp), %rdi
callq 0xc0180
jmp 0xb53c1
leaq -0xa28(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xb53db
leaq -0xa28(%rbp), %rdi
leaq -0x868(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xb53f5
leaq -0xa28(%rbp), %rdi
leaq -0x908(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xb540f
leaq -0xa28(%rbp), %rdi
callq 0x32390
jmp 0xb541d
leaq -0x1a0(%rbp), %rdi
leaq -0xa28(%rbp), %rsi
callq 0x476d0
jmp 0xb5432
leaq -0xa58(%rbp), %rdi
movq %rdi, -0xf28(%rbp)
callq 0x4bd30
movq -0xf28(%rbp), %rdx
leaq -0xa28(%rbp), %rdi
leaq -0x738(%rbp), %rsi
callq 0x49f30
movsd %xmm0, -0xf20(%rbp)
jmp 0xb5469
movsd -0xf20(%rbp), %xmm0
movsd %xmm0, -0xa60(%rbp)
movq 0x52170(%rip), %rax     # 0x1075f0
movq %rax, -0xf30(%rbp)
leaq 0x166da(%rip), %rsi     # 0xcbb68
leaq -0xa70(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xb54a1
leaq -0xa80(%rbp), %rdi
callq 0x70c00
jmp 0xb54af
movq -0xf30(%rbp), %rdi
leaq -0xa70(%rbp), %rsi
movl $0x4bc, %edx            # imm = 0x4BC
leaq -0xa80(%rbp), %rcx
callq 0x6840
jmp 0xb54d0
callq 0x70e90
movq %rax, -0xf38(%rbp)
jmp 0xb54de
movq -0xf38(%rbp), %rsi
leaq 0x15e3e(%rip), %rdx     # 0xcb32a
leaq -0xaa8(%rbp), %rdi
callq 0x70e50
jmp 0xb54fa
leaq 0x16667(%rip), %rsi     # 0xcbb68
leaq -0xab8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xb5514
movsd 0x51f94(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xf40(%rbp)
jmp 0xb552b
movsd -0xf40(%rbp), %xmm0
movsd %xmm0, -0xac0(%rbp)
leaq 0x167a3(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0xac0(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x17216(%rip), %rcx     # 0xcc771
movq %rcx, 0x10(%rax)
leaq -0xa60(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x17205(%rip), %rcx     # 0xcc776
movq %rcx, (%rax)
leaq -0xaa8(%rbp), %rdi
leaq -0xab8(%rbp), %rsi
movl $0x4bc, %edx            # imm = 0x4BC
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x7f0(%rbp), %r9
callq 0xbf6a0
jmp 0xb55a0
leaq -0xaa8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xf41(%rbp)
jmp 0xb55b9
movb -0xf41(%rbp), %al
testb $0x1, %al
jne 0xb5479
jmp 0xb55c9
jmp 0xb55cb
movq 0x5201e(%rip), %rax     # 0x1075f0
movq %rax, -0xf50(%rbp)
leaq 0x16588(%rip), %rsi     # 0xcbb68
leaq -0xad0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xb55f3
leaq -0xae0(%rbp), %rdi
callq 0x70c00
jmp 0xb5601
movq -0xf50(%rbp), %rdi
leaq -0xad0(%rbp), %rsi
movl $0x4bd, %edx            # imm = 0x4BD
leaq -0xae0(%rbp), %rcx
callq 0x6840
jmp 0xb5622
leaq -0x7e8(%rbp), %rdi
leaq -0xa58(%rbp), %rsi
callq 0xc0330
movb %al, -0xf51(%rbp)
jmp 0xb563d
movb -0xf51(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xaf8(%rbp), %rdi
callq 0x70ed0
jmp 0xb5657
callq 0x70e90
movq %rax, -0xf60(%rbp)
jmp 0xb5665
leaq 0x1710d(%rip), %rsi     # 0xcc779
leaq -0xb28(%rbp), %rdi
movl $0x13, %edx
callq 0x70bd0
jmp 0xb567f
movq -0xf60(%rbp), %rsi
leaq -0xb18(%rbp), %rdi
leaq -0xb28(%rbp), %rdx
callq 0x70f10
jmp 0xb569b
leaq 0x164c6(%rip), %rsi     # 0xcbb68
leaq -0xb38(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xb56b5
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xaf8(%rbp), %rdi
leaq -0xb18(%rbp), %rsi
leaq -0xb38(%rbp), %rdx
movl $0x4bd, %ecx            # imm = 0x4BD
movl $0x1, %r8d
callq 0x6810
jmp 0xb56ec
leaq -0xb18(%rbp), %rdi
callq 0x70f50
leaq -0xaf8(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0xf61(%rbp)
jmp 0xb5711
movb -0xf61(%rbp), %al
testb $0x1, %al
jne 0xb55cb
jmp 0xb5721
leaq -0xa58(%rbp), %rdi
callq 0x4bd50
leaq -0xa28(%rbp), %rdi
callq 0x2fe10
leaq -0x908(%rbp), %rdi
callq 0x26180
leaq -0x868(%rbp), %rdi
callq 0x26180
leaq -0x7e8(%rbp), %rdi
callq 0x4bd50
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 $0xfc0, %rsp            # imm = 0xFC0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5908
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58fc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb58b4
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, -0xf78(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0xf70(%rbp)
movq -0xf70(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xf80(%rbp)
callq 0x6908
movq -0xf78(%rbp), %rcx
movq -0xf80(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xf70(%rbp)
jne 0xb5881
jmp 0xb58b4
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 0xb591f
jmp 0xb596c
movq -0x150(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0xf88(%rbp)
je 0xb596a
movq -0xf88(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xf90(%rbp)
callq 0x6908
movq -0xf90(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0xf88(%rbp)
jne 0xb5939
jmp 0xb596c
jmp 0xb6464
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb59ba
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb59fd
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5a40
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5a83
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5ac6
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5b09
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5b4c
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5bcf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5bc3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5bb7
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5c52
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5c46
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5c3a
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5cd5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5cc9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5cbd
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5d58
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5d4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5d40
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5ddb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5dcf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5dc3
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5e5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5e52
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5e46
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5ee1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5ed5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5ec9
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5f64
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5f58
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5f4c
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5fdb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb5fcf
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb606a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb605e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6052
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb60ed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb60e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb60d5
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6170
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6164
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6158
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb61f3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb61e7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb61db
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6276
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb626a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb625e
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 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x739(%rbp), %rdi
callq 0x6470
jmp 0xb644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6443
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb642b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb630a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x888(%rbp), %rdi
callq 0x6908
leaq -0x889(%rbp), %rdi
callq 0x6470
jmp 0xb642b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb634d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x928(%rbp), %rdi
callq 0x6908
leaq -0x929(%rbp), %rdi
callq 0x6470
jmp 0xb641f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6413
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb6407
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb63fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xaa8(%rbp), %rdi
callq 0x70ea0
jmp 0xb63fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xb63ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xb18(%rbp), %rdi
callq 0x70f50
leaq -0xaf8(%rbp), %rdi
callq 0x70f70
leaq -0xa58(%rbp), %rdi
callq 0x4bd50
leaq -0xa28(%rbp), %rdi
callq 0x2fe10
leaq -0x908(%rbp), %rdi
callq 0x26180
leaq -0x868(%rbp), %rdi
callq 0x26180
leaq -0x7e8(%rbp), %rdi
callq 0x4bd50
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