// File: /workspace/github_cpp_makefile_star2_O1/xnevs[P]bullimp/examples/colored_edges.cpp
// Function: main
int main() { 
    using namespace boost;
    using namespace ullimp;

    graph_type pattern;
    auto u0 = add_vertex(pattern);
    auto u1 = add_vertex(pattern);
    auto u2 = add_vertex(pattern);

    auto e01 = add_edge(u0, u1, pattern).first;
    auto e12 = add_edge(u1, u2, pattern).first;
    auto e20 = add_edge(u2, u0, pattern).first;

    pattern[e01].color = "red";
    pattern[e12].color = "black";
    pattern[e20].color = "black";

    graph_type graph;
    auto v0 = add_vertex(graph);
    auto v1 = add_vertex(graph);
    auto v2 = add_vertex(graph);
    auto v3 = add_vertex(graph);

    auto f01 = add_edge(v0, v1, graph).first;
    auto f12 = add_edge(v1, v2, graph).first;
    auto f20 = add_edge(v2, v0, graph).first;
    auto f13 = add_edge(v1, v3, graph).first;
    auto f30 = add_edge(v3, v0, graph).first;

    graph[f01].color = "red";
    graph[f12].color = "black";
    graph[f20].color = "black";
    graph[f13].color = "black";
    graph[f30].color = "black";

    auto index_map_p = get(vertex_index, pattern);
    auto index_map_g = get(vertex_index, graph);

    int count = 0;

    ullimp_subgraph_iso(pattern,
                        graph,
                        [&count, &pattern, &index_map_p, &index_map_g](auto const & iso, auto const & isoInv) {
                            std::cout << "found isomorphism:" << std::endl;
                            BGL_FORALL_VERTICES(u, pattern, graph_type) {
                                std::cout << "  " << index_map_p[u] << " -> " << index_map_g[iso[u]] << std::endl;
                            }
                            ++count;
                            return true;
                        },
                        get(vertex_index, pattern),
                        get(vertex_index, graph),
                        vertex_order_RDEG_CNC(pattern),
                        [&pattern, &graph](auto const & e, auto const & f) {
                            return pattern[e].color == graph[f].color;
                        },
                        always_equivalent());

    std::cout << "isomorphism count = " << count << std::endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x578, %rsp            # imm = 0x578
leaq 0xe0(%rsp), %rdi
leaq 0x1a0(%rsp), %rsi
callq 0x45ac
leaq 0xf8(%rsp), %r14
movq 0x8(%r14), %rsi
subq (%r14), %rsi
sarq $0x3, %rsi
movabsq $0x4ec4ec4ec4ec4ec5, %r15 # imm = 0x4EC4EC4EC4EC4EC5
imulq %r15, %rsi
incq %rsi
movq %r14, %rdi
callq 0x4724
movq 0x100(%rsp), %rbx
subq 0xf8(%rsp), %rbx
sarq $0x3, %rbx
imulq %r15, %rbx
leaq 0x1(%rbx), %rsi
movq %r14, %rdi
callq 0x4724
movq 0x100(%rsp), %r12
subq 0xf8(%rsp), %r12
sarq $0x3, %r12
imulq %r15, %r12
leaq 0x1(%r12), %rsi
movq %r14, %rdi
callq 0x4724
decq %rbx
decq %r12
movq 0x100(%rsp), %r14
subq 0xf8(%rsp), %r14
sarq $0x3, %r14
imulq %r15, %r14
leaq 0x1b0(%rsp), %r13
movq %r13, -0x10(%r13)
movq $0x0, -0x8(%r13)
movb $0x0, (%r13)
cmpq %r12, %rbx
movq %r12, %rsi
cmovaq %rbx, %rsi
cmpq %r14, %rsi
jb 0x248d
incq %rsi
leaq 0xf8(%rsp), %rdi
callq 0x4724
leaq 0x58(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0xe0(%rsp), %r8
movq %rbx, %rsi
movq %r12, %rdx
callq 0x4a24
decq %r14
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x24cd
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0x68(%rsp), %r15
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %r14, %r12
movq %r14, %rsi
cmovaq %r12, %rsi
movq 0x100(%rsp), %rax
subq 0xf8(%rsp), %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %rax, %rsi
jb 0x252f
incq %rsi
leaq 0xf8(%rsp), %rdi
callq 0x4724
leaq 0x58(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0xe0(%rsp), %r8
movq %r12, %rsi
movq %r14, %rdx
callq 0x4a24
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x256c
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0x68(%rsp), %r12
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %rbx, %r14
movq %rbx, %rsi
cmovaq %r14, %rsi
movq 0x100(%rsp), %rax
subq 0xf8(%rsp), %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %rax, %rsi
jb 0x25ce
incq %rsi
leaq 0xf8(%rsp), %rdi
callq 0x4724
leaq 0x58(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0xe0(%rsp), %r8
movq %r14, %rsi
movq %rbx, %rdx
callq 0x4a24
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x260b
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0x68(%rsp), %rbx
movq 0x8(%r15), %rdx
leaq 0x3a6d(%rip), %rcx      # 0x6088
movl $0x3, %r8d
movq %r15, %rdi
xorl %esi, %esi
callq 0x21b0
movq 0x8(%r12), %rdx
leaq 0x3a55(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %r12, %rdi
xorl %esi, %esi
callq 0x21b0
movq 0x8(%rbx), %rdx
leaq 0x3a3a(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %rbx, %rdi
xorl %esi, %esi
callq 0x21b0
leaq 0x58(%rsp), %rdi
leaq 0x1a0(%rsp), %rsi
callq 0x45ac
leaq 0x70(%rsp), %r14
movq 0x8(%r14), %rsi
subq (%r14), %rsi
sarq $0x3, %rsi
movabsq $0x4ec4ec4ec4ec4ec5, %r12 # imm = 0x4EC4EC4EC4EC4EC5
imulq %r12, %rsi
incq %rsi
movq %r14, %rdi
callq 0x4724
movq 0x78(%rsp), %rbx
subq 0x70(%rsp), %rbx
sarq $0x3, %rbx
imulq %r12, %rbx
leaq 0x1(%rbx), %rsi
movq %r14, %rdi
callq 0x4724
movq 0x78(%rsp), %r15
subq 0x70(%rsp), %r15
sarq $0x3, %r15
imulq %r12, %r15
leaq 0x1(%r15), %rsi
movq %r14, %rdi
callq 0x4724
movq 0x78(%rsp), %rbp
subq 0x70(%rsp), %rbp
sarq $0x3, %rbp
imulq %r12, %rbp
leaq 0x1(%rbp), %rsi
movq %r14, %rdi
callq 0x4724
decq %rbx
decq %r15
movq 0x78(%rsp), %r14
subq 0x70(%rsp), %r14
sarq $0x3, %r14
imulq %r12, %r14
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %r15, %rbx
movq %r15, %rsi
cmovaq %rbx, %rsi
cmpq %r14, %rsi
jb 0x2747
incq %rsi
leaq 0x70(%rsp), %rdi
callq 0x4724
leaq 0xb0(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x58(%rsp), %r8
movq %rbx, %rsi
movq %r15, %rdx
callq 0x4a24
decq %rbp
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x2787
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0xc0(%rsp), %rax
movq %rax, (%rsp)
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %rbp, %r15
movq %rbp, %rsi
cmovaq %r15, %rsi
movq 0x78(%rsp), %rax
subq 0x70(%rsp), %rax
sarq $0x3, %rax
imulq %r12, %rax
cmpq %rax, %rsi
jb 0x27dd
incq %rsi
leaq 0x70(%rsp), %rdi
callq 0x4724
leaq 0xb0(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x58(%rsp), %r8
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4a24
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x281a
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0xc0(%rsp), %r12
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %rbx, %rbp
movq %rbx, %rsi
cmovaq %rbp, %rsi
movq 0x78(%rsp), %rax
subq 0x70(%rsp), %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %rax, %rsi
jb 0x2876
incq %rsi
leaq 0x70(%rsp), %rdi
callq 0x4724
leaq 0xb0(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x58(%rsp), %r8
movq %rbp, %rsi
movq %rbx, %rdx
callq 0x4a24
decq %r14
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x28b6
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0xc0(%rsp), %rbp
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %r14, %r15
movq %r14, %rsi
cmovaq %r15, %rsi
movq 0x78(%rsp), %rax
subq 0x70(%rsp), %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %rax, %rsi
jb 0x2912
incq %rsi
leaq 0x70(%rsp), %rdi
callq 0x4724
leaq 0xb0(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x58(%rsp), %r8
movq %r15, %rsi
movq %r14, %rdx
callq 0x4a24
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x294f
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0xc0(%rsp), %r15
movq %r13, 0x1a0(%rsp)
movq $0x0, 0x1a8(%rsp)
movb $0x0, 0x1b0(%rsp)
cmpq %rbx, %r14
movq %rbx, %rsi
cmovaq %r14, %rsi
movq 0x78(%rsp), %rax
subq 0x70(%rsp), %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rcx, %rax
cmpq %rax, %rsi
jb 0x29ab
incq %rsi
leaq 0x70(%rsp), %rdi
callq 0x4724
leaq 0xb0(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x58(%rsp), %rax
movq %r14, %rsi
movq %rax, %r14
movq %rbx, %rdx
movq %rax, %r8
callq 0x4a24
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x29ee
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
movq 0xc0(%rsp), %rbx
movq (%rsp), %rdi
movq 0x8(%rdi), %rdx
leaq 0x3683(%rip), %rcx      # 0x6088
movl $0x3, %r8d
xorl %esi, %esi
callq 0x21b0
movq 0x8(%r12), %rdx
leaq 0x366e(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %r12, %rdi
xorl %esi, %esi
callq 0x21b0
movq 0x8(%rbp), %rdx
leaq 0x3653(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %rbp, %rdi
xorl %esi, %esi
callq 0x21b0
movq 0x8(%r15), %rdx
leaq 0x3638(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %r15, %rdi
xorl %esi, %esi
callq 0x21b0
movq 0x8(%rbx), %rdx
leaq 0x361d(%rip), %rcx      # 0x608c
movl $0x5, %r8d
movq %rbx, %rdi
xorl %esi, %esi
callq 0x21b0
movl $0x0, 0xac(%rsp)
leaq 0x140(%rsp), %rdi
leaq 0xe0(%rsp), %rbx
movq %rbx, %rsi
callq 0x4d80
leaq 0x1b0(%rsp), %rdi
movq %rbx, -0x10(%rdi)
movq %r14, -0x8(%rdi)
movq %rbx, %rsi
callq 0x56d0
movabsq $0x4ec4ec4ec4ec4ec5, %r15 # imm = 0x4EC4EC4EC4EC4EC5
leaq 0x2c8(%rsp), %rdi
leaq 0x58(%rsp), %r14
movq %r14, %rsi
callq 0x56d0
movq 0x100(%rsp), %rax
subq 0xf8(%rsp), %rax
sarq $0x3, %rax
imulq %r15, %rax
leaq 0x3f8(%rsp), %rdi
movq %rax, -0x10(%rdi)
movq 0x78(%rsp), %rax
subq 0x70(%rsp), %rax
sarq $0x3, %rax
imulq %r15, %rax
movq %rax, -0x8(%rdi)
leaq 0x140(%rsp), %rsi
callq 0x5ad6
leaq 0x448(%rsp), %rdi
movq %rbx, -0x38(%rdi)
movq %r14, -0x30(%rdi)
leaq 0xac(%rsp), %rax
movq %rax, -0x20(%rdi)
movq %rbx, -0x18(%rdi)
leaq 0x57(%rsp), %rax
movq %rax, -0x10(%rdi)
leaq 0x56(%rsp), %rax
movq %rax, -0x8(%rdi)
movq -0x60(%rdi), %rsi
leaq 0xb0(%rsp), %rdx
movq $-0x1, (%rdx)
leaq 0x18(%rsp), %rcx
callq 0x5b58
leaq 0x470(%rsp), %rdi
movq -0x80(%rdi), %rsi
movq -0x28(%rdi), %rax
movq %rax, -0x10(%rdi)
leaq 0xb0(%rsp), %rdx
movq $-0x1, (%rdx)
leaq 0x18(%rsp), %rcx
callq 0x5b58
movq 0x470(%rsp), %rax
movq %rax, 0x488(%rsp)
movq 0x3e8(%rsp), %rbx
movq 0x3f0(%rsp), %r14
movq %rbx, 0x498(%rsp)
movq %r14, 0x4a0(%rsp)
imulq %rbx, %r14
movq %r14, %rdi
callq 0x2030
movq %rax, 0x4b0(%rsp)
movq %r14, %rax
shrq $0x3e, %rax
shlq $0x2, %r14
negq %rax
sbbq %r15, %r15
orq %r14, %r15
movq %r15, %rdi
callq 0x2030
movq %rax, 0x4b8(%rsp)
movq $-0x1, 0x4c0(%rsp)
movq %r15, %rdi
callq 0x2030
leaq 0x4d8(%rsp), %r14
movq %rax, -0x10(%r14)
movl $0xffffffff, -0x8(%r14) # imm = 0xFFFFFFFF
leaq 0xb0(%rsp), %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5c24
leaq 0x4f0(%rsp), %r15
movq -0x108(%r15), %rsi
leaq 0xb0(%rsp), %rdx
movq %r15, %rdi
callq 0x5c24
leaq 0x508(%rsp), %r12
movq -0x120(%r12), %rsi
leaq 0xb0(%rsp), %rdx
movq %r12, %rdi
callq 0x5c24
leaq 0x520(%rsp), %r13
movq -0x138(%r13), %rsi
leaq 0xb0(%rsp), %rdx
movq %r13, %rdi
callq 0x5c24
movq 0x3e8(%rsp), %rsi
movq 0x4d8(%rsp), %rax
movq %rax, 0x538(%rsp)
movq 0x4f0(%rsp), %rax
movq %rax, 0x548(%rsp)
movq 0x508(%rsp), %rax
movq %rax, 0x558(%rsp)
movq 0x520(%rsp), %rax
movq %rax, 0x568(%rsp)
leaq 0xb0(%rsp), %rdi
leaq 0x18(%rsp), %rdx
callq 0x5108
movq 0xb0(%rsp), %rbp
cmpq $0x0, 0x3e8(%rsp)
je 0x2d2a
movq 0x140(%rsp), %rax
xorl %ecx, %ecx
movq (%rax,%rcx,8), %rdx
movq %rcx, (%rbp,%rdx,8)
incq %rcx
cmpq %rcx, 0x3e8(%rsp)
ja 0x2d14
movq 0x100(%rsp), %rcx
movq 0xf8(%rsp), %rax
subq %rax, %rcx
je 0x2ed2
sarq $0x3, %rcx
movabsq $0x4ec4ec4ec4ec4ec5, %rax # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %rcx
movq %rcx, (%rsp)
xorl %r12d, %r12d
movq (%rbp,%r12,8), %r13
movq 0x288(%rsp), %rax
leaq (%r12,%r12,2), %r14
movq (%rax,%r14,8), %r15
movq 0x8(%rax,%r14,8), %rbx
cmpq %rbx, %r15
je 0x2dbd
movq (%r15), %rax
movq %rax, 0x18(%rsp)
cmpq %r13, (%rbp,%rax,8)
jbe 0x2db7
movq 0x538(%rsp), %rcx
leaq (%rcx,%r14,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x2dad
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x2db7
leaq 0x18(%rsp), %rdx
callq 0x5e52
addq $0x8, %r15
jmp 0x2d76
movq 0x298(%rsp), %rax
movq (%rax,%r14,8), %r15
movq 0x8(%rax,%r14,8), %rbx
cmpq %rbx, %r15
je 0x2e15
movq (%r15), %rax
movq %rax, 0x18(%rsp)
cmpq %r13, (%rbp,%rax,8)
jbe 0x2e0f
movq 0x548(%rsp), %rcx
leaq (%rcx,%r14,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x2e05
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x2e0f
leaq 0x18(%rsp), %rdx
callq 0x5e52
addq $0x8, %r15
jmp 0x2dce
movq 0x2a8(%rsp), %rax
movq (%rax,%r14,8), %r15
movq 0x8(%rax,%r14,8), %rbx
cmpq %rbx, %r15
je 0x2e6d
movq (%r15), %rax
movq %rax, 0x18(%rsp)
cmpq %r13, (%rbp,%rax,8)
jbe 0x2e67
movq 0x558(%rsp), %rcx
leaq (%rcx,%r14,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x2e5d
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x2e67
leaq 0x18(%rsp), %rdx
callq 0x5e52
addq $0x8, %r15
jmp 0x2e26
movq 0x2b8(%rsp), %rax
movq (%rax,%r14,8), %r15
movq 0x8(%rax,%r14,8), %rbx
cmpq %rbx, %r15
je 0x2ec5
movq (%r15), %rax
movq %rax, 0x18(%rsp)
cmpq %r13, (%rbp,%rax,8)
jbe 0x2ebf
movq 0x568(%rsp), %rcx
leaq (%rcx,%r14,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x2eb5
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x2ebf
leaq 0x18(%rsp), %rdx
callq 0x5e52
addq $0x8, %r15
jmp 0x2e7e
incq %r12
cmpq (%rsp), %r12
jne 0x2d5c
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x2eef
movq 0xc0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x1a0(%rsp), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rax), %rax
movq %rcx, 0x38(%rsp)
subq %rcx, %rax
leaq 0x70(%rsp), %r15
je 0x31de
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %r15 # imm = 0x4EC4EC4EC4EC4EC5
imulq %r15, %rax
movq %rax, 0xd0(%rsp)
movq 0x1a8(%rsp), %rcx
movq 0x18(%rcx), %rax
movq 0x20(%rcx), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x3, %rdx
imulq %r15, %rdx
movq 0x4b0(%rsp), %rsi
movq 0x4a0(%rsp), %rdi
leaq 0x58(%rax), %r8
xorl %r9d, %r9d
cmpq %rax, %rcx
je 0x2fa0
imulq $0x68, %r9, %r11
movq 0x38(%rsp), %rbx
movq 0x28(%rbx,%r11), %r10
movq 0x58(%rbx,%r11), %r11
movq %r8, %rbx
xorl %r14d, %r14d
cmpq %r11, (%rbx)
jae 0x2f88
xorl %ebp, %ebp
jmp 0x2f90
cmpq %r10, -0x30(%rbx)
setae %bpl
movb %bpl, (%rsi,%r14)
incq %r14
addq $0x68, %rbx
cmpq %r14, %rdx
jne 0x2f7f
incq %r9
addq %rdi, %rsi
cmpq 0xd0(%rsp), %r9
jne 0x2f61
movq 0x1a8(%rsp), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rax), %rax
movq %rax, 0x10(%rsp)
movq %rax, %rdx
movq %rcx, 0x20(%rsp)
subq %rcx, %rdx
sarq $0x3, %rdx
imulq %r15, %rdx
leaq 0x70(%rsp), %r15
movq %rdx, 0x28(%rsp)
movq 0x4a0(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x4b0(%rsp), %rax
movq %rax, 0x90(%rsp)
movq $0x0, 0xd8(%rsp)
xorl %ecx, %ecx
movq 0x10(%rsp), %rax
cmpq 0x20(%rsp), %rax
movq %rcx, 0xa0(%rsp)
je 0x31b7
movq %rcx, %r13
imulq 0x8(%rsp), %r13
addq 0x90(%rsp), %r13
imulq $0x68, %rcx, %rax
movq 0x38(%rsp), %rcx
leaq (%rcx,%rax), %rsi
movq %rsi, 0x40(%rsp)
leaq 0x8(%rcx,%rax), %rsi
movq %rsi, (%rsp)
leaq 0x38(%rcx,%rax), %rax
movq %rax, 0x98(%rsp)
xorl %r12d, %r12d
cmpb $0x1, (%r13,%r12)
jne 0x31ab
movq 0x40(%rsp), %rax
movq 0x18(%rax), %rbx
cmpq (%rsp), %rbx
je 0x3104
imulq $0x68, %r12, %rax
movq 0x20(%rsp), %rcx
leaq 0x8(%rcx,%rax), %r14
movq 0x10(%r14), %rbp
cmpq %r14, %rbp
je 0x3191
movq 0x4a0(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x4b0(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x20(%rbx), %r15
imulq 0x30(%rsp), %r15
addq 0x48(%rsp), %r15
movq %rbp, %rax
movq 0x20(%rax), %rcx
cmpb $0x0, (%r15,%rcx)
jne 0x30e4
movq %rax, %rdi
callq 0x2180
cmpq %r14, %rax
jne 0x30c7
jmp 0x3191
movq %rbx, %rdi
callq 0x2180
cmpq (%rsp), %rax
leaq 0x70(%rsp), %r15
je 0x3104
movq %rax, %rbx
cmpq %r14, %rbp
jne 0x30b5
jmp 0x3191
movq (%rsp), %rax
movq 0x40(%rax), %rbx
cmpq 0x98(%rsp), %rbx
je 0x31a6
imulq $0x68, %r12, %rax
movq 0x20(%rsp), %rcx
leaq 0x38(%rcx,%rax), %r14
movq 0x10(%r14), %rbp
cmpq %r14, %rbp
je 0x3191
movq 0x4a0(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x4b0(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x20(%rbx), %r15
imulq 0x30(%rsp), %r15
addq 0x48(%rsp), %r15
movq %rbp, %rax
movq 0x20(%rax), %rcx
cmpb $0x0, (%r15,%rcx)
jne 0x3177
movq %rax, %rdi
callq 0x2180
cmpq %r14, %rax
jne 0x315d
jmp 0x3191
movq %rbx, %rdi
callq 0x2180
cmpq 0x98(%rsp), %rax
je 0x31a1
movq %rax, %rbx
cmpq %r14, %rbp
jne 0x314b
movb $0x0, (%r13,%r12)
movb $0x1, %al
movq %rax, 0xd8(%rsp)
leaq 0x70(%rsp), %r15
movq 0x28(%rsp), %rdx
incq %r12
cmpq %rdx, %r12
jne 0x3061
movq 0xa0(%rsp), %rcx
incq %rcx
cmpq 0xd0(%rsp), %rcx
jne 0x300d
testb $0x1, 0xd8(%rsp)
jne 0x2fe2
leaq 0x1a0(%rsp), %rax
movq 0x258(%rax), %r9
movq $0x0, 0x8(%rsp)
leaq 0xf8(%rsp), %r12
movq 0x460(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x488(%rsp), %rax
movq %rax, 0x138(%rsp)
movq 0x1a8(%rsp), %rax
movq %rax, 0x130(%rsp)
movq 0x3a0(%rsp), %rax
movq %rax, 0x190(%rsp)
movq 0x4b0(%rsp), %r10
movq 0x4c8(%rsp), %rax
movq %rax, 0x118(%rsp)
movq 0x538(%rsp), %rax
movq %rax, 0x188(%rsp)
movq 0x3c0(%rsp), %rax
movq %rax, 0x170(%rsp)
movq 0x548(%rsp), %rax
movq %rax, 0x180(%rsp)
movq 0x3d0(%rsp), %rax
movq %rax, 0x168(%rsp)
movq 0x558(%rsp), %rax
movq %rax, 0x160(%rsp)
movq 0x3b0(%rsp), %rax
movq %rax, 0x178(%rsp)
movq 0x568(%rsp), %rax
movq %rax, 0x158(%rsp)
movq 0x4b8(%rsp), %r11
movq 0x8(%rsp), %rcx
movq %r10, 0x120(%rsp)
movq %r11, 0x128(%rsp)
movq 0x3e8(%rsp), %rax
decq %rax
movq (%r9), %rsi
movq %rcx, 0x8(%rsp)
cmpq %rax, %rcx
movq %rsi, 0x10(%rsp)
movq %r9, 0x38(%rsp)
jae 0x3a20
movq 0x90(%rsp), %rax
movq (%rax,%rsi,8), %rax
cmpq $-0x1, %rax
je 0x332b
movq 0x138(%rsp), %rcx
movq $-0x1, (%rcx,%rax,8)
movq 0x130(%rsp), %rax
movq 0x20(%rax), %rbx
subq 0x18(%rax), %rbx
sarq $0x3, %rbx
movabsq $0x4ec4ec4ec4ec4ec5, %rax # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %rbx
movq 0x10(%rsp), %rax
movq 0x90(%rsp), %rcx
movq (%rcx,%rax,8), %rbp
incq %rbp
cmpq %rbx, %rbp
movq 0x8(%rsp), %rdx
je 0x33c4
movq 0x4a0(%rsp), %r14
imulq %rax, %r14
addq 0x120(%rsp), %r14
movq 0x488(%rsp), %r15
cmpb $0x1, (%r14,%rbp)
jne 0x33b7
cmpq $-0x1, (%r15,%rbp,8)
jne 0x33b7
leaq 0x1a0(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %rbp, %rdx
callq 0x437c
movq 0x8(%rsp), %rdx
testb %al, %al
jne 0x3a16
incq %rbp
cmpq %rbp, %rbx
jne 0x3387
leaq 0x70(%rsp), %r15
movq $-0x1, %rbp
cmpq $-0x1, %rbp
movq 0x10(%rsp), %rsi
je 0x390a
movq 0x90(%rsp), %rax
movq %rbp, (%rax,%rsi,8)
movq 0x138(%rsp), %rax
movq %rsi, (%rax,%rbp,8)
movl 0x4c0(%rsp), %eax
movslq 0x4d0(%rsp), %rcx
leaq 0x1(%rcx), %rdx
movl %edx, 0x4d0(%rsp)
movq 0x118(%rsp), %rdx
movl %eax, 0x4(%rdx,%rcx,4)
movl 0x4c0(%rsp), %eax
movl %eax, 0x4c4(%rsp)
leaq (%rsi,%rsi,2), %rax
movq 0x188(%rsp), %rcx
movq (%rcx,%rax,8), %rdx
movq 0x8(%rcx,%rax,8), %rcx
movq %rdx, 0x20(%rsp)
movq %rcx, 0x40(%rsp)
cmpq %rcx, %rdx
je 0x34db
leaq (%rbp,%rbp,2), %rdx
movq 0x170(%rsp), %rsi
movq (%rsi,%rdx,8), %rcx
movq 0x8(%rsi,%rdx,8), %rdx
movq 0x488(%rsp), %rsi
movq 0x20(%rsp), %rdi
cmpq %rdx, %rcx
je 0x34d0
movq 0x4a0(%rsp), %r8
movq 0x4b0(%rsp), %r9
imulq (%rdi), %r8
movq 0x4b8(%rsp), %r10
movq %rcx, %r11
movq (%r11), %rbx
cmpq $-0x1, (%rsi,%rbx,8)
jne 0x34c7
addq %r8, %rbx
cmpb $0x1, (%r9,%rbx)
jne 0x34c7
movb $0x0, (%r9,%rbx)
movslq 0x4c0(%rsp), %r14
leaq 0x1(%r14), %r15
movl %r15d, 0x4c0(%rsp)
movl %ebx, 0x4(%r10,%r14,4)
addq $0x8, %r11
cmpq %rdx, %r11
jne 0x3495
addq $0x8, %rdi
cmpq 0x40(%rsp), %rdi
jne 0x3471
movq 0x180(%rsp), %rcx
movq (%rcx,%rax,8), %rdx
movq 0x8(%rcx,%rax,8), %rcx
movq %rdx, 0x28(%rsp)
movq %rcx, 0x48(%rsp)
cmpq %rcx, %rdx
je 0x358c
leaq (%rbp,%rbp,2), %rdx
movq 0x168(%rsp), %rsi
movq (%rsi,%rdx,8), %rcx
movq 0x8(%rsi,%rdx,8), %rdx
movq 0x488(%rsp), %rsi
movq 0x28(%rsp), %rdi
cmpq %rdx, %rcx
je 0x3581
movq 0x4a0(%rsp), %r8
movq 0x4b0(%rsp), %r9
imulq (%rdi), %r8
movq 0x4b8(%rsp), %r10
movq %rcx, %r11
movq (%r11), %rbx
cmpq $-0x1, (%rsi,%rbx,8)
jne 0x3578
addq %r8, %rbx
cmpb $0x1, (%r9,%rbx)
jne 0x3578
movb $0x0, (%r9,%rbx)
movslq 0x4c0(%rsp), %r14
leaq 0x1(%r14), %r15
movl %r15d, 0x4c0(%rsp)
movl %ebx, 0x4(%r10,%r14,4)
addq $0x8, %r11
cmpq %rdx, %r11
jne 0x3546
addq $0x8, %rdi
cmpq 0x48(%rsp), %rdi
jne 0x3522
leaq (%rbp,%rbp,2), %rcx
movq 0x190(%rsp), %rdx
movq (%rdx,%rcx,8), %rsi
movq 0x8(%rdx,%rcx,8), %r15
movq %rsi, 0xa0(%rsp)
cmpq %r15, %rsi
je 0x362d
movq 0x160(%rsp), %rsi
movq (%rsi,%rax,8), %rdx
movq 0x8(%rsi,%rax,8), %rsi
movq 0x4a0(%rsp), %rdi
movq 0x4b0(%rsp), %r8
movq 0xa0(%rsp), %r9
cmpq %rsi, %rdx
je 0x3624
movq (%r9), %r10
movq 0x4b8(%rsp), %r11
movq %rdx, %rbx
movq (%rbx), %r14
imulq %rdi, %r14
addq %r10, %r14
cmpb $0x1, (%r8,%r14)
jne 0x361b
movb $0x0, (%r8,%r14)
movslq 0x4c0(%rsp), %r12
leaq 0x1(%r12), %r13
movl %r13d, 0x4c0(%rsp)
movl %r14d, 0x4(%r11,%r12,4)
addq $0x8, %rbx
cmpq %rsi, %rbx
jne 0x35eb
addq $0x8, %r9
cmpq %r15, %r9
jne 0x35d8
movq 0x178(%rsp), %rdx
movq (%rdx,%rcx,8), %rsi
movq 0x8(%rdx,%rcx,8), %r12
movq %rsi, 0x98(%rsp)
cmpq %r12, %rsi
je 0x36c8
movq 0x158(%rsp), %rdx
movq (%rdx,%rax,8), %rcx
movq 0x8(%rdx,%rax,8), %rax
movq 0x4a0(%rsp), %rdx
movq 0x4b0(%rsp), %rsi
movq 0x98(%rsp), %rdi
cmpq %rax, %rcx
je 0x36bf
movq (%rdi), %r8
movq 0x4b8(%rsp), %r9
movq %rcx, %r10
movq (%r10), %r11
imulq %rdx, %r11
addq %r8, %r11
cmpb $0x1, (%rsi,%r11)
jne 0x36b6
movb $0x0, (%rsi,%r11)
movslq 0x4c0(%rsp), %rbx
leaq 0x1(%rbx), %r14
movl %r14d, 0x4c0(%rsp)
movl %r11d, 0x4(%r9,%rbx,4)
addq $0x8, %r10
cmpq %rax, %r10
jne 0x3687
addq $0x8, %rdi
cmpq %r12, %rdi
jne 0x3674
movq %rbp, 0x198(%rsp)
movq 0x3e8(%rsp), %rax
shrq %rax
cmpq %rax, 0x8(%rsp)
ja 0x38c3
movq 0x40(%rsp), %rax
cmpq %rax, 0x20(%rsp)
je 0x37df
movq 0x488(%rsp), %r14
cmpq %r15, 0xa0(%rsp)
je 0x37c6
movq 0x20(%rsp), %rax
movq (%rax), %rax
movq 0x4b0(%rsp), %rcx
movq 0x4b8(%rsp), %rdx
movq %rdx, 0xd0(%rsp)
movq 0x4a0(%rsp), %rdx
movq %rax, (%rsp)
imulq %rax, %rdx
movq %rcx, 0x30(%rsp)
movq %rdx, 0xd8(%rsp)
leaq (%rcx,%rdx), %rbx
movq 0xa0(%rsp), %rbp
movq (%rbp), %r13
cmpq $-0x1, (%r14,%r13,8)
jne 0x37bd
cmpb $0x1, (%rbx,%r13)
jne 0x37bd
leaq 0x1a0(%rsp), %rdi
movq (%rsp), %rsi
movq %r13, %rdx
callq 0x4200
testb %al, %al
jne 0x37bd
addq 0xd8(%rsp), %r13
movq 0x30(%rsp), %rax
cmpb $0x1, (%rax,%r13)
jne 0x37bd
movq 0x30(%rsp), %rax
movb $0x0, (%rax,%r13)
movslq 0x4c0(%rsp), %rax
leaq 0x1(%rax), %rcx
movl %ecx, 0x4c0(%rsp)
movq 0xd0(%rsp), %rcx
movl %r13d, 0x4(%rcx,%rax,4)
addq $0x8, %rbp
cmpq %r15, %rbp
jne 0x3755
movq 0x20(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x20(%rsp)
cmpq 0x40(%rsp), %rax
jne 0x36fe
movq 0x48(%rsp), %rax
cmpq %rax, 0x28(%rsp)
je 0x38c3
movq 0x488(%rsp), %rbx
cmpq %r12, 0x98(%rsp)
je 0x38aa
movq 0x28(%rsp), %rax
movq (%rax), %rbp
movq 0x4b0(%rsp), %rax
movq 0x4b8(%rsp), %rcx
movq %rcx, 0x40(%rsp)
movq 0x4a0(%rsp), %rcx
imulq %rbp, %rcx
movq %rax, (%rsp)
movq %rcx, 0x30(%rsp)
leaq (%rax,%rcx), %r14
movq 0x98(%rsp), %r15
movq (%r15), %r13
cmpq $-0x1, (%rbx,%r13,8)
jne 0x38a1
cmpb $0x1, (%r14,%r13)
jne 0x38a1
leaq 0x1a0(%rsp), %rdi
movq %rbp, %rsi
movq %r13, %rdx
callq 0x4200
testb %al, %al
jne 0x38a1
addq 0x30(%rsp), %r13
movq (%rsp), %rax
cmpb $0x1, (%rax,%r13)
jne 0x38a1
movq (%rsp), %rax
movb $0x0, (%rax,%r13)
movslq 0x4c0(%rsp), %rax
leaq 0x1(%rax), %rcx
movl %ecx, 0x4c0(%rsp)
movq 0x40(%rsp), %rcx
movl %r13d, 0x4(%rcx,%rax,4)
addq $0x8, %r15
cmpq %r12, %r15
jne 0x3843
movq 0x28(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x28(%rsp)
cmpq 0x48(%rsp), %rax
jne 0x37f7
leaq 0x1a0(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x198(%rsp), %rdx
callq 0x4200
testb %al, %al
je 0x3995
movq 0x8(%rsp), %rcx
incq %rcx
movq 0x38(%rsp), %r9
addq $0x8, %r9
movb $0x1, %al
leaq 0xf8(%rsp), %r12
leaq 0x70(%rsp), %r15
jmp 0x3a09
cmpq $-0x1, %rsi
je 0x3920
movq 0x90(%rsp), %rax
movq $-0x1, (%rax,%rsi,8)
leaq -0x1(%rdx), %rcx
testq %rdx, %rdx
movq 0x38(%rsp), %r9
movq 0x120(%rsp), %r10
movq 0x128(%rsp), %r11
je 0x3a07
addq $-0x8, %r9
movslq 0x4d0(%rsp), %rax
leal -0x1(%rax), %edx
movl %edx, 0x4d0(%rsp)
movq 0x118(%rsp), %rdx
movslq (%rdx,%rax,4), %rdx
movslq 0x4c0(%rsp), %rsi
movb $0x1, %al
cmpl %edx, %esi
jle 0x3a09
leal -0x1(%rsi), %edi
movl %edi, 0x4c0(%rsp)
movslq (%r11,%rsi,4), %r8
decq %rsi
movb $0x1, (%r10,%r8)
decl %edi
cmpq %rdx, %rsi
jg 0x3979
jmp 0x3a09
movslq 0x4d0(%rsp), %rax
leal -0x1(%rax), %ecx
movl %ecx, 0x4d0(%rsp)
movq 0x118(%rsp), %rcx
movslq (%rcx,%rax,4), %rcx
movslq 0x4c0(%rsp), %rdx
movb $0x1, %al
cmpl %ecx, %edx
leaq 0xf8(%rsp), %r12
leaq 0x70(%rsp), %r15
movq 0x38(%rsp), %r9
movq 0x120(%rsp), %r10
movq 0x128(%rsp), %r11
jle 0x3a00
leal -0x1(%rdx), %esi
movl %esi, 0x4c0(%rsp)
movslq (%r11,%rdx,4), %rdi
decq %rdx
movb $0x1, (%r10,%rdi)
decl %esi
cmpq %rcx, %rdx
jg 0x39e6
movq 0x8(%rsp), %rcx
jmp 0x3a09
xorl %eax, %eax
testb %al, %al
jne 0x32e3
jmp 0x3c5c
leaq 0x70(%rsp), %r15
jmp 0x33cb
movq 0x130(%rsp), %rax
movq 0x20(%rax), %rbx
movq 0x18(%rax), %rax
subq %rax, %rbx
je 0x3bed
sarq $0x3, %rbx
movabsq $0x4ec4ec4ec4ec4ec5, %rax # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %rbx
xorl %r14d, %r14d
movq 0x488(%rsp), %r15
cmpq $-0x1, (%r15,%r14,8)
jne 0x3be1
movq 0x4a0(%rsp), %rax
imulq 0x10(%rsp), %rax
addq 0x4b0(%rsp), %rax
cmpb $0x1, (%r14,%rax)
jne 0x3be1
leaq 0x1a0(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %r14, %rdx
callq 0x437c
testb %al, %al
je 0x3be1
movq 0x460(%rsp), %rax
movq 0x10(%rsp), %rcx
movq %r14, (%rax,%rcx,8)
movq %rcx, (%r15,%r14,8)
movl $0x12, %edx
movq 0x5518(%rip), %rdi      # 0x8fd8
leaq 0x267f(%rip), %rsi      # 0x6146
callq 0x2170
movq 0x5505(%rip), %rcx      # 0x8fd8
movq (%rcx), %rax
movq -0x18(%rax), %rdi
addq %rcx, %rdi
movl $0xa, %esi
callq 0x2120
movsbl %al, %esi
movq 0x54e7(%rip), %rdi      # 0x8fd8
callq 0x2040
movq %rax, %rdi
callq 0x20d0
movq 0x430(%rsp), %rax
movq 0x20(%rax), %r15
movq 0x18(%rax), %rax
subq %rax, %r15
je 0x3bb3
sarq $0x3, %r15
movabsq $0x4ec4ec4ec4ec4ec5, %rax # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %r15
xorl %ebp, %ebp
movl $0x2, %edx
movq 0x54a1(%rip), %rdi      # 0x8fd8
leaq 0x261b(%rip), %rsi      # 0x6159
callq 0x2170
movq 0x548e(%rip), %rdi      # 0x8fd8
movq %rbp, %rsi
callq 0x20c0
movq %rax, %r13
movl $0x4, %edx
movq %rax, %rdi
leaq 0x25f8(%rip), %rsi      # 0x615c
callq 0x2170
movq 0x460(%rsp), %rax
movq (%rax,%rbp,8), %rsi
movq %r13, %rdi
callq 0x20c0
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x2120
movsbl %al, %esi
movq %r13, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x20d0
incq %rbp
cmpq %rbp, %r15
jne 0x3b2b
movq 0x428(%rsp), %rax
incl (%rax)
movq 0x460(%rsp), %rax
movq $-0x1, %rcx
movq 0x10(%rsp), %rdx
movq %rcx, (%rax,%rdx,8)
movq 0x488(%rsp), %rax
movq %rcx, (%rax,%r14,8)
incq %r14
cmpq %rbx, %r14
jne 0x3a4e
movq 0x4c8(%rsp), %rax
movslq 0x4d0(%rsp), %rcx
leal -0x1(%rcx), %edx
movl %edx, 0x4d0(%rsp)
movslq (%rax,%rcx,4), %rax
movslq 0x4c0(%rsp), %rcx
cmpl %eax, %ecx
jle 0x3c44
movq 0x4b0(%rsp), %rdx
movq 0x4b8(%rsp), %rsi
leal -0x1(%rcx), %edi
movl %edi, 0x4c0(%rsp)
movslq (%rsi,%rcx,4), %r8
decq %rcx
movb $0x1, (%rdx,%r8)
decl %edi
cmpq %rax, %rcx
jg 0x3c2a
movq 0x38(%rsp), %r9
addq $-0x8, %r9
decq 0x8(%rsp)
leaq 0x70(%rsp), %r15
jmp 0x31fe
leaq 0x1a0(%rsp), %rdi
callq 0x404a
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x3c86
movq 0x150(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x534b(%rip), %rdi      # 0x8fd8
leaq 0x23fe(%rip), %rsi      # 0x6092
movl $0x14, %edx
callq 0x2170
movl 0xac(%rsp), %esi
movq 0x532c(%rip), %rdi      # 0x8fd8
callq 0x21e0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2120
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x20d0
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x3cf2
movl $0x1, %esi
callq 0x2140
movq %r15, %rdi
callq 0x4622
leaq 0x58(%rsp), %rdi
callq 0x46de
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x3d1b
movl $0x1, %esi
callq 0x2140
movq %r12, %rdi
callq 0x4622
leaq 0xe0(%rsp), %rdi
callq 0x46de
xorl %eax, %eax
addq $0x578, %rsp            # imm = 0x578
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x3e64
movq %rax, %rbx
jmp 0x3e6c
movq %rax, %rbx
jmp 0x3e74
movq %rax, %rbx
jmp 0x3e7c
movq %rax, %rbx
jmp 0x3e84
movq %rax, %rbx
jmp 0x3eae
movq %rax, %rbx
jmp 0x3ecb
movq %rax, %rbx
jmp 0x3ee8
movq %rax, %rbx
jmp 0x3f72
movq %rax, %rbx
jmp 0x400e
jmp 0x3e11
jmp 0x3e11
jmp 0x3e11
jmp 0x3e11
jmp 0x3e11
jmp 0x3e07
jmp 0x3e07
jmp 0x3e07
jmp 0x3e07
jmp 0x3dae
jmp 0x3dae
jmp 0x3dae
jmp 0x3dae
movq %rax, %rbx
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x402b
movq 0x1b0(%rsp), %rsi
incq %rsi
jmp 0x4026
jmp 0x3dd6
jmp 0x3dd6
movq %rax, %rbx
movq 0x1a0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4035
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x2140
jmp 0x4035
movq %rax, %rbx
jmp 0x3e91
movq %rax, %rbx
jmp 0x4035
jmp 0x3e11
movq %rax, %rbx
jmp 0x402b
jmp 0x3ffe
jmp 0x3e24
jmp 0x3e24
jmp 0x3e24
movq %rax, %rbx
leaq 0x4d8(%rsp), %r14
leaq 0x4f0(%rsp), %r15
leaq 0x508(%rsp), %r12
leaq 0x520(%rsp), %r13
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x3e64
movq 0xc0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq %r13, %rdi
callq 0x5cae
movq %r12, %rdi
callq 0x5cae
movq %r15, %rdi
callq 0x5cae
movq %r14, %rdi
callq 0x5cae
leaq 0x498(%rsp), %rdi
callq 0x41ce
movq 0x470(%rsp), %rdi
testq %rdi, %rdi
je 0x3eae
movq 0x480(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x448(%rsp), %rdi
testq %rdi, %rdi
je 0x3ecb
movq 0x458(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x3f8(%rsp), %rdi
testq %rdi, %rdi
je 0x3ee8
movq 0x408(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
leaq 0x388(%rsp), %rdi
callq 0x5cae
leaq 0x370(%rsp), %rdi
callq 0x5cae
leaq 0x358(%rsp), %rdi
callq 0x5cae
leaq 0x340(%rsp), %r14
movq %r14, %rdi
callq 0x5cae
movq -0x38(%r14), %rdi
testq %rdi, %rdi
je 0x3f38
movq 0x318(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x2f0(%rsp), %rdi
testq %rdi, %rdi
je 0x3f55
movq 0x300(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x2d8(%rsp), %rdi
testq %rdi, %rdi
je 0x3f72
movq 0x2e8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
leaq 0x270(%rsp), %rdi
callq 0x5cae
leaq 0x258(%rsp), %rdi
callq 0x5cae
leaq 0x240(%rsp), %rdi
callq 0x5cae
leaq 0x228(%rsp), %r14
movq %r14, %rdi
callq 0x5cae
movq -0x38(%r14), %rdi
testq %rdi, %rdi
je 0x3fc2
movq 0x200(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x1d8(%rsp), %rdi
testq %rdi, %rdi
je 0x3fdf
movq 0x1e8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0x400e
movq 0x1d0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
jmp 0x400e
movq %rax, %rbx
leaq 0x1a0(%rsp), %rdi
callq 0x404a
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x402b
movq 0x150(%rsp), %rsi
subq %rdi, %rsi
callq 0x2140
leaq 0x58(%rsp), %rdi
callq 0x45f8
leaq 0xe0(%rsp), %rdi
callq 0x45f8
movq %rbx, %rdi
callq 0x21f0