// File: aalto-speech[P]ftk/test/emtest.cc
// Function: FactorGraphTestRemoveArcs2::test_method()
BOOST_AUTO_TEST_CASE(FactorGraphTestRemoveArcs2)
{
    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.remove_arcs(string("k"));
    fg.remove_arcs(string("a"));
    fg.get_paths(paths);
    BOOST_CHECK_EQUAL( 3, (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 = {"*", "ki", "s", "sa", "*" };
    BOOST_CHECK( includes_path(paths, seg3) );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x960, %rsp            # imm = 0x960
movq %rdi, -0x8(%rbp)
movb $0x1, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0x678(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x151(%rbp), %rdi
movq %rdi, -0x670(%rbp)
callq 0x67b0
movq -0x678(%rbp), %rdi
movq -0x670(%rbp), %rdx
leaq 0x3ca57(%rip), %rsi     # 0xcbc3a
callq 0x65e0
jmp 0x8f1ea
leaq -0x128(%rbp), %rax
movq %rax, -0x688(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x165(%rbp), %rdi
movq %rdi, -0x680(%rbp)
callq 0x67b0
movq -0x688(%rbp), %rdi
movq -0x680(%rbp), %rdx
leaq 0x3c511(%rip), %rsi     # 0xcb738
callq 0x65e0
jmp 0x8f22e
leaq -0x108(%rbp), %rax
movq %rax, -0x698(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x166(%rbp), %rdi
movq %rdi, -0x690(%rbp)
callq 0x67b0
movq -0x698(%rbp), %rdi
movq -0x690(%rbp), %rdx
leaq 0x3bda3(%rip), %rsi     # 0xcb00e
callq 0x65e0
jmp 0x8f272
leaq -0xe8(%rbp), %rax
movq %rax, -0x6a8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x167(%rbp), %rdi
movq %rdi, -0x6a0(%rbp)
callq 0x67b0
movq -0x6a8(%rbp), %rdi
movq -0x6a0(%rbp), %rdx
leaq 0x3cc65(%rip), %rsi     # 0xcbf14
callq 0x65e0
jmp 0x8f2b6
leaq -0xc8(%rbp), %rax
movq %rax, -0x6b8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x168(%rbp), %rdi
movq %rdi, -0x6b0(%rbp)
callq 0x67b0
movq -0x6b8(%rbp), %rdi
movq -0x6b0(%rbp), %rdx
leaq 0x3d4b5(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0x8f2fa
leaq -0xa8(%rbp), %rax
movq %rax, -0x6c8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x169(%rbp), %rdi
movq %rdi, -0x6c0(%rbp)
callq 0x67b0
movq -0x6c8(%rbp), %rdi
movq -0x6c0(%rbp), %rdx
leaq 0x3ca35(%rip), %rsi     # 0xcbd6c
callq 0x65e0
jmp 0x8f33e
leaq -0x88(%rbp), %rax
movq %rax, -0x6d8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16a(%rbp), %rdi
movq %rdi, -0x6d0(%rbp)
callq 0x67b0
movq -0x6d8(%rbp), %rdi
movq -0x6d0(%rbp), %rdx
leaq 0x3c9f4(%rip), %rsi     # 0xcbd6f
callq 0x65e0
jmp 0x8f382
leaq -0x68(%rbp), %rax
movq %rax, -0x6e8(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16b(%rbp), %rdi
movq %rdi, -0x6e0(%rbp)
callq 0x67b0
movq -0x6e8(%rbp), %rdi
movq -0x6e0(%rbp), %rdx
leaq 0x3c880(%rip), %rsi     # 0xcbc3c
callq 0x65e0
jmp 0x8f3c3
movb $0x0, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0x48(%rbp)
movq $0x8, -0x40(%rbp)
leaq -0x16e(%rbp), %rdi
movq %rdi, -0x6f0(%rbp)
callq 0xdab0
movq -0x6f0(%rbp), %r8
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0x16d(%rbp), %rcx
callq 0xbfde0
jmp 0x8f411
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0x700(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0x6f8(%rbp)
movq -0x6f8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x708(%rbp)
callq 0x6908
movq -0x700(%rbp), %rcx
movq -0x708(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x6f8(%rbp)
jne 0x8f438
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
leaq -0x191(%rbp), %rdi
movq %rdi, -0x710(%rbp)
callq 0x67b0
movq -0x710(%rbp), %rdx
leaq 0x3c752(%rip), %rsi     # 0xcbc3c
leaq -0x190(%rbp), %rdi
callq 0x65e0
jmp 0x8f4f8
leaq -0x191(%rbp), %rdi
callq 0x6470
leaq 0x7812d(%rip), %rdx     # 0x107638
leaq -0x210(%rbp), %rdi
leaq -0x190(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0x8f52d
leaq -0x228(%rbp), %rdi
callq 0x33f30
leaq -0x249(%rbp), %rdi
movq %rdi, -0x718(%rbp)
callq 0x67b0
movq -0x718(%rbp), %rdx
leaq 0x3c6e0(%rip), %rsi     # 0xcbc3a
leaq -0x248(%rbp), %rdi
callq 0x65e0
jmp 0x8f568
leaq -0x210(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x25be0
jmp 0x8f57d
leaq -0x248(%rbp), %rdi
callq 0x6908
leaq -0x249(%rbp), %rdi
callq 0x6470
leaq -0x271(%rbp), %rdi
movq %rdi, -0x720(%rbp)
callq 0x67b0
movq -0x720(%rbp), %rdx
leaq 0x3c95e(%rip), %rsi     # 0xcbf14
leaq -0x270(%rbp), %rdi
callq 0x65e0
jmp 0x8f5c4
leaq -0x210(%rbp), %rdi
leaq -0x270(%rbp), %rsi
callq 0x25be0
jmp 0x8f5d9
leaq -0x270(%rbp), %rdi
callq 0x6908
leaq -0x271(%rbp), %rdi
callq 0x6470
leaq -0x210(%rbp), %rdi
leaq -0x228(%rbp), %rsi
callq 0x25520
jmp 0x8f606
jmp 0x8f608
movq 0x77fe1(%rip), %rax     # 0x1075f0
movq %rax, -0x728(%rbp)
leaq 0x3c54b(%rip), %rsi     # 0xcbb68
leaq -0x288(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8f630
leaq -0x298(%rbp), %rdi
callq 0x70c00
jmp 0x8f63e
movq -0x728(%rbp), %rdi
leaq -0x288(%rbp), %rsi
movl $0x259, %edx            # imm = 0x259
leaq -0x298(%rbp), %rcx
callq 0x6840
jmp 0x8f65f
callq 0x70e90
movq %rax, -0x730(%rbp)
jmp 0x8f66d
movq -0x730(%rbp), %rsi
leaq 0x3bcaf(%rip), %rdx     # 0xcb32a
leaq -0x2c0(%rbp), %rdi
callq 0x70e50
jmp 0x8f689
leaq 0x3c4d8(%rip), %rsi     # 0xcbb68
leaq -0x2d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8f6a3
movl $0x3, -0x2d4(%rbp)
leaq -0x228(%rbp), %rdi
callq 0x2ede0
movl %eax, -0x2d8(%rbp)
leaq 0x3c8fd(%rip), %rcx     # 0xcbfc3
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x2d8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x3c890(%rip), %rcx     # 0xcbf6f
movq %rcx, (%rax)
leaq -0x2c0(%rbp), %rdi
leaq -0x2d0(%rbp), %rsi
movl $0x259, %edx            # imm = 0x259
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x2d4(%rbp), %r9
callq 0xbf480
jmp 0x8f70e
leaq -0x2c0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x731(%rbp)
jmp 0x8f727
movb -0x731(%rbp), %al
testb $0x1, %al
jne 0x8f608
jmp 0x8f737
movb $0x1, -0x36c(%rbp)
leaq -0x360(%rbp), %rax
movq %rax, -0x748(%rbp)
movq %rax, -0x368(%rbp)
leaq -0x369(%rbp), %rdi
movq %rdi, -0x740(%rbp)
callq 0x67b0
movq -0x748(%rbp), %rdi
movq -0x740(%rbp), %rdx
leaq 0x3bc7e(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8f782
leaq -0x340(%rbp), %rax
movq %rax, -0x758(%rbp)
movq %rax, -0x368(%rbp)
leaq -0x36a(%rbp), %rdi
movq %rdi, -0x750(%rbp)
callq 0x67b0
movq -0x758(%rbp), %rdi
movq -0x750(%rbp), %rdx
leaq 0x3c47d(%rip), %rsi     # 0xcbc3c
callq 0x65e0
jmp 0x8f7c6
leaq -0x320(%rbp), %rax
movq %rax, -0x768(%rbp)
movq %rax, -0x368(%rbp)
leaq -0x36b(%rbp), %rdi
movq %rdi, -0x760(%rbp)
callq 0x67b0
movq -0x768(%rbp), %rdi
movq -0x760(%rbp), %rdx
leaq 0x3bbf6(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8f80a
movb $0x0, -0x36c(%rbp)
leaq -0x360(%rbp), %rax
movq %rax, -0x300(%rbp)
movq $0x3, -0x2f8(%rbp)
leaq -0x36d(%rbp), %rdi
movq %rdi, -0x770(%rbp)
callq 0xdab0
movq -0x770(%rbp), %rcx
movq -0x300(%rbp), %rsi
movq -0x2f8(%rbp), %rdx
leaq -0x2f0(%rbp), %rdi
callq 0xbfeb0
jmp 0x8f860
leaq -0x36d(%rbp), %rdi
callq 0xdb50
leaq -0x360(%rbp), %rax
movq %rax, -0x780(%rbp)
addq $0x60, %rax
movq %rax, -0x778(%rbp)
movq -0x778(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x788(%rbp)
callq 0x6908
movq -0x780(%rbp), %rcx
movq -0x788(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x778(%rbp)
jne 0x8f885
leaq -0x36b(%rbp), %rdi
callq 0x6470
leaq -0x36a(%rbp), %rdi
callq 0x6470
leaq -0x369(%rbp), %rdi
callq 0x6470
movq 0x77d0f(%rip), %rax     # 0x1075f0
movq %rax, -0x790(%rbp)
leaq 0x3c279(%rip), %rsi     # 0xcbb68
leaq -0x380(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8f902
leaq -0x390(%rbp), %rdi
callq 0x70c00
jmp 0x8f910
movq -0x790(%rbp), %rdi
leaq -0x380(%rbp), %rsi
movl $0x25b, %edx            # imm = 0x25B
leaq -0x390(%rbp), %rcx
callq 0x6840
jmp 0x8f931
leaq -0x228(%rbp), %rdi
leaq -0x2f0(%rbp), %rsi
callq 0x887e0
movzbl %al, %esi
leaq -0x3a8(%rbp), %rdi
callq 0x70ed0
jmp 0x8f955
callq 0x70e90
movq %rax, -0x798(%rbp)
jmp 0x8f963
leaq 0x3c66b(%rip), %rsi     # 0xcbfd5
leaq -0x3d8(%rbp), %rdi
movl $0x19, %edx
callq 0x70bd0
jmp 0x8f97d
movq -0x798(%rbp), %rsi
leaq -0x3c8(%rbp), %rdi
leaq -0x3d8(%rbp), %rdx
callq 0x70f10
jmp 0x8f999
leaq 0x3c1c8(%rip), %rsi     # 0xcbb68
leaq -0x3e8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8f9b3
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x3a8(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
leaq -0x3e8(%rbp), %rdx
movl $0x25b, %ecx            # imm = 0x25B
movl $0x1, %r8d
callq 0x6810
jmp 0x8f9ea
leaq -0x3c8(%rbp), %rdi
callq 0x70f50
leaq -0x3a8(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x799(%rbp)
jmp 0x8fa0f
movb -0x799(%rbp), %al
testb $0x1, %al
jne 0x8f8da
jmp 0x8fa1f
movb $0x1, -0x49d(%rbp)
leaq -0x490(%rbp), %rax
movq %rax, -0x7b0(%rbp)
movq %rax, -0x498(%rbp)
leaq -0x499(%rbp), %rdi
movq %rdi, -0x7a8(%rbp)
callq 0x67b0
movq -0x7b0(%rbp), %rdi
movq -0x7a8(%rbp), %rdx
leaq 0x3b996(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8fa6a
leaq -0x470(%rbp), %rax
movq %rax, -0x7c0(%rbp)
movq %rax, -0x498(%rbp)
leaq -0x49a(%rbp), %rdi
movq %rdi, -0x7b8(%rbp)
callq 0x67b0
movq -0x7c0(%rbp), %rdi
movq -0x7b8(%rbp), %rdx
leaq 0x3c2c8(%rip), %rsi     # 0xcbd6f
callq 0x65e0
jmp 0x8faae
leaq -0x450(%rbp), %rax
movq %rax, -0x7d0(%rbp)
movq %rax, -0x498(%rbp)
leaq -0x49b(%rbp), %rdi
movq %rdi, -0x7c8(%rbp)
callq 0x67b0
movq -0x7d0(%rbp), %rdi
movq -0x7c8(%rbp), %rdx
leaq 0x3ccbd(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0x8faf2
leaq -0x430(%rbp), %rax
movq %rax, -0x7e0(%rbp)
movq %rax, -0x498(%rbp)
leaq -0x49c(%rbp), %rdi
movq %rdi, -0x7d8(%rbp)
callq 0x67b0
movq -0x7e0(%rbp), %rdi
movq -0x7d8(%rbp), %rdx
leaq 0x3b8ca(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8fb36
movb $0x0, -0x49d(%rbp)
leaq -0x490(%rbp), %rax
movq %rax, -0x410(%rbp)
movq $0x4, -0x408(%rbp)
leaq -0x49e(%rbp), %rdi
movq %rdi, -0x7e8(%rbp)
callq 0xdab0
movq -0x7e8(%rbp), %rcx
movq -0x410(%rbp), %rsi
movq -0x408(%rbp), %rdx
leaq -0x400(%rbp), %rdi
callq 0xbfeb0
jmp 0x8fb8c
leaq -0x49e(%rbp), %rdi
callq 0xdb50
leaq -0x490(%rbp), %rax
movq %rax, -0x7f8(%rbp)
addq $0x80, %rax
movq %rax, -0x7f0(%rbp)
movq -0x7f0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x800(%rbp)
callq 0x6908
movq -0x7f8(%rbp), %rcx
movq -0x800(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x7f0(%rbp)
jne 0x8fbb3
leaq -0x49c(%rbp), %rdi
callq 0x6470
leaq -0x49b(%rbp), %rdi
callq 0x6470
leaq -0x49a(%rbp), %rdi
callq 0x6470
leaq -0x499(%rbp), %rdi
callq 0x6470
movq 0x779d5(%rip), %rax     # 0x1075f0
movq %rax, -0x808(%rbp)
leaq 0x3bf3f(%rip), %rsi     # 0xcbb68
leaq -0x4b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8fc3c
leaq -0x4c0(%rbp), %rdi
callq 0x70c00
jmp 0x8fc4a
movq -0x808(%rbp), %rdi
leaq -0x4b0(%rbp), %rsi
movl $0x25d, %edx            # imm = 0x25D
leaq -0x4c0(%rbp), %rcx
callq 0x6840
jmp 0x8fc6b
leaq -0x228(%rbp), %rdi
leaq -0x400(%rbp), %rsi
callq 0x887e0
movzbl %al, %esi
leaq -0x4d8(%rbp), %rdi
callq 0x70ed0
jmp 0x8fc8f
callq 0x70e90
movq %rax, -0x810(%rbp)
jmp 0x8fc9d
leaq 0x3c34b(%rip), %rsi     # 0xcbfef
leaq -0x508(%rbp), %rdi
movl $0x1a, %edx
callq 0x70bd0
jmp 0x8fcb7
movq -0x810(%rbp), %rsi
leaq -0x4f8(%rbp), %rdi
leaq -0x508(%rbp), %rdx
callq 0x70f10
jmp 0x8fcd3
leaq 0x3be8e(%rip), %rsi     # 0xcbb68
leaq -0x518(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8fced
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x4d8(%rbp), %rdi
leaq -0x4f8(%rbp), %rsi
leaq -0x518(%rbp), %rdx
movl $0x25d, %ecx            # imm = 0x25D
movl $0x1, %r8d
callq 0x6810
jmp 0x8fd24
leaq -0x4f8(%rbp), %rdi
callq 0x70f50
leaq -0x4d8(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x811(%rbp)
jmp 0x8fd49
movb -0x811(%rbp), %al
testb $0x1, %al
jne 0x8fc14
jmp 0x8fd59
movb $0x1, -0x5ee(%rbp)
leaq -0x5e0(%rbp), %rax
movq %rax, -0x828(%rbp)
movq %rax, -0x5e8(%rbp)
leaq -0x5e9(%rbp), %rdi
movq %rdi, -0x820(%rbp)
callq 0x67b0
movq -0x828(%rbp), %rdi
movq -0x820(%rbp), %rdx
leaq 0x3b65c(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8fda4
leaq -0x5c0(%rbp), %rax
movq %rax, -0x838(%rbp)
movq %rax, -0x5e8(%rbp)
leaq -0x5ea(%rbp), %rdi
movq %rdi, -0x830(%rbp)
callq 0x67b0
movq -0x838(%rbp), %rdi
movq -0x830(%rbp), %rdx
leaq 0x3bf8b(%rip), %rsi     # 0xcbd6c
callq 0x65e0
jmp 0x8fde8
leaq -0x5a0(%rbp), %rax
movq %rax, -0x848(%rbp)
movq %rax, -0x5e8(%rbp)
leaq -0x5eb(%rbp), %rdi
movq %rdi, -0x840(%rbp)
callq 0x67b0
movq -0x848(%rbp), %rdi
movq -0x840(%rbp), %rdx
leaq 0x3b1e9(%rip), %rsi     # 0xcb00e
callq 0x65e0
jmp 0x8fe2c
leaq -0x580(%rbp), %rax
movq %rax, -0x858(%rbp)
movq %rax, -0x5e8(%rbp)
leaq -0x5ec(%rbp), %rdi
movq %rdi, -0x850(%rbp)
callq 0x67b0
movq -0x858(%rbp), %rdi
movq -0x850(%rbp), %rdx
leaq 0x3c93f(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0x8fe70
leaq -0x560(%rbp), %rax
movq %rax, -0x868(%rbp)
movq %rax, -0x5e8(%rbp)
leaq -0x5ed(%rbp), %rdi
movq %rdi, -0x860(%rbp)
callq 0x67b0
movq -0x868(%rbp), %rdi
movq -0x860(%rbp), %rdx
leaq 0x3b54c(%rip), %rsi     # 0xcb3f9
callq 0x65e0
jmp 0x8feb4
movb $0x0, -0x5ee(%rbp)
leaq -0x5e0(%rbp), %rax
movq %rax, -0x540(%rbp)
movq $0x5, -0x538(%rbp)
leaq -0x5ef(%rbp), %rdi
movq %rdi, -0x870(%rbp)
callq 0xdab0
movq -0x870(%rbp), %rcx
movq -0x540(%rbp), %rsi
movq -0x538(%rbp), %rdx
leaq -0x530(%rbp), %rdi
callq 0xbfeb0
jmp 0x8ff0a
leaq -0x5ef(%rbp), %rdi
callq 0xdb50
leaq -0x5e0(%rbp), %rax
movq %rax, -0x880(%rbp)
addq $0xa0, %rax
movq %rax, -0x878(%rbp)
movq -0x878(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x888(%rbp)
callq 0x6908
movq -0x880(%rbp), %rcx
movq -0x888(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x878(%rbp)
jne 0x8ff31
leaq -0x5ed(%rbp), %rdi
callq 0x6470
leaq -0x5ec(%rbp), %rdi
callq 0x6470
leaq -0x5eb(%rbp), %rdi
callq 0x6470
leaq -0x5ea(%rbp), %rdi
callq 0x6470
leaq -0x5e9(%rbp), %rdi
callq 0x6470
movq 0x7764b(%rip), %rax     # 0x1075f0
movq %rax, -0x890(%rbp)
leaq 0x3bbb5(%rip), %rsi     # 0xcbb68
leaq -0x600(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x8ffc6
leaq -0x610(%rbp), %rdi
callq 0x70c00
jmp 0x8ffd4
movq -0x890(%rbp), %rdi
leaq -0x600(%rbp), %rsi
movl $0x25f, %edx            # imm = 0x25F
leaq -0x610(%rbp), %rcx
callq 0x6840
jmp 0x8fff5
leaq -0x228(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x887e0
movzbl %al, %esi
leaq -0x628(%rbp), %rdi
callq 0x70ed0
jmp 0x90019
callq 0x70e90
movq %rax, -0x898(%rbp)
jmp 0x90027
leaq 0x3bfdc(%rip), %rsi     # 0xcc00a
leaq -0x658(%rbp), %rdi
movl $0x1a, %edx
callq 0x70bd0
jmp 0x90041
movq -0x898(%rbp), %rsi
leaq -0x648(%rbp), %rdi
leaq -0x658(%rbp), %rdx
callq 0x70f10
jmp 0x9005d
leaq 0x3bb04(%rip), %rsi     # 0xcbb68
leaq -0x668(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x90077
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x628(%rbp), %rdi
leaq -0x648(%rbp), %rsi
leaq -0x668(%rbp), %rdx
movl $0x25f, %ecx            # imm = 0x25F
movl $0x1, %r8d
callq 0x6810
jmp 0x900ae
leaq -0x648(%rbp), %rdi
callq 0x70f50
leaq -0x628(%rbp), %rdi
callq 0x70f70
callq 0x70ec0
movb %al, -0x899(%rbp)
jmp 0x900d3
movb -0x899(%rbp), %al
testb $0x1, %al
jne 0x8ff9e
jmp 0x900e3
leaq -0x530(%rbp), %rdi
callq 0xcfc0
leaq -0x400(%rbp), %rdi
callq 0xcfc0
leaq -0x2f0(%rbp), %rdi
callq 0xcfc0
leaq -0x228(%rbp), %rdi
callq 0x33f50
leaq -0x210(%rbp), %rdi
callq 0x26180
leaq -0x190(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
addq $0x960, %rsp            # imm = 0x960
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x902b2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x902a6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9029a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9028e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90282
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90276
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9026a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9025e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0x8b0(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0x8a8(%rbp)
movq -0x8a8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x8b8(%rbp)
callq 0x6908
movq -0x8b0(%rbp), %rcx
movq -0x8b8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x8a8(%rbp)
jne 0x9022b
jmp 0x9025e
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
testb $0x1, -0x16c(%rbp)
jne 0x902c9
jmp 0x90316
movq -0x150(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x8c0(%rbp)
je 0x90314
movq -0x8c0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x8c8(%rbp)
callq 0x6908
movq -0x8c8(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x8c0(%rbp)
jne 0x902e3
jmp 0x90316
jmp 0x9095d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x191(%rbp), %rdi
callq 0x6470
jmp 0x90954
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90948
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90387
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x248(%rbp), %rdi
callq 0x6908
leaq -0x249(%rbp), %rdi
callq 0x6470
jmp 0x90930
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x903ca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x270(%rbp), %rdi
callq 0x6908
leaq -0x271(%rbp), %rdi
callq 0x6470
jmp 0x90930
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90930
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x2c0(%rbp), %rdi
callq 0x70ea0
jmp 0x90930
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x904d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x904cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x904c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x36d(%rbp), %rdi
callq 0xdb50
leaq -0x360(%rbp), %rax
movq %rax, -0x8d8(%rbp)
addq $0x60, %rax
movq %rax, -0x8d0(%rbp)
movq -0x8d0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x8e0(%rbp)
callq 0x6908
movq -0x8d8(%rbp), %rcx
movq -0x8e0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x8d0(%rbp)
jne 0x9048e
jmp 0x904c1
leaq -0x36b(%rbp), %rdi
callq 0x6470
leaq -0x36a(%rbp), %rdi
callq 0x6470
leaq -0x369(%rbp), %rdi
callq 0x6470
testb $0x1, -0x36c(%rbp)
jne 0x904f0
jmp 0x9053d
movq -0x368(%rbp), %rax
leaq -0x360(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x8e8(%rbp)
je 0x9053b
movq -0x8e8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x8f0(%rbp)
callq 0x6908
movq -0x8f0(%rbp), %rax
leaq -0x360(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x8e8(%rbp)
jne 0x9050a
jmp 0x9053d
jmp 0x90930
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90924
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9058b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x3c8(%rbp), %rdi
callq 0x70f50
leaq -0x3a8(%rbp), %rdi
callq 0x70f70
jmp 0x90924
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90685
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90679
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9066d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90661
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x49e(%rbp), %rdi
callq 0xdb50
leaq -0x490(%rbp), %rax
movq %rax, -0x900(%rbp)
addq $0x80, %rax
movq %rax, -0x8f8(%rbp)
movq -0x8f8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x908(%rbp)
callq 0x6908
movq -0x900(%rbp), %rcx
movq -0x908(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x8f8(%rbp)
jne 0x9062e
jmp 0x90661
leaq -0x49c(%rbp), %rdi
callq 0x6470
leaq -0x49b(%rbp), %rdi
callq 0x6470
leaq -0x49a(%rbp), %rdi
callq 0x6470
leaq -0x499(%rbp), %rdi
callq 0x6470
testb $0x1, -0x49d(%rbp)
jne 0x9069c
jmp 0x906e9
movq -0x498(%rbp), %rax
leaq -0x490(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x910(%rbp)
je 0x906e7
movq -0x910(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x918(%rbp)
callq 0x6908
movq -0x918(%rbp), %rax
leaq -0x490(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x910(%rbp)
jne 0x906b6
jmp 0x906e9
jmp 0x90924
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90918
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90737
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x4f8(%rbp), %rdi
callq 0x70f50
leaq -0x4d8(%rbp), %rdi
callq 0x70f70
jmp 0x90918
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90854
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90848
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9083c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90830
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90824
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x5ef(%rbp), %rdi
callq 0xdb50
leaq -0x5e0(%rbp), %rax
movq %rax, -0x928(%rbp)
addq $0xa0, %rax
movq %rax, -0x920(%rbp)
movq -0x920(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x930(%rbp)
callq 0x6908
movq -0x928(%rbp), %rcx
movq -0x930(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x920(%rbp)
jne 0x907f1
jmp 0x90824
leaq -0x5ed(%rbp), %rdi
callq 0x6470
leaq -0x5ec(%rbp), %rdi
callq 0x6470
leaq -0x5eb(%rbp), %rdi
callq 0x6470
leaq -0x5ea(%rbp), %rdi
callq 0x6470
leaq -0x5e9(%rbp), %rdi
callq 0x6470
testb $0x1, -0x5ee(%rbp)
jne 0x9086b
jmp 0x908b8
movq -0x5e8(%rbp), %rax
leaq -0x5e0(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x938(%rbp)
je 0x908b6
movq -0x938(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x940(%rbp)
callq 0x6908
movq -0x940(%rbp), %rax
leaq -0x5e0(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x938(%rbp)
jne 0x90885
jmp 0x908b8
jmp 0x90918
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x9090c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0x90900
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x648(%rbp), %rdi
callq 0x70f50
leaq -0x628(%rbp), %rdi
callq 0x70f70
leaq -0x530(%rbp), %rdi
callq 0xcfc0
leaq -0x400(%rbp), %rdi
callq 0xcfc0
leaq -0x2f0(%rbp), %rdi
callq 0xcfc0
leaq -0x228(%rbp), %rdi
callq 0x33f50
leaq -0x210(%rbp), %rdi
callq 0x26180
leaq -0x190(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
movq -0x160(%rbp), %rdi
callq 0x67a0
nopl (%rax)