// File: /workspace/github_cpp_makefile_star2_O3/chhylp123[P]hifiasm/gfa_ut.cpp
// Function: asg_arc_cut_inexact_debug(asg_t*, ma_hit_t_alloc*, asg64_v*, int, unsigned int, unsigned int, asg64_v*)
void asg_arc_cut_inexact_debug(asg_t *g, ma_hit_t_alloc* src, asg64_v *in, int32_t max_ext, uint32_t is_ou, uint32_t is_trio, asg64_v *dbg)
{
    asg64_v tx = {0,0,0}, *b = NULL;
    uint32_t v, w, i, k, nv, nw, kv, kw, iv, iw, n_vtx = g->n_seq<<1, to_del, cnt = 0, ov_max = 0, ow_max = 0, ov_max_i = 0;
    asg_arc_t *av = NULL, *aw = NULL, *a = NULL;
    if(in) b = in;
    else b = &tx;
    b->n = 0;

    for (v = 0; v < n_vtx; ++v)  {
        if(g->seq[v>>1].del) continue;
        if(g->seq_vis[v] == 0) {
            av = asg_arc_a(g, v); nv = asg_arc_n(g, v);
            if (nv < 2) continue;
            for (i = kv = 0; i < nv; ++i) {
                if(av[i].del) continue;
                kv++;
            }
            if(kv < 2) continue;

            for (i = 0; i < nv; ++i) {
                if(av[i].del || av[i].el) continue;
                kv_push(uint64_t, *b, (uint64_t)((uint64_t)av[i].ol << 32 | (av - g->arc + i)));   
            }
        }
	}
    radix_sort_srt64(b->a, b->a + b->n);

    for (k = 0; k < b->n; k++) {
        a = &g->arc[(uint32_t)b->a[k]];
        if(a->del) continue;
        v = (a->ul)>>32, w = a->v^1; to_del = 0;
        nv = asg_arc_n(g, v), nw = asg_arc_n(g, w);
        if(((v>>1) == 50356 && (w>>1) == 1276292)||((v>>1) == 1276292 && (w>>1) == 50356)) {
            fprintf(stderr, "[0]v->%u, w->%u, nv->%u, nw->%u\n", v, w, nv, nw);
        }
        if (nv == 1 && nw == 1) continue;
        av = asg_arc_a(g, v), aw = asg_arc_a(g, w);
        ov_max = ow_max = ov_max_i = 0;

        for (i = 0, kv = 0; i < nv; ++i) {
			if (av[i].del) continue;
			if (ov_max < av[i].ol) {
                ov_max = av[i].ol;
                ov_max_i = i;
            }
			++kv;
		}
        if(((v>>1) == 50356 && (w>>1) == 1276292)||((v>>1) == 1276292 && (w>>1) == 50356)) {
            fprintf(stderr, "[1]v->%u, w->%u, kv->%u, a->ol->%u, ov_max->%u\n", v, w, kv, a->ol, ov_max);
        }
		if (kv >= 2 && a->ol == ov_max) continue;

        for (i = 0, kw = 0; i < nw; ++i) {
			if (aw[i].del) continue;
			if (ow_max < aw[i].ol) {
                ow_max = aw[i].ol;
            }
			++kw;
		}
        if(((v>>1) == 50356 && (w>>1) == 1276292)||((v>>1) == 1276292 && (w>>1) == 50356)) {
            fprintf(stderr, "[2]v->%u, w->%u, kw->%u, a->ol->%u, ow_max->%u\n", v, w, kw, a->ol, ow_max);
        }
		if (kw >= 2 && a->ol == ow_max) continue;

        if (kv <= 1 && kw <= 1) continue;

        ///to see which one is the current edge (from v and w)
		for (iv = 0; iv < nv; ++iv)
			if (av[iv].v == (w^1)) break;
		for (iw = 0; iw < nw; ++iw)
			if (aw[iw].v == (v^1)) break;
        ///if one edge has been deleted, it should be deleted in both direction
        if (av[iv].del && aw[iw].del) continue;

        ///if this edge is an inexact edge
        if(a->el == 0 && src[v>>1].is_fully_corrected == 1 && src[w>>1].is_fully_corrected == 1) {
            if (kv > 1 && kw > 1) {
				to_del = 1;
            } else if (kw == 1) {
                if (asg_topocut_aux(g, w^1, max_ext) < max_ext) to_del = 1;
            } else if (kv == 1) {
                if (asg_topocut_aux(g, v^1, max_ext) < max_ext) to_del = 1;
            }
        }

        if(a->el == 0 && src[v>>1].is_fully_corrected == 1 && src[w>>1].is_fully_corrected == 0) {
            if(av[ov_max_i].el == 1 && src[av[ov_max_i].v>>1].is_fully_corrected == 1) {
                if (kv > 1 && kw > 1) {
                    to_del = 1;
                } else if (kw == 1) {
                    if (asg_topocut_aux(g, w^1, max_ext) < max_ext) to_del = 1;
                } else if (kv == 1) {
                    if (asg_topocut_aux(g, v^1, max_ext) < max_ext) to_del = 1;
                }
            }
        }

        if(((v>>1) == 50356 && (w>>1) == 1276292)||((v>>1) == 1276292 && (w>>1) == 50356)) {
            fprintf(stderr, "[3]v->%u, w->%u, to_del->%u, el->%u, src[v>>1].is_fully_corrected->%u, src[w>>1].is_fully_corrected->%u\n", 
                    v, w, to_del, a->el, src[v>>1].is_fully_corrected, src[w>>1].is_fully_corrected);
            fprintf(stderr, "[4]v->%u, w->%u, to_del->%u, av[ov_max_i].v->%u, av[ov_max_i].el->%u, src[av[ov_max_i].v>>1].is_fully_corrected->%u\n", 
                    v, w, to_del, av[ov_max_i].v, av[ov_max_i].el, src[av[ov_max_i].v>>1].is_fully_corrected);
        }

        if (to_del) {
            av[iv].del = aw[iw].del = 1, ++cnt;
            if(dbg) {
                kv_push(uint64_t, *dbg, (av - g->arc + iv)); 
                kv_push(uint64_t, *dbg, (aw - g->arc + iw)); 
                if(((v>>1) == 50356 && (w>>1) == 1276292)||((v>>1) == 1276292 && (w>>1) == 50356)) {
                    fprintf(stderr, "[5]v->%u, w->%u, (av-g->arc+iv)->%u, (aw-g->arc+iw)->%u\n", 
                    v, w, (uint32_t)(av - g->arc + iv), (uint32_t)(aw - g->arc + iw));
                }
            }
        }
    }

    if(!in) free(tx.a);
    if(dbg) {
        for (i = 0; i < dbg->n; i++) g->arc[dbg->a[i]].del = 0;
    }
    // if (cnt > 0) asg_cleanup(g);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movl %ecx, 0x54(%rsp)
movl 0x14(%rdi), %eax
addl %eax, %eax
testq %rdx, %rdx
je 0x1f1f7d
movq $0x0, (%rdx)
movq %rsi, 0x80(%rsp)
movabsq $-0x5555555555555555, %r13 # imm = 0xAAAAAAAAAAAAAAAB
testl %eax, %eax
movq %rdi, 0x8(%rsp)
movq %rdx, 0x18(%rsp)
je 0x1f2160
movl %eax, %ebx
xorl %r14d, %r14d
movl $0x7fffffff, %r10d      # imm = 0x7FFFFFFF
movq $0x0, 0x48(%rsp)
xorl %r11d, %r11d
movq $0x0, 0x68(%rsp)
movq %rbx, 0x30(%rsp)
movq 0x20(%rdi), %rax
movl %r14d, %ecx
shrl %ecx
cmpl $0x0, (%rax,%rcx,8)
js 0x1f1fe0
movq 0x30(%rdi), %rax
cmpb $0x0, (%rax,%r14)
je 0x1f1fed
incq %r14
cmpq %rbx, %r14
jne 0x1f1fc6
jmp 0x1f2172
movq 0x28(%rdi), %rax
movq (%rax,%r14,8), %rax
testl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
je 0x1f1fe0
movq 0x8(%rdi), %rcx
movq %rax, %rsi
shrq $0x20, %rsi
leaq (%rsi,%rsi,2), %rsi
leaq (%rcx,%rsi,8), %r8
movq %r8, 0x20(%rsp)
movl %eax, %r15d
leaq (%rcx,%rsi,8), %rbp
addq $0xc, %rbp
xorl %eax, %eax
movq %r15, %rcx
movq %rbp, %r8
movl (%r8), %esi
notl %esi
shrl $0x1f, %esi
addl %esi, %eax
addq $0x18, %r8
decq %rcx
jne 0x1f2027
cmpl $0x2, %eax
jb 0x1f1fe0
xorl %r12d, %r12d
cmpl $0x0, (%rbp)
js 0x1f214b
cmpb $0x0, 0x6(%rbp)
jne 0x1f214b
testq %rdx, %rdx
je 0x1f20b0
movq (%rdx), %rax
cmpq 0x8(%rdx), %rax
jne 0x1f20fb
leaq (%rax,%rax), %rsi
testq %rax, %rax
movl $0x2, %eax
cmoveq %rax, %rsi
movq %rsi, 0x8(%rdx)
movq 0x10(%rdx), %rdi
shlq $0x3, %rsi
movq %r13, %rbx
movq %r11, %r13
callq 0x2370
movq %r13, %r11
movq %rbx, %r13
movq 0x30(%rsp), %rbx
movl $0x7fffffff, %r10d      # imm = 0x7FFFFFFF
movq 0x18(%rsp), %rdx
movq 0x8(%rsp), %rdi
movq %rax, 0x10(%rdx)
jmp 0x1f20fb
cmpq %r11, 0x68(%rsp)
jne 0x1f20fb
leaq (%r11,%r11), %r13
testq %r11, %r11
movl $0x2, %eax
cmoveq %rax, %r13
leaq (,%r13,8), %rsi
movq 0x48(%rsp), %rdi
callq 0x2370
movl $0x7fffffff, %r10d      # imm = 0x7FFFFFFF
movq 0x18(%rsp), %rdx
movq 0x8(%rsp), %rdi
movq %rax, 0x48(%rsp)
movq %r13, %r11
movabsq $-0x5555555555555555, %r13 # imm = 0xAAAAAAAAAAAAAAAB
movl (%rbp), %eax
andl %r10d, %eax
movq 0x20(%rsp), %rcx
subq 0x8(%rdi), %rcx
testq %rdx, %rdx
je 0x1f211f
movq (%rdx), %r9
movq 0x10(%rdx), %rsi
leaq 0x1(%r9), %r8
movq %r8, (%rdx)
jmp 0x1f2135
movq 0x68(%rsp), %rsi
movq %rsi, %r9
leaq 0x1(%rsi), %r8
movq 0x48(%rsp), %rsi
movq %r8, 0x68(%rsp)
shlq $0x20, %rax
sarq $0x3, %rcx
imulq %r13, %rcx
addq %r12, %rcx
orq %rax, %rcx
movq %rcx, (%rsi,%r9,8)
incq %r12
addq $0x18, %rbp
cmpq %r12, %r15
jne 0x1f2042
jmp 0x1f1fe0
movq $0x0, 0x68(%rsp)
movq $0x0, 0x48(%rsp)
movq 0x48(%rsp), %rdi
movq 0x68(%rsp), %rax
testq %rdx, %rdx
je 0x1f2188
movq (%rdx), %rax
movq 0x10(%rdx), %rdi
leaq (%rdi,%rax,8), %rsi
callq 0x1ee586
movq 0x18(%rsp), %r10
xorl %r11d, %r11d
movq 0x8(%rsp), %rdi
movl %r11d, %r11d
testq %r10, %r10
je 0x1f21b5
cmpq %r11, (%r10)
jbe 0x1f2a5c
movq 0x10(%r10), %rax
jmp 0x1f21c5
movq 0x48(%rsp), %rax
cmpq %r11, 0x68(%rsp)
jbe 0x1f2a4d
movq 0x8(%rdi), %rcx
movl (%rax,%r11,8), %eax
leaq (%rax,%rax,2), %rax
cmpl $0x0, 0xc(%rcx,%rax,8)
js 0x1f226c
leaq (%rcx,%rax,8), %rax
movq (%rax), %r8
movq %r8, %rbp
shrq $0x20, %rbp
movq %rax, 0x30(%rsp)
movl 0x8(%rax), %r9d
movl %r9d, %ecx
movq %rcx, 0x90(%rsp)
xorq $0x1, %rcx
movq 0x28(%rdi), %rax
movq (%rax,%rbp,8), %r13
movq %rcx, 0x70(%rsp)
movq (%rax,%rcx,8), %rax
movq %rax, 0x20(%rsp)
shrq $0x21, %r8
movl %r8d, %eax
xorl $0xc4b4, %eax           # imm = 0xC4B4
movl %r9d, 0x3c(%rsp)
andl $-0x2, %r9d
movl %r9d, %ecx
xorl $0x26f308, %ecx         # imm = 0x26F308
orl %eax, %ecx
sete %dl
je 0x1f27a0
movl %r8d, %eax
xorl $0x137984, %eax         # imm = 0x137984
movl %r9d, %ecx
xorl $0x18968, %ecx          # imm = 0x18968
orl %eax, %ecx
je 0x1f27a0
movq %r13, 0x28(%rsp)
cmpl $0x1, %r13d
jne 0x1f2274
cmpl $0x1, 0x20(%rsp)
jne 0x1f2274
incl %r11d
jmp 0x1f219e
movq 0x28(%rsp), %rsi
movl %esi, %r14d
movq 0x8(%rdi), %rbx
movq 0x28(%rdi), %rax
movq (%rax,%rbp,8), %rcx
shrq $0x20, %rcx
leaq (%rcx,%rcx,2), %rcx
testl %esi, %esi
movb %dl, 0x7(%rsp)
movq %rbx, 0x60(%rsp)
movq %rcx, 0x78(%rsp)
je 0x1f2319
movl %r9d, %edi
movq %r8, %r12
movq %r11, %r15
leaq (%rbx,%rcx,8), %rcx
addq $0xc, %rcx
xorl %edx, %edx
xorl %esi, %esi
xorl %ebx, %ebx
xorl %r13d, %r13d
movl %ebx, %r11d
movl (%rcx), %r8d
cmpl %r8d, %ebx
movl %r8d, %ebx
cmoval %r11d, %ebx
movl %esi, %r9d
movl %edx, %esi
cmovael %r9d, %esi
xorl %r10d, %r10d
testl %r8d, %r8d
setns %r10b
cmovsl %r11d, %ebx
cmovsl %r9d, %esi
addl %r10d, %r13d
incq %rdx
addq $0x18, %rcx
cmpq %rdx, %r14
jne 0x1f22bc
movl %esi, %ecx
movq %rcx, 0x88(%rsp)
movq 0x18(%rsp), %r10
movq %r15, %r11
movq %r12, %r8
movl %edi, %r9d
movb 0x7(%rsp), %dl
movq 0x8(%rsp), %rdi
jmp 0x1f232a
xorl %r13d, %r13d
xorl %ebx, %ebx
movq $0x0, 0x88(%rsp)
movq 0x70(%rsp), %rcx
movq (%rax,%rcx,8), %r12
testb %dl, %dl
jne 0x1f27f4
movl %r8d, %eax
xorl $0x137984, %eax         # imm = 0x137984
movl %r9d, %ecx
xorl $0x18968, %ecx          # imm = 0x18968
orl %eax, %ecx
je 0x1f27f4
cmpl $0x2, %r13d
jb 0x1f2371
movq 0x30(%rsp), %rax
movl 0xc(%rax), %eax
movl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
andl %ecx, %eax
cmpl %ebx, %eax
je 0x1f226c
movl %edx, %r10d
movl %r9d, 0x14(%rsp)
movq %r8, 0x40(%rsp)
movq %rbp, 0x58(%rsp)
movq 0x20(%rsp), %rax
movl %eax, %r15d
shrq $0x20, %r12
leaq (%r12,%r12,2), %r12
testl %eax, %eax
je 0x1f23dd
movq 0x60(%rsp), %rax
leaq (%rax,%r12,8), %rax
addq $0xc, %rax
leaq (,%r15,8), %rcx
leaq (%rcx,%rcx,2), %rcx
xorl %edx, %edx
xorl %ebx, %ebx
xorl %ebp, %ebp
movl (%rax,%rdx), %esi
cmpl %esi, %ebx
movl %esi, %r9d
cmoval %ebx, %r9d
xorl %r8d, %r8d
testl %esi, %esi
cmovnsl %r9d, %ebx
setns %r8b
addl %r8d, %ebp
addq $0x18, %rdx
cmpq %rdx, %rcx
jne 0x1f23b6
jmp 0x1f23e1
xorl %ebp, %ebp
xorl %ebx, %ebx
testb %r10b, %r10b
movq 0x40(%rsp), %rsi
movl 0x14(%rsp), %r8d
movq 0x18(%rsp), %r10
jne 0x1f285d
movl %esi, %eax
xorl $0x137984, %eax         # imm = 0x137984
movl %r8d, %ecx
xorl $0x18968, %ecx          # imm = 0x18968
orl %eax, %ecx
je 0x1f285d
cmpl $0x2, %ebp
movq 0x58(%rsp), %rdx
jb 0x1f2434
movq 0x30(%rsp), %rax
movl 0xc(%rax), %eax
movl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
andl %ecx, %eax
cmpl %ebx, %eax
je 0x1f226c
jmp 0x1f243e
cmpl $0x2, %r13d
jb 0x1f226c
movq %r12, %r9
xorl %r12d, %r12d
movl $0x0, %ebx
cmpl $0x0, 0x28(%rsp)
je 0x1f247d
movq 0x60(%rsp), %rax
movq 0x78(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
addq $0x8, %rax
xorl %ebx, %ebx
movl 0x3c(%rsp), %ecx
cmpl %ecx, (%rax)
je 0x1f247d
incq %rbx
addq $0x18, %rax
cmpq %rbx, %r14
jne 0x1f2468
movq 0x28(%rsp), %rbx
cmpl $0x0, 0x20(%rsp)
je 0x1f24ae
movq 0x60(%rsp), %rax
leaq (%rax,%r9,8), %rax
addq $0x8, %rax
xorl %r12d, %r12d
movl (%rax), %ecx
xorl %edx, %ecx
cmpl $0x1, %ecx
je 0x1f24ae
incq %r12
addq $0x18, %rax
cmpq %r12, %r15
jne 0x1f2494
movq 0x20(%rsp), %r12
movq 0x60(%rsp), %rax
movq 0x78(%rsp), %rcx
leaq (%rax,%rcx,8), %rcx
leaq (%rax,%r9,8), %rax
movq %rax, 0x20(%rsp)
movl %ebx, %eax
movq %rax, 0x78(%rsp)
leaq (%rax,%rax,2), %rax
movq %rcx, 0x28(%rsp)
movq %rax, 0x60(%rsp)
cmpl $0x0, 0xc(%rcx,%rax,8)
movl %r8d, %r9d
movq %rsi, %r8
jns 0x1f24fe
movl %r12d, %eax
leaq (%rax,%rax,2), %rax
movq 0x20(%rsp), %rcx
cmpl $0x0, 0xc(%rcx,%rax,8)
js 0x1f226c
xorl %r14d, %r14d
movq 0x30(%rsp), %rax
cmpb $0x0, 0x12(%rax)
jne 0x1f2675
movl %r8d, %eax
leaq (%rax,%rax,2), %r14
xorl %r15d, %r15d
movq 0x80(%rsp), %rcx
cmpb $0x1, 0x10(%rcx,%r14,8)
jne 0x1f25b3
movq 0x90(%rsp), %rax
shrl %eax
leaq (%rax,%rax,2), %rax
cmpb $0x1, 0x10(%rcx,%rax,8)
jne 0x1f25b3
cmpl $0x2, %r13d
jb 0x1f2554
movl $0x1, %r15d
cmpl $0x1, %ebp
ja 0x1f25b3
movl 0x3c(%rsp), %esi
cmpl $0x1, %ebp
je 0x1f2573
movl $0x0, %r15d
cmpl $0x1, %r13d
movq 0x8(%rsp), %rdi
jne 0x1f25b3
movl %edx, %esi
xorl $0x1, %esi
movq 0x8(%rsp), %rdi
movl 0x54(%rsp), %edx
movq %r11, %r15
callq 0xab75d
movl 0x14(%rsp), %r9d
movq 0x40(%rsp), %r8
movq 0x58(%rsp), %rdx
movq %r15, %r11
movq 0x80(%rsp), %rcx
movq 0x18(%rsp), %r10
movq 0x8(%rsp), %rdi
xorl %r15d, %r15d
cmpl 0x54(%rsp), %eax
setl %r15b
movq 0x30(%rsp), %rax
cmpb $0x0, 0x12(%rax)
jne 0x1f2672
leaq (%rcx,%r14,8), %rax
addq $0x10, %rax
cmpb $0x1, (%rax)
jne 0x1f2672
movq 0x90(%rsp), %rax
shrl %eax
leaq (%rax,%rax,2), %rax
cmpb $0x0, 0x10(%rcx,%rax,8)
jne 0x1f2672
movq 0x88(%rsp), %rax
leaq (%rax,%rax,2), %rax
movq 0x28(%rsp), %r14
cmpb $0x1, 0x12(%r14,%rax,8)
jne 0x1f2672
leaq (%r14,%rax,8), %rax
movl 0x8(%rax), %eax
shrl %eax
leaq (%rax,%rax,2), %rax
cmpb $0x1, 0x10(%rcx,%rax,8)
jne 0x1f2672
cmpl $0x2, %r13d
jb 0x1f262a
movl $0x1, %r14d
cmpl $0x1, %ebp
ja 0x1f2675
cmpl $0x1, %ebp
je 0x1f263e
cmpl $0x1, %r13d
jne 0x1f2672
movl %edx, %eax
xorl $0x1, %eax
movl %eax, 0x3c(%rsp)
movl 0x3c(%rsp), %esi
movl 0x54(%rsp), %ebp
movl %ebp, %edx
movq %r11, %r14
callq 0xab75d
movl 0x14(%rsp), %r9d
movq 0x40(%rsp), %r8
movq %r14, %r11
movq 0x18(%rsp), %r10
movq 0x8(%rsp), %rdi
cmpl %ebp, %eax
movl $0x1, %eax
cmovll %eax, %r15d
movl %r15d, %r14d
cmpb $0x0, 0x7(%rsp)
jne 0x1f297f
movl %r8d, %eax
xorl $0x137984, %eax         # imm = 0x137984
movl %r9d, %ecx
xorl $0x18968, %ecx          # imm = 0x18968
orl %eax, %ecx
je 0x1f297f
testl %r14d, %r14d
je 0x1f226c
movq 0x28(%rsp), %rax
movq 0x60(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
addq $0xc, %rax
movl %r12d, %r14d
leaq (%r14,%r14,2), %rcx
movq 0x20(%rsp), %rdx
orb $-0x80, 0xf(%rdx,%rcx,8)
orb $-0x80, 0x3(%rax)
cmpq $0x0, 0xe0(%rsp)
je 0x1f226c
movq 0xe0(%rsp), %r9
movq (%r9), %rdx
movq 0x10(%r9), %rax
cmpq 0x8(%r9), %rdx
movq %r11, 0x98(%rsp)
jne 0x1f2729
leaq (%rdx,%rdx), %rsi
testq %rdx, %rdx
movl $0x2, %ecx
cmoveq %rcx, %rsi
movq %rsi, 0x8(%r9)
shlq $0x3, %rsi
movq %rax, %rdi
callq 0x2370
movq 0xe0(%rsp), %r9
movq 0x8(%rsp), %rdi
movq %rax, 0x10(%r9)
movq (%r9), %rdx
movabsq $-0x5555555555555555, %r15 # imm = 0xAAAAAAAAAAAAAAAB
movq 0x8(%rdi), %rcx
movq 0x28(%rsp), %rsi
subq %rcx, %rsi
sarq $0x3, %rsi
imulq %r15, %rsi
addq 0x78(%rsp), %rsi
leaq 0x1(%rdx), %r8
movq %r8, (%r9)
movq %rsi, (%rax,%rdx,8)
movq (%r9), %rdx
cmpq 0x8(%r9), %rdx
jne 0x1f28cb
leaq (%rdx,%rdx), %rsi
testq %rdx, %rdx
movl $0x2, %ecx
cmoveq %rcx, %rsi
movq %rsi, 0x8(%r9)
shlq $0x3, %rsi
movq %rax, %rdi
movq %r9, %r13
callq 0x2370
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%r13)
movq %rcx, %rbp
movq 0x8(%rcx), %rcx
movq (%r13), %rdx
jmp 0x1f28d1
movq 0xa2839(%rip), %rax     # 0x294fe0
movl %edx, %r12d
movq (%rax), %rdi
leaq 0x52f45(%rip), %rsi     # 0x2456f9
movq %rbp, %r14
movl %ebp, %edx
movq 0x70(%rsp), %rcx
movq %r8, %r15
movl %r13d, %r8d
movl %r9d, %ebp
movq 0x20(%rsp), %r9
xorl %eax, %eax
movq %r11, %rbx
callq 0x22b0
movl %r12d, %edx
movl %ebp, %r9d
movq %r15, %r8
movq %r14, %rbp
movq %rbx, %r11
movq 0x18(%rsp), %r10
movq 0x8(%rsp), %rdi
jmp 0x1f225a
movq 0xa27e5(%rip), %rax     # 0x294fe0
movq (%rax), %rdi
movl %r9d, 0x14(%rsp)
movq 0x30(%rsp), %rax
movl 0xc(%rax), %r9d
movl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
andl %eax, %r9d
subq $0x8, %rsp
leaq 0x52efb(%rip), %rsi     # 0x24571a
movl %ebp, %edx
movq 0x78(%rsp), %rcx
movq %r8, 0x48(%rsp)
movl %r13d, %r8d
xorl %eax, %eax
pushq %rbx
movq %r11, %r15
callq 0x22b0
movb 0x17(%rsp), %dl
movl 0x24(%rsp), %r9d
movq 0x50(%rsp), %r8
movq %r15, %r11
movq 0x28(%rsp), %r10
movq 0x18(%rsp), %rdi
addq $0x10, %rsp
jmp 0x1f2354
movq 0xa277c(%rip), %rax     # 0x294fe0
movq (%rax), %rdi
movq 0x30(%rsp), %rax
movl 0xc(%rax), %r9d
movl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
andl %eax, %r9d
subq $0x8, %rsp
leaq 0x52ec7(%rip), %rsi     # 0x24574a
movq 0x60(%rsp), %rdx
movq 0x78(%rsp), %rcx
movl %ebp, %r8d
xorl %eax, %eax
pushq %rbx
movq %r12, 0xb0(%rsp)
movq %r11, %r12
callq 0x22b0
movl 0x24(%rsp), %r8d
movq 0x50(%rsp), %rsi
movq %r12, %r11
movq 0xb0(%rsp), %r12
movq 0x28(%rsp), %r10
movq 0x18(%rsp), %rdi
addq $0x10, %rsp
jmp 0x1f2411
movq %rdi, %rbp
movq %r9, %r13
movq 0x18(%rsp), %r10
movq 0x98(%rsp), %r11
movq 0x40(%rsp), %r8
movb 0x7(%rsp), %dil
movq 0x20(%rsp), %rsi
subq %rcx, %rsi
sarq $0x3, %rsi
imulq %r15, %rsi
movq %rsi, %r9
addq %rsi, %r14
leaq 0x1(%rdx), %rsi
movq %rsi, (%r13)
movq %r14, (%rax,%rdx,8)
testb %dil, %dil
movq 0x58(%rsp), %rdx
movl 0x14(%rsp), %eax
jne 0x1f2930
movq %rbp, %rdi
xorl $0x137984, %r8d         # imm = 0x137984
xorl $0x18968, %eax          # imm = 0x18968
orl %r8d, %eax
jne 0x1f226c
movq 0xa26a9(%rip), %rax     # 0x294fe0
movq (%rax), %rdi
movq 0x28(%rsp), %rax
subq %rcx, %rax
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
addl %eax, %ebx
addl %r9d, %r12d
leaq 0x52f00(%rip), %rsi     # 0x245858
movq 0x70(%rsp), %rcx
movl %ebx, %r8d
movl %r12d, %r9d
xorl %eax, %eax
movq %r11, %rbx
callq 0x22b0
movq %rbx, %r11
movq 0x18(%rsp), %r10
movq 0x8(%rsp), %rdi
jmp 0x1f226c
movq 0xa265a(%rip), %rax     # 0x294fe0
movq (%rax), %rdi
movq 0x30(%rsp), %rax
movzbl 0x12(%rax), %r9d
movl %r8d, %eax
leaq (%rax,%rax,2), %rax
movq 0x80(%rsp), %r15
movzbl 0x10(%r15,%rax,8), %r10d
movq 0x90(%rsp), %rax
shrl %eax
leaq (%rax,%rax,2), %rax
movq %r11, %rbp
movzbl 0x10(%r15,%rax,8), %r11d
leaq 0x52db4(%rip), %rsi     # 0x24577a
movq 0x58(%rsp), %rdx
movq 0x70(%rsp), %r13
movl %r13d, %ecx
movl %r14d, %r8d
xorl %eax, %eax
pushq %r11
pushq %r10
callq 0x22b0
addq $0x10, %rsp
movq 0xa25f4(%rip), %rax     # 0x294fe0
movq (%rax), %rdi
movq 0x88(%rsp), %rax
leaq (%rax,%rax,2), %rax
movq 0x28(%rsp), %rcx
movl 0x8(%rcx,%rax,8), %r9d
movzbl 0x12(%rcx,%rax,8), %r10d
movl %r9d, %eax
shrl %eax
leaq (%rax,%rax,2), %rax
movzbl 0x10(%r15,%rax,8), %r11d
leaq 0x52dc2(%rip), %rsi     # 0x2457e3
movq 0x58(%rsp), %rdx
movl %r13d, %ecx
movl %r14d, %r8d
xorl %eax, %eax
pushq %r11
pushq %r10
callq 0x22b0
movq %rbp, %r11
movq 0x28(%rsp), %r10
movq 0x18(%rsp), %rdi
addq $0x10, %rsp
jmp 0x1f2699
movq 0x48(%rsp), %rdi
callq 0x2220
movq 0x8(%rsp), %rdi
movq 0xe0(%rsp), %r8
testq %r8, %r8
je 0x1f2a97
cmpq $0x0, (%r8)
je 0x1f2a97
movl $0x1, %eax
xorl %ecx, %ecx
movq 0x8(%rdi), %rdx
movq 0x10(%r8), %rsi
movq (%rsi,%rcx,8), %rcx
leaq (%rcx,%rcx,2), %rcx
andl $0x7fffffff, 0xc(%rdx,%rcx,8) # imm = 0x7FFFFFFF
movl %eax, %ecx
incl %eax
cmpq %rcx, (%r8)
ja 0x1f2a76
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq