// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionForwardBackwardTest8::test_method()
BOOST_AUTO_TEST_CASE(TransitionForwardBackwardTest8)
{
    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);
    BOOST_CHECK_EQUAL(15, transition_count(stats));
    BOOST_CHECK_SMALL( stats["a"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.11560693641618498, stats["kissa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.11560693641618498, stats[start_end]["kissa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.8843930635838151, stats["sa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats["s"]["a"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats["s"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.7398843930635839, stats["kis"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats["kis"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.7398843930635839, stats[start_end]["kis"], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats["s"]["s"], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats["i"]["s"], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats["k"]["i"], DBL_ACCURACY );
    BOOST_CHECK_SMALL( stats[start_end]["k"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats["ki"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats[start_end]["ki"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( -2.44761086504, lp, DBL_ACCURACY );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x568, %rsp            # imm = 0x568
leaq 0x10641(%rip), %rsi     # 0x53c52
leaq -0x228(%rbp), %r12
leaq -0x108(%rbp), %rdx
movq %r12, %rdi
callq 0x5160
leaq -0x208(%rbp), %r13
leaq 0x10133(%rip), %rsi     # 0x53768
leaq -0xd0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1e8(%rbp), %r13
leaq 0xf9bc(%rip), %rsi      # 0x5300e
leaq -0x128(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1c8(%rbp), %r13
leaq 0x108bd(%rip), %rsi     # 0x53f2c
leaq -0x50(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1a8(%rbp), %r13
leaq 0x11137(%rip), %rsi     # 0x547c0
leaq -0x78(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x188(%rbp), %r13
leaq 0x106e1(%rip), %rsi     # 0x53d84
leaq -0xa0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x168(%rbp), %r13
leaq 0x106c7(%rip), %rsi     # 0x53d87
leaq -0xd8(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x148(%rbp), %r13
leaq 0x10577(%rip), %rsi     # 0x53c54
leaq -0x58(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x348(%rbp), %rdi
leaq -0x228(%rbp), %rsi
pushq $0x8
popq %rdx
leaq -0x80(%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 0x4370c
leaq -0x100(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0x2ce3f(%rip), %rsi     # 0x70588
leaq -0x108(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x104f3(%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 0x2cde7(%rip), %rsi     # 0x70588
leaq -0x108(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x105cd(%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 0x2cd8f(%rip), %rsi     # 0x70588
leaq -0x108(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x10578(%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 0x2cd37(%rip), %rsi     # 0x70588
leaq -0x108(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x103ed(%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 0x10683(%rip), %rsi     # 0x53f2c
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2ccb2(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r13, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x10360(%rip), %rsi     # 0x53c54
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2cc67(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r12, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x10e81(%rip), %rsi     # 0x547c0
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2cc1c(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %rbx, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x103fa(%rip), %rsi     # 0x53d84
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xf654(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0xfd6d(%rip), %rsi      # 0x53768
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xf5e3(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0xf5a2(%rip), %rsi      # 0x5300e
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xf572(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0xf531(%rip), %rsi      # 0x5300e
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0x10cb3(%rip), %rsi     # 0x547c0
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0x10239(%rip), %rsi     # 0x53d87
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0x10c42(%rip), %rsi     # 0x547c0
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0x101c8(%rip), %rsi     # 0x53d87
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0x5160
leaq -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r12
leaq 0xf41f(%rip), %rsi      # 0x5300e
leaq -0xd0(%rbp), %rdi
leaq -0x50(%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 0x10024(%rip), %rsi     # 0x53c54
leaq -0x128(%rbp), %rdi
leaq -0x228(%rbp), %rdx
callq 0x5160
leaq 0x2c93e(%rip), %rdx     # 0x70588
leaq -0x228(%rbp), %rdi
leaq -0x128(%rbp), %rsi
leaq -0x348(%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 -0x108(%rbp), %rdi
leaq -0x228(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
callq 0x18d71
movsd %xmm0, -0xd8(%rbp)
movq 0x2c890(%rip), %rdi     # 0x70540
leaq 0xfec9(%rip), %r15      # 0x53b80
leaq -0x588(%rbp), %rsi
movq %r15, (%rsi)
leaq 0xfec6(%rip), %r14      # 0x53b8e
movq %r14, 0x8(%rsi)
leaq 0xfd42(%rip), %rax      # 0x53a15
leaq -0x578(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3fe, %edx            # imm = 0x3FE
callq 0x5710
leaq -0x50(%rbp), %r12
movb $0x0, 0x8(%r12)
leaq 0x2bde4(%rip), %rax     # 0x6fae0
movq %rax, (%r12)
movq 0x2c2a9(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%r12)
leaq 0xf644(%rip), %rax      # 0x53357
movq %rax, 0x18(%r12)
leaq -0x568(%rbp), %r13
movq %r15, (%r13)
movq %r14, 0x8(%r13)
leaq -0x78(%rbp), %rbx
movl $0xf, (%rbx)
leaq -0xd0(%rbp), %rdi
callq 0x38334
movl %eax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x104f8(%rip), %rax     # 0x54246
leaq 0x10683(%rip), %r10     # 0x543d8
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
movl $0x3fe, %edx            # imm = 0x3FE
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 0x2c7bb(%rip), %rdi     # 0x70540
leaq -0x558(%rbp), %rsi
movq %r15, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x548(%rbp), %rcx
leaq 0xfc74(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3ff, %edx            # imm = 0x3FF
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2bd23(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2c1e8(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf584(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %r15, -0x318(%rbp)
movq %r14, -0x310(%rbp)
leaq 0x10140(%rip), %rsi     # 0x53f2c
leaq -0x78(%rbp), %rdi
leaq -0xa0(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
leaq 0x2c775(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
subq $0x8, %rsp
leaq 0x107d4(%rip), %r11     # 0x545fa
leaq 0x2c5d3(%rip), %rbx     # 0x70400
leaq 0x105ba(%rip), %r10     # 0x543ee
leaq -0x50(%rbp), %rdi
leaq -0x318(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x3ff, %edx            # imm = 0x3FF
movq %rax, %r9
pushq %r11
pushq %rbx
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c6d4(%rip), %rdi     # 0x70540
leaq -0x538(%rbp), %rsi
movq %r15, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x528(%rbp), %rcx
leaq 0xfb8d(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x400, %edx            # imm = 0x400
callq 0x5710
movq %r15, %rbx
movb $0x0, -0x48(%rbp)
leaq 0x2bc39(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2c0fe(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf49a(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %r15, -0x308(%rbp)
movq %r14, -0x300(%rbp)
movabsq $0x3fbd986a8b1927f5, %r15 # imm = 0x3FBD986A8B1927F5
movq %r15, -0xa0(%rbp)
leaq 0xfd6d(%rip), %rsi      # 0x53c54
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
leaq 0x2c67d(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x2c4e5(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x58(%rbp)
subq $0x8, %rsp
leaq 0xfdd2(%rip), %r11      # 0x53cfd
leaq 0x104e6(%rip), %r10     # 0x54418
leaq 0x106ce(%rip), %r12     # 0x54607
leaq -0x50(%rbp), %rdi
leaq -0x308(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x400, %edx            # imm = 0x400
pushq %r11
leaq -0x58(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c5c3(%rip), %rdi     # 0x70540
leaq -0x518(%rbp), %rsi
movq %rbx, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x508(%rbp), %rcx
leaq 0xfa7c(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x401, %edx            # imm = 0x401
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2bb2b(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2bff0(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf38c(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x2f8(%rbp)
movq %r14, -0x2f0(%rbp)
movq %r15, -0xa0(%rbp)
leaq 0x2c59d(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0xfc53(%rip), %rsi      # 0x53c54
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0x78(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2c3de(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x10400(%rip), %r10     # 0x54432
leaq -0x50(%rbp), %rdi
leaq -0x2f8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x401, %edx            # imm = 0x401
leaq 0xfca6(%rip), %r11      # 0x53cfd
pushq %r11
leaq -0x58(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r12
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c4c3(%rip), %rdi     # 0x70540
leaq -0x4f8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x4e8(%rbp), %rcx
leaq 0xf97c(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x402, %edx            # imm = 0x402
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2ba2b(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2bef0(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf28c(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x2e8(%rbp)
movq %r14, -0x2e0(%rbp)
movabsq $0x3fec4cf2ae9cdb02, %rax # imm = 0x3FEC4CF2AE9CDB02
movq %rax, -0xa0(%rbp)
leaq 0x106cb(%rip), %rsi     # 0x547c0
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
leaq 0x2c46f(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x2c2d7(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x10326(%rip), %r10     # 0x5445f
leaq 0x104db(%rip), %r11     # 0x5461b
leaq -0x50(%rbp), %rdi
leaq -0x2e8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x402, %edx            # imm = 0x402
leaq 0xfb98(%rip), %r15      # 0x53cfd
pushq %r15
leaq -0x58(%rbp), %r15
pushq %r15
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c3b5(%rip), %rdi     # 0x70540
leaq -0x4d8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x4c8(%rbp), %rcx
leaq 0xf86e(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x403, %edx            # imm = 0x403
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b91d(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2bde2(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf17e(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x2d8(%rbp)
movq %r14, -0x2d0(%rbp)
leaq 0xee1c(%rip), %rsi      # 0x5300e
leaq -0x78(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
movq %r14, %r12
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0xfd10(%rip), %rsi      # 0x53f2c
leaq -0xa0(%rbp), %rdi
leaq -0x80(%rbp), %r14
movq %r14, %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0x1022d(%rip), %r10     # 0x54476
leaq -0x50(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x403, %edx            # imm = 0x403
movq %rax, %r9
leaq 0x10390(%rip), %rax     # 0x545fa
pushq %rax
leaq 0x2c18e(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c2a6(%rip), %rdi     # 0x70540
leaq -0x4b8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x4a8(%rbp), %rcx
leaq 0xf75f(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x404, %edx            # imm = 0x404
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b80e(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2bcd3(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xf06f(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x2c8(%rbp)
movq %r12, -0x2c0(%rbp)
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0x58(%rbp)
leaq 0xecff(%rip), %rsi      # 0x5300e
leaq -0x78(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0x1048a(%rip), %rsi     # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2c0a3(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x80(%rbp)
subq $0x8, %rsp
leaq 0x1012d(%rip), %r10     # 0x5449a
leaq 0x102ba(%rip), %r15     # 0x5462e
leaq -0x50(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x58(%rbp), %r9
movl $0x404, %edx            # imm = 0x404
leaq 0xf967(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
pushq %r15
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c17c(%rip), %rdi     # 0x70540
leaq -0x498(%rbp), %rsi
movq %rbx, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x488(%rbp), %rcx
leaq 0xf635(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x405, %edx            # imm = 0x405
callq 0x5710
movq %rbx, %rax
movb $0x0, -0x48(%rbp)
leaq 0x2b6e1(%rip), %rcx     # 0x6fae0
movq %rcx, -0x50(%rbp)
movq 0x2bba6(%rip), %rcx     # 0x6ffb0
movq %rcx, -0x40(%rbp)
leaq 0xef42(%rip), %rcx      # 0x53357
movq %rcx, -0x38(%rbp)
movq %rax, %rbx
movq %rax, -0x2b8(%rbp)
movq %r12, %r13
movq %r12, -0x2b0(%rbp)
movabsq $0x3fe7ad2208e0ecc4, %rax # imm = 0x3FE7AD2208E0ECC4
movq %rax, -0x58(%rbp)
leaq 0xf945(%rip), %rsi      # 0x53d87
leaq -0x78(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0x10357(%rip), %rsi     # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2bf70(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x80(%rbp)
subq $0x8, %rsp
leaq 0x1001e(%rip), %r10     # 0x544be
leaq 0x1019b(%rip), %r15     # 0x54642
leaq -0x50(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x58(%rbp), %r9
movl $0x405, %edx            # imm = 0x405
leaq 0xf834(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
pushq %r15
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2c049(%rip), %rdi     # 0x70540
leaq -0x478(%rbp), %rsi
movq %rbx, %r14
movq %rbx, (%rsi)
movq %r13, %r15
movq %r13, 0x8(%rsi)
leaq -0x468(%rbp), %rcx
leaq 0xf4fc(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x406, %edx            # imm = 0x406
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b5ab(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2ba70(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xee0c(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %r14, -0x2a8(%rbp)
movq %r15, -0x2a0(%rbp)
leaq 0xf823(%rip), %rsi      # 0x53d87
leaq -0x78(%rbp), %rdi
leaq -0x58(%rbp), %r14
movq %r14, %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0xea80(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0xff2d(%rip), %r10      # 0x544e5
leaq -0x50(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x406, %edx            # imm = 0x406
movq %rax, %r9
leaq 0x10021(%rip), %rax     # 0x545fa
pushq %rax
leaq 0x2be1f(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2bf37(%rip), %rdi     # 0x70540
leaq -0x458(%rbp), %rsi
movq %rbx, %r15
movq %rbx, (%rsi)
movq %r13, %r12
movq %r13, 0x8(%rsi)
leaq -0x448(%rbp), %rcx
leaq 0xf3ea(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x407, %edx            # imm = 0x407
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b499(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b95e(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xecfa(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %r15, -0x298(%rbp)
movq %r12, -0x290(%rbp)
movabsq $0x3fe7ad2208e0ecc4, %rax # imm = 0x3FE7AD2208E0ECC4
movq %rax, -0xa0(%rbp)
leaq 0x2bf01(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0xf6ea(%rip), %rsi      # 0x53d87
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0x78(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2bd42(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x58(%rbp)
subq $0x8, %rsp
leaq 0xfe3c(%rip), %r10      # 0x5450a
leaq -0x50(%rbp), %rdi
leaq -0x298(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x407, %edx            # imm = 0x407
leaq 0xf60a(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
leaq 0xff41(%rip), %rax      # 0x54642
pushq %rax
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2be25(%rip), %rdi     # 0x70540
leaq -0x438(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x428(%rbp), %rcx
leaq 0xf2de(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x408, %edx            # imm = 0x408
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b38d(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b852(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xebee(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x288(%rbp)
movq %r13, -0x280(%rbp)
leaq 0xe88c(%rip), %rsi      # 0x5300e
leaq -0x78(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xe865(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0xfd63(%rip), %r10      # 0x54536
leaq -0x50(%rbp), %rdi
leaq -0x288(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x408, %edx            # imm = 0x408
movq %rax, %r9
leaq 0xfe06(%rip), %rax      # 0x545fa
pushq %rax
leaq 0x2bc04(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2bd1c(%rip), %rdi     # 0x70540
leaq -0x418(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x408(%rbp), %rcx
leaq 0xf1d5(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x409, %edx            # imm = 0x409
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b284(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b749(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xeae5(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x278(%rbp)
movq %r13, -0x270(%rbp)
leaq 0xeedd(%rip), %rsi      # 0x53768
leaq -0x78(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r14
leaq 0xe75c(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0xfc7e(%rip), %r10      # 0x5455a
leaq -0x50(%rbp), %rdi
leaq -0x278(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x409, %edx            # imm = 0x409
movq %rax, %r9
leaq 0xfcfd(%rip), %rax      # 0x545fa
pushq %rax
leaq 0x2bafb(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2bc13(%rip), %rdi     # 0x70540
leaq -0x3f8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3e8(%rbp), %rcx
leaq 0xf0cc(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x40a, %edx            # imm = 0x40A
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b17b(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b640(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xe9dc(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x268(%rbp)
movq %r13, -0x260(%rbp)
leaq 0xf2be(%rip), %rsi      # 0x53c52
leaq -0x78(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0xedad(%rip), %rsi      # 0x53768
leaq -0xa0(%rbp), %rdi
leaq -0x80(%rbp), %r14
movq %r14, %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0xfb82(%rip), %r10      # 0x5456a
leaq -0x50(%rbp), %rdi
leaq -0x268(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x40a, %edx            # imm = 0x40A
movq %rax, %r9
leaq 0xfbf1(%rip), %rax      # 0x545fa
pushq %rax
leaq 0x2b9ef(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2bb07(%rip), %rdi     # 0x70540
leaq -0x3d8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3c8(%rbp), %rcx
leaq 0xefc0(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x40b, %edx            # imm = 0x40B
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2b06f(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b534(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xe8d0(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x258(%rbp)
movq %r13, -0x250(%rbp)
leaq 0x2bae8(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0xf19c(%rip), %rsi      # 0x53c52
leaq -0x78(%rbp), %rdi
leaq -0xa0(%rbp), %rdx
callq 0x5160
leaq -0x78(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
subq $0x8, %rsp
leaq 0xfa9d(%rip), %r10      # 0x5457a
leaq -0x50(%rbp), %rdi
leaq -0x258(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0xa
popq %r8
movl $0x40b, %edx            # imm = 0x40B
movq %rax, %r9
leaq 0xfafc(%rip), %rax      # 0x545fa
pushq %rax
leaq 0x2b8fa(%rip), %rax     # 0x70400
pushq %rax
pushq %r10
callq 0x4ed8b
addq $0x20, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2ba1e(%rip), %rdi     # 0x70540
leaq -0x3b8(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x3a8(%rbp), %rcx
leaq 0xeed7(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x40c, %edx            # imm = 0x40C
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2af86(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b44b(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xe7e7(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x248(%rbp)
movq %r13, -0x240(%rbp)
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0x58(%rbp)
leaq 0xf1ed(%rip), %rsi      # 0x53d84
leaq -0x78(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0xe450(%rip), %rsi      # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2b81b(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x80(%rbp)
subq $0x8, %rsp
leaq 0xf9af(%rip), %r10      # 0x545a4
leaq -0x50(%rbp), %rdi
leaq -0x248(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x58(%rbp), %r15
movl $0x40c, %edx            # imm = 0x40C
movq %r15, %r9
leaq 0xf0e3(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
leaq 0xfa06(%rip), %rax      # 0x5462e
pushq %rax
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2b8f2(%rip), %rdi     # 0x70540
leaq -0x398(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x388(%rbp), %rcx
leaq 0xedab(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x40d, %edx            # imm = 0x40D
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x2ae5a(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq 0x2b31f(%rip), %rax     # 0x6ffb0
movq %rax, -0x40(%rbp)
leaq 0xe6bb(%rip), %rax      # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x238(%rbp)
movq %r13, -0x230(%rbp)
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0xa0(%rbp)
leaq 0x2b8c2(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r14
leaq 0xf0a8(%rip), %rsi      # 0x53d84
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x5160
leaq -0x78(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2b703(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x58(%rbp)
subq $0x8, %rsp
leaq 0xf8a8(%rip), %r10      # 0x545b5
leaq -0x50(%rbp), %rdi
leaq -0x238(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r14
movl $0x40d, %edx            # imm = 0x40D
movq %r14, %r9
leaq 0xefc8(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r15
pushq %r10
pushq %rax
leaq 0xf8eb(%rip), %rax      # 0x5462e
pushq %rax
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x78(%rbp), %rdi
callq 0x57b8
movq 0x2b7e3(%rip), %rdi     # 0x70540
leaq -0x378(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x368(%rbp), %rcx
leaq 0xec9c(%rip), %rax      # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x40e, %edx            # imm = 0x40E
callq 0x5710
leaq -0x50(%rbp), %rdi
movb $0x0, 0x8(%rdi)
leaq 0x2ad47(%rip), %rax     # 0x6fae0
movq %rax, (%rdi)
movq 0x2b20d(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rdi)
leaq 0xe5a9(%rip), %rax      # 0x53357
movq %rax, 0x18(%rdi)
leaq -0x358(%rbp), %rsi
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
movabsq $-0x3ffc6b4afeaa8d2b, %rax # imm = 0xC00394B5015572D5
leaq -0x78(%rbp), %r9
movq %rax, (%r9)
movsd 0x2b627(%rip), %xmm0    # 0x70400
movsd %xmm0, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0xf9a2(%rip), %rax      # 0x5478e
leaq 0xf862(%rip), %r10      # 0x54655
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
movl $0x40e, %edx            # imm = 0x40E
leaq 0xeef7(%rip), %r11      # 0x53cfd
pushq %r11
pushq %r14
pushq %rax
leaq -0xd8(%rbp), %rax
pushq %rax
pushq %r10
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xd0(%rbp), %rdi
callq 0x1bb0c
leaq -0x228(%rbp), %rdi
callq 0x10c24
leaq -0x128(%rbp), %rdi
callq 0x57b8
leaq -0x108(%rbp), %rdi
callq 0x1bb0c
leaq -0x348(%rbp), %rdi
callq 0x200e8
addq $0x568, %rsp            # imm = 0x568
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450df
jmp 0x450a7
jmp 0x450a7
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450df
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450a7
jmp 0x450a7
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450a7
jmp 0x450a7
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450df
jmp 0x450cc
jmp 0x450cc
jmp 0x450df
jmp 0x450df
jmp 0x450cc
jmp 0x450df
jmp 0x450df
jmp 0x450df
movq %rax, %rbx
jmp 0x450fa
jmp 0x450da
jmp 0x44fbc
jmp 0x450c0
jmp 0x450c0
jmp 0x450da
jmp 0x44fbc
jmp 0x450c0
jmp 0x450c0
jmp 0x450da
jmp 0x44fbc
jmp 0x450c0
jmp 0x450c0
jmp 0x450da
jmp 0x44fbc
jmp 0x450c0
jmp 0x450c0
jmp 0x450da
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x450c3
jmp 0x450c0
jmp 0x450c0
jmp 0x450da
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x44ff5
jmp 0x44ff2
movq %rax, %rbx
jmp 0x450c3
jmp 0x450da
jmp 0x450da
jmp 0x450da
jmp 0x450da
jmp 0x450c0
jmp 0x450da
jmp 0x450c0
jmp 0x450da
jmp 0x450c0
jmp 0x450da
jmp 0x450c0
jmp 0x450da
movq %rax, %rbx
movl $0xe0, %r14d
leaq (%r14,%rbp), %rdi
addq $-0x228, %rdi           # imm = 0xFDD8
callq 0x57b8
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x4503f
movb $0x1, %al
jmp 0x4506e
jmp 0x45069
jmp 0x45069
jmp 0x45069
jmp 0x45069
jmp 0x45069
jmp 0x45069
movq %rax, %rbx
xorl %eax, %eax
cmpq %r13, %r12
je 0x4511e
testb %al, %al
jne 0x4511e
addq $-0x20, %r13
movq %r13, %rdi
callq 0x57b8
cmpq %r12, %r13
jne 0x4507f
jmp 0x4511e
movq %rax, %rbx
jmp 0x4511e
jmp 0x450cc
jmp 0x450a7
jmp 0x450a7
jmp 0x450a7
jmp 0x450a7
movq %rax, %rbx
leaq -0xa0(%rbp), %rdi
callq 0x57b8
jmp 0x450cf
jmp 0x450cc
jmp 0x450cc
jmp 0x450c0
jmp 0x450c0
movq %rax, %rbx
leaq -0x228(%rbp), %rdi
jmp 0x45101
movq %rax, %rbx
leaq -0x78(%rbp), %rdi
callq 0x57b8
jmp 0x450e2
movq %rax, %rbx
jmp 0x45106
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x1bb0c
leaq -0x228(%rbp), %rdi
callq 0x10c24
leaq -0x128(%rbp), %rdi
callq 0x57b8
leaq -0x108(%rbp), %rdi
callq 0x1bb0c
leaq -0x348(%rbp), %rdi
callq 0x200e8
movq %rbx, %rdi
callq 0x56b0