// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/msfgtest.cc
// Function: MultiStringFactorGraphTest3::test_method()
BOOST_AUTO_TEST_CASE(MultiStringFactorGraphTest3)
{
    MultiStringFactorGraph msfg(start_end_symbol);
    set<string> vocab = {"k", "i", "s", "a", "sa", "ki", "la", "kis", "kissa",
                         "lle", "kin", "kala"};
    string sentence("kissa");
    FactorGraph fg(sentence, start_end_symbol, vocab, 5);
    string sentence2("kala");
    FactorGraph fg2(sentence2, start_end_symbol, vocab, 5);
    string sentence3("kissakala");
    FactorGraph fg3(sentence3, start_end_symbol, vocab, 5);
    msfg.add(fg);
    msfg.add(fg2);
    msfg.add(fg3);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
leaq 0x1bb87(%rip), %rsi     # 0x8a5e8
leaq -0x418(%rbp), %rdi
callq 0x6b222
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2295(%rip), %rsi      # 0x70d14
leaq 0x228f(%rip), %rdx      # 0x70d15
leaq -0x230(%rbp), %rbx
movq %rbx, %rdi
callq 0x95e6
leaq -0x210(%rbp), %r14
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x1d3e(%rip), %rsi      # 0x707ec
leaq 0x1d38(%rip), %rdx      # 0x707ed
movq %r14, %rdi
callq 0x95e6
leaq -0x1f0(%rbp), %r14
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x1538(%rip), %rsi      # 0x7000e
leaq 0x1532(%rip), %rdx      # 0x7000f
movq %r14, %rdi
callq 0x95e6
leaq -0x1d0(%rbp), %r14
leaq -0x1c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x24f0(%rip), %rsi      # 0x70fee
leaq 0x24ea(%rip), %rdx      # 0x70fef
movq %r14, %rdi
callq 0x95e6
leaq -0x1b0(%rbp), %r14
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2d5c(%rip), %rsi      # 0x71882
leaq 0x2d57(%rip), %rdx      # 0x71884
movq %r14, %rdi
callq 0x95e6
leaq -0x190(%rbp), %r14
leaq -0x180(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22f8(%rip), %rsi      # 0x70e46
leaq 0x22f3(%rip), %rdx      # 0x70e48
movq %r14, %rdi
callq 0x95e6
leaq -0x170(%rbp), %r14
leaq -0x160(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x33be(%rip), %rsi      # 0x71f34
leaq 0x33b9(%rip), %rdx      # 0x71f36
movq %r14, %rdi
callq 0x95e6
leaq -0x150(%rbp), %r14
leaq -0x140(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ab(%rip), %rsi      # 0x70e49
leaq 0x22a7(%rip), %rdx      # 0x70e4c
movq %r14, %rdi
callq 0x95e6
leaq -0x130(%rbp), %r14
leaq -0x120(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2150(%rip), %rsi      # 0x70d16
leaq 0x214e(%rip), %rdx      # 0x70d1b
movq %r14, %rdi
callq 0x95e6
leaq -0x110(%rbp), %r14
leaq -0x100(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x332f(%rip), %rsi      # 0x71f1d
leaq 0x332b(%rip), %rdx      # 0x71f20
movq %r14, %rdi
callq 0x95e6
leaq -0xf0(%rbp), %r14
leaq -0xe0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x3313(%rip), %rsi      # 0x71f29
leaq 0x330f(%rip), %rdx      # 0x71f2c
movq %r14, %rdi
callq 0x95e6
leaq -0xd0(%rbp), %r14
leaq -0xc0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x32f3(%rip), %rsi      # 0x71f32
leaq 0x32f0(%rip), %rdx      # 0x71f36
movq %r14, %rdi
callq 0x95e6
leaq -0xb0(%rbp), %rdi
leaq -0x230(%rbp), %rsi
leaq -0x320(%rbp), %rcx
leaq -0x2a8(%rbp), %r8
movl $0xc, %edx
callq 0x6b15e
leaq -0xc0(%rbp), %rbx
xorl %r14d, %r14d
movq -0xd0(%rbp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x6ec94
callq 0x5380
addq $-0x20, %r14
cmpq $-0x180, %r14           # imm = 0xFE80
jne 0x6ec7e
leaq -0x70(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x2066(%rip), %rsi      # 0x70d16
leaq 0x2064(%rip), %rdx      # 0x70d1b
leaq -0x80(%rbp), %rdi
callq 0x95e6
leaq 0x1b921(%rip), %rdx     # 0x8a5e8
leaq -0x230(%rbp), %rdi
leaq -0x80(%rbp), %rsi
leaq -0xb0(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x11002
leaq -0x50(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x323c(%rip), %rsi      # 0x71f32
leaq 0x3239(%rip), %rdx      # 0x71f36
leaq -0x60(%rbp), %rdi
callq 0x95e6
leaq 0x1b8db(%rip), %rdx     # 0x8a5e8
leaq -0x320(%rbp), %rdi
leaq -0x60(%rbp), %rsi
leaq -0xb0(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x11002
leaq -0x30(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x31f0(%rip), %rsi      # 0x71f2d
leaq 0x31f2(%rip), %rdx      # 0x71f36
leaq -0x40(%rbp), %rdi
callq 0x95e6
leaq 0x1b894(%rip), %rdx     # 0x8a5e8
leaq -0x2a8(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0xb0(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x11002
leaq -0x418(%rbp), %rdi
leaq -0x230(%rbp), %rsi
movl $0x1, %edx
callq 0x1450e
leaq -0x418(%rbp), %rdi
leaq -0x320(%rbp), %rsi
movl $0x1, %edx
callq 0x1450e
leaq -0x418(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
movl $0x1, %edx
callq 0x1450e
leaq -0x2a8(%rbp), %rdi
callq 0x12b80
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x6edd6
callq 0x5380
leaq -0x320(%rbp), %rdi
callq 0x12b80
movq -0x60(%rbp), %rdi
cmpq %r14, %rdi
je 0x6edf0
callq 0x5380
leaq -0x230(%rbp), %rdi
callq 0x12b80
movq -0x80(%rbp), %rdi
cmpq %rbx, %rdi
je 0x6ee0a
callq 0x5380
leaq -0xb0(%rbp), %rdi
callq 0x22afc
leaq -0x418(%rbp), %rdi
callq 0x143dc
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r15
jmp 0x6eed9
movq %rax, %r15
jmp 0x6eee7
movq %rax, %r15
jmp 0x6eef3
movq %rax, %r15
jmp 0x6ef01
movq %rax, %r15
jmp 0x6ef0d
movq %rax, %r15
jmp 0x6ef1b
movq %rax, %r15
movq $-0x180, %rbx           # imm = 0xFE80
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x6ee7b
callq 0x5380
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x6ee6c
jmp 0x6ef27
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
jmp 0x6ee9e
movq %rax, %r15
addq $-0x10, %r14
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x6eeb3
callq 0x5380
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x6eea5
jmp 0x6ef27
movq %rax, %r15
jmp 0x6ef27
movq %rax, %r15
leaq -0x2a8(%rbp), %rdi
callq 0x12b80
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x6eee7
callq 0x5380
leaq -0x320(%rbp), %rdi
callq 0x12b80
movq -0x60(%rbp), %rdi
cmpq %r14, %rdi
je 0x6ef01
callq 0x5380
leaq -0x230(%rbp), %rdi
callq 0x12b80
movq -0x80(%rbp), %rdi
cmpq %rbx, %rdi
je 0x6ef1b
callq 0x5380
leaq -0xb0(%rbp), %rdi
callq 0x22afc
leaq -0x418(%rbp), %rdi
callq 0x143dc
movq %r15, %rdi
callq 0x56f0