// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/emtest.cc
// Function: FactorGraphTestGetList::test_method()
BOOST_AUTO_TEST_CASE(FactorGraphTestGetList)
{
    set<string> vocab = {"k","i","s","a","sa","ki","kis","kissa"};
    string sentence("kissa");
    FactorGraph fg(sentence, start_end, vocab, 5);
    vector<vector<string> > paths;
    fg.get_paths(paths);
    BOOST_CHECK_EQUAL( 7, (int)paths.size() );
    vector<string> seg = {"*", "kissa", "*" };
    BOOST_CHECK( includes_path(paths, seg) );
    vector<string> seg2 = {"*", "kis", "sa", "*" };
    BOOST_CHECK( includes_path(paths, seg2) );
    vector<string> seg3 = {"*", "kis", "s", "a", "*" };
    BOOST_CHECK( includes_path(paths, seg3) );
    vector<string> seg4 = {"*", "ki", "s", "s", "a", "*" };
    BOOST_CHECK( includes_path(paths, seg4) );
    vector<string> seg5 = {"*", "ki", "s", "sa", "*" };
    BOOST_CHECK( includes_path(paths, seg5) );
    vector<string> seg6 = {"*", "ki", "s", "s", "a", "*" };
    BOOST_CHECK( includes_path(paths, seg6) );
    vector<string> seg7 = {"*", "k", "i", "s", "s", "a", "*" };
    BOOST_CHECK( includes_path(paths, seg7) );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x468, %rsp            # imm = 0x468
leaq -0x1b0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2daf2(%rip), %rsi     # 0x70d14
leaq 0x2daec(%rip), %rdx     # 0x70d15
leaq -0x1c0(%rbp), %r14
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2d59b(%rip), %rsi     # 0x707ec
leaq 0x2d595(%rip), %rdx     # 0x707ed
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
leaq -0x170(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x2cd95(%rip), %rsi     # 0x7000e
leaq 0x2cd8f(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
leaq -0x150(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x2dd4d(%rip), %rsi     # 0x70fee
leaq 0x2dd47(%rip), %rdx     # 0x70fef
movq %r15, %rdi
callq 0x95e6
leaq -0x140(%rbp), %r15
leaq -0x130(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2e5b9(%rip), %rsi     # 0x71882
leaq 0x2e5b4(%rip), %rdx     # 0x71884
movq %r15, %rdi
callq 0x95e6
leaq -0x120(%rbp), %r15
leaq -0x110(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2db55(%rip), %rsi     # 0x70e46
leaq 0x2db50(%rip), %rdx     # 0x70e48
movq %r15, %rdi
callq 0x95e6
leaq -0x100(%rbp), %r15
leaq -0xf0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2db30(%rip), %rsi     # 0x70e49
leaq 0x2db2c(%rip), %rdx     # 0x70e4c
movq %r15, %rdi
callq 0x95e6
leaq -0xe0(%rbp), %r15
leaq -0xd0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x2d9d4(%rip), %rsi     # 0x70d16
leaq 0x2d9d2(%rip), %rdx     # 0x70d1b
movq %r15, %rdi
callq 0x95e6
leaq -0x268(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x460(%rbp), %rcx
leaq -0x1f8(%rbp), %r8
movl $0x8, %edx
callq 0x6b15e
leaq -0xd0(%rbp), %r14
xorl %r12d, %r12d
movq -0xe0(%rbp,%r12), %rdi
leaq (%r14,%r12), %rax
cmpq %rdi, %rax
je 0x43397
callq 0x5380
addq $-0x20, %r12
cmpq $-0x100, %r12
jne 0x43381
leaq -0x228(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2d960(%rip), %rsi     # 0x70d16
leaq 0x2d95e(%rip), %rdx     # 0x70d1b
leaq -0x238(%rbp), %rdi
callq 0x95e6
leaq 0x471c8(%rip), %rdx     # 0x8a598
leaq -0x460(%rbp), %rdi
leaq -0x238(%rbp), %rsi
leaq -0x268(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x11002
xorps %xmm0, %xmm0
leaq -0x60(%rbp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq -0x460(%rbp), %rdi
callq 0x12222
movq 0x47138(%rip), %rdi     # 0x8a550
leaq 0x2d823(%rip), %r12     # 0x70c42
leaq -0x3e8(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x2d820(%rip), %r15     # 0x70c50
movq %r15, 0x8(%rsi)
leaq 0x2d634(%rip), %rax     # 0x70a6f
leaq -0x3d8(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x22a, %edx            # imm = 0x22A
callq 0x5760
xorl %eax, %eax
leaq -0x218(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x4666a(%rip), %rcx     # 0x89ad0
movq %rcx, (%rsi)
movq 0x46b40(%rip), %r10     # 0x89fb0
movq %r10, 0x10(%rsi)
leaq 0x2cf4c(%rip), %rcx     # 0x703c7
movq %rcx, 0x18(%rsi)
leaq -0x78(%rbp), %r8
movq -0x58(%rbp), %rcx
subq -0x60(%rbp), %rcx
movl $0x7, (%r8)
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
cmpl $0x7, %ecx
leaq -0x48(%rbp), %r14
sete (%r14)
leaq -0x1d8(%rbp), %rdi
movl %ecx, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
leaq -0xc0(%rbp), %rdx
movq %r12, (%rdx)
movq %r15, 0x8(%rdx)
leaq -0xa8(%rbp), %r9
movq %r8, (%r9)
movb %al, -0x1b8(%rbp)
leaq 0x46743(%rip), %rcx     # 0x89c20
movq %rcx, -0x1c0(%rbp)
movq %r10, -0x1b0(%rbp)
movq %r9, -0x1a8(%rbp)
leaq -0x90(%rbp), %r8
movq %rdi, (%r8)
movb %al, -0x1f0(%rbp)
movq %rcx, -0x1f8(%rbp)
movq %r10, -0x1e8(%rbp)
movq %r8, -0x1e0(%rbp)
leaq -0x1f8(%rbp), %rax
movq %rax, 0x20(%rsp)
leaq 0x2db73(%rip), %rax     # 0x7109d
movq %rax, 0x18(%rsp)
leaq -0x1c0(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x2e0d8(%rip), %rax     # 0x7161a
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
movl $0x22a, %ecx            # imm = 0x22A
movq %r14, %rdi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x38(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r15
leaq -0x1b0(%rbp), %rax
movq %rax, (%r15)
leaq 0x2d6b5(%rip), %rsi     # 0x70c40
leaq 0x2d6af(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r12
leaq -0x190(%rbp), %rax
movq %rax, (%r12)
leaq 0x2d763(%rip), %rsi     # 0x70d16
leaq 0x2d761(%rip), %rdx     # 0x70d1b
movq %r12, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r12
movq %r13, (%r12)
leaq 0x2d66c(%rip), %rsi     # 0x70c40
leaq 0x2d666(%rip), %rdx     # 0x70c41
movq %r12, %rdi
callq 0x95e6
leaq -0x1f8(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x218(%rbp), %rcx
movl $0x3, %edx
callq 0x6b1e0
leaq -0x170(%rbp), %r13
xorl %r15d, %r15d
movq -0x180(%rbp,%r15), %rdi
leaq (%r15,%r13), %rax
cmpq %rdi, %rax
je 0x43622
callq 0x5380
addq $-0x20, %r15
cmpq $-0x60, %r15
jne 0x4360c
movq 0x46f1d(%rip), %rdi     # 0x8a550
leaq -0x3c8(%rbp), %rsi
leaq 0x2d601(%rip), %r15     # 0x70c42
movq %r15, (%rsi)
leaq 0x2d605(%rip), %r12     # 0x70c50
movq %r12, 0x8(%rsi)
leaq -0x3b8(%rbp), %rcx
leaq 0x2d412(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x22c, %edx            # imm = 0x22C
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x41f4e
leaq -0x218(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2da1a(%rip), %rax     # 0x710af
movq %rax, -0x48(%rbp)
leaq 0x2da28(%rip), %rax     # 0x710c8
movq %rax, -0x40(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x464aa(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x468f0(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x3a8(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x22c, %ecx            # imm = 0x22C
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x208(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2d529(%rip), %rsi     # 0x70c40
leaq 0x2d523(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x110(%rbp), %r12
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2d704(%rip), %rsi     # 0x70e49
leaq 0x2d700(%rip), %rdx     # 0x70e4c
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
movq %r13, (%r15)
leaq 0x2e11d(%rip), %rsi     # 0x71882
leaq 0x2e118(%rip), %rdx     # 0x71884
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2d4bb(%rip), %rsi     # 0x70c40
leaq 0x2d4b5(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0x218(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x48(%rbp), %rcx
movl $0x4, %edx
callq 0x6b1e0
leaq -0x150(%rbp), %rbx
xorl %r14d, %r14d
leaq 0x2d481(%rip), %r15     # 0x70c42
movq -0x160(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x437d7
callq 0x5380
addq $-0x20, %r14
cmpq $-0x80, %r14
jne 0x437c1
movq 0x46d68(%rip), %rdi     # 0x8a550
leaq -0x398(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2d457(%rip), %r14     # 0x70c50
movq %r14, 0x8(%rsi)
leaq -0x388(%rbp), %rcx
leaq 0x2d264(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x22e, %edx            # imm = 0x22E
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x218(%rbp), %rsi
callq 0x41f4e
leaq -0x48(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d889(%rip), %rax     # 0x710c9
movq %rax, -0xc0(%rbp)
leaq 0x2d895(%rip), %rax     # 0x710e3
movq %rax, -0xb8(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x462f9(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x4673f(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0xc0(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x378(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x22e, %ecx            # imm = 0x22E
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x38(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2d374(%rip), %rsi     # 0x70c40
leaq 0x2d36e(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2d556(%rip), %rsi     # 0x70e49
leaq 0x2d552(%rip), %rdx     # 0x70e4c
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
movq %r13, (%r15)
leaq 0x2c6fb(%rip), %rsi     # 0x7000e
leaq 0x2c6f5(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2d6bb(%rip), %rsi     # 0x70fee
leaq 0x2d6b5(%rip), %rdx     # 0x70fef
movq %r15, %rdi
callq 0x95e6
leaq -0x130(%rbp), %r13
leaq -0x140(%rbp), %r15
movq %r13, (%r15)
leaq 0x2d2e6(%rip), %rsi     # 0x70c40
leaq 0x2d2e0(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0x48(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0xc0(%rbp), %rcx
movl $0x5, %edx
callq 0x6b1e0
xorl %r14d, %r14d
leaq 0x2d2b3(%rip), %r15     # 0x70c42
movq -0x140(%rbp,%r14), %rdi
leaq (%r14,%r13), %rax
cmpq %rdi, %rax
je 0x439a5
callq 0x5380
addq $-0x20, %r14
cmpq $-0xa0, %r14
jne 0x4398f
movq 0x46b97(%rip), %rdi     # 0x8a550
leaq -0x368(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2d286(%rip), %r14     # 0x70c50
movq %r14, 0x8(%rsi)
leaq -0x358(%rbp), %rcx
leaq 0x2d093(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x230, %edx            # imm = 0x230
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x41f4e
leaq -0xc0(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d6d3(%rip), %rax     # 0x710e4
movq %rax, -0xa8(%rbp)
leaq 0x2d6df(%rip), %rax     # 0x710fe
movq %rax, -0xa0(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x46128(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x4656e(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0xa8(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x348(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x230, %ecx            # imm = 0x230
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0xb0(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2d1a0(%rip), %rsi     # 0x70c40
leaq 0x2d19a(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2d37f(%rip), %rsi     # 0x70e46
leaq 0x2d37a(%rip), %rdx     # 0x70e48
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
leaq -0x170(%rbp), %rax
movq %rax, (%r15)
leaq 0x2c520(%rip), %rsi     # 0x7000e
leaq 0x2c51a(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2c500(%rip), %rsi     # 0x7000e
leaq 0x2c4fa(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x140(%rbp), %r15
movq %r13, (%r15)
leaq 0x2d4c0(%rip), %rsi     # 0x70fee
leaq 0x2d4ba(%rip), %rdx     # 0x70fef
movq %r15, %rdi
callq 0x95e6
leaq -0x120(%rbp), %r15
movq %r12, (%r15)
leaq 0x2d0f2(%rip), %rsi     # 0x70c40
leaq 0x2d0ec(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0xc0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0xa8(%rbp), %rcx
movl $0x6, %edx
callq 0x6b1e0
leaq -0x110(%rbp), %r12
xorl %r14d, %r14d
leaq 0x2d0b5(%rip), %r15     # 0x70c42
movq -0x120(%rbp,%r14), %rdi
leaq (%r12,%r14), %rax
cmpq %rdi, %rax
je 0x43ba3
callq 0x5380
addq $-0x20, %r14
cmpq $-0xc0, %r14
jne 0x43b8d
movq 0x46999(%rip), %rdi     # 0x8a550
leaq -0x338(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2d088(%rip), %r14     # 0x70c50
movq %r14, 0x8(%rsi)
leaq -0x328(%rbp), %rcx
leaq 0x2ce95(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x232, %edx            # imm = 0x232
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x41f4e
leaq -0xa8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d4ed(%rip), %rax     # 0x710ff
movq %rax, -0x90(%rbp)
leaq 0x2d4f9(%rip), %rax     # 0x71119
movq %rax, -0x88(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x45f27(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x4636d(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x90(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x318(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x232, %ecx            # imm = 0x232
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x98(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2cf9f(%rip), %rsi     # 0x70c40
leaq 0x2cf99(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2d17e(%rip), %rsi     # 0x70e46
leaq 0x2d179(%rip), %rdx     # 0x70e48
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
leaq -0x170(%rbp), %rax
movq %rax, (%r15)
leaq 0x2c31f(%rip), %rsi     # 0x7000e
leaq 0x2c319(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2db73(%rip), %rsi     # 0x71882
leaq 0x2db6e(%rip), %rdx     # 0x71884
movq %r15, %rdi
callq 0x95e6
leaq -0x140(%rbp), %r15
movq %r13, (%r15)
leaq 0x2cf11(%rip), %rsi     # 0x70c40
leaq 0x2cf0b(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0xa8(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x90(%rbp), %rcx
movl $0x5, %edx
callq 0x6b1e0
leaq -0x130(%rbp), %r13
xorl %r14d, %r14d
leaq 0x2ced4(%rip), %r15     # 0x70c42
movq -0x140(%rbp,%r14), %rdi
leaq (%r14,%r13), %rax
cmpq %rdi, %rax
je 0x43d84
callq 0x5380
addq $-0x20, %r14
cmpq $-0xa0, %r14
jne 0x43d6e
movq 0x467b8(%rip), %rdi     # 0x8a550
leaq -0x308(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2cea7(%rip), %r14     # 0x70c50
movq %r14, 0x8(%rsi)
leaq -0x2f8(%rbp), %rcx
leaq 0x2ccb4(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x234, %edx            # imm = 0x234
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x41f4e
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d327(%rip), %rax     # 0x7111a
movq %rax, -0x78(%rbp)
leaq 0x2d336(%rip), %rax     # 0x71134
movq %rax, -0x70(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x45d4c(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x46192(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x78(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2e8(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x234, %ecx            # imm = 0x234
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x80(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2cdca(%rip), %rsi     # 0x70c40
leaq 0x2cdc4(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2cfa9(%rip), %rsi     # 0x70e46
leaq 0x2cfa4(%rip), %rdx     # 0x70e48
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
leaq -0x170(%rbp), %rax
movq %rax, (%r15)
leaq 0x2c14a(%rip), %rsi     # 0x7000e
leaq 0x2c144(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2c12a(%rip), %rsi     # 0x7000e
leaq 0x2c124(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x140(%rbp), %r15
movq %r13, (%r15)
leaq 0x2d0ea(%rip), %rsi     # 0x70fee
leaq 0x2d0e4(%rip), %rdx     # 0x70fef
movq %r15, %rdi
callq 0x95e6
leaq -0x120(%rbp), %r15
movq %r12, (%r15)
leaq 0x2cd1c(%rip), %rsi     # 0x70c40
leaq 0x2cd16(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0x90(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x78(%rbp), %rcx
movl $0x6, %edx
callq 0x6b1e0
leaq -0x110(%rbp), %r12
xorl %r14d, %r14d
leaq 0x2cce2(%rip), %r15     # 0x70c42
movq -0x120(%rbp,%r14), %rdi
leaq (%r12,%r14), %rax
cmpq %rdi, %rax
je 0x43f76
callq 0x5380
addq $-0x20, %r14
cmpq $-0xc0, %r14
jne 0x43f60
movq 0x465c6(%rip), %rdi     # 0x8a550
leaq -0x2d8(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2ccb5(%rip), %r14     # 0x70c50
movq %r14, 0x8(%rsi)
leaq -0x2c8(%rbp), %rcx
leaq 0x2cac2(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x236, %edx            # imm = 0x236
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x41f4e
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2d153(%rip), %rax     # 0x71135
movq %rax, -0x1d8(%rbp)
leaq 0x2d15f(%rip), %rax     # 0x7114f
movq %rax, -0x1d0(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x45b57(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x45f9d(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x1d8(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2b8(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x236, %ecx            # imm = 0x236
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x68(%rbp), %rdi
callq 0x2e804
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2cbd2(%rip), %rsi     # 0x70c40
leaq 0x2cbcc(%rip), %rdx     # 0x70c41
movq %r14, %rdi
callq 0x95e6
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2cc7f(%rip), %rsi     # 0x70d14
leaq 0x2cc79(%rip), %rdx     # 0x70d15
movq %r15, %rdi
callq 0x95e6
leaq -0x180(%rbp), %r15
leaq -0x170(%rbp), %rax
movq %rax, (%r15)
leaq 0x2c730(%rip), %rsi     # 0x707ec
leaq 0x2c72a(%rip), %rdx     # 0x707ed
movq %r15, %rdi
callq 0x95e6
leaq -0x160(%rbp), %r15
movq %rbx, (%r15)
leaq 0x2bf32(%rip), %rsi     # 0x7000e
leaq 0x2bf2c(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x140(%rbp), %r15
movq %r13, (%r15)
leaq 0x2bf12(%rip), %rsi     # 0x7000e
leaq 0x2bf0c(%rip), %rdx     # 0x7000f
movq %r15, %rdi
callq 0x95e6
leaq -0x120(%rbp), %r15
movq %r12, (%r15)
leaq 0x2ced2(%rip), %rsi     # 0x70fee
leaq 0x2cecc(%rip), %rdx     # 0x70fef
movq %r15, %rdi
callq 0x95e6
leaq -0x100(%rbp), %r15
leaq -0xf0(%rbp), %r12
movq %r12, (%r15)
leaq 0x2cafd(%rip), %rsi     # 0x70c40
leaq 0x2caf7(%rip), %rdx     # 0x70c41
movq %r15, %rdi
callq 0x95e6
leaq -0x78(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x1d8(%rbp), %rcx
movl $0x7, %edx
callq 0x6b1e0
leaq -0xf0(%rbp), %rbx
xorl %r14d, %r14d
leaq 0x2cac3(%rip), %r15     # 0x70c42
movq -0x100(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x44195
callq 0x5380
addq $-0x20, %r14
cmpq $-0xe0, %r14
jne 0x4417f
movq 0x463a7(%rip), %rdi     # 0x8a550
leaq -0x2a8(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2ca96(%rip), %rbx     # 0x70c50
movq %rbx, 0x8(%rsi)
leaq -0x298(%rbp), %rcx
leaq 0x2c8a3(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x238, %edx            # imm = 0x238
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x41f4e
leaq -0x1d8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2cf4f(%rip), %rax     # 0x71150
leaq -0x288(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x2cf58(%rip), %rax     # 0x7116a
movq %rax, 0x8(%rcx)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x45938(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x45d7e(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x278(%rbp), %rdx
movq %r15, (%rdx)
movq %rbx, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x238, %ecx            # imm = 0x238
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x1c8(%rbp), %rdi
callq 0x2e804
leaq -0x78(%rbp), %rdi
callq 0xab52
leaq -0x90(%rbp), %rdi
callq 0xab52
leaq -0xa8(%rbp), %rdi
callq 0xab52
leaq -0xc0(%rbp), %rdi
callq 0xab52
leaq -0x48(%rbp), %rdi
callq 0xab52
leaq -0x218(%rbp), %rdi
callq 0xab52
leaq -0x1f8(%rbp), %rdi
callq 0xab52
leaq -0x60(%rbp), %rdi
callq 0x167a0
leaq -0x460(%rbp), %rdi
callq 0x12b80
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x442ec
callq 0x5380
leaq -0x268(%rbp), %rdi
callq 0x22afc
addq $0x468, %rsp            # imm = 0x468
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x2e804
jmp 0x44320
movq %rax, -0x30(%rbp)
leaq -0x78(%rbp), %rdi
callq 0xab52
jmp 0x44398
movq %rax, -0x30(%rbp)
movq $-0xe0, %rbx
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x44345
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x44336
jmp 0x44398
jmp 0x4435b
jmp 0x4435b
jmp 0x4435b
jmp 0x4435b
jmp 0x4435b
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x44371
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x44363
jmp 0x44398
jmp 0x44394
movq %rax, -0x30(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x2e804
jmp 0x44398
movq %rax, -0x30(%rbp)
leaq -0x90(%rbp), %rdi
callq 0xab52
jmp 0x44411
movq %rax, -0x30(%rbp)
movq $-0xc0, %rbx
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x443c0
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x443b1
jmp 0x44411
jmp 0x443d4
jmp 0x443d4
jmp 0x443d4
jmp 0x443d4
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x443ea
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x443dc
jmp 0x44411
jmp 0x4440d
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x2e804
jmp 0x44411
movq %rax, -0x30(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xab52
leaq -0xc0(%rbp), %rdi
callq 0xab52
leaq -0x48(%rbp), %rdi
callq 0xab52
leaq -0x218(%rbp), %rdi
callq 0xab52
leaq -0x1f8(%rbp), %rdi
callq 0xab52
leaq -0x60(%rbp), %rdi
callq 0x167a0
leaq -0x460(%rbp), %rdi
callq 0x12b80
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x44477
callq 0x5380
leaq -0x268(%rbp), %rdi
callq 0x22afc
movq -0x30(%rbp), %rdi
callq 0x56f0
movq %rax, -0x30(%rbp)
movq $-0xa0, %rbx
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x444a5
callq 0x5380
addq $-0x20, %r13
addq $0x20, %rbx
jne 0x44497
jmp 0x4441d
jmp 0x444ba
jmp 0x444ba
jmp 0x444ba
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x444d0
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x444c2
jmp 0x4441d
jmp 0x444fc
movq %rax, -0x30(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x2e804
jmp 0x4441d
movq %rax, -0x30(%rbp)
jmp 0x4441d
movq %rax, -0x30(%rbp)
movq $-0xc0, %rbx
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x4451f
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x44510
jmp 0x44429
jmp 0x44536
jmp 0x44536
jmp 0x44536
jmp 0x44536
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x4454c
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x4453e
jmp 0x44429
jmp 0x44578
movq %rax, -0x30(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x2e804
jmp 0x44429
movq %rax, -0x30(%rbp)
jmp 0x44429
movq %rax, -0x30(%rbp)
movq $-0xa0, %rbx
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x4459a
callq 0x5380
addq $-0x20, %r13
addq $0x20, %rbx
jne 0x4458c
jmp 0x44432
jmp 0x445af
jmp 0x445af
jmp 0x445af
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x445c5
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x445b7
jmp 0x44432
jmp 0x445ee
movq %rax, -0x30(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x2e804
jmp 0x44432
movq %rax, -0x30(%rbp)
jmp 0x44432
movq %rax, -0x30(%rbp)
movq $-0x80, %r14
movq -0x10(%rbx), %rdi
cmpq %rdi, %rbx
je 0x44610
callq 0x5380
addq $-0x20, %rbx
addq $0x20, %r14
jne 0x44602
jmp 0x4443e
jmp 0x44623
jmp 0x44623
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x44639
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x4462b
jmp 0x4443e
jmp 0x44665
movq %rax, -0x30(%rbp)
leaq -0x208(%rbp), %rdi
callq 0x2e804
jmp 0x4443e
movq %rax, -0x30(%rbp)
jmp 0x4443e
movq %rax, -0x30(%rbp)
movq $-0x60, %rbx
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x44687
callq 0x5380
addq $-0x20, %r13
addq $0x20, %rbx
jne 0x44679
jmp 0x4444a
jmp 0x44698
movq %rax, -0x30(%rbp)
addq $-0x10, %r12
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x446af
callq 0x5380
leaq -0x20(%r12), %rax
addq $-0x10, %r12
cmpq %r15, %r12
movq %rax, %r12
jne 0x446a0
jmp 0x4444a
jmp 0x44757
movq %rax, -0x30(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x2e804
jmp 0x4444a
movq %rax, -0x30(%rbp)
jmp 0x4445f
movq %rax, -0x30(%rbp)
jmp 0x44477
movq %rax, -0x30(%rbp)
movq $-0x100, %rbx
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x44708
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x446f9
jmp 0x44483
jmp 0x44723
jmp 0x44723
jmp 0x44723
jmp 0x44723
jmp 0x44723
jmp 0x44723
movq %rax, -0x30(%rbp)
addq $-0x10, %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x44739
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %r14, %r15
movq %rax, %r15
jne 0x4472b
jmp 0x44483
movq %rax, -0x30(%rbp)
jmp 0x44483
movq %rax, -0x30(%rbp)
jmp 0x4444a