// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionForwardBackwardBlockFactor::test_method()
BOOST_AUTO_TEST_CASE(TransitionForwardBackwardBlockFactor)
{
    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);

    string sentence("kissa");
    FactorGraph fg(sentence, start_end, vocab, 5);
    transitions_t stats;
    flt_type lp = forward_backward(transitions, fg, stats, string("k"));
    BOOST_CHECK_EQUAL(12, transition_count(stats));
    BOOST_CHECK_CLOSE( 0.07445323406235459, stats["kissa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.07445323406235459, stats[start_end]["kissa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.5695672405770126, stats["sa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.3559795253606329, stats["a"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.09306654257794324, stats["s"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.3559795253606329, stats["s"]["a"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.05816658911121452, stats["s"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.47650069799906936, stats["kis"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.29781293624941835, stats["kis"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.7743136342484878, stats[start_end]["kis"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.15123313168915775, stats["ki"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.15123313168915775, stats[start_end]["ki"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( -2.00758610458, lp, DBL_ACCURACY );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x4d8, %rsp            # imm = 0x4D8
leaq 0xce79(%rip), %rsi      # 0x53c52
leaq -0x228(%rbp), %r12
leaq -0x100(%rbp), %rdx
movq %r12, %rdi
callq 0x5160
leaq -0x208(%rbp), %r13
leaq 0xc96b(%rip), %rsi      # 0x53768
leaq -0xd0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1e8(%rbp), %r13
leaq 0xc1f4(%rip), %rsi      # 0x5300e
leaq -0x120(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1c8(%rbp), %r13
leaq 0xd0f5(%rip), %rsi      # 0x53f2c
leaq -0x58(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1a8(%rbp), %r13
leaq 0xd96f(%rip), %rsi      # 0x547c0
leaq -0x80(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x188(%rbp), %r13
leaq 0xcf19(%rip), %rsi      # 0x53d84
leaq -0xa0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x168(%rbp), %r13
leaq 0xceff(%rip), %rsi      # 0x53d87
leaq -0x128(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x148(%rbp), %r13
leaq 0xcdaf(%rip), %rsi      # 0x53c54
leaq -0x38(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x320(%rbp), %rdi
leaq -0x228(%rbp), %rsi
pushq $0x8
popq %rdx
leaq -0x60(%rbp), %rcx
leaq -0x29(%rbp), %r8
callq 0x4ed0a
movl $0xe0, %ebx
leaq (%rbx,%rbp), %rdi
addq $-0x228, %rdi           # imm = 0xFDD8
callq 0x57b8
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x46ed4
leaq -0xf8(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0x29677(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0xcd2b(%rip), %rsi      # 0x53c52
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x228(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movabsq $-0x4019d1bd0105c611, %r13 # imm = 0xBFE62E42FEFA39EF
movq %r13, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x2961f(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0xce05(%rip), %rsi      # 0x53d84
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x228(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movabsq $-0x4009d1bd0105c611, %r15 # imm = 0xBFF62E42FEFA39EF
movq %r15, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x295c7(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0xcdb0(%rip), %rsi      # 0x53d87
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x228(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movabsq $-0x4012adbf0f1f1f89, %rbx # imm = 0xBFED5240F0E0E077
movq %rbx, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x2956f(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0xcc25(%rip), %rsi      # 0x53c54
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x228(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movabsq $-0x3ffd944e444aaaeb, %r12 # imm = 0xC0026BB1BBB55515
movq %r12, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xcebb(%rip), %rsi      # 0x53f2c
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x294ea(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r13, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xcb98(%rip), %rsi      # 0x53c54
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2949f(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r12, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xd6b9(%rip), %rsi      # 0x547c0
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x29454(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %rbx, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xcc32(%rip), %rsi      # 0x53d84
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xbe8c(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r15, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xca8f(%rip), %rsi      # 0x53c52
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xc575(%rip), %rsi      # 0x53768
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r13, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xc534(%rip), %rsi      # 0x53768
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xbdaa(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r13, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xbd69(%rip), %rsi      # 0x5300e
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xbd39(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r13, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xbcf8(%rip), %rsi      # 0x5300e
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xd47a(%rip), %rsi      # 0x547c0
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r13, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xbc87(%rip), %rsi      # 0x5300e
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xcb75(%rip), %rsi      # 0x53f2c
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %r13, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xc98f(%rip), %rsi      # 0x53d87
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xd398(%rip), %rsi      # 0x547c0
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %rbx, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xc91e(%rip), %rsi      # 0x53d87
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xbb75(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movq %rbx, (%rax)
leaq -0xd0(%rbp), %rdi
callq 0x57b8
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0xc77a(%rip), %rsi      # 0x53c54
leaq -0x120(%rbp), %rdi
leaq -0x228(%rbp), %rdx
callq 0x5160
leaq 0x29094(%rip), %rdx     # 0x70588
leaq -0x228(%rbp), %rdi
leaq -0x120(%rbp), %rsi
leaq -0x320(%rbp), %rcx
pushq $0x5
popq %r8
xorl %r9d, %r9d
callq 0xf742
leaq -0xc8(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0xc71a(%rip), %rsi      # 0x53c52
leaq -0x58(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
leaq -0x58(%rbp), %rcx
callq 0x1905e
movsd %xmm0, -0x230(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x57b8
movsd -0x230(%rbp), %xmm0
movsd %xmm0, -0x128(%rbp)
movq 0x28fb5(%rip), %rdi     # 0x70540
leaq 0xc5ee(%rip), %r14      # 0x53b80
leaq -0x500(%rbp), %rsi
movq %r14, (%rsi)
leaq 0xc5eb(%rip), %r15      # 0x53b8e
movq %r15, 0x8(%rsi)
leaq 0xc467(%rip), %rax      # 0x53a15
leaq -0x4f0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x455, %edx            # imm = 0x455
callq 0x5710
leaq -0x58(%rbp), %r12
movb $0x0, 0x8(%r12)
leaq 0x28509(%rip), %rax     # 0x6fae0
movq %rax, (%r12)
movq 0x289ce(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%r12)
leaq 0xbd69(%rip), %rax      # 0x53357
movq %rax, 0x18(%r12)
leaq -0x4e0(%rbp), %r13
movq %r14, (%r13)
movq %r15, 0x8(%r13)
leaq -0x80(%rbp), %rbx
movl $0xc, (%rbx)
leaq -0xd0(%rbp), %rdi
callq 0x38334
movl %eax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0xcc1d(%rip), %rax      # 0x54246
leaq 0xd07d(%rip), %r10      # 0x546ad
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
movl $0x455, %edx            # imm = 0x455
movq %r12, %rdi
movq %r13, %rsi
movq %rbx, %r9
pushq %rax
leaq -0xa0(%rbp), %rax
pushq %rax
pushq %r10
callq 0x4ea09
addq $0x20, %rsp
movq 0x28ee0(%rip), %rdi     # 0x70540
leaq -0x4d0(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x4c0(%rbp), %rcx
leaq 0xc399(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x456, %edx            # imm = 0x456
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x28448(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2890d(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xbca9(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2f0(%rbp)
movq %r15, -0x2e8(%rbp)
movabsq $0x3fb30f5dfd611647, %r13 # imm = 0x3FB30F5DFD611647
movq %r13, -0xa0(%rbp)
leaq 0xc57c(%rip), %rsi      # 0x53c54
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x28e8c(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x28cf4(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xc5e1(%rip), %r11      # 0x53cfd
leaq 0xccf5(%rip), %r10      # 0x54418
leaq 0xcf86(%rip), %r12      # 0x546b0
leaq -0x58(%rbp), %rdi
leaq -0x2f0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x456, %edx            # imm = 0x456
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28dd2(%rip), %rdi     # 0x70540
leaq -0x4b0(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x4a0(%rbp), %rcx
leaq 0xc28b(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x457, %edx            # imm = 0x457
callq 0x5710
movq %r15, %rbx
movb $0x0, -0x50(%rbp)
leaq 0x28337(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x287fc(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xbb98(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2e0(%rbp)
movq %r15, -0x2d8(%rbp)
movq %r13, -0xa0(%rbp)
leaq 0x28da9(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
movq %rbx, %r13
leaq 0xc45c(%rip), %rsi      # 0x53c54
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x28be7(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xcc09(%rip), %r10      # 0x54432
leaq -0x58(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x457, %edx            # imm = 0x457
leaq 0xc4af(%rip), %r11      # 0x53cfd
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28ccc(%rip), %rdi     # 0x70540
leaq -0x490(%rbp), %rsi
movq %r14, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x480(%rbp), %rcx
leaq 0xc185(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x458, %edx            # imm = 0x458
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x28234(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x286f9(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xba95(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2d0(%rbp)
movq %r13, -0x2c8(%rbp)
movabsq $0x3fe239e513e4d6e7, %rax # imm = 0x3FE239E513E4D6E7
movq %rax, -0xa0(%rbp)
leaq 0xced4(%rip), %rsi      # 0x547c0
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
movq %r13, %r15
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x28c75(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x28add(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xcb2c(%rip), %r10      # 0x5445f
leaq 0xcd8a(%rip), %r11      # 0x546c4
leaq -0x58(%rbp), %rdi
leaq -0x2d0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x458, %edx            # imm = 0x458
leaq 0xc39e(%rip), %rbx      # 0x53cfd
pushq %rbx
leaq -0x38(%rbp), %rbx
pushq %rbx
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28bbd(%rip), %rdi     # 0x70540
leaq -0x470(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x460(%rbp), %rcx
leaq 0xc076(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x459, %edx            # imm = 0x459
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x28125(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x285ea(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb986(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2c0(%rbp)
movq %r15, -0x2b8(%rbp)
movabsq $0x3fd6c85e58de0ca1, %r13 # imm = 0x3FD6C85E58DE0CA1
movq %r13, -0xa0(%rbp)
leaq 0xc531(%rip), %rsi      # 0x53f2c
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x28b69(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x289d1(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xc9af(%rip), %r10      # 0x543ee
leaq 0xcc91(%rip), %r12      # 0x546d7
leaq -0x58(%rbp), %rdi
leaq -0x2c0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x459, %edx            # imm = 0x459
leaq 0xc292(%rip), %r11      # 0x53cfd
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28aaf(%rip), %rdi     # 0x70540
leaq -0x450(%rbp), %rsi
leaq 0xc0e1(%rip), %r14      # 0x53b80
movq %r14, (%rsi)
leaq 0xc0e5(%rip), %r15      # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x440(%rbp), %rcx
leaq 0xbf5a(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45a, %edx            # imm = 0x45A
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x28009(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x284ce(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb86a(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2b0(%rbp)
movq %r15, -0x2a8(%rbp)
movabsq $0x3fb7d3357cb95bd9, %rax # imm = 0x3FB7D3357CB95BD9
movq %rax, -0x38(%rbp)
leaq 0xb4fa(%rip), %rsi      # 0x5300e
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xcc85(%rip), %rsi      # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2889e(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc928(%rip), %r10      # 0x5449a
leaq 0xcb71(%rip), %r11      # 0x546ea
leaq -0x58(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x45a, %edx            # imm = 0x45A
leaq 0xc162(%rip), %rbx      # 0x53cfd
pushq %rbx
leaq -0x60(%rbp), %rbx
pushq %rbx
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28975(%rip), %rdi     # 0x70540
leaq -0x430(%rbp), %rsi
leaq 0xbfa7(%rip), %r14      # 0x53b80
movq %r14, (%rsi)
leaq 0xbfab(%rip), %r15      # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x420(%rbp), %rcx
leaq 0xbe20(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45b, %edx            # imm = 0x45B
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x27ecf(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x28394(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb730(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2a0(%rbp)
movq %r15, -0x298(%rbp)
movq %r13, -0x38(%rbp)
leaq 0xb3ca(%rip), %rsi      # 0x5300e
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xc2c1(%rip), %rsi      # 0x53f2c
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq 0xbefe(%rip), %r13      # 0x53b80
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x28767(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc7cd(%rip), %r10      # 0x54476
leaq -0x58(%rbp), %rdi
leaq -0x2a0(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x45b, %edx            # imm = 0x45B
leaq 0xc032(%rip), %r11      # 0x53cfd
pushq %r11
leaq -0x60(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28843(%rip), %rdi     # 0x70540
leaq -0x410(%rbp), %rsi
movq %r13, (%rsi)
leaq 0xbe80(%rip), %r14      # 0x53b8e
movq %r14, 0x8(%rsi)
leaq -0x400(%rbp), %rcx
leaq 0xbcf5(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45c, %edx            # imm = 0x45C
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x27da4(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x28269(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb605(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x290(%rbp)
movq %r14, -0x288(%rbp)
movabsq $0x3fadc802dbe7b2cf, %rax # imm = 0x3FADC802DBE7B2CF
movq %rax, -0x38(%rbp)
leaq 0xb295(%rip), %rsi      # 0x5300e
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
movq %r13, %r12
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xb26b(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq 0xbdd4(%rip), %r13      # 0x53b8e
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2862f(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc755(%rip), %r10      # 0x54536
leaq 0xc916(%rip), %r11      # 0x546fe
leaq -0x58(%rbp), %rdi
leaq -0x290(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x45c, %edx            # imm = 0x45C
leaq 0xbef3(%rip), %rbx      # 0x53cfd
pushq %rbx
leaq -0x60(%rbp), %rbx
pushq %rbx
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28706(%rip), %rdi     # 0x70540
leaq -0x3f0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3e0(%rbp), %rcx
leaq 0xbbbf(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45d, %edx            # imm = 0x45D
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x27c6e(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x28133(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb4cf(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x280(%rbp)
movq %r13, -0x278(%rbp)
movabsq $0x3fde7efcc89b56d8, %rax # imm = 0x3FDE7EFCC89B56D8
movq %rax, -0x38(%rbp)
leaq 0xbed8(%rip), %rsi      # 0x53d87
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xc8ea(%rip), %rsi      # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x28503(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc5b1(%rip), %r10      # 0x544be
leaq 0xc7fe(%rip), %r11      # 0x54712
leaq -0x58(%rbp), %rdi
leaq -0x280(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x45d, %edx            # imm = 0x45D
leaq 0xbdc7(%rip), %rbx      # 0x53cfd
pushq %rbx
leaq -0x60(%rbp), %rbx
pushq %rbx
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x285da(%rip), %rdi     # 0x70540
leaq -0x3d0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3c0(%rbp), %rcx
leaq 0xba93(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45e, %edx            # imm = 0x45E
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x27b42(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x28007(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb3a3(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x270(%rbp)
movq %r13, -0x268(%rbp)
movabsq $0x3fd30f5dfd611647, %rax # imm = 0x3FD30F5DFD611647
movq %rax, -0x38(%rbp)
leaq 0xbdac(%rip), %rsi      # 0x53d87
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
movq %r12, %r13
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xb009(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x283d4(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc4a9(%rip), %r10      # 0x544e5
leaq 0xc6e3(%rip), %r11      # 0x54726
leaq -0x58(%rbp), %rdi
leaq -0x270(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r12
movl $0x45e, %edx            # imm = 0x45E
movq %r12, %r9
leaq 0xbc95(%rip), %rbx      # 0x53cfd
pushq %rbx
leaq -0x60(%rbp), %rbx
pushq %rbx
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x284a8(%rip), %rdi     # 0x70540
leaq -0x3b0(%rbp), %rsi
movq %r13, (%rsi)
leaq 0xbae5(%rip), %r14      # 0x53b8e
movq %r14, 0x8(%rsi)
leaq -0x3a0(%rbp), %rcx
leaq 0xb95a(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x45f, %edx            # imm = 0x45F
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x27a09(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x27ece(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb26a(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x260(%rbp)
movq %r14, -0x258(%rbp)
movabsq $0x3fe8c72d62fe3690, %rax # imm = 0x3FE8C72D62FE3690
movq %rax, -0xa0(%rbp)
leaq 0x28471(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0xbc5a(%rip), %rsi      # 0x53d87
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %r14
movq %r14, %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x282af(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xc3a9(%rip), %r10      # 0x5450a
leaq 0xc5d2(%rip), %r11      # 0x5473a
leaq -0x58(%rbp), %rdi
leaq -0x260(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x45f, %edx            # imm = 0x45F
leaq 0xbb70(%rip), %rbx      # 0x53cfd
pushq %rbx
pushq %r12
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x28392(%rip), %rdi     # 0x70540
leaq -0x390(%rbp), %rsi
movq %r13, (%rsi)
leaq 0xb9cf(%rip), %r15      # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x380(%rbp), %rcx
leaq 0xb844(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x460, %edx            # imm = 0x460
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x278f3(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x27db8(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb154(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x250(%rbp)
movq %r15, -0x248(%rbp)
movabsq $0x3fc35b9b75569aa0, %r13 # imm = 0x3FC35B9B75569AA0
movq %r13, -0x38(%rbp)
leaq 0xbb5a(%rip), %rsi      # 0x53d84
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0xadbd(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x28188(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0xc31c(%rip), %r10      # 0x545a4
leaq 0xc4be(%rip), %r12      # 0x5474d
leaq -0x58(%rbp), %rdi
leaq -0x250(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r15
movl $0x460, %edx            # imm = 0x460
movq %r15, %r9
leaq 0xba49(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2825e(%rip), %rdi     # 0x70540
leaq -0x370(%rbp), %rsi
leaq 0xb890(%rip), %r14      # 0x53b80
movq %r14, (%rsi)
leaq 0xb894(%rip), %rbx      # 0x53b8e
movq %rbx, 0x8(%rsi)
leaq -0x360(%rbp), %rcx
leaq 0xb709(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x461, %edx            # imm = 0x461
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x277b8(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x27c7d(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0xb019(%rip), %rax      # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x240(%rbp)
movq %rbx, -0x238(%rbp)
movq %r13, -0xa0(%rbp)
leaq 0x2822a(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r14
leaq 0xba10(%rip), %rsi      # 0x53d84
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
leaq 0xb7ec(%rip), %r13      # 0x53b80
movsd 0x28064(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0xc209(%rip), %r10      # 0x545b5
leaq -0x58(%rbp), %rdi
leaq -0x240(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r14
movl $0x461, %edx            # imm = 0x461
movq %r14, %r9
leaq 0xb929(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r15
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2814a(%rip), %rdi     # 0x70540
leaq -0x350(%rbp), %rsi
movq %r13, (%rsi)
leaq 0xb787(%rip), %r15      # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x340(%rbp), %rcx
leaq 0xb5fc(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x462, %edx            # imm = 0x462
callq 0x5710
leaq -0x58(%rbp), %rdi
movb $0x0, 0x8(%rdi)
leaq 0x276a7(%rip), %rax     # 0x6fae0
movq %rax, (%rdi)
movq 0x27b6d(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rdi)
leaq 0xaf09(%rip), %rax      # 0x53357
movq %rax, 0x18(%rdi)
leaq -0x330(%rbp), %rsi
movq %r13, (%rsi)
movq %r15, 0x8(%rsi)
movabsq $-0x3ffff076b247661f, %rax # imm = 0xC0000F894DB899E1
leaq -0x80(%rbp), %r9
movq %rax, (%r9)
movsd 0x27f87(%rip), %xmm0    # 0x70400
movsd %xmm0, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0xc302(%rip), %rax      # 0x5478e
leaq 0xc2ce(%rip), %r10      # 0x54761
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
movl $0x462, %edx            # imm = 0x462
leaq 0xb857(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %rax
leaq -0x128(%rbp), %rax
pushq %rax
pushq %r10
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xd0(%rbp), %rdi
callq 0x1bb0c
leaq -0x228(%rbp), %rdi
callq 0x10c24
leaq -0x120(%rbp), %rdi
callq 0x57b8
leaq -0x100(%rbp), %rdi
callq 0x1bb0c
leaq -0x320(%rbp), %rdi
callq 0x200e8
addq $0x4d8, %rsp            # imm = 0x4D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4876d
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4876d
jmp 0x4859a
jmp 0x4859a
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4876d
jmp 0x4859a
jmp 0x4859a
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4859a
jmp 0x4859a
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4859a
jmp 0x4859a
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4859a
jmp 0x4859a
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4859a
movq %rax, %rbx
leaq -0xa0(%rbp), %rdi
callq 0x57b8
jmp 0x4874d
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4874a
jmp 0x4876d
jmp 0x4874a
jmp 0x4876d
jmp 0x4874a
jmp 0x4874a
jmp 0x4876d
jmp 0x4876d
jmp 0x4874a
jmp 0x4876d
jmp 0x4876d
movq %rax, %rbx
leaq -0x58(%rbp), %rdi
jmp 0x48751
jmp 0x4876d
movq %rax, %rbx
jmp 0x48788
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
jmp 0x48678
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x4875f
jmp 0x4875c
jmp 0x4875c
jmp 0x48768
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x486b1
jmp 0x486ae
movq %rax, %rbx
jmp 0x4875f
jmp 0x48768
jmp 0x48768
jmp 0x48768
jmp 0x48768
jmp 0x4875c
jmp 0x48768
jmp 0x4875c
jmp 0x48768
jmp 0x4875c
jmp 0x48768
jmp 0x4875c
jmp 0x48768
movq %rax, %rbx
movl $0xe0, %r14d
leaq (%r14,%rbp), %rdi
addq $-0x228, %rdi           # imm = 0xFDD8
callq 0x57b8
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x486f2
movb $0x1, %al
jmp 0x48721
jmp 0x4871c
jmp 0x4871c
jmp 0x4871c
jmp 0x4871c
jmp 0x4871c
jmp 0x4871c
movq %rax, %rbx
xorl %eax, %eax
cmpq %r13, %r12
je 0x487ac
testb %al, %al
jne 0x487ac
addq $-0x20, %r13
movq %r13, %rdi
callq 0x57b8
cmpq %r12, %r13
jne 0x4872e
jmp 0x487ac
movq %rax, %rbx
jmp 0x487ac
jmp 0x4874a
jmp 0x4874a
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0x57b8
jmp 0x48770
jmp 0x4875c
jmp 0x4875c
movq %rax, %rbx
leaq -0x228(%rbp), %rdi
jmp 0x4878f
movq %rax, %rbx
jmp 0x48794
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x1bb0c
leaq -0x228(%rbp), %rdi
callq 0x10c24
leaq -0x120(%rbp), %rdi
callq 0x57b8
leaq -0x100(%rbp), %rdi
callq 0x1bb0c
leaq -0x320(%rbp), %rdi
callq 0x200e8
movq %rbx, %rdi
callq 0x56b0