// File: aalto-speech[P]ftk/test/emtest.cc
// Function: ForwardBackwardTest6::test_method()
BOOST_AUTO_TEST_CASE(ForwardBackwardTest6)
{
    map<string, flt_type> vocab;
    vocab["a"] = -1.0;
    vocab["b"] = -1.0;
    vocab["c"] = -1.0;
    vocab["d"] = -1.0;
    vocab["bc"] = -2.0;
    string sentence("abc");
    map<string, flt_type> stats;
    flt_type lp = forward_backward(vocab, sentence, stats);
    BOOST_CHECK_EQUAL(4, (int)stats.size());
    BOOST_CHECK_CLOSE( (flt_type)0.50, stats["bc"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (flt_type)0.50, stats["c"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (flt_type)0.50, stats["b"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (flt_type)1.0, stats["a"], DBL_ACCURACY );
    // -3.0 + math.log(1+math.exp(-3.0-(-3.0)))
    BOOST_CHECK_CLOSE( (flt_type)-2.3068528194400546, lp, DBL_ACCURACY);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x600, %rsp            # imm = 0x600
movq %rdi, -0x8(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x530a0
leaq -0x59(%rbp), %rdi
movq %rdi, -0x480(%rbp)
callq 0x67b0
movq -0x480(%rbp), %rdx
leaq 0x4fafe(%rip), %rsi     # 0xcbf14
leaq -0x58(%rbp), %rdi
callq 0x65e0
jmp 0x7c421
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x488(%rbp)
jmp 0x7c437
movq -0x488(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
leaq -0x91(%rbp), %rdi
movq %rdi, -0x490(%rbp)
callq 0x67b0
movq -0x490(%rbp), %rdx
leaq 0x4f773(%rip), %rsi     # 0xcbbf1
leaq -0x90(%rbp), %rdi
callq 0x65e0
jmp 0x7c48c
leaq -0x38(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x498(%rbp)
jmp 0x7c4a5
movq -0x498(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x4a0(%rbp)
callq 0x67b0
movq -0x4a0(%rbp), %rdx
leaq 0x4f6ef(%rip), %rsi     # 0xcbbe1
leaq -0xb8(%rbp), %rdi
callq 0x65e0
jmp 0x7c500
leaq -0x38(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x4a8(%rbp)
jmp 0x7c519
movq -0x4a8(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x4b0(%rbp)
callq 0x67b0
movq -0x4b0(%rbp), %rdx
leaq 0x4eaab(%rip), %rsi     # 0xcb011
leaq -0xe0(%rbp), %rdi
callq 0x65e0
jmp 0x7c574
leaq -0x38(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x4b8(%rbp)
jmp 0x7c58d
movq -0x4b8(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0xe0(%rbp), %rdi
callq 0x6908
leaq -0xe1(%rbp), %rdi
callq 0x6470
leaq -0x109(%rbp), %rdi
movq %rdi, -0x4c0(%rbp)
callq 0x67b0
movq -0x4c0(%rbp), %rdx
leaq 0x4f606(%rip), %rsi     # 0xcbbe0
leaq -0x108(%rbp), %rdi
callq 0x65e0
jmp 0x7c5e8
leaq -0x38(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x4c8(%rbp)
jmp 0x7c601
movq -0x4c8(%rbp), %rax
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
leaq -0x108(%rbp), %rdi
callq 0x6908
leaq -0x109(%rbp), %rdi
callq 0x6470
leaq -0x131(%rbp), %rdi
movq %rdi, -0x4d0(%rbp)
callq 0x67b0
movq -0x4d0(%rbp), %rdx
leaq 0x4f591(%rip), %rsi     # 0xcbbdf
leaq -0x130(%rbp), %rdi
callq 0x65e0
jmp 0x7c65c
leaq -0x131(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
movq %rdi, -0x4e0(%rbp)
callq 0x530a0
movq -0x4e0(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0x130(%rbp), %rsi
xorl %ecx, %ecx
callq 0x44ea0
movsd %xmm0, -0x4d8(%rbp)
jmp 0x7c69e
movsd -0x4d8(%rbp), %xmm0
movsd %xmm0, -0x170(%rbp)
movq 0x8af3b(%rip), %rax     # 0x1075f0
movq %rax, -0x4e8(%rbp)
leaq 0x4f4a5(%rip), %rsi     # 0xcbb68
leaq -0x180(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7c6d6
leaq -0x190(%rbp), %rdi
callq 0x70c00
jmp 0x7c6e4
movq -0x4e8(%rbp), %rdi
leaq -0x180(%rbp), %rsi
movl $0x116, %edx            # imm = 0x116
leaq -0x190(%rbp), %rcx
callq 0x6840
jmp 0x7c705
callq 0x70e90
movq %rax, -0x4f0(%rbp)
jmp 0x7c713
movq -0x4f0(%rbp), %rsi
leaq 0x4ec09(%rip), %rdx     # 0xcb32a
leaq -0x1b8(%rbp), %rdi
callq 0x70e50
jmp 0x7c72f
leaq 0x4f432(%rip), %rsi     # 0xcbb68
leaq -0x1c8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7c749
movl $0x4, -0x1cc(%rbp)
leaq -0x168(%rbp), %rdi
callq 0x5bdf0
movl %eax, -0x1d0(%rbp)
leaq 0x4f502(%rip), %rcx     # 0xcbc6e
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x1d0(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x4fec5(%rip), %rcx     # 0xcc64a
movq %rcx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x1c8(%rbp), %rsi
movl $0x116, %edx            # imm = 0x116
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x1cc(%rbp), %r9
callq 0xbf480
jmp 0x7c7b4
leaq -0x1b8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x4f1(%rbp)
jmp 0x7c7cd
movb -0x4f1(%rbp), %al
testb $0x1, %al
jne 0x7c6ae
jmp 0x7c7dd
jmp 0x7c7df
movq 0x8ae0a(%rip), %rax     # 0x1075f0
movq %rax, -0x500(%rbp)
leaq 0x4f374(%rip), %rsi     # 0xcbb68
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7c807
leaq -0x1f0(%rbp), %rdi
callq 0x70c00
jmp 0x7c815
movq -0x500(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
movl $0x117, %edx            # imm = 0x117
leaq -0x1f0(%rbp), %rcx
callq 0x6840
jmp 0x7c836
callq 0x70e90
movq %rax, -0x508(%rbp)
jmp 0x7c844
movq -0x508(%rbp), %rsi
leaq 0x4ead8(%rip), %rdx     # 0xcb32a
leaq -0x218(%rbp), %rdi
callq 0x70e50
jmp 0x7c860
leaq 0x4f301(%rip), %rsi     # 0xcbb68
leaq -0x228(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7c87a
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, -0x230(%rbp)
leaq -0x251(%rbp), %rdi
movq %rdi, -0x510(%rbp)
callq 0x67b0
movq -0x510(%rbp), %rdx
leaq 0x4f334(%rip), %rsi     # 0xcbbe0
leaq -0x250(%rbp), %rdi
callq 0x65e0
jmp 0x7c8ba
leaq -0x168(%rbp), %rdi
leaq -0x250(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x518(%rbp)
jmp 0x7c8d6
movsd 0x8abd2(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x520(%rbp)
jmp 0x7c8ed
movq -0x518(%rbp), %rcx
movsd -0x520(%rbp), %xmm0
movsd %xmm0, -0x260(%rbp)
leaq 0x4f3da(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x260(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x4f413(%rip), %rdx     # 0xcbd37
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x4f397(%rip), %rcx     # 0xcbcca
movq %rcx, (%rax)
leaq -0x218(%rbp), %rdi
leaq -0x228(%rbp), %rsi
movl $0x117, %edx            # imm = 0x117
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x230(%rbp), %r9
callq 0xbf6a0
jmp 0x7c962
leaq -0x250(%rbp), %rdi
callq 0x6908
leaq -0x251(%rbp), %rdi
callq 0x6470
leaq -0x218(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x521(%rbp)
jmp 0x7c993
movb -0x521(%rbp), %al
testb $0x1, %al
jne 0x7c7df
jmp 0x7c9a3
jmp 0x7c9a5
movq 0x8ac44(%rip), %rax     # 0x1075f0
movq %rax, -0x530(%rbp)
leaq 0x4f1ae(%rip), %rsi     # 0xcbb68
leaq -0x270(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7c9cd
leaq -0x280(%rbp), %rdi
callq 0x70c00
jmp 0x7c9db
movq -0x530(%rbp), %rdi
leaq -0x270(%rbp), %rsi
movl $0x118, %edx            # imm = 0x118
leaq -0x280(%rbp), %rcx
callq 0x6840
jmp 0x7c9fc
callq 0x70e90
movq %rax, -0x538(%rbp)
jmp 0x7ca0a
movq -0x538(%rbp), %rsi
leaq 0x4e912(%rip), %rdx     # 0xcb32a
leaq -0x2a8(%rbp), %rdi
callq 0x70e50
jmp 0x7ca26
leaq 0x4f13b(%rip), %rsi     # 0xcbb68
leaq -0x2b8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7ca40
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, -0x2c0(%rbp)
leaq -0x2e1(%rbp), %rdi
movq %rdi, -0x540(%rbp)
callq 0x67b0
movq -0x540(%rbp), %rdx
leaq 0x4f16f(%rip), %rsi     # 0xcbbe1
leaq -0x2e0(%rbp), %rdi
callq 0x65e0
jmp 0x7ca80
leaq -0x168(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x548(%rbp)
jmp 0x7ca9c
movsd 0x8aa0c(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x550(%rbp)
jmp 0x7cab3
movq -0x548(%rbp), %rcx
movsd -0x550(%rbp), %xmm0
movsd %xmm0, -0x2f0(%rbp)
leaq 0x4f214(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x2f0(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x4f259(%rip), %rdx     # 0xcbd43
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x4f1d1(%rip), %rcx     # 0xcbcca
movq %rcx, (%rax)
leaq -0x2a8(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
movl $0x118, %edx            # imm = 0x118
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x2c0(%rbp), %r9
callq 0xbf6a0
jmp 0x7cb28
leaq -0x2e0(%rbp), %rdi
callq 0x6908
leaq -0x2e1(%rbp), %rdi
callq 0x6470
leaq -0x2a8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x551(%rbp)
jmp 0x7cb59
movb -0x551(%rbp), %al
testb $0x1, %al
jne 0x7c9a5
jmp 0x7cb69
jmp 0x7cb6b
movq 0x8aa7e(%rip), %rax     # 0x1075f0
movq %rax, -0x560(%rbp)
leaq 0x4efe8(%rip), %rsi     # 0xcbb68
leaq -0x300(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cb93
leaq -0x310(%rbp), %rdi
callq 0x70c00
jmp 0x7cba1
movq -0x560(%rbp), %rdi
leaq -0x300(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
leaq -0x310(%rbp), %rcx
callq 0x6840
jmp 0x7cbc2
callq 0x70e90
movq %rax, -0x568(%rbp)
jmp 0x7cbd0
movq -0x568(%rbp), %rsi
leaq 0x4e74c(%rip), %rdx     # 0xcb32a
leaq -0x338(%rbp), %rdi
callq 0x70e50
jmp 0x7cbec
leaq 0x4ef75(%rip), %rsi     # 0xcbb68
leaq -0x348(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cc06
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, -0x350(%rbp)
leaq -0x371(%rbp), %rdi
movq %rdi, -0x570(%rbp)
callq 0x67b0
movq -0x570(%rbp), %rdx
leaq 0x4efb9(%rip), %rsi     # 0xcbbf1
leaq -0x370(%rbp), %rdi
callq 0x65e0
jmp 0x7cc46
leaq -0x168(%rbp), %rdi
leaq -0x370(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x578(%rbp)
jmp 0x7cc62
movsd 0x8a846(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x580(%rbp)
jmp 0x7cc79
movq -0x578(%rbp), %rcx
movsd -0x580(%rbp), %xmm0
movsd %xmm0, -0x380(%rbp)
leaq 0x4f04e(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x380(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x4f00f(%rip), %rdx     # 0xcbcbf
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x4f00b(%rip), %rcx     # 0xcbcca
movq %rcx, (%rax)
leaq -0x338(%rbp), %rdi
leaq -0x348(%rbp), %rsi
movl $0x119, %edx            # imm = 0x119
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x350(%rbp), %r9
callq 0xbf6a0
jmp 0x7ccee
leaq -0x370(%rbp), %rdi
callq 0x6908
leaq -0x371(%rbp), %rdi
callq 0x6470
leaq -0x338(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x581(%rbp)
jmp 0x7cd1f
movb -0x581(%rbp), %al
testb $0x1, %al
jne 0x7cb6b
jmp 0x7cd2f
jmp 0x7cd31
movq 0x8a8b8(%rip), %rax     # 0x1075f0
movq %rax, -0x590(%rbp)
leaq 0x4ee22(%rip), %rsi     # 0xcbb68
leaq -0x390(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cd59
leaq -0x3a0(%rbp), %rdi
callq 0x70c00
jmp 0x7cd67
movq -0x590(%rbp), %rdi
leaq -0x390(%rbp), %rsi
movl $0x11a, %edx            # imm = 0x11A
leaq -0x3a0(%rbp), %rcx
callq 0x6840
jmp 0x7cd88
callq 0x70e90
movq %rax, -0x598(%rbp)
jmp 0x7cd96
movq -0x598(%rbp), %rsi
leaq 0x4e586(%rip), %rdx     # 0xcb32a
leaq -0x3c8(%rbp), %rdi
callq 0x70e50
jmp 0x7cdb2
leaq 0x4edaf(%rip), %rsi     # 0xcbb68
leaq -0x3d8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cdcc
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, -0x3e0(%rbp)
leaq -0x401(%rbp), %rdi
movq %rdi, -0x5a0(%rbp)
callq 0x67b0
movq -0x5a0(%rbp), %rdx
leaq 0x4f116(%rip), %rsi     # 0xcbf14
leaq -0x400(%rbp), %rdi
callq 0x65e0
jmp 0x7ce0c
leaq -0x168(%rbp), %rdi
leaq -0x400(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x5a8(%rbp)
jmp 0x7ce28
movsd 0x8a680(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x5b0(%rbp)
jmp 0x7ce3f
movq -0x5a8(%rbp), %rcx
movsd -0x5b0(%rbp), %xmm0
movsd %xmm0, -0x410(%rbp)
leaq 0x4ee88(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x410(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x4ee3e(%rip), %rdx     # 0xcbcb4
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x4ee21(%rip), %rcx     # 0xcbca6
movq %rcx, (%rax)
leaq -0x3c8(%rbp), %rdi
leaq -0x3d8(%rbp), %rsi
movl $0x11a, %edx            # imm = 0x11A
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x3e0(%rbp), %r9
callq 0xbf6a0
jmp 0x7ceb4
leaq -0x400(%rbp), %rdi
callq 0x6908
leaq -0x401(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x5b1(%rbp)
jmp 0x7cee5
movb -0x5b1(%rbp), %al
testb $0x1, %al
jne 0x7cd31
jmp 0x7cef5
jmp 0x7cef7
movq 0x8a6f2(%rip), %rax     # 0x1075f0
movq %rax, -0x5c0(%rbp)
leaq 0x4ec5c(%rip), %rsi     # 0xcbb68
leaq -0x420(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cf1f
leaq -0x430(%rbp), %rdi
callq 0x70c00
jmp 0x7cf2d
movq -0x5c0(%rbp), %rdi
leaq -0x420(%rbp), %rsi
movl $0x11c, %edx            # imm = 0x11C
leaq -0x430(%rbp), %rcx
callq 0x6840
jmp 0x7cf4e
callq 0x70e90
movq %rax, -0x5c8(%rbp)
jmp 0x7cf5c
movq -0x5c8(%rbp), %rsi
leaq 0x4e3c0(%rip), %rdx     # 0xcb32a
leaq -0x458(%rbp), %rdi
callq 0x70e50
jmp 0x7cf78
leaq 0x4ebe9(%rip), %rsi     # 0xcbb68
leaq -0x468(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7cf92
movabsq $-0x3ffd8b90bfbe8e7c, %rax # imm = 0xC002746F40417184
movq %rax, -0x470(%rbp)
movsd 0x8a505(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x5d0(%rbp)
jmp 0x7cfba
movsd -0x5d0(%rbp), %xmm0
movsd %xmm0, -0x478(%rbp)
leaq 0x4ed14(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0x478(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x4f78c(%rip), %rcx     # 0xcc776
movq %rcx, 0x10(%rax)
leaq -0x170(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x4ed4e(%rip), %rcx     # 0xcbd4e
movq %rcx, (%rax)
leaq -0x458(%rbp), %rdi
leaq -0x468(%rbp), %rsi
movl $0x11c, %edx            # imm = 0x11C
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x470(%rbp), %r9
callq 0xbf6a0
jmp 0x7d02f
leaq -0x458(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x5d1(%rbp)
jmp 0x7d048
movb -0x5d1(%rbp), %al
testb $0x1, %al
jne 0x7cef7
jmp 0x7d058
leaq -0x168(%rbp), %rdi
callq 0x4cf70
leaq -0x130(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x4cf70
addq $0x600, %rsp            # imm = 0x600
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d0a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d0d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d110
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0xb9(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d147
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x6908
leaq -0xe1(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d17e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x6908
leaq -0x109(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x131(%rbp), %rdi
callq 0x6470
jmp 0x7d348
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x70ea0
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d21a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d20e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x250(%rbp), %rdi
callq 0x6908
leaq -0x251(%rbp), %rdi
callq 0x6470
leaq -0x218(%rbp), %rdi
callq 0x70ea0
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d26b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d25f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x2e0(%rbp), %rdi
callq 0x6908
leaq -0x2e1(%rbp), %rdi
callq 0x6470
leaq -0x2a8(%rbp), %rdi
callq 0x70ea0
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d2bc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d2b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x370(%rbp), %rdi
callq 0x6908
leaq -0x371(%rbp), %rdi
callq 0x6470
leaq -0x338(%rbp), %rdi
callq 0x70ea0
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d30a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7d2fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x400(%rbp), %rdi
callq 0x6908
leaq -0x401(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x70ea0
jmp 0x7d330
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x458(%rbp), %rdi
callq 0x70ea0
leaq -0x168(%rbp), %rdi
callq 0x4cf70
leaq -0x130(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x4cf70
movq -0x68(%rbp), %rdi
callq 0x67a0
nopw (%rax,%rax)