// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionForwardBackwardTest7::test_method()
BOOST_AUTO_TEST_CASE(TransitionForwardBackwardTest7)
{
    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_CLOSE( 0.3626295105394784, stats["a"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.05716327259735619, stats["kissa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.05716327259735619, stats[start_end]["kissa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.5802072168631653, stats["sa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.3626295105394784, stats["s"]["a"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.21436227224008575, stats["s"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.3658449446230797, stats["kis"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.22865309038942486, stats["kis"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.5944980350125045, stats[start_end]["kis"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.13397642015005362, stats["s"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.23222579492675957, stats["i"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.23222579492675957, stats["k"]["i"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.23222579492675957, stats[start_end]["k"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.11611289746337979, stats["ki"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.11611289746337979, stats[start_end]["ki"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( -1.74332651171, 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 0x1270d(%rip), %rsi     # 0x53c52
leaq -0x228(%rbp), %r12
leaq -0x100(%rbp), %rdx
movq %r12, %rdi
callq 0x5160
leaq -0x208(%rbp), %r13
leaq 0x121ff(%rip), %rsi     # 0x53768
leaq -0xd0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1e8(%rbp), %r13
leaq 0x11a88(%rip), %rsi     # 0x5300e
leaq -0x120(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1c8(%rbp), %r13
leaq 0x12989(%rip), %rsi     # 0x53f2c
leaq -0x58(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x1a8(%rbp), %r13
leaq 0x13203(%rip), %rsi     # 0x547c0
leaq -0x80(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x188(%rbp), %r13
leaq 0x127ad(%rip), %rsi     # 0x53d84
leaq -0xa0(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x168(%rbp), %r13
leaq 0x12793(%rip), %rsi     # 0x53d87
leaq -0x128(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x148(%rbp), %r13
leaq 0x12643(%rip), %rsi     # 0x53c54
leaq -0x38(%rbp), %rdx
movq %r13, %rdi
callq 0x5160
leaq -0x348(%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 0x41640
leaq -0xf8(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0x2ef0b(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x125bf(%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 0x2eeb3(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x12699(%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 0x2ee5b(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x12644(%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 0x2ee03(%rip), %rsi     # 0x70588
leaq -0x100(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x124b9(%rip), %rsi     # 0x53c54
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x228(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movabsq $-0x3ffd944e444aaaeb, %r14 # imm = 0xC0026BB1BBB55515
movq %r14, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x1274f(%rip), %rsi     # 0x53f2c
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2ed7e(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r13, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x1242c(%rip), %rsi     # 0x53c54
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2ed33(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %r14, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x12f4d(%rip), %rsi     # 0x547c0
leaq -0x228(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
callq 0x5160
leaq -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x1b6fa
leaq 0x2ece8(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movq %rbx, (%rax)
leaq -0x228(%rbp), %rdi
callq 0x57b8
leaq 0x124c6(%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 0x11720(%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 0x12323(%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 0x11e09(%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 0x11dc8(%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 0x1163e(%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 0x115fd(%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 0x115cd(%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 0x1158c(%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 0x12d0e(%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 0x1151b(%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 0x12409(%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 0x12223(%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 0x12c2c(%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 0x121b2(%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 0x11409(%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 0x1200e(%rip), %rsi     # 0x53c54
leaq -0x120(%rbp), %rdi
leaq -0x228(%rbp), %rdx
callq 0x5160
leaq 0x2e928(%rip), %rdx     # 0x70588
leaq -0x228(%rbp), %rdi
leaq -0x120(%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 -0x100(%rbp), %rdi
leaq -0x228(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
callq 0x18d71
movsd %xmm0, -0x128(%rbp)
movq 0x2e87a(%rip), %rdi     # 0x70540
leaq 0x11eb3(%rip), %r14     # 0x53b80
leaq -0x588(%rbp), %rsi
movq %r14, (%rsi)
leaq 0x11eb0(%rip), %r15     # 0x53b8e
movq %r15, 0x8(%rsi)
leaq 0x11d2c(%rip), %rax     # 0x53a15
leaq -0x578(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d1, %edx            # imm = 0x3D1
callq 0x5710
leaq -0x58(%rbp), %r12
movb $0x0, 0x8(%r12)
leaq 0x2ddce(%rip), %rax     # 0x6fae0
movq %rax, (%r12)
movq 0x2e293(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%r12)
leaq 0x1162e(%rip), %rax     # 0x53357
movq %rax, 0x18(%r12)
leaq -0x568(%rbp), %r13
movq %r14, (%r13)
movq %r15, 0x8(%r13)
leaq -0x80(%rbp), %rbx
movl $0xf, (%rbx)
leaq -0xd0(%rbp), %rdi
callq 0x38334
movl %eax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x124e2(%rip), %rax     # 0x54246
leaq 0x1266d(%rip), %r10     # 0x543d8
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
movl $0x3d1, %edx            # imm = 0x3D1
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 0x2e7a5(%rip), %rdi     # 0x70540
leaq -0x558(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x548(%rbp), %rcx
leaq 0x11c5e(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d2, %edx            # imm = 0x3D2
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2dd0d(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2e1d2(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x1156e(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x318(%rbp)
movq %r15, -0x310(%rbp)
movabsq $0x3fd7355268153811, %rax # imm = 0x3FD7355268153811
movq %rax, -0xa0(%rbp)
leaq 0x12119(%rip), %rsi     # 0x53f2c
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x2e751(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x2e5b9(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x11ea6(%rip), %r11     # 0x53cfd
leaq 0x12590(%rip), %r10     # 0x543ee
leaq 0x12576(%rip), %rbx     # 0x543db
leaq -0x58(%rbp), %rdi
leaq -0x318(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3d2, %edx            # imm = 0x3D2
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %rbx
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2e698(%rip), %rdi     # 0x70540
leaq -0x538(%rbp), %rsi
leaq 0x11cca(%rip), %r14     # 0x53b80
movq %r14, (%rsi)
leaq 0x11cce(%rip), %r15     # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x528(%rbp), %rcx
leaq 0x11b43(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d3, %edx            # imm = 0x3D3
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2dbf2(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2e0b7(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x11453(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x308(%rbp)
movq %r15, -0x300(%rbp)
movabsq $0x3fad448124ad0b6e, %r15 # imm = 0x3FAD448124AD0B6E
movq %r15, -0xa0(%rbp)
leaq 0x11d26(%rip), %rsi     # 0x53c54
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x2e636(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x2e49e(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x124a6(%rip), %r10     # 0x54418
leaq 0x1248b(%rip), %r14     # 0x54404
leaq -0x58(%rbp), %rdi
leaq -0x308(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3d3, %edx            # imm = 0x3D3
leaq 0x11d5f(%rip), %r11     # 0x53cfd
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r14
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2e57c(%rip), %rdi     # 0x70540
leaq -0x518(%rbp), %rsi
leaq 0x11bae(%rip), %r12     # 0x53b80
movq %r12, (%rsi)
leaq 0x11bb2(%rip), %r13     # 0x53b8e
movq %r13, 0x8(%rsi)
leaq -0x508(%rbp), %rcx
leaq 0x11a27(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d4, %edx            # imm = 0x3D4
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2dad6(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2df9b(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x11337(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x2f8(%rbp)
movq %r13, -0x2f0(%rbp)
movq %r15, -0xa0(%rbp)
leaq 0x2e548(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0x11bfe(%rip), %rsi     # 0x53c54
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2e389(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x123ab(%rip), %r10     # 0x54432
leaq -0x58(%rbp), %rdi
leaq -0x2f8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3d4, %edx            # imm = 0x3D4
leaq 0x11c51(%rip), %r11     # 0x53cfd
pushq %r11
leaq -0x38(%rbp), %r11
pushq %r11
pushq %r10
pushq %rax
pushq %r14
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2e46e(%rip), %rdi     # 0x70540
leaq -0x4f8(%rbp), %rsi
leaq 0x11aa0(%rip), %r14     # 0x53b80
movq %r14, (%rsi)
leaq 0x11aa4(%rip), %r15     # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x4e8(%rbp), %rcx
leaq 0x11919(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d5, %edx            # imm = 0x3D5
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d9c8(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2de8d(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x11229(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2e8(%rbp)
movq %r15, -0x2e0(%rbp)
movabsq $0x3fe2910eb9aa9340, %rax # imm = 0x3FE2910EB9AA9340
movq %rax, -0xa0(%rbp)
leaq 0x12668(%rip), %rsi     # 0x547c0
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %r15
movq %r15, %rdx
callq 0x5160
movq %rbx, %r13
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
leaq 0x2e406(%rip), %rsi     # 0x70588
movq %rax, %rdi
callq 0x1b338
movsd 0x2e26e(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x122bd(%rip), %r10     # 0x5445f
leaq 0x122a3(%rip), %r11     # 0x5444c
leaq -0x58(%rbp), %rdi
leaq -0x2e8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3d5, %edx            # imm = 0x3D5
leaq 0x11b2f(%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 0x2e34e(%rip), %rdi     # 0x70540
leaq -0x4d8(%rbp), %rsi
leaq 0x11980(%rip), %r14     # 0x53b80
movq %r14, (%rsi)
leaq 0x11984(%rip), %r12     # 0x53b8e
movq %r12, 0x8(%rsi)
leaq -0x4c8(%rbp), %rcx
leaq 0x117f9(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d6, %edx            # imm = 0x3D6
callq 0x5710
movq %r13, %rbx
movb $0x0, -0x50(%rbp)
leaq 0x2d8a5(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2dd6a(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x11106(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x2d8(%rbp)
movq %r12, -0x2d0(%rbp)
movabsq $0x3fd7355268153811, %rax # imm = 0x3FD7355268153811
movq %rax, -0x38(%rbp)
leaq 0x10d96(%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 0x11c8d(%rip), %rsi     # 0x53f2c
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq 0x118ca(%rip), %r13     # 0x53b80
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2e133(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x12199(%rip), %r10     # 0x54476
leaq -0x58(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x3d6, %edx            # imm = 0x3D6
leaq 0x119fe(%rip), %r11     # 0x53cfd
pushq %r11
pushq %r15
pushq %r10
pushq %rax
pushq %rbx
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2e214(%rip), %rdi     # 0x70540
leaq -0x4b8(%rbp), %rsi
movq %r13, (%rsi)
leaq 0x11851(%rip), %r14     # 0x53b8e
movq %r14, 0x8(%rsi)
leaq -0x4a8(%rbp), %rcx
leaq 0x116c6(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d7, %edx            # imm = 0x3D7
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d775(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2dc3a(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10fd6(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x2c8(%rbp)
movq %r14, -0x2c0(%rbp)
movabsq $0x3fcb703912623ab8, %rax # imm = 0x3FCB703912623AB8
movq %rax, -0x38(%rbp)
leaq 0x10c66(%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 0x123ee(%rip), %rsi     # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq 0x117a5(%rip), %r13     # 0x53b8e
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2e000(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x1208a(%rip), %r10     # 0x5449a
leaq 0x1206f(%rip), %r11     # 0x54486
leaq -0x58(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x3d7, %edx            # imm = 0x3D7
leaq 0x118c4(%rip), %rbx     # 0x53cfd
pushq %rbx
pushq %r15
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2e0da(%rip), %rdi     # 0x70540
leaq -0x498(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x488(%rbp), %rcx
leaq 0x11593(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d8, %edx            # imm = 0x3D8
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d642(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2db07(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10ea3(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x2b8(%rbp)
movq %r13, -0x2b0(%rbp)
movabsq $0x3fd76a00ea240926, %rax # imm = 0x3FD76A00EA240926
movq %rax, -0x38(%rbp)
leaq 0x118ac(%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 0x122be(%rip), %rsi     # 0x547c0
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2ded7(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11f85(%rip), %r10     # 0x544be
leaq 0x11f6b(%rip), %r11     # 0x544ab
leaq -0x58(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x3d8, %edx            # imm = 0x3D8
leaq 0x1179b(%rip), %rbx     # 0x53cfd
pushq %rbx
pushq %r15
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2dfb1(%rip), %rdi     # 0x70540
leaq -0x478(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x468(%rbp), %rcx
leaq 0x1146a(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3d9, %edx            # imm = 0x3D9
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d519(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d9de(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10d7a(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x2a8(%rbp)
movq %r13, -0x2a0(%rbp)
movabsq $0x3fcd448124ad0b71, %rax # imm = 0x3FCD448124AD0B71
movq %rax, -0x38(%rbp)
leaq 0x11783(%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 0x109e0(%rip), %rsi     # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
movsd 0x2ddab(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11e80(%rip), %r10     # 0x544e5
leaq 0x11e65(%rip), %r11     # 0x544d1
leaq -0x58(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r12
movl $0x3d9, %edx            # imm = 0x3D9
movq %r12, %r9
leaq 0x1166c(%rip), %rbx     # 0x53cfd
pushq %rbx
pushq %r15
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2de82(%rip), %rdi     # 0x70540
leaq -0x458(%rbp), %rsi
movq %r13, (%rsi)
leaq 0x114bf(%rip), %r14     # 0x53b8e
movq %r14, 0x8(%rsi)
leaq -0x448(%rbp), %rcx
leaq 0x11334(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3da, %edx            # imm = 0x3DA
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d3e3(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d8a8(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10c44(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x298(%rbp)
movq %r14, -0x290(%rbp)
movabsq $0x3fe30620be3d476f, %rax # imm = 0x3FE30620BE3D476F
movq %rax, -0xa0(%rbp)
leaq 0x2de4b(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r15
leaq 0x11634(%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 0x2dc89(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x11d83(%rip), %r10     # 0x5450a
leaq 0x11d69(%rip), %r11     # 0x544f7
leaq -0x58(%rbp), %rdi
leaq -0x298(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3da, %edx            # imm = 0x3DA
leaq 0x1154a(%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 0x2dd6c(%rip), %rdi     # 0x70540
leaq -0x438(%rbp), %rsi
movq %r13, (%rsi)
leaq 0x113a9(%rip), %r15     # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x428(%rbp), %rcx
leaq 0x1121e(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3db, %edx            # imm = 0x3DB
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d2cd(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d792(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10b2e(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r13, -0x288(%rbp)
movq %r15, -0x280(%rbp)
movabsq $0x3fc12623ab7d64b4, %rax # imm = 0x3FC12623AB7D64B4
movq %rax, -0x38(%rbp)
leaq 0x107be(%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, %r15
leaq 0x10794(%rip), %rsi     # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq 0x112fd(%rip), %r13     # 0x53b8e
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2db58(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11c7e(%rip), %r10     # 0x54536
leaq 0x11c63(%rip), %r11     # 0x54522
leaq -0x58(%rbp), %rdi
leaq -0x288(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x3db, %edx            # imm = 0x3DB
leaq 0x1141c(%rip), %rbx     # 0x53cfd
pushq %rbx
pushq %r14
pushq %r10
pushq %rax
pushq %r11
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2dc32(%rip), %rdi     # 0x70540
leaq -0x418(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x408(%rbp), %rcx
leaq 0x110eb(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3dc, %edx            # imm = 0x3DC
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d19a(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d65f(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x109fb(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r12, -0x278(%rbp)
movq %r13, -0x270(%rbp)
movabsq $0x3fcdb993293fbf9d, %r12 # imm = 0x3FCDB993293FBF9D
movq %r12, -0x38(%rbp)
leaq 0x10de5(%rip), %rsi     # 0x53768
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0x10664(%rip), %rsi     # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2da2f(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11b79(%rip), %r10     # 0x5455a
leaq 0x11b5e(%rip), %r13     # 0x54546
leaq -0x58(%rbp), %rdi
leaq -0x278(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r9
movl $0x3dc, %edx            # imm = 0x3DC
leaq 0x112f3(%rip), %r11     # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
pushq %r13
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2db08(%rip), %rdi     # 0x70540
leaq -0x3f8(%rbp), %rsi
leaq 0x1113a(%rip), %r15     # 0x53b80
movq %r15, (%rsi)
leaq 0x1113e(%rip), %rbx     # 0x53b8e
movq %rbx, 0x8(%rsi)
leaq -0x3e8(%rbp), %rcx
leaq 0x10fb3(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3dd, %edx            # imm = 0x3DD
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2d062(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d527(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x108c3(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r15, -0x268(%rbp)
movq %rbx, -0x260(%rbp)
movq %r12, -0x38(%rbp)
leaq 0x111a1(%rip), %rsi     # 0x53c52
leaq -0x80(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0xd0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1b6fa
movq %rax, %r15
leaq 0x10c90(%rip), %rsi     # 0x53768
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2d901(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11a5b(%rip), %r10     # 0x5456a
leaq -0x58(%rbp), %rdi
leaq -0x268(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r15
movl $0x3dd, %edx            # imm = 0x3DD
movq %r15, %r9
leaq 0x111c9(%rip), %r11     # 0x53cfd
pushq %r11
pushq %r14
pushq %r10
pushq %rax
pushq %r13
callq 0x4eaf1
addq $0x30, %rsp
leaq -0xa0(%rbp), %rdi
callq 0x57b8
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2d9de(%rip), %rdi     # 0x70540
leaq -0x3d8(%rbp), %rsi
leaq 0x11010(%rip), %r14     # 0x53b80
movq %r14, (%rsi)
leaq 0x11014(%rip), %rbx     # 0x53b8e
movq %rbx, 0x8(%rsi)
leaq -0x3c8(%rbp), %rcx
leaq 0x10e89(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3de, %edx            # imm = 0x3DE
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2cf38(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d3fd(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10799(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x258(%rbp)
movq %rbx, -0x250(%rbp)
movq %r12, -0xa0(%rbp)
leaq 0x2d9aa(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r12
leaq 0x1105e(%rip), %rsi     # 0x53c52
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %r14
movq %r14, %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r12, %rdi
callq 0x1b3d2
movsd 0x2d7e8(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x11952(%rip), %r10     # 0x5457a
leaq -0x58(%rbp), %rdi
leaq -0x258(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r9
movl $0x3de, %edx            # imm = 0x3DE
leaq 0x110b0(%rip), %r11     # 0x53cfd
pushq %r11
pushq %r15
pushq %r10
pushq %rax
pushq %r13
callq 0x4eaf1
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x57b8
movq 0x2d8d1(%rip), %rdi     # 0x70540
leaq -0x3b8(%rbp), %rsi
leaq 0x10f03(%rip), %r15     # 0x53b80
movq %r15, (%rsi)
leaq 0x10f07(%rip), %rbx     # 0x53b8e
movq %rbx, 0x8(%rsi)
leaq -0x3a8(%rbp), %rcx
leaq 0x10d7c(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3df, %edx            # imm = 0x3DF
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2ce2b(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d2f0(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x1068c(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r15, -0x248(%rbp)
movq %rbx, -0x240(%rbp)
movabsq $0x3fbdb993293fbf9d, %r13 # imm = 0x3FBDB993293FBF9D
movq %r13, -0x38(%rbp)
leaq 0x11092(%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 0x102f5(%rip), %rsi     # 0x5300e
leaq -0xa0(%rbp), %rdi
leaq -0x2a(%rbp), %rdx
callq 0x5160
leaq -0xa0(%rbp), %rsi
movq %r15, %rdi
callq 0x1b3d2
movsd 0x2d6c0(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x60(%rbp)
subq $0x8, %rsp
leaq 0x11854(%rip), %r10     # 0x545a4
leaq 0x11839(%rip), %r12     # 0x54590
leaq -0x58(%rbp), %rdi
leaq -0x248(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0x38(%rbp), %r15
movl $0x3df, %edx            # imm = 0x3DF
movq %r15, %r9
leaq 0x10f81(%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 0x2d796(%rip), %rdi     # 0x70540
leaq -0x398(%rbp), %rsi
leaq 0x10dc8(%rip), %r14     # 0x53b80
movq %r14, (%rsi)
leaq 0x10dcc(%rip), %rbx     # 0x53b8e
movq %rbx, 0x8(%rsi)
leaq -0x388(%rbp), %rcx
leaq 0x10c41(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3e0, %edx            # imm = 0x3E0
callq 0x5710
movb $0x0, -0x50(%rbp)
leaq 0x2ccf0(%rip), %rax     # 0x6fae0
movq %rax, -0x58(%rbp)
movq 0x2d1b5(%rip), %rax     # 0x6ffb0
movq %rax, -0x48(%rbp)
leaq 0x10551(%rip), %rax     # 0x53357
movq %rax, -0x40(%rbp)
movq %r14, -0x238(%rbp)
movq %rbx, -0x230(%rbp)
movq %r13, -0xa0(%rbp)
leaq 0x2d762(%rip), %rsi     # 0x70588
leaq -0xd0(%rbp), %rdi
callq 0x1b5f0
movq %rax, %r14
leaq 0x10f48(%rip), %rsi     # 0x53d84
leaq -0x80(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x5160
leaq -0x80(%rbp), %rsi
movq %r14, %rdi
callq 0x1b3d2
leaq 0x10d24(%rip), %r13     # 0x53b80
movsd 0x2d59c(%rip), %xmm0    # 0x70400
movsd %xmm0, -0x38(%rbp)
subq $0x8, %rsp
leaq 0x11741(%rip), %r10     # 0x545b5
leaq -0x58(%rbp), %rdi
leaq -0x238(%rbp), %rsi
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
leaq -0xa0(%rbp), %r14
movl $0x3e0, %edx            # imm = 0x3E0
movq %r14, %r9
leaq 0x10e61(%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 0x2d682(%rip), %rdi     # 0x70540
leaq -0x378(%rbp), %rsi
movq %r13, (%rsi)
leaq 0x10cbf(%rip), %r15     # 0x53b8e
movq %r15, 0x8(%rsi)
leaq -0x368(%rbp), %rcx
leaq 0x10b34(%rip), %rax     # 0x53a15
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x3e1, %edx            # imm = 0x3E1
callq 0x5710
leaq -0x58(%rbp), %rdi
movb $0x0, 0x8(%rdi)
leaq 0x2cbdf(%rip), %rax     # 0x6fae0
movq %rax, (%rdi)
movq 0x2d0a5(%rip), %rax     # 0x6ffb0
movq %rax, 0x10(%rdi)
leaq 0x10441(%rip), %rax     # 0x53357
movq %rax, 0x18(%rdi)
leaq -0x358(%rbp), %rsi
movq %r13, (%rsi)
movq %r15, 0x8(%rsi)
movabsq $-0x40041b55a8df4ae9, %rax # imm = 0xBFFBE4AA5720B517
leaq -0x80(%rbp), %r9
movq %rax, (%r9)
movsd 0x2d4bf(%rip), %xmm0    # 0x70400
movsd %xmm0, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x1183a(%rip), %rax     # 0x5478e
leaq 0x11671(%rip), %r10     # 0x545cc
pushq $0x1
popq %rcx
pushq $0x8
popq %r8
movl $0x3e1, %edx            # imm = 0x3E1
leaq 0x10d8f(%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 -0x348(%rbp), %rdi
callq 0x200e8
addq $0x568, %rsp            # imm = 0x568
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4326a
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x430a8
jmp 0x430a8
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x430a8
movq %rax, %rbx
leaq -0xa0(%rbp), %rdi
callq 0x57b8
jmp 0x4324a
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x43247
jmp 0x4326a
jmp 0x43247
jmp 0x43247
jmp 0x4326a
jmp 0x4326a
jmp 0x43247
jmp 0x4326a
jmp 0x43247
jmp 0x4326a
jmp 0x4326a
movq %rax, %rbx
jmp 0x43285
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
jmp 0x43175
jmp 0x43259
jmp 0x43259
jmp 0x43265
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x4325c
jmp 0x43259
jmp 0x43259
jmp 0x43265
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x57b8
jmp 0x431ae
jmp 0x431ab
movq %rax, %rbx
jmp 0x4325c
jmp 0x43265
jmp 0x43265
jmp 0x43265
jmp 0x43265
jmp 0x43259
jmp 0x43265
jmp 0x43259
jmp 0x43265
jmp 0x43259
jmp 0x43265
jmp 0x43259
jmp 0x43265
movq %rax, %rbx
movl $0xe0, %r14d
leaq (%r14,%rbp), %rdi
addq $-0x228, %rdi           # imm = 0xFDD8
callq 0x57b8
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x431ef
movb $0x1, %al
jmp 0x4321e
jmp 0x43219
jmp 0x43219
jmp 0x43219
jmp 0x43219
jmp 0x43219
jmp 0x43219
movq %rax, %rbx
xorl %eax, %eax
cmpq %r13, %r12
je 0x432a9
testb %al, %al
jne 0x432a9
addq $-0x20, %r13
movq %r13, %rdi
callq 0x57b8
cmpq %r12, %r13
jne 0x4322b
jmp 0x432a9
movq %rax, %rbx
jmp 0x432a9
jmp 0x43247
jmp 0x43247
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0x57b8
jmp 0x4326d
jmp 0x43259
jmp 0x43259
movq %rax, %rbx
leaq -0x228(%rbp), %rdi
jmp 0x4328c
movq %rax, %rbx
jmp 0x43291
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 -0x348(%rbp), %rdi
callq 0x200e8
movq %rbx, %rdi
callq 0x56b0