// File: /workspace/github_cpp_makefile_star2_O1/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 0x2e9e0(%rip), %rsi     # 0x71ce4
leaq 0x2e9da(%rip), %rdx     # 0x71ce5
leaq -0x1c0(%rbp), %r14
movq %r14, %rdi
callq 0x95e2
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2e4a9(%rip), %rsi     # 0x717dc
leaq 0x2e4a3(%rip), %rdx     # 0x717dd
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
leaq -0x170(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x2dcb3(%rip), %rsi     # 0x7100e
leaq 0x2dcad(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
leaq -0x150(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x2ec3a(%rip), %rsi     # 0x71fbe
leaq 0x2ec34(%rip), %rdx     # 0x71fbf
movq %r14, %rdi
callq 0x95e2
leaq -0x140(%rbp), %r14
leaq -0x130(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x2f4a6(%rip), %rsi     # 0x72852
leaq 0x2f4a1(%rip), %rdx     # 0x72854
movq %r14, %rdi
callq 0x95e2
leaq -0x120(%rbp), %r14
leaq -0x110(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2ea42(%rip), %rsi     # 0x71e16
leaq 0x2ea3d(%rip), %rdx     # 0x71e18
movq %r14, %rdi
callq 0x95e2
leaq -0x100(%rbp), %r14
leaq -0xf0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2ea1d(%rip), %rsi     # 0x71e19
leaq 0x2ea19(%rip), %rdx     # 0x71e1c
movq %r14, %rdi
callq 0x95e2
leaq -0xe0(%rbp), %r14
leaq -0xd0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2e8c2(%rip), %rsi     # 0x71ce6
leaq 0x2e8c0(%rip), %rdx     # 0x71ceb
movq %r14, %rdi
callq 0x95e2
leaq -0x268(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x460(%rbp), %rcx
leaq -0x1f8(%rbp), %r8
movl $0x8, %edx
callq 0x6b4ee
leaq -0xd0(%rbp), %r14
xorl %r15d, %r15d
movq -0xe0(%rbp,%r15), %rdi
leaq (%r14,%r15), %rax
cmpq %rdi, %rax
je 0x43479
callq 0x5380
addq $-0x20, %r15
cmpq $-0x100, %r15
jne 0x43463
leaq -0x228(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2e84e(%rip), %rsi     # 0x71ce6
leaq 0x2e84c(%rip), %rdx     # 0x71ceb
leaq -0x238(%rbp), %rdi
callq 0x95e2
leaq 0x480e6(%rip), %rdx     # 0x8b598
leaq -0x460(%rbp), %rdi
leaq -0x238(%rbp), %rsi
leaq -0x268(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x110ea
xorps %xmm0, %xmm0
leaq -0x60(%rbp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq -0x460(%rbp), %rdi
callq 0x12382
movq 0x48056(%rip), %rdi     # 0x8b550
leaq 0x2e711(%rip), %r15     # 0x71c12
leaq -0x3e8(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x2e70e(%rip), %r14     # 0x71c20
movq %r14, 0x8(%rsi)
leaq 0x2e542(%rip), %rax     # 0x71a5f
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 0x47518(%rip), %rcx     # 0x8aa60
movq %rcx, (%rsi)
movq 0x47a5e(%rip), %r10     # 0x8afb0
movq %r10, 0x10(%rsi)
leaq 0x2de6a(%rip), %rcx     # 0x713c7
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), %rdi
sete (%rdi)
leaq -0x1d8(%rbp), %r11
movl %ecx, (%r11)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xc0(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 0x8(%rdx)
leaq -0xa8(%rbp), %r9
movq %r8, (%r9)
movb %al, -0x1b8(%rbp)
leaq 0x4761a(%rip), %rcx     # 0x8abd8
movq %rcx, -0x1c0(%rbp)
movq %r10, -0x1b0(%rbp)
movq %r9, -0x1a8(%rbp)
leaq -0x90(%rbp), %r8
movq %r11, (%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 0x2ea62(%rip), %rax     # 0x7206d
movq %rax, 0x18(%rsp)
leaq -0x1c0(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x2efc7(%rip), %rax     # 0x725ea
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
movl $0x22a, %ecx            # imm = 0x22A
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x38(%rbp), %rdi
callq 0x2e966
leaq -0x1c0(%rbp), %r14
leaq -0x1b0(%rbp), %rax
movq %rax, (%r14)
leaq 0x2e5a7(%rip), %rsi     # 0x71c10
leaq 0x2e5a1(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0x1a0(%rbp), %r15
leaq -0x190(%rbp), %rax
movq %rax, (%r15)
leaq 0x2e656(%rip), %rsi     # 0x71ce6
leaq 0x2e654(%rip), %rdx     # 0x71ceb
movq %r15, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r15
movq %r13, (%r15)
leaq 0x2e560(%rip), %rsi     # 0x71c10
leaq 0x2e55a(%rip), %rdx     # 0x71c11
movq %r15, %rdi
callq 0x95e2
leaq -0x1f8(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x218(%rbp), %rcx
movl $0x3, %edx
callq 0x6b570
leaq -0x170(%rbp), %r13
xorl %r15d, %r15d
movq -0x180(%rbp,%r15), %rdi
leaq (%r15,%r13), %rax
cmpq %rdi, %rax
je 0x436fe
callq 0x5380
addq $-0x20, %r15
cmpq $-0x60, %r15
jne 0x436e8
movq 0x47e41(%rip), %rdi     # 0x8b550
leaq -0x3c8(%rbp), %rsi
leaq 0x2e4f5(%rip), %r15     # 0x71c12
movq %r15, (%rsi)
leaq 0x2e4f9(%rip), %r14     # 0x71c20
movq %r14, 0x8(%rsi)
leaq -0x3b8(%rbp), %rcx
leaq 0x2e326(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x22c, %edx            # imm = 0x22C
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x4200e
leaq -0x218(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e90e(%rip), %rax     # 0x7207f
movq %rax, -0x48(%rbp)
leaq 0x2e91c(%rip), %rax     # 0x72098
movq %rax, -0x40(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x47386(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x47814(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x48(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x3a8(%rbp), %rdx
movq %r15, (%rdx)
movq %r14, 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 0x2e966
leaq -0x1c0(%rbp), %r15
leaq -0x1b0(%rbp), %rax
movq %rax, (%r15)
leaq 0x2e419(%rip), %rsi     # 0x71c10
leaq 0x2e413(%rip), %rdx     # 0x71c11
movq %r15, %rdi
callq 0x95e2
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2e5fb(%rip), %rsi     # 0x71e19
leaq 0x2e5f7(%rip), %rdx     # 0x71e1c
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2f014(%rip), %rsi     # 0x72852
leaq 0x2f00f(%rip), %rdx     # 0x72854
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2e3b2(%rip), %rsi     # 0x71c10
leaq 0x2e3ac(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0x218(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x48(%rbp), %rcx
movl $0x4, %edx
callq 0x6b570
leaq -0x150(%rbp), %r12
xorl %r14d, %r14d
movq -0x160(%rbp,%r14), %rdi
leaq (%r12,%r14), %rax
cmpq %rdi, %rax
je 0x438a9
callq 0x5380
addq $-0x20, %r14
cmpq $-0x80, %r14
jne 0x43893
movq 0x47c96(%rip), %rdi     # 0x8b550
leaq -0x398(%rbp), %rsi
leaq 0x2e34a(%rip), %r14     # 0x71c12
movq %r14, (%rsi)
leaq 0x2e34e(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rsi)
leaq -0x388(%rbp), %rcx
leaq 0x2e17b(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x22e, %edx            # imm = 0x22E
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x218(%rbp), %rsi
callq 0x4200e
leaq -0x48(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e780(%rip), %rax     # 0x72099
movq %rax, -0xc0(%rbp)
leaq 0x2e78c(%rip), %rax     # 0x720b3
movq %rax, -0xb8(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x471d8(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x47666(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0xc0(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x378(%rbp), %rdx
movq %r14, (%rdx)
movq %r15, 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 0x2e966
leaq -0x1c0(%rbp), %r15
leaq -0x1b0(%rbp), %rax
movq %rax, (%r15)
leaq 0x2e26b(%rip), %rsi     # 0x71c10
leaq 0x2e265(%rip), %rdx     # 0x71c11
movq %r15, %rdi
callq 0x95e2
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2e44d(%rip), %rsi     # 0x71e19
leaq 0x2e449(%rip), %rdx     # 0x71e1c
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2d622(%rip), %rsi     # 0x7100e
leaq 0x2d61c(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2e5b2(%rip), %rsi     # 0x71fbe
leaq 0x2e5ac(%rip), %rdx     # 0x71fbf
movq %r14, %rdi
callq 0x95e2
leaq -0x140(%rbp), %r14
movq %rbx, (%r14)
leaq 0x2e1e4(%rip), %rsi     # 0x71c10
leaq 0x2e1de(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0x48(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0xc0(%rbp), %rcx
movl $0x5, %edx
callq 0x6b570
leaq -0x130(%rbp), %rbx
xorl %r14d, %r14d
movq -0x140(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x43a77
callq 0x5380
addq $-0x20, %r14
cmpq $-0xa0, %r14
jne 0x43a61
movq 0x47ac5(%rip), %rdi     # 0x8b550
leaq -0x368(%rbp), %rsi
leaq 0x2e179(%rip), %r14     # 0x71c12
movq %r14, (%rsi)
leaq 0x2e17d(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rsi)
leaq -0x358(%rbp), %rcx
leaq 0x2dfaa(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x230, %edx            # imm = 0x230
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x4200e
leaq -0xc0(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e5ca(%rip), %rax     # 0x720b4
movq %rax, -0xa8(%rbp)
leaq 0x2e5d6(%rip), %rax     # 0x720ce
movq %rax, -0xa0(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x47007(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x47495(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0xa8(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x348(%rbp), %rdx
movq %r14, (%rdx)
movq %r15, 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 0x2e966
leaq -0x1c0(%rbp), %r15
leaq -0x1b0(%rbp), %rax
movq %rax, (%r15)
leaq 0x2e097(%rip), %rsi     # 0x71c10
leaq 0x2e091(%rip), %rdx     # 0x71c11
movq %r15, %rdi
callq 0x95e2
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2e276(%rip), %rsi     # 0x71e16
leaq 0x2e271(%rip), %rdx     # 0x71e18
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2d44e(%rip), %rsi     # 0x7100e
leaq 0x2d448(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2d42e(%rip), %rsi     # 0x7100e
leaq 0x2d428(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x110(%rbp), %r13
leaq -0x140(%rbp), %r14
movq %rbx, (%r14)
leaq 0x2e3b7(%rip), %rsi     # 0x71fbe
leaq 0x2e3b1(%rip), %rdx     # 0x71fbf
movq %r14, %rdi
callq 0x95e2
leaq -0x120(%rbp), %r14
movq %r13, (%r14)
leaq 0x2dfe9(%rip), %rsi     # 0x71c10
leaq 0x2dfe3(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0xc0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0xa8(%rbp), %rcx
movl $0x6, %edx
callq 0x6b570
leaq -0x110(%rbp), %r15
xorl %r14d, %r14d
movq -0x120(%rbp,%r14), %rdi
leaq (%r15,%r14), %rax
cmpq %rdi, %rax
je 0x43c75
callq 0x5380
addq $-0x20, %r14
cmpq $-0xc0, %r14
jne 0x43c5f
movq 0x478c7(%rip), %rdi     # 0x8b550
leaq -0x338(%rbp), %rsi
leaq 0x2df7b(%rip), %r14     # 0x71c12
movq %r14, (%rsi)
leaq 0x2df7f(%rip), %r13     # 0x71c20
movq %r13, 0x8(%rsi)
leaq -0x328(%rbp), %rcx
leaq 0x2ddac(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x232, %edx            # imm = 0x232
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x4200e
leaq -0xa8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e3e4(%rip), %rax     # 0x720cf
movq %rax, -0x90(%rbp)
leaq 0x2e3f0(%rip), %rax     # 0x720e9
movq %rax, -0x88(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x46e06(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x47294(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x90(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x318(%rbp), %rdx
movq %r14, (%rdx)
movq %r13, 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 0x2e966
leaq -0x1c0(%rbp), %rdi
leaq -0x1b0(%rbp), %rax
movq %rax, (%rdi)
leaq 0x2de96(%rip), %rsi     # 0x71c10
leaq 0x2de90(%rip), %rdx     # 0x71c11
callq 0x95e2
leaq -0x170(%rbp), %r13
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2e071(%rip), %rsi     # 0x71e16
leaq 0x2e06c(%rip), %rdx     # 0x71e18
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2d249(%rip), %rsi     # 0x7100e
leaq 0x2d243(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2ea6d(%rip), %rsi     # 0x72852
leaq 0x2ea68(%rip), %rdx     # 0x72854
movq %r14, %rdi
callq 0x95e2
leaq -0x140(%rbp), %r14
movq %rbx, (%r14)
leaq 0x2de0b(%rip), %rsi     # 0x71c10
leaq 0x2de05(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0xa8(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x90(%rbp), %rcx
movl $0x5, %edx
callq 0x6b570
leaq -0x130(%rbp), %rbx
xorl %r14d, %r14d
movq -0x140(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x43e53
callq 0x5380
addq $-0x20, %r14
cmpq $-0xa0, %r14
jne 0x43e3d
movq 0x476e9(%rip), %rdi     # 0x8b550
leaq -0x308(%rbp), %rsi
leaq 0x2dd9d(%rip), %r14     # 0x71c12
movq %r14, (%rsi)
leaq 0x2dda1(%rip), %r13     # 0x71c20
movq %r13, 0x8(%rsi)
leaq -0x2f8(%rbp), %rcx
leaq 0x2dbce(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x234, %edx            # imm = 0x234
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x4200e
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e221(%rip), %rax     # 0x720ea
movq %rax, -0x78(%rbp)
leaq 0x2e230(%rip), %rax     # 0x72104
movq %rax, -0x70(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x46c2e(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x470bc(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x78(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2e8(%rbp), %rdx
movq %r14, (%rdx)
movq %r13, 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 0x2e966
leaq -0x1c0(%rbp), %rdi
leaq -0x1b0(%rbp), %rax
movq %rax, (%rdi)
leaq 0x2dcc4(%rip), %rsi     # 0x71c10
leaq 0x2dcbe(%rip), %rdx     # 0x71c11
callq 0x95e2
leaq -0x170(%rbp), %r13
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2de9f(%rip), %rsi     # 0x71e16
leaq 0x2de9a(%rip), %rdx     # 0x71e18
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2d077(%rip), %rsi     # 0x7100e
leaq 0x2d071(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2d057(%rip), %rsi     # 0x7100e
leaq 0x2d051(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x140(%rbp), %r14
movq %rbx, (%r14)
leaq 0x2dfe7(%rip), %rsi     # 0x71fbe
leaq 0x2dfe1(%rip), %rdx     # 0x71fbf
movq %r14, %rdi
callq 0x95e2
leaq -0x120(%rbp), %r14
movq %r15, (%r14)
leaq 0x2dc19(%rip), %rsi     # 0x71c10
leaq 0x2dc13(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0x90(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x78(%rbp), %rcx
movl $0x6, %edx
callq 0x6b570
leaq -0x110(%rbp), %r15
xorl %r14d, %r14d
movq -0x120(%rbp,%r14), %rdi
leaq (%r15,%r14), %rax
cmpq %rdi, %rax
je 0x44042
callq 0x5380
addq $-0x20, %r14
cmpq $-0xc0, %r14
jne 0x4402c
movq 0x474fa(%rip), %rdi     # 0x8b550
leaq -0x2d8(%rbp), %rsi
leaq 0x2dbae(%rip), %r14     # 0x71c12
movq %r14, (%rsi)
leaq 0x2dbb2(%rip), %r13     # 0x71c20
movq %r13, 0x8(%rsi)
leaq -0x2c8(%rbp), %rcx
leaq 0x2d9df(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x236, %edx            # imm = 0x236
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4200e
leaq -0x78(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2e050(%rip), %rax     # 0x72105
movq %rax, -0x1d8(%rbp)
leaq 0x2e05c(%rip), %rax     # 0x7211f
movq %rax, -0x1d0(%rbp)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x46a3c(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x46eca(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq -0x1d8(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2b8(%rbp), %rdx
movq %r14, (%rdx)
movq %r13, 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 0x2e966
leaq -0x1c0(%rbp), %rdi
leaq -0x1b0(%rbp), %rax
movq %rax, (%rdi)
leaq 0x2dacf(%rip), %rsi     # 0x71c10
leaq 0x2dac9(%rip), %rdx     # 0x71c11
callq 0x95e2
leaq -0x170(%rbp), %r13
leaq -0x1a0(%rbp), %r14
leaq -0x190(%rbp), %rax
movq %rax, (%r14)
leaq 0x2db78(%rip), %rsi     # 0x71ce4
leaq 0x2db72(%rip), %rdx     # 0x71ce5
movq %r14, %rdi
callq 0x95e2
leaq -0x180(%rbp), %r14
movq %r13, (%r14)
leaq 0x2d650(%rip), %rsi     # 0x717dc
leaq 0x2d64a(%rip), %rdx     # 0x717dd
movq %r14, %rdi
callq 0x95e2
leaq -0x160(%rbp), %r14
movq %r12, (%r14)
leaq 0x2ce62(%rip), %rsi     # 0x7100e
leaq 0x2ce5c(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x140(%rbp), %r14
movq %rbx, (%r14)
leaq 0x2ce42(%rip), %rsi     # 0x7100e
leaq 0x2ce3c(%rip), %rdx     # 0x7100f
movq %r14, %rdi
callq 0x95e2
leaq -0x120(%rbp), %r14
movq %r15, (%r14)
leaq 0x2ddd2(%rip), %rsi     # 0x71fbe
leaq 0x2ddcc(%rip), %rdx     # 0x71fbf
movq %r14, %rdi
callq 0x95e2
leaq -0x100(%rbp), %r14
leaq -0xf0(%rbp), %r15
movq %r15, (%r14)
leaq 0x2d9fd(%rip), %rsi     # 0x71c10
leaq 0x2d9f7(%rip), %rdx     # 0x71c11
movq %r14, %rdi
callq 0x95e2
leaq -0x78(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x1d8(%rbp), %rcx
movl $0x7, %edx
callq 0x6b570
leaq -0xf0(%rbp), %rbx
xorl %r14d, %r14d
movq -0x100(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x4425e
callq 0x5380
addq $-0x20, %r14
cmpq $-0xe0, %r14
jne 0x44248
movq 0x472de(%rip), %rdi     # 0x8b550
leaq -0x2a8(%rbp), %rsi
leaq 0x2d992(%rip), %rbx     # 0x71c12
movq %rbx, (%rsi)
leaq 0x2d996(%rip), %r14     # 0x71c20
movq %r14, 0x8(%rsi)
leaq -0x298(%rbp), %rcx
leaq 0x2d7c3(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x238, %edx            # imm = 0x238
callq 0x5760
leaq -0x60(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x4200e
leaq -0x1d8(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2de4f(%rip), %rax     # 0x72120
leaq -0x288(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x2de58(%rip), %rax     # 0x7213a
movq %rax, 0x8(%rcx)
leaq -0x1c0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x46820(%rip), %rax     # 0x8ab18
movq %rax, (%rsi)
movq 0x46cae(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x278(%rbp), %rdx
movq %rbx, (%rdx)
movq %r14, 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 0x2e966
leaq -0x78(%rbp), %rdi
callq 0xab88
leaq -0x90(%rbp), %rdi
callq 0xab88
leaq -0xa8(%rbp), %rdi
callq 0xab88
leaq -0xc0(%rbp), %rdi
callq 0xab88
leaq -0x48(%rbp), %rdi
callq 0xab88
leaq -0x218(%rbp), %rdi
callq 0xab88
leaq -0x1f8(%rbp), %rdi
callq 0xab88
leaq -0x60(%rbp), %rdi
callq 0x1687a
leaq -0x460(%rbp), %rdi
callq 0x12c6c
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x443bc
callq 0x5380
leaq -0x268(%rbp), %rdi
callq 0x22c7c
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 0x2e966
jmp 0x443f0
movq %rax, -0x30(%rbp)
leaq -0x78(%rbp), %rdi
callq 0xab88
jmp 0x44493
movq %rax, -0x30(%rbp)
movq $-0xe0, %rbx
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x44417
callq 0x5380
addq $-0x20, %r15
addq $0x20, %rbx
jne 0x44409
movb $0x1, %al
jmp 0x44435
jmp 0x4442f
jmp 0x4442f
jmp 0x4442f
jmp 0x4442f
jmp 0x4442f
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %rcx
cmpq %r14, %rcx
sete %cl
orb %al, %cl
jne 0x44493
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x4445f
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x44451
jmp 0x44493
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %r14
jmp 0x44435
movq %rax, -0x30(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x2e966
jmp 0x44493
movq %rax, -0x30(%rbp)
leaq -0x90(%rbp), %rdi
callq 0xab88
jmp 0x44537
movq %rax, -0x30(%rbp)
movq $-0xc0, %rbx
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x444bd
callq 0x5380
addq $-0x20, %r15
addq $0x20, %rbx
jne 0x444af
movb $0x1, %al
jmp 0x444d9
jmp 0x444d3
jmp 0x444d3
jmp 0x444d3
jmp 0x444d3
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %rcx
cmpq %r14, %rcx
sete %cl
orb %al, %cl
jne 0x44537
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x44503
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x444f5
jmp 0x44537
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %r14
jmp 0x444d9
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x2e966
jmp 0x44537
movq %rax, -0x30(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xab88
leaq -0xc0(%rbp), %rdi
callq 0xab88
leaq -0x48(%rbp), %rdi
callq 0xab88
leaq -0x218(%rbp), %rdi
callq 0xab88
leaq -0x1f8(%rbp), %rdi
callq 0xab88
leaq -0x60(%rbp), %rdi
callq 0x1687a
leaq -0x460(%rbp), %rdi
callq 0x12c6c
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x4459d
callq 0x5380
leaq -0x268(%rbp), %rdi
callq 0x22c7c
movq -0x30(%rbp), %rdi
callq 0x56f0
movq %rax, -0x30(%rbp)
movq $-0xa0, %r15
movq -0x10(%rbx), %rdi
cmpq %rdi, %rbx
je 0x445cb
callq 0x5380
addq $-0x20, %rbx
addq $0x20, %r15
jne 0x445bd
movb $0x1, %al
jmp 0x445f4
jmp 0x445df
jmp 0x445df
jmp 0x445df
movq %rax, -0x30(%rbp)
xorl %eax, %eax
jmp 0x445f4
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %r14
leaq -0x1c0(%rbp), %rcx
cmpq %r14, %rcx
sete %cl
orb %al, %cl
jne 0x44543
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x44622
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x44614
jmp 0x44543
movq %rax, -0x30(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x2e966
jmp 0x44543
movq %rax, -0x30(%rbp)
jmp 0x44543
movq %rax, -0x30(%rbp)
movq $-0xc0, %rbx
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x4466e
callq 0x5380
addq $-0x20, %r13
addq $0x20, %rbx
jne 0x44660
movb $0x1, %al
jmp 0x4468a
jmp 0x44684
jmp 0x44684
jmp 0x44684
jmp 0x44684
movq %rax, -0x30(%rbp)
xorl %eax, %eax
cmpq %r14, %r15
sete %cl
orb %al, %cl
jne 0x4454f
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x446b1
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x446a3
jmp 0x4454f
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %r15, %r14
jmp 0x4468a
movq %rax, -0x30(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x2e966
jmp 0x4454f
movq %rax, -0x30(%rbp)
jmp 0x4454f
movq %rax, -0x30(%rbp)
movq $-0xa0, %r12
movq -0x10(%rbx), %rdi
cmpq %rdi, %rbx
je 0x44708
callq 0x5380
addq $-0x20, %rbx
addq $0x20, %r12
jne 0x446fa
movb $0x1, %al
jmp 0x4472d
jmp 0x4471c
jmp 0x4471c
jmp 0x4471c
movq %rax, -0x30(%rbp)
xorl %eax, %eax
jmp 0x4472d
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %r15, %r14
cmpq %r14, %r15
sete %cl
orb %al, %cl
jne 0x44558
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x44754
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x44746
jmp 0x44558
movq %rax, -0x30(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x2e966
jmp 0x44558
movq %rax, -0x30(%rbp)
jmp 0x44558
movq %rax, -0x30(%rbp)
movq $-0x80, %rbx
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x4479e
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x4478f
movb $0x1, %al
jmp 0x447c1
jmp 0x447b0
jmp 0x447b0
movq %rax, -0x30(%rbp)
xorl %eax, %eax
jmp 0x447c1
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %r15, %r14
cmpq %r14, %r15
sete %cl
orb %al, %cl
jne 0x44564
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x447e8
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x447da
jmp 0x44564
movq %rax, -0x30(%rbp)
leaq -0x208(%rbp), %rdi
callq 0x2e966
jmp 0x44564
movq %rax, -0x30(%rbp)
jmp 0x44564
movq %rax, -0x30(%rbp)
movq $-0x60, %rbx
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x44834
callq 0x5380
addq $-0x20, %r13
addq $0x20, %rbx
jne 0x44826
movb $0x1, %al
jmp 0x44855
jmp 0x44844
movq %rax, -0x30(%rbp)
xorl %eax, %eax
jmp 0x44855
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %r14, %r15
cmpq %r15, %r14
sete %cl
orb %al, %cl
jne 0x44570
addq $-0x10, %r15
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x4487c
callq 0x5380
leaq -0x20(%r15), %rax
addq $-0x10, %r15
cmpq %rbx, %r15
movq %rax, %r15
jne 0x4486e
jmp 0x44570
movq %rax, -0x30(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x2e966
jmp 0x44570
movq %rax, -0x30(%rbp)
jmp 0x44585
movq %rax, -0x30(%rbp)
jmp 0x4459d
movq %rax, -0x30(%rbp)
movq $-0x100, %rbx
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x448ce
callq 0x5380
addq $-0x20, %r15
addq $0x20, %rbx
jne 0x448c0
movb $0x1, %al
jmp 0x448f0
jmp 0x448ea
jmp 0x448ea
jmp 0x448ea
jmp 0x448ea
jmp 0x448ea
jmp 0x448ea
jmp 0x448ea
movq %rax, -0x30(%rbp)
xorl %eax, %eax
leaq -0x1c0(%rbp), %rcx
cmpq %r14, %rcx
sete %cl
orb %al, %cl
jne 0x445a9
addq $-0x10, %r14
leaq -0x1c0(%rbp), %rbx
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x4491e
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x44910
jmp 0x445a9
movq %rax, -0x30(%rbp)
jmp 0x44570