// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/emtest.cc
// Function: ForwardBackwardTest8::test_method()
BOOST_AUTO_TEST_CASE(ForwardBackwardTest8)
{
    map<string, flt_type> vocab;
    vocab["a"] = log(0.25);
    vocab["sa"] = log(0.25);
    vocab["s"] = log(0.25);
    vocab["ki"] = log(0.50);
    vocab["kis"] = log(0.50);
    vocab["kissa"] = log(0.1953125);
    vocab["k"] = log(0.00000001);
    string sentence("kissa");
    map<string, flt_type> stats;
    flt_type lp = forward_backward(vocab, sentence, stats);
    BOOST_CHECK_EQUAL(6, (int)stats.size());
    BOOST_CHECK_CLOSE( 0.5, stats["kissa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.80/2.0, stats["kis"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.20/2.0, stats["ki"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.8/2.0, stats["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( (0.2+0.2)/2.0, stats["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.2/2.0, stats["a"], 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 -0x188(%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 0x36457(%rip), %rsi     # 0x70fee
leaq 0x36451(%rip), %rdx     # 0x70fef
leaq -0x140(%rbp), %rdi
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4009d1bd0105c611, %rbx # imm = 0xBFF62E42FEFA39EF
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3abdb
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x36c96(%rip), %rsi     # 0x71882
leaq 0x36c91(%rip), %rdx     # 0x71884
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3ac1f
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x353de(%rip), %rsi     # 0x7000e
leaq 0x353d8(%rip), %rdx     # 0x7000f
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3ac63
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x361d2(%rip), %rsi     # 0x70e46
leaq 0x361cd(%rip), %rdx     # 0x70e48
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4019d1bd0105c611, %rbx # imm = 0xBFE62E42FEFA39EF
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3acb1
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x36187(%rip), %rsi     # 0x70e49
leaq 0x36183(%rip), %rdx     # 0x70e4c
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movq %rbx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3acf5
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x36010(%rip), %rsi     # 0x70d16
leaq 0x3600e(%rip), %rdx     # 0x70d1b
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4005de99736f4fa2, %rcx # imm = 0xBFFA21668C90B05E
movq %rcx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3ad43
callq 0x5380
leaq -0x140(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x35fc0(%rip), %rsi     # 0x70d14
leaq 0x35fba(%rip), %rdx     # 0x70d15
callq 0x95e6
leaq -0x190(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x1ddce
movabsq $-0x3fcd944e444aaaea, %rcx # imm = 0xC0326BB1BBB55516
movq %rcx, (%rax)
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3ad91
callq 0x5380
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x35f73(%rip), %rsi     # 0x70d16
leaq 0x35f71(%rip), %rdx     # 0x70d1b
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 -0x190(%rbp), %rdi
leaq -0x1b0(%rbp), %rsi
leaq -0x140(%rbp), %rdx
xorl %ecx, %ecx
callq 0x1a432
movsd %xmm0, -0x158(%rbp)
movsd -0x158(%rbp), %xmm0
movsd %xmm0, -0x160(%rbp)
movq 0x4f740(%rip), %rdi     # 0x8a550
leaq 0x35e2b(%rip), %rax     # 0x70c42
leaq -0x2b0(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x35e28(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq 0x35c3c(%rip), %rax     # 0x70a6f
leaq -0x2a0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x142, %edx            # imm = 0x142
callq 0x5760
xorl %eax, %eax
leaq -0xb8(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x4ec72(%rip), %rcx     # 0x89ad0
movq %rcx, (%rsi)
movq 0x4f148(%rip), %rbx     # 0x89fb0
movq %rbx, 0x10(%rsi)
leaq 0x35554(%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 0x4ed7c(%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 0x35d48(%rip), %r14     # 0x70c42
movq %r14, (%rdx)
leaq 0x35d4c(%rip), %r15     # 0x70c50
movq %r15, 0x8(%rdx)
subq $0x8, %rsp
leaq 0x35e35(%rip), %r10     # 0x70d48
leaq 0x3687d(%rip), %r11     # 0x71797
movl $0x142, %ecx            # imm = 0x142
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 0x4f5fd(%rip), %rdi     # 0x8a550
leaq -0x290(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
leaq 0x35b00(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x143, %edx            # imm = 0x143
callq 0x5760
leaq -0x78(%rbp), %r13
movb $0x0, -0x90(%rbp)
leaq 0x4eb3e(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x35420(%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 0x35d4e(%rip), %rsi     # 0x70d16
leaq 0x35d4c(%rip), %rdx     # 0x70d1b
leaq -0x70(%rbp), %rdi
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x35c53(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4f416(%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 0x35c27(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rdx)
leaq -0x38(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
movb %al, -0xf0(%rbp)
leaq 0x4eadc(%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 0x4ec39(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x35d08(%rip), %r13     # 0x70dbf
leaq 0x35deb(%rip), %r10     # 0x70ea9
leaq 0x35de0(%rip), %r11     # 0x70ea5
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x143, %ecx            # imm = 0x143
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 0x3b130
callq 0x5380
movq 0x4f419(%rip), %rdi     # 0x8a550
leaq -0x270(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x35b08(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x260(%rbp), %rcx
leaq 0x35915(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x144, %edx            # imm = 0x144
callq 0x5760
leaq -0x78(%rbp), %r13
movb $0x0, -0x90(%rbp)
leaq 0x4e953(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x35235(%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 0x35c93(%rip), %rsi     # 0x70e49
leaq 0x35c8f(%rip), %rdx     # 0x70e4c
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r14
movsd 0x4f233(%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 0x35a39(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x35a3d(%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 0x4ea5c(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x35bba(%rip), %r10     # 0x70e52
leaq 0x35c19(%rip), %r11     # 0x70eb8
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x144, %ecx            # imm = 0x144
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x35aef(%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 0x3b311
callq 0x5380
movq 0x4f238(%rip), %rdi     # 0x8a550
leaq -0x250(%rbp), %rsi
leaq 0x3591c(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x35920(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x240(%rbp), %rcx
leaq 0x3572d(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x145, %edx            # imm = 0x145
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4e76f(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x35051(%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 0x35aac(%rip), %rsi     # 0x70e46
leaq 0x35aa7(%rip), %rdx     # 0x70e48
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r14
movsd 0x4f04f(%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 0x35855(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x35859(%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 0x4e878(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x359e3(%rip), %r10     # 0x70e5f
leaq 0x35a3e(%rip), %r11     # 0x70ec1
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x145, %ecx            # imm = 0x145
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x3590b(%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 0x3b4f5
callq 0x5380
movq 0x4f054(%rip), %rdi     # 0x8a550
leaq -0x230(%rbp), %rsi
leaq 0x35738(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x3573c(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x220(%rbp), %rcx
leaq 0x35549(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x146, %edx            # imm = 0x146
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4e58b(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x34e6d(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movq %r15, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
movq %rax, (%rdi)
leaq 0x3630e(%rip), %rsi     # 0x71882
leaq 0x36309(%rip), %rdx     # 0x71884
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x356ab(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4ee6e(%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 0x3567f(%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 0x4e69e(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x35815(%rip), %r10     # 0x70e6b
leaq 0x3586d(%rip), %r11     # 0x70eca
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x146, %ecx            # imm = 0x146
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x35731(%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 0x3b6cf
callq 0x5380
movq 0x4ee7a(%rip), %rdi     # 0x8a550
leaq -0x210(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x35569(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x200(%rbp), %rcx
leaq 0x35376(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x147, %edx            # imm = 0x147
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4e3b8(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x34c9a(%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 0x348bd(%rip), %rsi     # 0x7000e
leaq 0x348b7(%rip), %rdx     # 0x7000f
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
leaq 0x354ce(%rip), %r15     # 0x70c42
movq %rax, %r14
movsd 0x4ec91(%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 0x354a2(%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 0x4e4c1(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x3564e(%rip), %r10     # 0x70e81
leaq 0x35698(%rip), %r11     # 0x70ed2
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x147, %ecx            # imm = 0x147
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r14
pushq %r14
leaq 0x35554(%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 0x3b8ac
callq 0x5380
movq 0x4ec9d(%rip), %rdi     # 0x8a550
leaq -0x1f0(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x3538c(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x1e0(%rbp), %rcx
leaq 0x35199(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x148, %edx            # imm = 0x148
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4e1db(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x34abd(%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 0x356c0(%rip), %rsi     # 0x70fee
leaq 0x356ba(%rip), %rdx     # 0x70fef
callq 0x95e6
leaq -0x140(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1ddce
movq %rax, %r15
movsd 0x4eabb(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x48(%rbp)
movsd (%rax), %xmm1
leaq -0x110(%rbp), %rdi
leaq -0x29(%rbp), %rsi
movsd 0x3526f(%rip), %xmm0    # 0x70be0
callq 0x6b55a
leaq -0x150(%rbp), %r14
leaq 0x352be(%rip), %rax     # 0x70c42
movq %rax, (%r14)
leaq 0x352c2(%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 0x4e2e1(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x3537b(%rip), %r10     # 0x70d8e
leaq 0x354c6(%rip), %r11     # 0x70ee0
leaq -0x110(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x148, %ecx            # imm = 0x148
movq %r14, %rdx
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %r15
pushq %r15
leaq 0x35371(%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 0x3ba8f
callq 0x5380
movq 0x4eaba(%rip), %rdi     # 0x8a550
leaq -0x1d0(%rbp), %rsi
leaq 0x3519e(%rip), %rax     # 0x70c42
movq %rax, (%rsi)
leaq 0x351a2(%rip), %rax     # 0x70c50
movq %rax, 0x8(%rsi)
leaq -0x1c0(%rbp), %rcx
leaq 0x34faf(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x149, %edx            # imm = 0x149
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x4dff1(%rip), %rax     # 0x89ad0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x348d3(%rip), %rax     # 0x703c7
movq %rax, -0x80(%rbp)
movabsq $-0x4011eb75e5d8e9c6, %rax # imm = 0xBFEE148A1A27163A
movq %rax, -0x50(%rbp)
movsd 0x4e902(%rip), %xmm2    # 0x8a410
movsd %xmm2, -0x38(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x48(%rbp), %rsi
movsd 0x350c5(%rip), %xmm0    # 0x70be8
movsd -0x158(%rbp), %xmm1
callq 0x6b55a
leaq -0x110(%rbp), %rdx
leaq 0x35104(%rip), %rax     # 0x70c42
movq %rax, (%rdx)
leaq 0x35108(%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 -0x160(%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 0x4e121(%rip), %rax     # 0x89cd0
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq -0x40(%rbp), %rax
movq %rax, -0xa0(%rbp)
subq $0x8, %rsp
leaq 0x35c7d(%rip), %r10     # 0x71850
leaq 0x3530e(%rip), %r11     # 0x70ee8
leaq -0x70(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x149, %ecx            # imm = 0x149
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
leaq -0xb8(%rbp), %rbx
pushq %rbx
leaq 0x351b8(%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 0x3bc55
callq 0x5380
leaq -0x190(%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 0x3bdb3
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bc9a
jmp 0x3bc97
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
jmp 0x3bd9a
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bccb
jmp 0x3bcc8
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
jmp 0x3bd9a
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bcfc
jmp 0x3bcf9
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
jmp 0x3bd9a
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bd2d
jmp 0x3bd2a
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
jmp 0x3bd9a
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bd5b
jmp 0x3bd58
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
jmp 0x3bd9a
jmp 0x3be58
movq %rax, %rbx
leaq -0x100(%rbp), %rdi
callq 0x2e804
jmp 0x3bd89
jmp 0x3bd86
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3be5b
callq 0x5380
jmp 0x3be5b
jmp 0x3be58
movq %rax, %rbx
leaq -0x88(%rbp), %rdi
callq 0x2e804
jmp 0x3be5b
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
jmp 0x3be53
movq %rax, %rbx
movq -0x140(%rbp), %rdi
cmpq %r14, %rdi
je 0x3be7f
jmp 0x3be7a
movq %rax, %rbx
jmp 0x3be7f
movq %rax, %rbx
leaq -0x140(%rbp), %rdi
callq 0x1e712
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x3be7f
callq 0x5380
leaq -0x190(%rbp), %rdi
callq 0x1e712
movq %rbx, %rdi
callq 0x56f0