// File: /workspace/github_cpp_makefile_star2_O1/aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionViterbiTest7::test_method()
BOOST_AUTO_TEST_CASE(TransitionViterbiTest7)
{
    string str1("k"); string str2("i");
    string str3("s"); string str4("a");
    string str5("l"); string str6("kissa");
    string str7("lla"); string str8("kissalla");
    set<string> vocab = {start_end,str1,str2,str3,str4,str5,str6,str7,str8};

    transitions_t transitions;
    transitions[start_end][str1] = -1.0;
    transitions[start_end][str6] = -1.0;
    transitions[start_end][str8] = -6.0;
    transitions[str4][start_end] = -1.0;
    transitions[str7][start_end] = -1.0;
    transitions[str8][start_end] = -6.0;
    transitions[str1][str2] = -1.0;
    transitions[str2][str3] = -1.0;
    transitions[str3][str3] = -1.0;
    transitions[str3][str4] = -1.0;
    transitions[str4][str5] = -1.0;
    transitions[str4][str7] = -1.0;
    transitions[str5][str4] = -1.0;
    transitions[str5][str5] = -1.0;
    transitions[str6][str7] = -1.0;
    transitions[str6][str5] = -1.0;
    string sentence("kissalla");
    int maxlen = 8;
    FactorGraph fg(sentence, start_end, vocab, maxlen);
    vector<string> best_path;

    flt_type lp = viterbi(transitions, fg, best_path);
    BOOST_CHECK_EQUAL(4, (int)best_path.size());
    BOOST_CHECK_EQUAL(start_end, best_path[0]);
    BOOST_CHECK_EQUAL(str6, best_path[1]);
    BOOST_CHECK_EQUAL(str7, best_path[2]);
    BOOST_CHECK_EQUAL(start_end, best_path[3]);
    BOOST_CHECK_CLOSE( -3.0, lp, DBL_ACCURACY );

    transitions[str6][str7] = -10.0;
    lp = viterbi(transitions, fg, best_path);
    BOOST_CHECK_EQUAL(6, (int)best_path.size());
    BOOST_CHECK_EQUAL(start_end, best_path[0]);
    BOOST_CHECK_EQUAL(str6, best_path[1]);
    BOOST_CHECK_EQUAL(str5, best_path[2]);
    BOOST_CHECK_EQUAL(str5, best_path[3]);
    BOOST_CHECK_EQUAL(str4, best_path[4]);
    BOOST_CHECK_EQUAL(start_end, best_path[5]);
    BOOST_CHECK_CLOSE( -5.0, 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 -0x248(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24c5c(%rip), %rsi     # 0x71ce4
leaq 0x24c56(%rip), %rdx     # 0x71ce5
leaq -0x258(%rbp), %rdi
callq 0x95e2
leaq -0x228(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2472f(%rip), %rsi     # 0x717dc
leaq 0x24729(%rip), %rdx     # 0x717dd
leaq -0x238(%rbp), %rdi
callq 0x95e2
leaq -0x1e8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23f3c(%rip), %rsi     # 0x7100e
leaq 0x23f36(%rip), %rdx     # 0x7100f
leaq -0x1f8(%rbp), %rdi
callq 0x95e2
leaq -0x178(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24ec7(%rip), %rsi     # 0x71fbe
leaq 0x24ec1(%rip), %rdx     # 0x71fbf
leaq -0x188(%rbp), %rdi
callq 0x95e2
leaq -0x128(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24e9a(%rip), %rsi     # 0x71fb6
leaq 0x24e94(%rip), %rdx     # 0x71fb7
leaq -0x138(%rbp), %rdi
callq 0x95e2
leaq -0x148(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24ba5(%rip), %rsi     # 0x71ce6
leaq 0x24ba3(%rip), %rdx     # 0x71ceb
leaq -0x158(%rbp), %rdi
callq 0x95e2
leaq -0x1c8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24b8b(%rip), %rsi     # 0x71cf1
leaq 0x24b87(%rip), %rdx     # 0x71cf4
leaq -0x1d8(%rbp), %rdi
callq 0x95e2
leaq -0x208(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24b61(%rip), %rsi     # 0x71cec
leaq 0x24b62(%rip), %rdx     # 0x71cf4
leaq -0x218(%rbp), %rdi
callq 0x95e2
leaq -0x388(%rbp), %rax
movq %rax, -0x10(%rax)
movq 0x3e3e8(%rip), %rsi     # 0x8b598
movq 0x3e3e9(%rip), %rdx     # 0x8b5a0
addq %rsi, %rdx
leaq -0x398(%rbp), %r15
movq %r15, %r14
movq %r15, %rdi
callq 0x9548
leaq -0x378(%rbp), %r14
leaq -0x368(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x258(%rbp), %rsi
movq -0x250(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x358(%rbp), %r14
leaq -0x348(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x238(%rbp), %rsi
movq -0x230(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x338(%rbp), %r14
leaq -0x328(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x1f8(%rbp), %rsi
movq -0x1f0(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x318(%rbp), %r14
leaq -0x308(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x188(%rbp), %rsi
movq -0x180(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x2f8(%rbp), %r14
leaq -0x2e8(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x138(%rbp), %rsi
movq -0x130(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x2d8(%rbp), %r14
leaq -0x2c8(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x158(%rbp), %rsi
movq -0x150(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x2b8(%rbp), %r14
leaq -0x2a8(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x1d8(%rbp), %rsi
movq -0x1d0(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x298(%rbp), %r14
leaq -0x288(%rbp), %r12
movq %r12, -0x10(%r12)
movq -0x218(%rbp), %rsi
movq -0x210(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x9548
leaq -0x3c8(%rbp), %rdi
leaq -0x398(%rbp), %rsi
leaq -0x1b8(%rbp), %rcx
leaq -0x50(%rbp), %r8
movl $0x9, %edx
callq 0x6b4ee
leaq -0x288(%rbp), %rbx
xorl %r14d, %r14d
movq -0x298(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x4d368
callq 0x5380
addq $-0x20, %r14
cmpq $-0x120, %r14           # imm = 0xFEE0
jne 0x4d352
leaq -0x1b0(%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 0x3e1fd(%rip), %rsi     # 0x8b598
leaq -0x1b8(%rbp), %rdi
callq 0x1e18a
leaq -0x258(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movabsq $-0x4010000000000000, %rbx # imm = 0xBFF0000000000000
movq %rbx, (%rax)
leaq 0x3e1ce(%rip), %rsi     # 0x8b598
leaq -0x1b8(%rbp), %rdi
callq 0x1e18a
leaq -0x158(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq 0x3e1a9(%rip), %rsi     # 0x8b598
leaq -0x1b8(%rbp), %rdi
callq 0x1e18a
leaq -0x218(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movabsq $-0x3fe8000000000000, %r14 # imm = 0xC018000000000000
movq %r14, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x188(%rbp), %rsi
callq 0x1e18a
leaq 0x3e167(%rip), %rsi     # 0x8b598
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0x1e18a
leaq 0x3e142(%rip), %rsi     # 0x8b598
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x218(%rbp), %rsi
callq 0x1e18a
leaq 0x3e11d(%rip), %rsi     # 0x8b598
movq %rax, %rdi
callq 0x1ddee
movq %r14, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x258(%rbp), %rsi
callq 0x1e18a
leaq -0x238(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x1e18a
leaq -0x1f8(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x1e18a
leaq -0x1f8(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x1e18a
leaq -0x188(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x188(%rbp), %rsi
callq 0x1e18a
leaq -0x138(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x188(%rbp), %rsi
callq 0x1e18a
leaq -0x1d8(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x1e18a
leaq -0x188(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x1e18a
leaq -0x138(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0x1e18a
leaq -0x1d8(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0x1e18a
leaq -0x138(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movq %rbx, (%rax)
leaq -0x268(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x246e2(%rip), %rsi     # 0x71cec
leaq 0x246e3(%rip), %rdx     # 0x71cf4
leaq -0x278(%rbp), %rdi
callq 0x95e2
leaq 0x3df74(%rip), %rdx     # 0x8b598
leaq -0x398(%rbp), %rdi
leaq -0x278(%rbp), %rsi
leaq -0x3c8(%rbp), %rcx
movl $0x8, %r8d
xorl %r9d, %r9d
callq 0x110ea
xorps %xmm0, %xmm0
leaq -0x110(%rbp), %rdx
movaps %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
leaq -0x1b8(%rbp), %rdi
leaq -0x398(%rbp), %rsi
movl $0x1, %ecx
callq 0x1a731
movsd %xmm0, -0x118(%rbp)
movq 0x3decd(%rip), %rdi     # 0x8b550
leaq 0x24588(%rip), %rax     # 0x71c12
leaq -0x588(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x24585(%rip), %r12     # 0x71c20
movq %r12, 0x8(%rsi)
leaq 0x243b9(%rip), %rax     # 0x71a5f
leaq -0x578(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x303, %edx            # imm = 0x303
callq 0x5760
xorl %eax, %eax
leaq -0x98(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x3d38f(%rip), %rcx     # 0x8aa60
movq %rcx, (%rsi)
movq 0x3d8d5(%rip), %rbx     # 0x8afb0
movq %rbx, 0x10(%rsi)
leaq 0x23ce1(%rip), %rcx     # 0x713c7
movq %rcx, 0x18(%rsi)
leaq -0xd8(%rbp), %r8
movq -0x108(%rbp), %rcx
subq -0x110(%rbp), %rcx
movl $0x4, (%r8)
shrq $0x5, %rcx
leaq -0xd0(%rbp), %r9
cmpl $0x4, %ecx
leaq -0xb8(%rbp), %rdi
sete (%rdi)
movl %ecx, (%r9)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x244dc(%rip), %r14     # 0x71c12
movq %r14, (%rdx)
movq %r12, 0x8(%rdx)
leaq -0xc8(%rbp), %r10
movq %r8, (%r10)
movb %al, -0x48(%rbp)
leaq 0x3d487(%rip), %rcx     # 0x8abd8
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
movq %r10, %r13
movq %r10, -0x38(%rbp)
leaq -0x70(%rbp), %r11
movb %al, 0x8(%r11)
leaq -0x30(%rbp), %rax
movq %r9, (%rax)
movq %rcx, (%r11)
movq %rbx, 0x10(%r11)
movq %rax, 0x18(%r11)
subq $0x8, %rsp
leaq 0x24a02(%rip), %r15     # 0x72187
leaq 0x24f68(%rip), %r10     # 0x726f4
movl $0x303, %ecx            # imm = 0x303
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
pushq %r11
pushq %r15
leaq -0x50(%rbp), %r11
pushq %r11
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3dd87(%rip), %rdi     # 0x8b550
leaq -0x568(%rbp), %rsi
movq %r14, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x558(%rbp), %rcx
leaq 0x2427a(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x304, %edx            # imm = 0x304
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3d25c(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x23bae(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %r14
movq 0x3dd75(%rip), %rdx     # 0x8b5a0
cmpq 0x8(%r14), %rdx
jne 0x4d84c
testq %rdx, %rdx
je 0x4d850
movq (%r14), %rsi
movq 0x3dd58(%rip), %rdi     # 0x8b598
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4d852
xorl %eax, %eax
jmp 0x4d852
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x243a2(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x243a6(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq 0x3dd13(%rip), %rax     # 0x8b598
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3d300(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
movq %r13, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x248e1(%rip), %r14     # 0x721a7
leaq 0x248d0(%rip), %r11     # 0x7219d
leaq -0x98(%rbp), %rsi
movl $0x304, %ecx            # imm = 0x304
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
pushq %r14
leaq -0x50(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3dc3b(%rip), %rdi     # 0x8b550
leaq -0x548(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x538(%rbp), %rcx
leaq 0x2412e(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x305, %edx            # imm = 0x305
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3d110(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x23a62(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x20(%rax), %r14
movq -0x150(%rbp), %rdx
cmpq 0x28(%rax), %rdx
jne 0x4d99c
testq %rdx, %rdx
je 0x4d9a0
movq (%r14), %rsi
movq -0x158(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4d9a2
xorl %eax, %eax
jmp 0x4d9a2
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x24252(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x24256(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq -0x158(%rbp), %rax
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3d1b0(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
movq %r13, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x247a3(%rip), %r14     # 0x721b9
leaq 0x2485c(%rip), %r11     # 0x72279
leaq -0x98(%rbp), %rsi
movl $0x305, %ecx            # imm = 0x305
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
pushq %r14
leaq -0x50(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3daeb(%rip), %rdi     # 0x8b550
leaq -0x528(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x518(%rbp), %rcx
leaq 0x23fde(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x306, %edx            # imm = 0x306
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3cfc0(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x23912(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x40(%rax), %r14
movq -0x1d0(%rbp), %rdx
cmpq 0x48(%rax), %rdx
jne 0x4daec
testq %rdx, %rdx
je 0x4daf0
movq (%r14), %rsi
movq -0x1d8(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4daf2
xorl %eax, %eax
jmp 0x4daf2
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x24102(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x24106(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq -0x1d8(%rbp), %rax
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3d060(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
movq %r13, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x24665(%rip), %r14     # 0x721cb
leaq 0x24711(%rip), %r10     # 0x7227e
leaq -0x98(%rbp), %rsi
movl $0x306, %ecx            # imm = 0x306
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r11
pushq %r11
pushq %r14
leaq -0x50(%rbp), %r11
pushq %r11
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d99b(%rip), %rdi     # 0x8b550
leaq -0x508(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x4f8(%rbp), %rcx
leaq 0x23e8e(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x307, %edx            # imm = 0x307
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3ce70(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x237c2(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x60(%rax), %r14
movq 0x3d985(%rip), %rdx     # 0x8b5a0
cmpq 0x68(%rax), %rdx
jne 0x4dc3c
testq %rdx, %rdx
je 0x4dc40
movq (%r14), %rsi
movq 0x3d968(%rip), %rdi     # 0x8b598
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4dc42
xorl %eax, %eax
jmp 0x4dc42
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x23fb2(%rip), %r15     # 0x71c12
movq %r15, (%rdx)
leaq 0x23fb6(%rip), %r12     # 0x71c20
movq %r12, 0x8(%rdx)
leaq 0x3d923(%rip), %rax     # 0x8b598
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3cf10(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
movq %r13, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x24522(%rip), %r11     # 0x721d8
leaq -0x98(%rbp), %r14
movl $0x307, %ecx            # imm = 0x307
movq %r14, %rsi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
pushq %r11
leaq -0x50(%rbp), %r10
pushq %r10
leaq 0x244b5(%rip), %r10     # 0x7219d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d848(%rip), %rdi     # 0x8b550
leaq -0x4e8(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x4d8(%rbp), %rcx
leaq 0x23d3b(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x308, %edx            # imm = 0x308
callq 0x5760
movb $0x0, -0xb0(%rbp)
leaq 0x3cd1d(%rip), %rax     # 0x8aa60
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq 0x2366f(%rip), %rax     # 0x713c7
movq %rax, -0xa0(%rbp)
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0x168(%rbp)
movsd 0x3d698(%rip), %xmm2    # 0x8b410
movsd %xmm2, -0x160(%rbp)
movsd -0x118(%rbp), %xmm1
leaq -0xf0(%rbp), %rdi
leaq -0x71(%rbp), %rsi
movsd 0x23dfd(%rip), %xmm0    # 0x71b98
callq 0x6b8ea
leaq -0xc8(%rbp), %rdx
leaq 0x23e64(%rip), %rax     # 0x71c12
movq %rax, (%rdx)
movq %r12, 0x8(%rdx)
leaq -0x168(%rbp), %rax
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3cd0c(%rip), %rsi     # 0x8aad8
movq %rsi, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0x30(%rbp), %rcx
movq %rcx, -0x38(%rbp)
leaq -0x118(%rbp), %rcx
movq %rcx, -0xd8(%rbp)
movb %al, -0x68(%rbp)
movq %rsi, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0xd8(%rbp), %rcx
movq %rcx, -0x58(%rbp)
leaq -0x160(%rbp), %rcx
movq %rcx, -0xd0(%rbp)
movb %al, -0x90(%rbp)
leaq 0x3ceb5(%rip), %rax     # 0x8acd0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq -0xd0(%rbp), %rax
movq %rax, -0x80(%rbp)
subq $0x8, %rsp
leaq 0x23f50(%rip), %r11     # 0x71d8f
leaq 0x249da(%rip), %r15     # 0x72820
leaq 0x23aa4(%rip), %r10     # 0x718f1
leaq -0xf0(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
movl $0x308, %ecx            # imm = 0x308
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
pushq %r14
pushq %r11
leaq -0x70(%rbp), %r11
pushq %r11
pushq %r15
leaq -0x50(%rbp), %r11
pushq %r11
pushq %r10
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0xe0(%rbp), %rdi
callq 0x2e966
leaq -0x1b8(%rbp), %rdi
leaq -0x158(%rbp), %r13
movq %r13, %rsi
callq 0x1e18a
leaq -0x1d8(%rbp), %rsi
movq %rax, %rdi
callq 0x1ddee
movabsq $-0x3fdc000000000000, %rcx # imm = 0xC024000000000000
movq %rcx, (%rax)
leaq -0x1b8(%rbp), %rdi
leaq -0x398(%rbp), %rsi
leaq -0x110(%rbp), %rdx
movl $0x1, %ecx
callq 0x1a731
movsd %xmm0, -0x118(%rbp)
movq 0x3d657(%rip), %rdi     # 0x8b550
leaq -0x4c8(%rbp), %rsi
leaq 0x23d0b(%rip), %rax     # 0x71c12
movq %rax, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x4b8(%rbp), %rcx
leaq 0x23b43(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x30c, %edx            # imm = 0x30C
callq 0x5760
xorl %eax, %eax
movq -0x108(%rbp), %rcx
subq -0x110(%rbp), %rcx
shrq $0x5, %rcx
movl %ecx, -0xd0(%rbp)
cmpl $0x6, %ecx
leaq -0x98(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x3cb05(%rip), %rcx     # 0x8aa60
movq %rcx, (%rsi)
movq %rbx, 0x10(%rsi)
leaq 0x2345e(%rip), %rcx     # 0x713c7
movq %rcx, 0x18(%rsi)
movl $0x6, -0xd8(%rbp)
movb %al, -0x48(%rbp)
movb %al, -0x68(%rbp)
leaq -0xb8(%rbp), %rdi
sete (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x3cc43(%rip), %rax     # 0x8abd8
movq %rax, -0x50(%rbp)
movq %rax, -0x70(%rbp)
leaq -0xf0(%rbp), %rdx
leaq 0x23c67(%rip), %r14     # 0x71c12
movq %r14, (%rdx)
movq %r12, 0x8(%rdx)
leaq -0xd8(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rax
movq %rax, -0x38(%rbp)
leaq -0xd0(%rbp), %rax
movq %rax, -0x30(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x24776(%rip), %r10     # 0x72767
movl $0x30c, %ecx            # imm = 0x30C
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r11
pushq %r11
leaq 0x24176(%rip), %r11     # 0x72187
pushq %r11
leaq -0x50(%rbp), %r11
pushq %r11
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d517(%rip), %rdi     # 0x8b550
leaq -0x4a8(%rbp), %rsi
movq %r14, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x498(%rbp), %rcx
leaq 0x23a0a(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x30d, %edx            # imm = 0x30D
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3c9ec(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x2333e(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %r14
movq 0x3d505(%rip), %rdx     # 0x8b5a0
cmpq 0x8(%r14), %rdx
jne 0x4e0bc
testq %rdx, %rdx
je 0x4e0c0
movq (%r14), %rsi
movq 0x3d4e8(%rip), %rdi     # 0x8b598
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e0c2
xorl %eax, %eax
jmp 0x4e0c2
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x23b32(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x23b36(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq 0x3d4a3(%rip), %rax     # 0x8b598
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3ca90(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq -0x98(%rbp), %rsi
movl $0x30d, %ecx            # imm = 0x30D
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
leaq 0x2404a(%rip), %r10     # 0x721a7
pushq %r10
leaq -0x50(%rbp), %r10
pushq %r10
leaq 0x24031(%rip), %r10     # 0x7219d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d3c4(%rip), %rdi     # 0x8b550
leaq -0x488(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x478(%rbp), %rcx
leaq 0x238b7(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x30e, %edx            # imm = 0x30E
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3c899(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x231eb(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x20(%rax), %r14
movq -0x150(%rbp), %rdx
cmpq 0x28(%rax), %rdx
jne 0x4e213
testq %rdx, %rdx
je 0x4e217
movq (%r14), %rsi
movq -0x158(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e219
xorl %eax, %eax
jmp 0x4e219
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x239db(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x239df(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
movq %r13, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c940(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq -0x98(%rbp), %rsi
movl $0x30e, %ecx            # imm = 0x30E
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
leaq 0x23f0c(%rip), %r10     # 0x721b9
pushq %r10
leaq -0x50(%rbp), %r10
pushq %r10
leaq 0x23fbd(%rip), %r10     # 0x72279
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d274(%rip), %rdi     # 0x8b550
leaq -0x468(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x458(%rbp), %rcx
leaq 0x23767(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x30f, %edx            # imm = 0x30F
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3c749(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x2309b(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x40(%rax), %r14
movq -0x130(%rbp), %rdx
cmpq 0x48(%rax), %rdx
jne 0x4e363
testq %rdx, %rdx
je 0x4e367
movq (%r14), %rsi
movq -0x138(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e369
xorl %eax, %eax
jmp 0x4e369
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x2388b(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x2388f(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq -0x138(%rbp), %rax
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c7e9(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x23e9f(%rip), %r14     # 0x72283
leaq -0x98(%rbp), %rsi
movl $0x30f, %ecx            # imm = 0x30F
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
leaq 0x23dc0(%rip), %r10     # 0x721cb
pushq %r10
leaq -0x50(%rbp), %r10
pushq %r10
pushq %r14
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3d11d(%rip), %rdi     # 0x8b550
leaq -0x448(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x438(%rbp), %rcx
leaq 0x23610(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x310, %edx            # imm = 0x310
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3c5f2(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x22f44(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x60(%rax), %r12
movq -0x130(%rbp), %rdx
cmpq 0x68(%rax), %rdx
jne 0x4e4bb
testq %rdx, %rdx
je 0x4e4bf
movq (%r12), %rsi
movq -0x138(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e4c1
xorl %eax, %eax
jmp 0x4e4c1
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x23733(%rip), %r15     # 0x71c12
movq %r15, (%rdx)
leaq 0x23737(%rip), %r13     # 0x71c20
movq %r13, 0x8(%rdx)
leaq -0x138(%rbp), %rax
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c691(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r12, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq -0x98(%rbp), %rsi
movl $0x310, %ecx            # imm = 0x310
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r10
pushq %r10
leaq 0x23c7c(%rip), %r10     # 0x721d8
pushq %r10
leaq -0x50(%rbp), %r12
movq %r12, %rbx
pushq %r12
pushq %r14
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3cfc9(%rip), %rdi     # 0x8b550
leaq -0x428(%rbp), %rsi
movq %r15, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x418(%rbp), %rcx
leaq 0x234bc(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x311, %edx            # imm = 0x311
callq 0x5760
movq %rbx, %r13
movq 0x3c9f2(%rip), %rbx     # 0x8afb0
movb $0x0, -0x90(%rbp)
leaq 0x3c494(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x22de6(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0x80(%rax), %r14
movq -0x180(%rbp), %rdx
cmpq 0x88(%rax), %rdx
jne 0x4e61e
testq %rdx, %rdx
je 0x4e622
movq (%r14), %rsi
movq -0x188(%rbp), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e624
xorl %eax, %eax
jmp 0x4e624
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x235d0(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x235d4(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq -0x188(%rbp), %rax
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c52e(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x23be9(%rip), %r10     # 0x72288
leaq 0x23b5b(%rip), %r11     # 0x72201
leaq -0x98(%rbp), %rsi
movl $0x311, %ecx            # imm = 0x311
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r14
pushq %r14
pushq %r10
pushq %r13
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3ce66(%rip), %rdi     # 0x8b550
leaq -0x408(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x3f8(%rbp), %rcx
leaq 0x23359(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x312, %edx            # imm = 0x312
callq 0x5760
movb $0x0, -0x90(%rbp)
leaq 0x3c33b(%rip), %rax     # 0x8aa60
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq 0x22c8d(%rip), %rax     # 0x713c7
movq %rax, -0x80(%rbp)
movq -0x110(%rbp), %rax
leaq 0xa0(%rax), %r14
movq 0x3ce4d(%rip), %rdx     # 0x8b5a0
cmpq 0xa8(%rax), %rdx
jne 0x4e777
testq %rdx, %rdx
je 0x4e77b
movq (%r14), %rsi
movq 0x3ce2d(%rip), %rdi     # 0x8b598
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x4e77d
xorl %eax, %eax
jmp 0x4e77d
movb $0x1, %al
leaq -0xb8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xf0(%rbp), %rdx
leaq 0x23477(%rip), %r12     # 0x71c12
movq %r12, (%rdx)
leaq 0x2347b(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rdx)
leaq 0x3cde8(%rip), %rax     # 0x8b598
movq %rax, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c3d5(%rip), %rcx     # 0x8ab98
movq %rcx, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0xc8(%rbp), %rsi
movq %rsi, -0x38(%rbp)
movq %r14, -0x30(%rbp)
movb %al, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x58(%rbp)
subq $0x8, %rsp
leaq 0x23a9d(%rip), %r10     # 0x72295
leaq -0x98(%rbp), %r14
movl $0x312, %ecx            # imm = 0x312
movq %r14, %rsi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x70(%rbp), %r11
pushq %r11
pushq %r10
pushq %r13
leaq 0x23977(%rip), %r10     # 0x7219d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x2e966
movq 0x3cd0a(%rip), %rdi     # 0x8b550
leaq -0x3e8(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x3d8(%rbp), %rcx
leaq 0x231fd(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x313, %edx            # imm = 0x313
callq 0x5760
movb $0x0, -0xb0(%rbp)
leaq 0x3c1df(%rip), %rax     # 0x8aa60
movq %rax, -0xb8(%rbp)
movq %rbx, -0xa8(%rbp)
leaq 0x22b31(%rip), %rax     # 0x713c7
movq %rax, -0xa0(%rbp)
movabsq $-0x3fec000000000000, %rax # imm = 0xC014000000000000
movq %rax, -0x168(%rbp)
movsd 0x3cb5a(%rip), %xmm2    # 0x8b410
movsd %xmm2, -0x160(%rbp)
movsd -0x118(%rbp), %xmm1
leaq -0xf0(%rbp), %rdi
leaq -0x71(%rbp), %rsi
movsd 0x232cf(%rip), %xmm0    # 0x71ba8
callq 0x6b8ea
leaq -0xc8(%rbp), %rdx
leaq 0x23326(%rip), %rax     # 0x71c12
movq %rax, (%rdx)
movq %r15, 0x8(%rdx)
leaq -0x168(%rbp), %rax
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movb %al, -0x48(%rbp)
leaq 0x3c1ce(%rip), %rsi     # 0x8aad8
movq %rsi, -0x50(%rbp)
movq %rbx, -0x40(%rbp)
leaq -0x30(%rbp), %rcx
movq %rcx, -0x38(%rbp)
leaq -0x118(%rbp), %rcx
movq %rcx, -0xd8(%rbp)
movb %al, -0x68(%rbp)
movq %rsi, -0x70(%rbp)
movq %rbx, -0x60(%rbp)
leaq -0xd8(%rbp), %rcx
movq %rcx, -0x58(%rbp)
leaq -0x160(%rbp), %rcx
movq %rcx, -0xd0(%rbp)
movb %al, -0x90(%rbp)
leaq 0x3c377(%rip), %rax     # 0x8acd0
movq %rax, -0x98(%rbp)
movq %rbx, -0x88(%rbp)
leaq -0xd0(%rbp), %rax
movq %rax, -0x80(%rbp)
subq $0x8, %rsp
leaq 0x22fa9(%rip), %r10     # 0x71926
leaq -0xf0(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
movl $0x313, %ecx            # imm = 0x313
movl $0x1, %r8d
movl $0x8, %r9d
xorl %eax, %eax
pushq %r14
leaq 0x233e8(%rip), %r11     # 0x71d8f
pushq %r11
leaq -0x70(%rbp), %r11
pushq %r11
leaq 0x23e6a(%rip), %r11     # 0x72820
pushq %r11
pushq %r13
pushq %r10
pushq $0x3
callq 0x5740
addq $0x40, %rsp
leaq -0xe0(%rbp), %rdi
callq 0x2e966
leaq -0x110(%rbp), %rdi
callq 0xab88
leaq -0x398(%rbp), %rdi
callq 0x12c6c
movq -0x278(%rbp), %rdi
leaq -0x268(%rbp), %rax
cmpq %rax, %rdi
leaq -0x228(%rbp), %rbx
leaq -0x1e8(%rbp), %r14
je 0x4ea11
callq 0x5380
leaq -0x1b8(%rbp), %rdi
callq 0x1e76a
leaq -0x3c8(%rbp), %rdi
callq 0x22c7c
movq -0x218(%rbp), %rdi
leaq -0x208(%rbp), %rax
cmpq %rax, %rdi
je 0x4ea41
callq 0x5380
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
je 0x4ea59
callq 0x5380
movq -0x158(%rbp), %rdi
leaq -0x148(%rbp), %rax
cmpq %rax, %rdi
je 0x4ea71
callq 0x5380
movq -0x138(%rbp), %rdi
leaq -0x128(%rbp), %rax
cmpq %rax, %rdi
je 0x4ea89
callq 0x5380
movq -0x188(%rbp), %rdi
leaq -0x178(%rbp), %rax
cmpq %rax, %rdi
je 0x4eaa1
callq 0x5380
movq -0x1f8(%rbp), %rdi
cmpq %r14, %rdi
je 0x4eab2
callq 0x5380
movq -0x238(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4eac3
callq 0x5380
movq -0x258(%rbp), %rdi
leaq -0x248(%rbp), %rax
cmpq %rax, %rdi
je 0x4eadb
callq 0x5380
addq $0x568, %rsp            # imm = 0x568
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4eb02
jmp 0x4ebcf
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
movq %rax, %rbx
leaq -0xe0(%rbp), %rdi
jmp 0x4eb25
jmp 0x4ebcf
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
jmp 0x4eb1b
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x2e966
jmp 0x4ebd2
movq %rax, %rbx
jmp 0x4ebea
jmp 0x4ec04
movq %rax, %rbx
movq $-0x120, %r14           # imm = 0xFEE0
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x4eb55
callq 0x5380
addq $-0x20, %r12
addq $0x20, %r14
jne 0x4eb46
jmp 0x4ec1f
movq %rax, %rbx
jmp 0x4ec37
movq %rax, %rbx
jmp 0x4ec4f
movq %rax, %rbx
jmp 0x4ec67
movq %rax, %rbx
jmp 0x4ec7f
movq %rax, %rbx
jmp 0x4ec97
movq %rax, %rbx
jmp 0x4ecaf
movq %rax, %rbx
jmp 0x4ecc7
movq %rax, %rbx
cmpq %r14, %r15
je 0x4ec1f
addq $-0x10, %r14
leaq -0x398(%rbp), %r15
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x4ebbd
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %r15, %r14
movq %rax, %r14
jne 0x4ebaf
jmp 0x4ec1f
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0xab88
leaq -0x398(%rbp), %rdi
callq 0x12c6c
movq -0x278(%rbp), %rdi
leaq -0x268(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec07
callq 0x5380
jmp 0x4ec07
movq %rax, %rbx
leaq -0x1b8(%rbp), %rdi
callq 0x1e76a
leaq -0x3c8(%rbp), %rdi
callq 0x22c7c
movq -0x218(%rbp), %rdi
leaq -0x208(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec37
callq 0x5380
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec4f
callq 0x5380
movq -0x158(%rbp), %rdi
leaq -0x148(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec67
callq 0x5380
movq -0x138(%rbp), %rdi
leaq -0x128(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec7f
callq 0x5380
movq -0x188(%rbp), %rdi
leaq -0x178(%rbp), %rax
cmpq %rax, %rdi
je 0x4ec97
callq 0x5380
movq -0x1f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rax
cmpq %rax, %rdi
je 0x4ecaf
callq 0x5380
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x4ecc7
callq 0x5380
movq -0x258(%rbp), %rdi
leaq -0x248(%rbp), %rax
cmpq %rax, %rdi
je 0x4ecdf
callq 0x5380
movq %rbx, %rdi
callq 0x56f0