// File: aalto-speech[P]ftk/test/msfgtest.cc
// Function: MultiStringFactorGraphTest4::test_method()
BOOST_AUTO_TEST_CASE(MultiStringFactorGraphTest4)
{
    MultiStringFactorGraph msfg(start_end_symbol);
    set<string> vocab = {"aarian", "aari", "an", "a", "ari", "ri", "ar", "i", "n", "r"};
    string word("aarian");
    FactorGraph fg(word, start_end_symbol, vocab, 6);
    msfg.add(fg);
    vector<vector<string> > paths;
    msfg.get_paths(word, paths);
    BOOST_CHECK_EQUAL( 11, fg.num_paths() );
    BOOST_CHECK_EQUAL( 11, (int)paths.size() );
    BOOST_CHECK_EQUAL( 11, msfg.num_paths(word) );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x5e0, %rsp            # imm = 0x5E0
movq %rdi, -0x8(%rbp)
leaq 0x3df72(%rip), %rsi     # 0x107688
leaq -0x100(%rbp), %rdi
callq 0xc0180
movb $0x1, -0x2a6(%rbp)
leaq -0x280(%rbp), %rax
movq %rax, -0x490(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x289(%rbp), %rdi
movq %rdi, -0x488(%rbp)
callq 0x67b0
movq -0x490(%rbp), %rdi
movq -0x488(%rbp), %rdx
leaq 0x37e4(%rip), %rsi      # 0xccf4a
callq 0x65e0
jmp 0xc976d
leaq -0x260(%rbp), %rax
movq %rax, -0x4a0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x29d(%rbp), %rdi
movq %rdi, -0x498(%rbp)
callq 0x67b0
movq -0x4a0(%rbp), %rdi
movq -0x498(%rbp), %rdx
leaq 0x37a7(%rip), %rsi      # 0xccf51
callq 0x65e0
jmp 0xc97b1
leaq -0x240(%rbp), %rax
movq %rax, -0x4b0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x29e(%rbp), %rdi
movq %rdi, -0x4a8(%rbp)
callq 0x67b0
movq -0x4b0(%rbp), %rdi
movq -0x4a8(%rbp), %rdx
leaq 0x3760(%rip), %rsi      # 0xccf4e
callq 0x65e0
jmp 0xc97f5
leaq -0x220(%rbp), %rax
movq %rax, -0x4c0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x29f(%rbp), %rdi
movq %rdi, -0x4b8(%rbp)
callq 0x67b0
movq -0x4c0(%rbp), %rdi
movq -0x4b8(%rbp), %rdx
leaq 0x26e2(%rip), %rsi      # 0xcbf14
callq 0x65e0
jmp 0xc9839
leaq -0x200(%rbp), %rax
movq %rax, -0x4d0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a0(%rbp), %rdi
movq %rdi, -0x4c8(%rbp)
callq 0x67b0
movq -0x4d0(%rbp), %rdi
movq -0x4c8(%rbp), %rdx
leaq 0x36dc(%rip), %rsi      # 0xccf52
callq 0x65e0
jmp 0xc987d
leaq -0x1e0(%rbp), %rax
movq %rax, -0x4e0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a1(%rbp), %rdi
movq %rdi, -0x4d8(%rbp)
callq 0x67b0
movq -0x4e0(%rbp), %rdi
movq -0x4d8(%rbp), %rdx
leaq 0x3699(%rip), %rsi      # 0xccf53
callq 0x65e0
jmp 0xc98c1
leaq -0x1c0(%rbp), %rax
movq %rax, -0x4f0(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a2(%rbp), %rdi
movq %rdi, -0x4e8(%rbp)
callq 0x67b0
movq -0x4f0(%rbp), %rdi
movq -0x4e8(%rbp), %rdx
leaq 0x3658(%rip), %rsi      # 0xccf56
callq 0x65e0
jmp 0xc9905
leaq -0x1a0(%rbp), %rax
movq %rax, -0x500(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a3(%rbp), %rdi
movq %rdi, -0x4f8(%rbp)
callq 0x67b0
movq -0x500(%rbp), %rdi
movq -0x4f8(%rbp), %rdx
leaq 0x1df6(%rip), %rsi      # 0xcb738
callq 0x65e0
jmp 0xc9949
leaq -0x180(%rbp), %rax
movq %rax, -0x510(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a4(%rbp), %rdi
movq %rdi, -0x508(%rbp)
callq 0x67b0
movq -0x510(%rbp), %rdi
movq -0x508(%rbp), %rdx
leaq 0x35c9(%rip), %rsi      # 0xccf4f
callq 0x65e0
jmp 0xc998d
leaq -0x160(%rbp), %rax
movq %rax, -0x520(%rbp)
movq %rax, -0x288(%rbp)
leaq -0x2a5(%rbp), %rdi
movq %rdi, -0x518(%rbp)
callq 0x67b0
movq -0x520(%rbp), %rdi
movq -0x518(%rbp), %rdx
leaq 0x358d(%rip), %rsi      # 0xccf57
callq 0x65e0
jmp 0xc99d1
movb $0x0, -0x2a6(%rbp)
leaq -0x280(%rbp), %rax
movq %rax, -0x140(%rbp)
movq $0xa, -0x138(%rbp)
leaq -0x2a8(%rbp), %rdi
movq %rdi, -0x528(%rbp)
callq 0xdab0
movq -0x528(%rbp), %r8
movq -0x140(%rbp), %rsi
movq -0x138(%rbp), %rdx
leaq -0x130(%rbp), %rdi
leaq -0x2a7(%rbp), %rcx
callq 0xbfde0
jmp 0xc9a2e
leaq -0x2a8(%rbp), %rdi
callq 0xdb50
leaq -0x280(%rbp), %rax
movq %rax, -0x538(%rbp)
addq $0x140, %rax            # imm = 0x140
movq %rax, -0x530(%rbp)
movq -0x530(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x540(%rbp)
callq 0x6908
movq -0x538(%rbp), %rcx
movq -0x540(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x530(%rbp)
jne 0xc9a55
leaq -0x2a5(%rbp), %rdi
callq 0x6470
leaq -0x2a4(%rbp), %rdi
callq 0x6470
leaq -0x2a3(%rbp), %rdi
callq 0x6470
leaq -0x2a2(%rbp), %rdi
callq 0x6470
leaq -0x2a1(%rbp), %rdi
callq 0x6470
leaq -0x2a0(%rbp), %rdi
callq 0x6470
leaq -0x29f(%rbp), %rdi
callq 0x6470
leaq -0x29e(%rbp), %rdi
callq 0x6470
leaq -0x29d(%rbp), %rdi
callq 0x6470
leaq -0x289(%rbp), %rdi
callq 0x6470
leaq -0x2c9(%rbp), %rdi
movq %rdi, -0x548(%rbp)
callq 0x67b0
movq -0x548(%rbp), %rdx
leaq 0x342b(%rip), %rsi      # 0xccf4a
leaq -0x2c8(%rbp), %rdi
callq 0x65e0
jmp 0xc9b2d
leaq -0x2c9(%rbp), %rdi
callq 0x6470
leaq 0x3db48(%rip), %rdx     # 0x107688
leaq -0x348(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
leaq -0x130(%rbp), %rcx
movl $0x6, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xc9b65
leaq -0x100(%rbp), %rdi
leaq -0x348(%rbp), %rsi
movl $0x1, %edx
callq 0x2fff0
jmp 0xc9b7f
leaq -0x360(%rbp), %rdi
movq %rdi, -0x550(%rbp)
callq 0x33f30
movq -0x550(%rbp), %rdx
leaq -0x100(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
callq 0x30e90
jmp 0xc9bae
jmp 0xc9bb0
movq 0x3dac1(%rip), %rax     # 0x107678
movq %rax, -0x558(%rbp)
leaq 0x328d(%rip), %rsi      # 0xcce52
leaq -0x370(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9bd8
leaq -0x380(%rbp), %rdi
callq 0x70c00
jmp 0xc9be6
movq -0x558(%rbp), %rdi
leaq -0x370(%rbp), %rsi
movl $0x4e, %edx
leaq -0x380(%rbp), %rcx
callq 0x6840
jmp 0xc9c07
callq 0x70e90
movq %rax, -0x560(%rbp)
jmp 0xc9c15
movq -0x560(%rbp), %rsi
leaq 0x1707(%rip), %rdx      # 0xcb32a
leaq -0x3a8(%rbp), %rdi
callq 0x70e50
jmp 0xc9c31
leaq 0x321a(%rip), %rsi      # 0xcce52
leaq -0x3b8(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9c4b
movl $0xb, -0x3bc(%rbp)
leaq -0x348(%rbp), %rdi
callq 0x25390
movl %eax, -0x564(%rbp)
jmp 0xc9c69
movl -0x564(%rbp), %eax
movl %eax, -0x3c0(%rbp)
leaq 0x2321(%rip), %rcx      # 0xcbf9d
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x3c0(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x22ed(%rip), %rcx      # 0xcbf82
movq %rcx, (%rax)
leaq -0x3a8(%rbp), %rdi
leaq -0x3b8(%rbp), %rsi
movl $0x4e, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x3bc(%rbp), %r9
callq 0xbf480
jmp 0xc9cc4
leaq -0x3a8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x565(%rbp)
jmp 0xc9cdd
movb -0x565(%rbp), %al
testb $0x1, %al
jne 0xc9bb0
jmp 0xc9ced
jmp 0xc9cef
movq 0x3d982(%rip), %rax     # 0x107678
movq %rax, -0x570(%rbp)
leaq 0x314e(%rip), %rsi      # 0xcce52
leaq -0x3d0(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9d17
leaq -0x3e0(%rbp), %rdi
callq 0x70c00
jmp 0xc9d25
movq -0x570(%rbp), %rdi
leaq -0x3d0(%rbp), %rsi
movl $0x4f, %edx
leaq -0x3e0(%rbp), %rcx
callq 0x6840
jmp 0xc9d46
callq 0x70e90
movq %rax, -0x578(%rbp)
jmp 0xc9d54
movq -0x578(%rbp), %rsi
leaq 0x15c8(%rip), %rdx      # 0xcb32a
leaq -0x408(%rbp), %rdi
callq 0x70e50
jmp 0xc9d70
leaq 0x30db(%rip), %rsi      # 0xcce52
leaq -0x418(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9d8a
movl $0xb, -0x41c(%rbp)
leaq -0x360(%rbp), %rdi
callq 0x2ede0
movl %eax, -0x420(%rbp)
leaq 0x2216(%rip), %rcx      # 0xcbfc3
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x420(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x21bc(%rip), %rcx      # 0xcbf82
movq %rcx, (%rax)
leaq -0x408(%rbp), %rdi
leaq -0x418(%rbp), %rsi
movl $0x4f, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x41c(%rbp), %r9
callq 0xbf480
jmp 0xc9df5
leaq -0x408(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x579(%rbp)
jmp 0xc9e0e
movb -0x579(%rbp), %al
testb $0x1, %al
jne 0xc9cef
jmp 0xc9e1e
jmp 0xc9e20
movq 0x3d851(%rip), %rax     # 0x107678
movq %rax, -0x588(%rbp)
leaq 0x301d(%rip), %rsi      # 0xcce52
leaq -0x430(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9e48
leaq -0x440(%rbp), %rdi
callq 0x70c00
jmp 0xc9e56
movq -0x588(%rbp), %rdi
leaq -0x430(%rbp), %rsi
movl $0x50, %edx
leaq -0x440(%rbp), %rcx
callq 0x6840
jmp 0xc9e77
callq 0x70e90
movq %rax, -0x590(%rbp)
jmp 0xc9e85
movq -0x590(%rbp), %rsi
leaq 0x1497(%rip), %rdx      # 0xcb32a
leaq -0x468(%rbp), %rdi
callq 0x70e50
jmp 0xc9ea1
leaq 0x2faa(%rip), %rsi      # 0xcce52
leaq -0x478(%rbp), %rdi
movl $0x10, %edx
callq 0x70bd0
jmp 0xc9ebb
movl $0xb, -0x47c(%rbp)
leaq -0x100(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
callq 0x30b50
movl %eax, -0x594(%rbp)
jmp 0xc9ee0
movl -0x594(%rbp), %eax
movl %eax, -0x480(%rbp)
leaq 0x3066(%rip), %rcx      # 0xccf59
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x480(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x2076(%rip), %rcx      # 0xcbf82
movq %rcx, (%rax)
leaq -0x468(%rbp), %rdi
leaq -0x478(%rbp), %rsi
movl $0x50, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x47c(%rbp), %r9
callq 0xbf480
jmp 0xc9f3b
leaq -0x468(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x595(%rbp)
jmp 0xc9f54
movb -0x595(%rbp), %al
testb $0x1, %al
jne 0xc9e20
jmp 0xc9f64
leaq -0x360(%rbp), %rdi
callq 0x33f50
leaq -0x348(%rbp), %rdi
callq 0x26180
leaq -0x2c8(%rbp), %rdi
callq 0x6908
leaq -0x130(%rbp), %rdi
callq 0x5c1b0
leaq -0x100(%rbp), %rdi
callq 0x2fe10
addq $0x5e0, %rsp            # imm = 0x5E0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca164
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca158
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca14c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca140
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca134
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca128
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca11c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca110
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca104
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca0f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
leaq -0x2a8(%rbp), %rdi
callq 0xdb50
leaq -0x280(%rbp), %rax
movq %rax, -0x5a8(%rbp)
addq $0x140, %rax            # imm = 0x140
movq %rax, -0x5a0(%rbp)
movq -0x5a0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x5b0(%rbp)
callq 0x6908
movq -0x5a8(%rbp), %rcx
movq -0x5b0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x5a0(%rbp)
jne 0xca0c5
jmp 0xca0f8
leaq -0x2a5(%rbp), %rdi
callq 0x6470
leaq -0x2a4(%rbp), %rdi
callq 0x6470
leaq -0x2a3(%rbp), %rdi
callq 0x6470
leaq -0x2a2(%rbp), %rdi
callq 0x6470
leaq -0x2a1(%rbp), %rdi
callq 0x6470
leaq -0x2a0(%rbp), %rdi
callq 0x6470
leaq -0x29f(%rbp), %rdi
callq 0x6470
leaq -0x29e(%rbp), %rdi
callq 0x6470
leaq -0x29d(%rbp), %rdi
callq 0x6470
leaq -0x289(%rbp), %rdi
callq 0x6470
testb $0x1, -0x2a6(%rbp)
jne 0xca17b
jmp 0xca1c8
movq -0x288(%rbp), %rax
leaq -0x280(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x5b8(%rbp)
je 0xca1c6
movq -0x5b8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x5c0(%rbp)
callq 0x6908
movq -0x5c0(%rbp), %rax
leaq -0x280(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x5b8(%rbp)
jne 0xca195
jmp 0xca1c8
jmp 0xca2bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
leaq -0x2c9(%rbp), %rdi
callq 0x6470
jmp 0xca2b1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca2a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca299
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
jmp 0xca28d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
leaq -0x3a8(%rbp), %rdi
callq 0x70ea0
jmp 0xca28d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
leaq -0x408(%rbp), %rdi
callq 0x70ea0
jmp 0xca28d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x298(%rbp)
movl %eax, -0x29c(%rbp)
leaq -0x468(%rbp), %rdi
callq 0x70ea0
leaq -0x360(%rbp), %rdi
callq 0x33f50
leaq -0x348(%rbp), %rdi
callq 0x26180
leaq -0x2c8(%rbp), %rdi
callq 0x6908
leaq -0x130(%rbp), %rdi
callq 0x5c1b0
leaq -0x100(%rbp), %rdi
callq 0x2fe10
movq -0x298(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)
nop