// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/emtest.cc
// Function: ForwardBackwardTest9::test_method()
BOOST_AUTO_TEST_CASE(ForwardBackwardTest9)
{
    map<string, flt_type> vocab;
    vocab["i"] = log(0.25);
    vocab["si"] = log(0.25);
    vocab["s"] = log(0.25);
    vocab["kö"] = log(0.50);
    vocab["kös"] = log(0.50);
    vocab["kössi"] = log(0.1953125);
    vocab["k"] = log(0.00000000001);
    vocab["�"] = log(0.00000000001);
    vocab["�"] = log(0.00000000001);
    string sentence("kössi");
    map<string, flt_type> stats;
    flt_type lp = forward_backward(vocab, sentence, stats, true);
    BOOST_CHECK_EQUAL(6, (int)stats.size());
    BOOST_CHECK_CLOSE( 0.5, stats["kössi"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.80/2.0, stats["kös"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.20/2.0, stats["kö"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.8/2.0, stats["si"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (0.2+0.2)/2.0, stats["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.2/2.0, stats["i"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (flt_type)-0.940007258491, lp, DBL_ACCURACY);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x288, %rsp            # imm = 0x288
leaq -0x180(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x130(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x34317(%rip), %rsi     # 0x707ec
leaq 0x34311(%rip), %rdx     # 0x707ed
leaq -0x140(%rbp), %rdi
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4009d1bd0105c611, %rbx # imm = 0xBFF62E42FEFA39EF
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c519
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x349fa(%rip), %rsi     # 0x70f24
leaq 0x349f5(%rip), %rdx     # 0x70f26
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c55d
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x33aa0(%rip), %rsi     # 0x7000e
leaq 0x33a9a(%rip), %rdx     # 0x7000f
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c5a1
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x34965(%rip), %rsi     # 0x70f17
leaq 0x34961(%rip), %rdx     # 0x70f1a
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4019d1bd0105c611, %rbx # imm = 0xBFE62E42FEFA39EF
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c5ef
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x3491b(%rip), %rsi     # 0x70f1b
leaq 0x34918(%rip), %rdx     # 0x70f1f
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c633
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x348dc(%rip), %rsi     # 0x70f20
leaq 0x348db(%rip), %rdx     # 0x70f26
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4005de99736f4fa2, %rcx # imm = 0xBFFA21668C90B05E
movq %rcx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c681
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x34682(%rip), %rsi     # 0x70d14
leaq 0x3467c(%rip), %rdx     # 0x70d15
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x3fc6abeb9de6ab02, %rbx # imm = 0xC0395414621954FE
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c6cf
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x34664(%rip), %rsi     # 0x70d44
leaq 0x34660(%rip), %rdx     # 0x70d47
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c713
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x34620(%rip), %rsi     # 0x70d44
leaq 0x3461c(%rip), %rdx     # 0x70d47
callq 0x95e6
leaq -0x188(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c757
callq 0x5380
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x347b7(%rip), %rsi     # 0x70f20
leaq 0x347b6(%rip), %rdx     # 0x70f26
leaq -0x1b0(%rbp), %rdi
callq 0x95e6
leaq -0x138(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x188(%rbp), %rdi
leaq -0x1b0(%rbp), %rsi
leaq -0x140(%rbp), %rdx
movl $0x1, %ecx
callq 0x1a432
movsd %xmm0, -0x158(%rbp)
movsd -0x158(%rbp), %xmm0
movsd %xmm0, -0x190(%rbp)
movq 0x4dd77(%rip), %rdi     # 0x8a550
leaq 0x34462(%rip), %rax     # 0x70c42
leaq -0x2b0(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x3445f(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq 0x34273(%rip), %rax     # 0x70a6f
leaq -0x2a0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x15d, %edx            # imm = 0x15D
callq 0x5760
xorl %eax, %eax
leaq -0xb8(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x4d2a9(%rip), %rcx     # 0x89ad0
movq %rcx, (%rsi)
movq 0x4d77f(%rip), %rbx     # 0x89fb0
movq %rbx, 0x10(%rsi)
leaq 0x33b8b(%rip), %r10     # 0x703c7
leaq -0x78(%rbp), %r9
movl -0x118(%rbp), %ecx
leaq -0x40(%rbp), %r8
movl %ecx, (%r8)
cmpl $0x6, %ecx
leaq -0x110(%rbp), %rcx
movq %r9, (%rcx)
leaq -0xf8(%rbp), %r12
movb %al, 0x8(%r12)
leaq 0x4d3b3(%rip), %rdx     # 0x89c20
movq %rdx, (%r12)
movq %rbx, 0x10(%r12)
movq %rcx, 0x18(%r12)
leaq -0xd8(%rbp), %r13
movb %al, 0x8(%r13)
leaq -0x98(%rbp), %rdi
sete (%rdi)
movq %r10, 0x18(%rsi)
movl $0x6, (%r9)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
movq %rdx, (%r13)
leaq -0x150(%rbp), %rax
movq %r8, (%rax)
movq %rbx, 0x10(%r13)
movq %rax, 0x18(%r13)
leaq -0x70(%rbp), %rdx
leaq 0x3437f(%rip), %r14     # 0x70c42
movq %r14, (%rdx)
leaq 0x34383(%rip), %r15     # 0x70c50
movq %r15, 0x8(%rdx)
subq $0x8, %rsp
leaq 0x3446c(%rip), %r10     # 0x70d48
leaq 0x34eb4(%rip), %r11     # 0x71797
movl $0x15d, %ecx            # imm = 0x15D
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
pushq %r13
pushq %r10
pushq %r12
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x88(%rbp), %rdi
callq 0x2e804
movq 0x4dc34(%rip), %rdi     # 0x8a550
leaq -0x290(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
leaq 0x34137(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x15e, %edx            # imm = 0x15E
callq 0x5760
leaq -0x78(%rbp), %r13
movb $0x0, -0x90(%rbp)
leaq 0x4d175(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x33a57(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, -0x38(%rbp)
leaq -0x60(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x3458f(%rip), %rsi     # 0x70f20
leaq 0x3458e(%rip), %rdx     # 0x70f26
leaq -0x70(%rbp), %rdi
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x3428a(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4da4d(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd -0x38(%rbp), %xmm0
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
callq 0x6b55a
leaq -0x150(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x3425e(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
leaq 0x4d113(%rip), %rcx     # 0x89b20
movq %rcx, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r14, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %rcx, %r12
movq %rcx, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rsi
leaq -0x50(%rbp), %rcx
movq %rsi, (%rcx)
movb %al, -0xb0(%rbp)
leaq 0x4d270(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x3433f(%rip), %r13     # 0x70dbf
leaq 0x344a0(%rip), %r10     # 0x70f27
leaq 0x34417(%rip), %r11     # 0x70ea5
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x15e, %ecx            # imm = 0x15E
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
pushq %r13
leaq -0xd8(%rbp), %r14
pushq %r14
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3caf9
callq 0x5380
movq 0x4da50(%rip), %rdi     # 0x8a550
leaq -0x270(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x3413f(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x260(%rbp), %rcx
leaq 0x33f4c(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x15f, %edx            # imm = 0x15F
callq 0x5760
leaq -0x78(%rbp), %r13
movb $0x0, -0x90(%rbp)
leaq 0x4cf8a(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x3386c(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $0x3fd999999999999a, %r15 # imm = 0x3FD999999999999A
movq %r15, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x3439c(%rip), %rsi     # 0x70f1b
leaq 0x34399(%rip), %rdx     # 0x70f1f
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r14
movsd 0x4d86a(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd -0x38(%rbp), %xmm0
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
callq 0x6b55a
leaq -0x150(%rbp), %rdx
leaq 0x34070(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x34074(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r14, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4d093(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x342d6(%rip), %r10     # 0x70f37
leaq 0x34250(%rip), %r11     # 0x70eb8
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x15f, %ecx            # imm = 0x15F
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x34126(%rip), %r14     # 0x70dbf
pushq %r14
leaq -0xd8(%rbp), %r14
pushq %r14
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3ccda
callq 0x5380
movq 0x4d86f(%rip), %rdi     # 0x8a550
leaq -0x250(%rbp), %rsi
leaq 0x33f53(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x33f57(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x240(%rbp), %rcx
leaq 0x33d64(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x160, %edx            # imm = 0x160
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4cda6(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x33688(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $0x3fb999999999999a, %rax # imm = 0x3FB999999999999A
movq %rax, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x341b4(%rip), %rsi     # 0x70f17
leaq 0x341b0(%rip), %rdx     # 0x70f1a
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r14
movsd 0x4d686(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd -0x38(%rbp), %xmm0
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
callq 0x6b55a
leaq -0x150(%rbp), %rdx
leaq 0x33e8c(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x33e90(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r14, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4ceaf(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x34100(%rip), %r10     # 0x70f45
leaq 0x34075(%rip), %r11     # 0x70ec1
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x160, %ecx            # imm = 0x160
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x33f42(%rip), %r14     # 0x70dbf
pushq %r14
leaq -0xd8(%rbp), %r14
pushq %r14
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3cebe
callq 0x5380
movq 0x4d68b(%rip), %rdi     # 0x8a550
leaq -0x230(%rbp), %rsi
leaq 0x33d6f(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x33d73(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x220(%rbp), %rcx
leaq 0x33b80(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x161, %edx            # imm = 0x161
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4cbc2(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x334a4(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movq %r15, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x33fe7(%rip), %rsi     # 0x70f24
leaq 0x33fe2(%rip), %rdx     # 0x70f26
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x33ce2(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4d4a5(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd -0x38(%rbp), %xmm0
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
callq 0x6b55a
leaq -0x150(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x33cb6(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r14, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4ccd5(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x33f33(%rip), %r10     # 0x70f52
leaq 0x33ea4(%rip), %r11     # 0x70eca
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x161, %ecx            # imm = 0x161
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x33d68(%rip), %r14     # 0x70dbf
pushq %r14
leaq -0xd8(%rbp), %r14
pushq %r14
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d098
callq 0x5380
movq 0x4d4b1(%rip), %rdi     # 0x8a550
leaq -0x210(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x33ba0(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x200(%rbp), %rcx
leaq 0x339ad(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x162, %edx            # imm = 0x162
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4c9ef(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x332d1(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $0x3fc999999999999a, %rax # imm = 0x3FC999999999999A
movq %rax, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x32ef4(%rip), %rsi     # 0x7000e
leaq 0x32eee(%rip), %rdx     # 0x7000f
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x33b05(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4d2c8(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd -0x38(%rbp), %xmm0
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
callq 0x6b55a
leaq -0x150(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x33ad9(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r14, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4caf8(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x33c85(%rip), %r10     # 0x70e81
leaq 0x33ccf(%rip), %r11     # 0x70ed2
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x162, %ecx            # imm = 0x162
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x33b8b(%rip), %r14     # 0x70dbf
pushq %r14
leaq -0xd8(%rbp), %r14
pushq %r14
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d275
callq 0x5380
movq 0x4d2d4(%rip), %rdi     # 0x8a550
leaq -0x1f0(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x339c3(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x1e0(%rbp), %rcx
leaq 0x337d0(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x163, %edx            # imm = 0x163
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4c812(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x330f4(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $0x3fb999999999999a, %rax # imm = 0x3FB999999999999A
movq %rax, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x334f5(%rip), %rsi     # 0x707ec
leaq 0x334ef(%rip), %rdx     # 0x707ed
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r15
movsd 0x4d0f2(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
movsd 0x338a6(%rip), %xmm0    # 0x70be0
callq 0x6b55a
leaq -0x150(%rbp), %r14
leaq 0x338f5(%rip), %rax     # 0x70c42
movq %rax, (%r14)
leaq 0x338f9(%rip), %rax     # 0x70c50
movq %rax, 0x8(%r14)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r13, -0xe0(%rbp)
movq %r15, -0x40(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
leaq -0x40(%rbp), %rcx
movq %rcx, -0xc0(%rbp)
leaq -0x48(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4c918(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x33b82(%rip), %r10     # 0x70f5e
leaq 0x33afd(%rip), %r11     # 0x70ee0
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x163, %ecx            # imm = 0x163
movq %r14, %rdx
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r15
pushq %r15
leaq 0x339a8(%rip), %r15     # 0x70dbf
pushq %r15
leaq -0xd8(%rbp), %r15
pushq %r15
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x100(%rbp), %rdi
callq 0x2e804
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d458
callq 0x5380
movq 0x4d0f1(%rip), %rdi     # 0x8a550
leaq -0x1d0(%rbp), %rsi
leaq 0x337d5(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x337d9(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x1c0(%rbp), %rcx
leaq 0x335e6(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x164, %edx            # imm = 0x164
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4c628(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x32f0a(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $-0x4011eb75e5d8e9c6, %rax # imm = 0xBFEE148A1A27163A
movq %rax, -0x50(%rbp)
movsd 0x4cf39(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x48(%rbp), %rsi
movsd 0x336fc(%rip), %xmm0    # 0x70be8
movsd -0x158(%rbp), %xmm1
callq 0x6b55a
leaq -0x110(%rbp), %rdx
leaq 0x3373b(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x3373f(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x50(%rbp), %rax
movq %rax, -0x150(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
movq %r12, -0xf8(%rbp)
movq %rbx, -0xe8(%rbp)
movq %r14, -0xe0(%rbp)
leaq -0x190(%rbp), %rcx
movq %rcx, -0x78(%rbp)
movb %al, -0xd0(%rbp)
movq %r12, -0xd8(%rbp)
movq %rbx, -0xc8(%rbp)
movq %r13, -0xc0(%rbp)
leaq -0x38(%rbp), %rcx
movq %rcx, -0x40(%rbp)
movb %al, -0xb0(%rbp)
leaq 0x4c758(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x40(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x342b4(%rip), %r10     # 0x71850
leaq 0x33945(%rip), %r11     # 0x70ee8
leaq -0x70(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x164, %ecx            # imm = 0x164
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %rbx
pushq %rbx
leaq 0x337ef(%rip), %rbx     # 0x70dbf
pushq %rbx
leaq -0xd8(%rbp), %rbx
pushq %rbx
pushq %r10
leaq -0xf8(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0x60(%rbp), %rdi
callq 0x2e804
leaq -0x140(%rbp), %rdi
callq 0x1e712
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x3d61e
callq 0x5380
leaq -0x188(%rbp), %rdi
callq 0x1e712
addq $0x288, %rsp            # imm = 0x288
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
jmp 0x3d77c
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d663
jmp 0x3d660
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
jmp 0x3d763
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d694
jmp 0x3d691
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
jmp 0x3d763
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d6c5
jmp 0x3d6c2
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
jmp 0x3d763
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d6f6
jmp 0x3d6f3
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
jmp 0x3d763
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d724
jmp 0x3d721
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
jmp 0x3d763
jmp 0x3d85b
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3d752
jmp 0x3d74f
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3d85e
callq 0x5380
jmp 0x3d85e
jmp 0x3d85b
movq %rax, %rbx
leaq -0x88(%rbp), %rdi
callq 0x2e804
jmp 0x3d85e
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
jmp 0x3d856
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3d882
jmp 0x3d87d
movq %rax, %rbx
jmp 0x3d882
movq %rax, %rbx
leaq -0x140(%rbp), %rdi
callq 0x1e712
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x3d882
callq 0x5380
leaq -0x188(%rbp), %rdi
callq 0x1e712
movq %rbx, %rdi
callq 0x56f0