// File: /workspace/github_c_makefile_star2_O1/mishun[P]plantri/plantri.c
// Function: scanbip
static void
scanbip(int nbtot, int nbop, EDGE *oldfeas[], int noldfeas,
        int oldmaxface, int oldmaxlist0, int oldmaxlist1, int connec)

/* This is the recursive search procedure for bipartite graphs.
 * oldfeas[0..noldfeas-1] are the edges which can be removed without
 * violating the degree bound minpolydeg, with some (but not necessarily
 * all) missing because they are known to violate the connectivity
 * bound minpolyconnec.  nbtot/nbop represent the group, as usual.
 * oldmaxface is the size of the largest face.
 * inmaxface[oldmaxlist0..oldmaxlist1-1] lists the edges whose
 * left face has greatest size (unless that is 4).  connec is
 * the actual connectivity. */
{
    EDGE *newfeas[MAXE/2],*good_or[MAXE],*good_inv[MAXE],*e,*esave;
    int i,nnewfeas,minimal[MAXE/2],newmaxface;
    int code,xnbtot,xnbop;
    int ngood_or,ncan_or,ngood_inv,ncan_inv;
    int newmaxlist0,newmaxlist1,newconnec;

    if (ne <= edgebound[1]) got_one(nbtot,nbop,connec);
    if (ne == edgebound[0]) return;
    if (ne - 2*noldfeas > edgebound[1]) return;

#ifdef PRE_FILTER_BIPPOLY
    if (!(PRE_FILTER_BIPPOLY)) return;
#endif

    mark_edge_orbits(oldfeas,noldfeas,minimal,nbtot);

    for (i = 0; i < noldfeas; ++i)
    {
        if (!minimal[i]) continue;

        e = oldfeas[i];
        if (e->left_facesize != 4) e = e->invers;
        if (e->invers->left_facesize < oldmaxface-2
                      || e->invers->left_facesize == maxfacesize)
            continue;

        AMDELEDGE(e->start,e->end);

        newconnec = connec;
        code = maybe_delete_bip(e,oldmaxface,oldmaxlist0,oldmaxlist1,
                            &newmaxface,&newmaxlist0,&newmaxlist1,
                            good_or,&ngood_or,&ncan_or,
                            good_inv,&ngood_inv,&ncan_inv,&newconnec);

        if (code == 0)
        {
#ifdef FAST_FILTER_BIPPOLY
            if (FAST_FILTER_BIPPOLY)
#endif
            {
                if (ngood_or + ngood_inv == 1)
                {
                    esave = oldfeas[i];
                    oldfeas[i] = oldfeas[noldfeas-1];
                    prune_bip_edgelist(oldfeas,noldfeas-1,newfeas,&nnewfeas);
                    oldfeas[i] = esave;
                    scanbip(1,1,newfeas,nnewfeas,
                             newmaxface,newmaxlist0,newmaxlist1,newconnec);
                }
                else if (canon_edge_oriented(good_or,ngood_or,ncan_or,
                                             good_inv,ngood_inv,ncan_inv,
                                             degree,numbering,&xnbtot,&xnbop))
                {
                 /* The following line corrects for the fact that canon*()
                    finds each automorphism twice if the maximum degree is
                    at most 2.  However, it interferes with -o so is disabled.
		    CHECK THIS 

                    if (ne <= 2*nv && maxdegree() <= 2) xnbtot = xnbop; */

                    esave = oldfeas[i];
                    oldfeas[i] = oldfeas[noldfeas-1];
                    prune_bip_edgelist(oldfeas,noldfeas-1,newfeas,&nnewfeas);
                    oldfeas[i] = esave;
                    scanbip(xnbtot,xnbop,newfeas,nnewfeas,
                             newmaxface,newmaxlist0,newmaxlist1,newconnec);
                }
            }
            insert_edge_general(e);
        }
	else if (code == 1)
        {
            oldfeas[i] = oldfeas[noldfeas-1];
            minimal[i] = minimal[noldfeas-1];
            --i;
            --noldfeas;
        }
        AMADDEDGE(e->start,e->end);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2158, %rsp           # imm = 0x2158
movl %r9d, 0xec(%rsp)
movq %r8, 0x100(%rsp)
movl %ecx, %r14d
movq %rdx, %r15
movl %edi, %ebx
movl 0x2198(%rsp), %edx
movl 0x237984(%rip), %eax    # 0x244614
cmpl 0x195ca(%rip), %eax     # 0x26260
jg 0xcc9f
movl %ebx, %edi
callq 0x76f0
movl 0x23796f(%rip), %eax    # 0x244614
cmpl 0x195b1(%rip), %eax     # 0x2625c
je 0xe1e7
subl %r14d, %eax
subl %r14d, %eax
cmpl 0x195a3(%rip), %eax     # 0x26260
jg 0xe1e7
leaq 0x1890(%rsp), %rdx
movq %r15, %rdi
movl %r14d, %esi
movl %ebx, %ecx
callq 0xe1f9
movl 0x2198(%rsp), %r8d
testl %r14d, %r14d
jle 0xe1e7
movq 0x100(%rsp), %rax
leal -0x2(%rax), %edx
movslq 0x2190(%rsp), %rsi
leal 0x1(%rsi), %eax
leal 0x2(%rsi), %ecx
cltq
movq %rax, 0x138(%rsp)
leal 0x3(%rsi), %edi
movslq %ecx, %rax
movq %rax, 0x130(%rsp)
leal 0x4(%rsi), %eax
movl %edi, 0xe4(%rsp)
movslq %edi, %rcx
movq %rcx, 0x128(%rsp)
leal 0x5(%rsi), %ecx
cltq
movq %rax, 0x120(%rsp)
leal 0x6(%rsi), %eax
movl %eax, 0xe0(%rsp)
movslq %ecx, %rax
movq %rax, 0x118(%rsp)
movq %rsi, %rax
shlq $0x20, %rax
movq %rax, 0x148(%rsp)
leaq 0x27efd9(%rip), %rax    # 0x28bd40
leaq (%rax,%rsi,8), %rax
movq %rax, 0x68(%rsp)
movq %rsi, 0x140(%rsp)
negq %rsi
movq %rsi, 0x110(%rsp)
leaq 0x27dfb6(%rip), %rbx    # 0x28ad40
leaq 0x1ae5f(%rip), %rbp     # 0x27bf0
xorl %r12d, %r12d
movq %rax, 0x90(%rsp)
movq %r15, 0x10(%rsp)
movl %edx, 0xe8(%rsp)
movslq %r12d, %rsi
cmpl $0x0, 0x1890(%rsp,%rsi,4)
je 0xe192
movq (%r15,%rsi,8), %r13
cmpl $0x4, 0x38(%r13)
je 0xcdc8
movq 0x20(%r13), %r13
movq 0x20(%r13), %rcx
movl 0x38(%rcx), %eax
cmpl %edx, %eax
jl 0xe192
cmpl 0x19487(%rip), %eax     # 0x26264
je 0xe192
movl %r8d, %r11d
movq %r14, 0x18(%rsp)
movslq 0x4(%r13), %rdi
movslq (%r13), %r9
movq %rdi, %rax
shlq $0x6, %rax
addq %rbx, %rax
xorl %edx, %edx
movb %dl, (%r9,%rax)
movq %r9, %rax
shlq $0x6, %rax
addq %rbx, %rax
movb %dl, (%rdi,%rax)
movl 0x38(%rcx), %eax
addl $0x2, %eax
movl %eax, 0x5c(%rsp)
cmpl 0x100(%rsp), %eax
movl 0xec(%rsp), %eax
cmovgl 0x2190(%rsp), %eax
movl %eax, 0xb0(%rsp)
movq %r9, 0x28(%rsp)
movl (%rbp,%r9,4), %edx
movq %rdi, 0x30(%rsp)
movl (%rbp,%rdi,4), %eax
cmpl %eax, %edx
movl %eax, %edi
cmovll %edx, %edi
movq %rdi, 0x80(%rsp)
cmovgl %edx, %eax
movq 0x10(%r13), %rdi
movq 0x18(%r13), %r10
movq %rdi, 0x88(%rsp)
movslq 0x4(%rdi), %r8
movq %r10, %rdi
movslq 0x4(%r10), %r9
movq 0x10(%rcx), %r10
movq 0x18(%rcx), %r14
movq %r10, 0x78(%rsp)
movslq 0x4(%r10), %r10
movq %r8, %rcx
movq %r8, 0x40(%rsp)
shlq $0x6, %rcx
addq %rbx, %rcx
movq %r10, 0xc0(%rsp)
movb (%r10,%rcx), %r10b
movslq 0x4(%r14), %r8
testb %r10b, %r10b
je 0xcf71
movq %rsi, 0x8(%rsp)
movq %r9, 0xc8(%rsp)
shlq $0x6, %r9
addq %rbx, %r9
movq %r8, 0xa0(%rsp)
movb (%r8,%r9), %sil
testb %sil, %sil
je 0xcfad
movq %r14, 0xb8(%rsp)
leal -0x1(%rax), %r14d
decl %edx
movq 0x28(%rsp), %rbx
movl %edx, (%rbp,%rbx,4)
movq 0x30(%rsp), %rdx
movslq (%rbp,%rdx,4), %r8
leaq -0x1(%r8), %r11
movl %r11d, (%rbp,%rdx,4)
movslq (%rbp,%rbx,4), %rcx
xorl %edx, %edx
movq %rcx, 0x20(%rsp)
movl %r14d, 0x50(%rsp)
cmpl %r14d, %ecx
jne 0xcff2
movq 0x88(%rsp), %rcx
movslq 0x4(%rcx), %rdx
movslq (%rbp,%rdx,4), %rbx
movq %rcx, 0xcf0(%rsp)
movl $0x1, %r14d
cmpl $0x6, 0x5c(%rsp)
jne 0xd001
movslq 0x4(%rdi), %rdx
movslq (%rbp,%rdx,4), %r14
cmpl %ebx, %r14d
jle 0xd09a
movq %rdi, 0x150(%rsp)
movl $0x1, %edx
movq %r14, %rbx
xorl %r14d, %r14d
jmp 0xd003
movq %rdi, %r15
movl $0x2, %ecx
movq 0x40(%rsp), %rdi
cmpl %eax, (%rbp,%rdi,4)
jge 0xcf99
movq 0xc0(%rsp), %rdi
cmpl %eax, (%rbp,%rdi,4)
movq %r15, %rdi
jl 0xceb0
xorl %edi, %edi
movl %r11d, %r8d
movl %r11d, %r9d
movq 0x18(%rsp), %r14
movq 0x10(%rsp), %r15
jmp 0xcfeb
movl $0x2, %ecx
movq 0xc8(%rsp), %r8
cmpl %eax, (%rbp,%r8,4)
jge 0xcfd4
movq 0xa0(%rsp), %r8
cmpl %eax, (%rbp,%r8,4)
jl 0xced9
xorl %edi, %edi
movl %r11d, %r8d
movl %r11d, %r9d
movq 0x18(%rsp), %r14
movq 0x10(%rsp), %r15
movq 0x8(%rsp), %rsi
xorl %edx, %edx
jmp 0xdff5
xorl %r14d, %r14d
xorl %ebx, %ebx
movq 0x88(%rsp), %rcx
jmp 0xd003
xorl %edx, %edx
cmpl %eax, %r8d
jne 0xd0fc
movq 0xb8(%rsp), %rcx
movslq 0x4(%rcx), %r8
movslq (%rbp,%r8,4), %r8
cmpq %r8, %rbx
jge 0xd034
movq %rcx, 0x150(%rsp)
movl $0x1, %edx
xorl %r14d, %r14d
jmp 0xd04e
jne 0xd04b
movl %edx, %r8d
incl %edx
movq 0xb8(%rsp), %rcx
movq %rcx, 0x150(%rsp,%r8,8)
movq %rbx, %r8
movq 0x88(%rsp), %rcx
cmpl $0x6, 0x5c(%rsp)
jne 0xd095
movq %rdi, 0x98(%rsp)
movq %rdx, 0x60(%rsp)
movq 0x78(%rsp), %rbx
movslq 0x4(%rbx), %rdx
movslq (%rbp,%rdx,4), %rdx
cmpq %rdx, %r8
jge 0xd0b7
movq %rdx, %r14
movq %rbx, 0xcf0(%rsp)
xorl %edx, %edx
movq %r14, %rbx
movl $0x1, %r14d
jmp 0xd0f4
movq %r8, %rbx
jmp 0xd0fc
cmpl %ebx, %r14d
jne 0xd0dc
movq %rdi, 0x150(%rsp)
movl $0x1, %r14d
movl $0x1, %edx
jmp 0xd003
movq %r14, %rdi
jne 0xd0e9
movq %rdi, %r14
movl %r14d, %edx
incl %r14d
movq 0x78(%rsp), %rdi
movq %rdi, 0xcf0(%rsp,%rdx,8)
movq 0x60(%rsp), %rdx
movq %r8, %rbx
jmp 0xd0f4
xorl %edx, %edx
movl $0x1, %r14d
jmp 0xd003
movq 0x60(%rsp), %rdx
movq %r8, %rbx
movq %rdi, %r14
movq 0x98(%rsp), %rdi
movq %rbx, 0x70(%rsp)
movq 0x20(%rcx), %r9
movq 0x10(%r9), %r8
cmpl $0x6, 0x5c(%rsp)
movq %rdx, 0x60(%rsp)
jne 0xd1d4
movq %r11, 0xd8(%rsp)
movq 0x78(%rsp), %rcx
movq %r14, %rbx
movq 0x20(%rcx), %r14
movq 0x10(%r14), %r11
movq %rbx, %r15
movq %rbx, 0x38(%rsp)
testb %r10b, %r10b
movl 0x50(%rsp), %ecx
movq 0x70(%rsp), %rbx
je 0xd689
testb %sil, %sil
je 0xd790
movq %r9, %r10
movq %rdx, 0x40(%rsp)
movq %r15, %r14
movq 0x140(%rsp), %rdx
leaq 0x27ebd2(%rip), %r9     # 0x28bd40
movq %r10, (%r9,%rdx,8)
movq 0x138(%rsp), %rdx
movq 0xb8(%rsp), %rcx
movq %rcx, (%r9,%rdx,8)
movq 0x78(%rsp), %rcx
movq 0x20(%rcx), %rsi
movq 0x130(%rsp), %rdx
movq %rsi, (%r9,%rdx,8)
movq 0x128(%rsp), %rdx
movq %rdi, (%r9,%rdx,8)
movq 0x20(%r8), %rsi
movq 0x120(%rsp), %rdx
movq %rsi, (%r9,%rdx,8)
movq 0x20(%r11), %rsi
movq 0x118(%rsp), %rdx
movq %rsi, (%r9,%rdx,8)
movl 0xe0(%rsp), %r15d
jmp 0xd381
movl %r14d, %ebx
movq %rbx, 0x38(%rsp)
testb %r10b, %r10b
leaq 0x27db5a(%rip), %rbx    # 0x28ad40
je 0xd6d1
testb %sil, %sil
je 0xd729
movq %rdi, 0x98(%rsp)
movq %rdx, 0x40(%rsp)
movq 0x78(%rsp), %rdx
movq 0x20(%rdx), %rsi
movq 0x10(%rsi), %r9
movq 0x68(%rsp), %rdi
movl 0xe4(%rsp), %r15d
movq 0x148(%rsp), %rsi
movq 0xb8(%rsp), %r10
movslq 0x4(%r10), %rdx
movslq 0x4(%r9), %r11
movq %rdx, %rbx
shlq $0x6, %rbx
leaq 0x27dafe(%rip), %rbp    # 0x28ad40
addq %rbp, %rbx
cmpb $0x0, (%r11,%rbx)
jne 0xd2fb
leaq 0x1a999(%rip), %rbp     # 0x27bf0
movl (%rbp,%rdx,4), %ebx
cmpl %eax, %ebx
jge 0xdf47
movl (%rbp,%r11,4), %r11d
cmpl %eax, %r11d
jge 0xdf47
cmpl 0x50(%rsp), %ebx
jne 0xd2bd
movslq (%r10), %rdx
movslq (%rbp,%rdx,4), %rdx
cmpq %rdx, 0x70(%rsp)
leaq 0x27dab5(%rip), %rbx    # 0x28ad40
jl 0xdba3
jne 0xd2c4
movq 0x20(%r10), %rdx
movq %r14, %rcx
movq 0x38(%rsp), %r14
movslq %r14d, %rbx
incl %r14d
movq %r14, 0x38(%rsp)
movq %rcx, %r14
movq 0x88(%rsp), %rcx
movq %rdx, 0xcf0(%rsp,%rbx,8)
leaq 0x27da7c(%rip), %rbx    # 0x28ad40
cmpl 0x50(%rsp), %r11d
jne 0xd2fb
movslq (%r9), %rdx
movslq (%rbp,%rdx,4), %rdx
cmpq %rdx, 0x70(%rsp)
jl 0xdba3
jne 0xd2fb
movq 0x20(%r9), %rdx
movq 0x40(%rsp), %rbx
movslq %ebx, %r11
incl %ebx
movq %rbx, 0x40(%rsp)
movq %rdx, 0x150(%rsp,%r11,8)
movq %r10, (%rdi)
movq 0x18(%r9), %r10
movq 0x20(%r9), %rdx
movq 0x10(%rdx), %r9
cmpq %r13, %r9
cmoveq %rcx, %r9
movabsq $0x100000000, %rdx      # imm = 0x100000000
addq %rdx, %rsi
incl %r15d
addq $0x8, %rdi
cmpq %r8, %r9
jne 0xd22c
movq 0x20(%r8), %rdx
movq %rsi, %rdi
sarq $0x1d, %rdi
leaq 0x27ea00(%rip), %r8     # 0x28bd40
movq %rdx, (%rdi,%r8)
movq 0x20(%rcx), %rdx
movabsq $0x100000000, %rdi      # imm = 0x100000000
addq %rsi, %rdi
sarq $0x1d, %rdi
movq %rdx, (%rdi,%r8)
movabsq $0x200000000, %rdx      # imm = 0x200000000
addq %rdx, %rsi
sarq $0x1d, %rsi
movq 0x98(%rsp), %rcx
movq %rcx, (%rsi,%r8)
leaq 0x1a86f(%rip), %rbp     # 0x27bf0
movl 0x2190(%rsp), %edx
movl %edx, %esi
movl 0xb0(%rsp), %edx
subl %edx, %esi
leaq 0x27d9a6(%rip), %rbx    # 0x28ad40
jle 0xd52f
movslq %edx, %rdi
shlq $0x3, %rdi
xorl %r8d, %r8d
movl 0x50(%rsp), %ecx
leaq (%rdi,%r8,8), %rdx
leaq 0x27e987(%rip), %r9     # 0x28bd40
movq (%r9,%rdx), %r9
movslq (%r9), %r10
movl (%rbp,%r10,4), %r11d
cmpl %eax, %r11d
jge 0xd412
cmpl %ecx, %r11d
jne 0xd523
movslq 0x4(%r9), %rdx
movslq (%rbp,%rdx,4), %rdx
cmpq %rdx, 0x70(%rsp)
jge 0xd46a
movq 0x20(%r9), %rdx
movq 0x18(%rdx), %rdx
movq 0x20(%rdx), %rdx
movq 0x18(%rdx), %rdx
movslq 0x4(%rdx), %rdx
shlq $0x6, %r10
addq %rbx, %r10
cmpb $0x0, (%rdx,%r10)
jne 0xd4a6
jmp 0xdba3
movq 0x20(%r9), %rdx
movq 0x18(%rdx), %rdx
movq 0x20(%rdx), %rdx
movq 0x18(%rdx), %rdx
movslq 0x4(%rdx), %rdx
shlq $0x6, %r10
addq %rbx, %r10
cmpb $0x0, (%rdx,%r10)
je 0xd70c
movq 0x10(%r9), %rdx
movslq (%rdx), %r9
movq 0x20(%rdx), %rdx
movq 0x10(%rdx), %rdx
movq 0x20(%rdx), %rdx
movq 0x10(%rdx), %rdx
movslq 0x4(%rdx), %rdx
shlq $0x6, %r9
addq %rbx, %r9
cmpb $0x0, (%rdx,%r9)
jne 0xd523
jmp 0xdba3
jne 0xd4a6
movq 0x20(%r9), %rdx
movq 0x18(%rdx), %rdx
movq 0x20(%rdx), %rdx
movq 0x18(%rdx), %rdx
movslq 0x4(%rdx), %rdx
shlq $0x6, %r10
addq %rbx, %r10
cmpb $0x0, (%rdx,%r10)
jne 0xd4a6
movq 0x40(%rsp), %r10
movslq %r10d, %rdx
incl %r10d
movq %r10, 0x40(%rsp)
movq %r9, 0x150(%rsp,%rdx,8)
movq 0x10(%r9), %r9
movslq 0x4(%r9), %rdx
movslq (%rbp,%rdx,4), %rdx
cmpq %rdx, 0x70(%rsp)
jge 0xd4e4
movslq (%r9), %rdx
movq 0x20(%r9), %r9
movq 0x10(%r9), %r9
movq 0x20(%r9), %r9
movq 0x10(%r9), %r9
movslq 0x4(%r9), %r9
shlq $0x6, %rdx
addq %rbx, %rdx
cmpb $0x0, (%r9,%rdx)
jne 0xd523
jmp 0xdba3
jne 0xd523
movslq (%r9), %rdx
movq 0x20(%r9), %r10
movq 0x10(%r10), %r10
movq 0x20(%r10), %r10
movq 0x10(%r10), %r10
movslq 0x4(%r10), %r10
shlq $0x6, %rdx
addq %rbx, %rdx
cmpb $0x0, (%r10,%rdx)
jne 0xd523
movq 0x38(%rsp), %r10
movslq %r10d, %rdx
incl %r10d
movq %r10, 0x38(%rsp)
movq %r9, 0xcf0(%rsp,%rdx,8)
incq %r8
cmpl %r8d, %esi
jne 0xd3ae
movl 0x2198(%rsp), %r8d
movq 0x80(%rsp), %r9
cmpl %r8d, %r9d
movq 0x68(%rsp), %rsi
jle 0xd721
movl $0x1, %r9d
cmpl $0x2, %r8d
leaq 0x27d6d2(%rip), %rdi    # 0x28ac30
je 0xd92d
cmpl $0x3, %r8d
jne 0xd9b9
movl 0x18b24(%rip), %eax     # 0x26098
leal 0x1(%rax), %ecx
movl %ecx, 0x18b1b(%rip)     # 0x26098
cmpl $0x7530, %eax           # imm = 0x7530
jl 0xd5a9
movl $0x1, 0x18b0a(%rip)     # 0x26098
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0x1030
leaq 0x27d68f(%rip), %rdi    # 0x28ac30
movl 0x2198(%rsp), %r8d
movq 0x18(%r13), %rax
movq 0x20(%r13), %rcx
movq 0x10(%rcx), %rcx
movq 0x20(%rcx), %rcx
cmpq %rcx, %rax
je 0xd5d8
movl 0x18ad4(%rip), %edx     # 0x26098
movslq 0x4(%rax), %rsi
movl %edx, (%rdi,%rsi,4)
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
cmpq %rcx, %rax
jne 0xd5c4
movq 0x10(%r13), %rax
movq 0x20(%rax), %rcx
movq 0x10(%rcx), %rax
movq 0x18(%rcx), %rcx
cmpq %rax, %rcx
je 0xd61c
movl 0x18aa5(%rip), %edx     # 0x26098
movq 0x20(%rcx), %rsi
movq 0x18(%rcx), %rcx
cmpq %rcx, %rsi
je 0xd617
movslq (%rsi), %r9
cmpl %edx, (%rdi,%r9,4)
je 0xd9ae
movq 0x10(%rsi), %rsi
movq 0x20(%rsi), %rsi
jmp 0xd5fb
cmpq %rax, %rcx
jne 0xd5f3
movslq 0x4(%rax), %rcx
movl $0x3, %r9d
cmpl $0x3, (%rbp,%rcx,4)
je 0xd9b4
movq 0x20(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x18(%rax), %rcx
movq 0x10(%rdx), %rax
cmpq %rax, %rcx
je 0xd9b4
movl 0x18a48(%rip), %edx     # 0x26098
movq 0x20(%rcx), %rsi
movq 0x18(%rcx), %rcx
cmpq %rcx, %rsi
je 0xd674
movslq (%rsi), %r9
cmpl %edx, (%rdi,%r9,4)
je 0xd9ae
movq 0x10(%rsi), %rsi
movq 0x20(%rsi), %rsi
jmp 0xd658
cmpq %rax, %rcx
jne 0xd650
movq 0x68(%rsp), %rsi
movl $0x3, %r9d
jmp 0xd9b9
movq %r14, 0x108(%rsp)
movq %r11, 0xd0(%rsp)
movq %rdi, %r11
movq %r15, %r14
movl %r14d, %edx
movq %rdx, 0x38(%rsp)
movq 0x60(%rsp), %rdx
movq 0x40(%rsp), %rdi
cmpl %ecx, (%rbp,%rdi,4)
jne 0xdf1f
movq 0x20(%rsp), %rcx
cmpq %rcx, %rbx
jge 0xdb13
leal 0x1(%rcx), %eax
jmp 0xdfb9
movq %rdi, %r9
movl %r14d, %edx
movq %rdx, 0x38(%rsp)
movl 0x50(%rsp), %edx
movq 0x40(%rsp), %rdi
cmpl %edx, (%rbp,%rdi,4)
movq 0x60(%rsp), %rdx
jne 0xdb85
movq 0xa0(%rsp), %r10
movslq (%rbp,%r10,4), %r10
cmpq %r10, 0x70(%rsp)
jge 0xdb67
movq 0x20(%rsp), %rcx
incl %ecx
movq 0x28(%rsp), %rax
movl %ecx, (%rbp,%rax,4)
jmp 0xdbb3
decl %r9d
jmp 0xd9b9
movl 0x50(%rsp), %ecx
movq 0xa0(%rsp), %rsi
cmpl %ecx, (%rbp,%rsi,4)
jne 0xd829
movq 0x40(%rsp), %rcx
movslq (%rbp,%rcx,4), %rsi
cmpq %rsi, 0x70(%rsp)
movq 0x10(%rsp), %r15
jge 0xdbe7
movq 0x20(%rsp), %rax
incl %eax
movq 0x28(%rsp), %rcx
movl %eax, (%rbp,%rcx,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
jmp 0xdff0
movq 0xc8(%rsp), %rsi
cmpl %ecx, (%rbp,%rsi,4)
movq %r15, %r14
jne 0xd88d
movq 0xc0(%rsp), %rcx
movslq (%rbp,%rcx,4), %rsi
cmpq %rsi, %rbx
jl 0xdfb2
movq %r9, %r10
movq 0xd8(%rsp), %r9
movq 0x10(%rsp), %r15
jne 0xd7dd
movq 0x20(%r11), %rsi
movl %edx, %ecx
incl %edx
movq %rsi, 0x150(%rsp,%rcx,8)
movq 0x8(%rsp), %rsi
movq 0x20(%rsp), %rcx
cmpq %rcx, %rbx
jge 0xde80
incl %ecx
movq 0x28(%rsp), %rax
movl %ecx, (%rbp,%rax,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
leaq 0x27d51c(%rip), %rbx    # 0x28ad40
jmp 0xdff5
movq 0x10(%rsp), %r15
movq 0x8(%rsp), %rsi
movq 0x20(%rsp), %rcx
movl 0x50(%rsp), %r9d
movq 0xc8(%rsp), %r10
cmpl %r9d, (%rbp,%r10,4)
jne 0xdaf9
cmpq %rcx, 0x70(%rsp)
jge 0xde45
incl %ecx
movq 0x28(%rsp), %rax
movl %ecx, (%rbp,%rax,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
jmp 0xdff5
movq %r9, %r10
movq 0xd8(%rsp), %r9
movq 0x10(%rsp), %r15
movq 0xa0(%rsp), %rsi
cmpl %ecx, (%rbp,%rsi,4)
jne 0xe1dd
movslq %r9d, %rsi
cmpq %rsi, %rbx
jl 0xd8f6
jne 0xd8e3
movq 0xb8(%rsp), %rcx
movq 0x20(%rcx), %rsi
movq %r11, %rcx
movq 0x38(%rsp), %r11
movl %r11d, %r9d
incl %r11d
movq %r11, 0x38(%rsp)
movq %rcx, %r11
movq %rsi, 0xcf0(%rsp,%r9,8)
movq 0x40(%rsp), %rcx
movslq (%rbp,%rcx,4), %rsi
cmpq %rsi, %rbx
jge 0xe1c0
movq 0x20(%rsp), %rax
incl %eax
movq 0x28(%rsp), %rcx
movl %eax, (%rbp,%rcx,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
jmp 0xdfe9
movl 0x18765(%rip), %eax     # 0x26098
leal 0x1(%rax), %ecx
movl %ecx, 0x1875c(%rip)     # 0x26098
cmpl $0x7530, %eax           # imm = 0x7530
jl 0xd96e
movl $0x1, 0x1874b(%rip)     # 0x26098
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0x1030
movl $0x1, %r9d
leaq 0x27d2ca(%rip), %rdi    # 0x28ac30
movl 0x2198(%rsp), %r8d
movl 0x18724(%rip), %eax     # 0x26098
movq 0x10(%r13), %rcx
movslq 0x4(%rcx), %rcx
movl %eax, (%rdi,%rcx,4)
movq 0x20(%r13), %rdx
movq 0x18(%rdx), %rcx
movslq 0x4(%rcx), %rcx
movl %eax, (%rdi,%rcx,4)
movq 0x18(%r13), %rcx
movq 0x20(%rcx), %rcx
movq 0x10(%rdx), %rdx
cmpq %rcx, %rdx
je 0xd9ae
movslq 0x4(%rdx), %rsi
cmpl %eax, (%rdi,%rsi,4)
je 0xd9b4
movq 0x20(%rdx), %rdx
jmp 0xd996
movl $0x2, %r9d
movq 0x68(%rsp), %rsi
cmpl 0x187e4(%rip), %r9d     # 0x261a4
jge 0xd9e9
movq 0x20(%rsp), %rax
incl %eax
movq 0x28(%rsp), %rcx
movl %eax, (%rbp,%rcx,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x1, %ecx
xorl %edx, %edx
xorl %edi, %edi
jmp 0xdbcd
movq 0x10(%r13), %rax
movq 0x18(%r13), %rcx
movq %rcx, 0x18(%rax)
movq 0x18(%r13), %rcx
movq %rax, 0x10(%rcx)
movq 0x20(%r13), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rax), %rdx
movq %rdx, 0x18(%rcx)
movq 0x18(%rax), %rax
movq %rcx, 0x10(%rax)
cmpl 0x2190(%rsp), %r15d
movl 0x5c(%rsp), %edi
jle 0xda3f
movslq %r15d, %rax
addq 0x110(%rsp), %rax
xorl %ecx, %ecx
movq (%rsi,%rcx,8), %rdx
movl %edi, 0x38(%rdx)
incq %rcx
cmpq %rcx, %rax
jne 0xda30
leaq 0x19faa(%rip), %rax     # 0x279f0
movq 0x28(%rsp), %rcx
movq 0x88(%rsp), %rdx
movq %rdx, (%rax,%rcx,8)
addl $-0x2, 0x236bb6(%rip)   # 0x244614
movq 0x30(%rsp), %rcx
movq 0xb8(%rsp), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %rdi
leal (%rdx,%rdi), %eax
xorl %ecx, %ecx
cmpl $0x1, %eax
jne 0xdaa4
movl %r14d, 0xac(%rsp)
movq 0x60(%rsp), %rax
movl %eax, 0x4c(%rsp)
movl %r15d, %eax
movq %rax, 0x90(%rsp)
jmp 0xdbd0
testl %r14d, %r14d
movq %r14, %rax
movq 0x18(%rsp), %r14
jle 0xdc30
movq %rax, %r8
movl %eax, %eax
xorl %edx, %edx
xorl %esi, %esi
movq 0xcf0(%rsp,%rdx,8), %rcx
movq 0x20(%rcx), %rdi
movq 0x10(%rdi), %rdi
movslq 0x4(%rdi), %rdi
movslq (%rbp,%rdi,4), %rdi
shlq $0xa, %rdi
movslq 0x38(%rcx), %rcx
addq %rdi, %rcx
cmpq %rsi, %rcx
cmovleq %rsi, %rcx
incq %rdx
movq %rcx, %rsi
cmpq %rdx, %rax
jne 0xdabe
jmp 0xdc35
movq %rdi, 0x98(%rsp)
movq %rdx, 0x40(%rsp)
movq 0x88(%rsp), %rcx
jmp 0xd202
movq 0x60(%rsp), %rdx
jne 0xdb2e
movq 0x60(%rsp), %r10
leal 0x1(%r10), %edx
movl %r10d, %r10d
movq %r9, 0x150(%rsp,%r10,8)
movq 0xa0(%rsp), %rcx
movslq (%rbp,%rcx,4), %r10
cmpq %r10, %rbx
movl 0x50(%rsp), %ecx
jl 0xdf47
jne 0xdf17
leal 0x1(%r14), %r10d
movq %r10, 0x38(%rsp)
movl %r14d, %r10d
movq %r8, 0xcf0(%rsp,%r10,8)
jmp 0xdf1f
movl %r14d, %r10d
movq %r10, 0x38(%rsp)
jne 0xdb85
leal 0x1(%r14), %r10d
movq %r10, 0x38(%rsp)
movl %r14d, %r10d
movq %r8, 0xcf0(%rsp,%r10,8)
movl 0x50(%rsp), %r10d
movq 0xc0(%rsp), %rdi
cmpl %r10d, (%rbp,%rdi,4)
jne 0xdbdf
movslq %r11d, %r10
cmpq %r10, 0x70(%rsp)
jge 0xdc03
movq 0x20(%rsp), %rax
incl %eax
movq 0x28(%rsp), %rcx
movl %eax, (%rbp,%rcx,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
movq 0x10(%rsp), %r15
jmp 0xdff0
movq %r9, %rdi
jmp 0xd1ec
jne 0xd82e
movq 0x20(%r8), %rsi
movl %edx, %r9d
incl %edx
movq %rsi, 0x150(%rsp,%r9,8)
jmp 0xd82e
movq %r9, %rdi
jne 0xdebd
movq 0x78(%rsp), %r10
movq 0x20(%r10), %r10
movq %rdx, %rbx
incl %edx
movl %ebx, %ebx
movq %r10, 0x150(%rsp,%rbx,8)
leaq 0x27d115(%rip), %rbx    # 0x28ad40
jmp 0xd1ec
movq %rax, %r8
xorl %ecx, %ecx
movq 0x60(%rsp), %rax
testl %eax, %eax
movq %r9, 0x80(%rsp)
jle 0xdc82
movl %eax, %edx
xorl %esi, %esi
movq 0x150(%rsp,%rsi,8), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rdi
movslq 0x4(%rdi), %rdi
movslq (%rbp,%rdi,4), %rdi
shlq $0xa, %rdi
movslq 0x38(%rax), %rax
addq %rdi, %rax
cmpq %rcx, %rax
cmovleq %rcx, %rax
incq %rsi
movq %rax, %rcx
cmpq %rsi, %rdx
jne 0xdc4a
jmp 0xdc85
movq %rcx, %rax
testl %r8d, %r8d
jle 0xdcd6
movl %r8d, %edx
xorl %ecx, %ecx
xorl %r9d, %r9d
movq 0xcf0(%rsp,%rcx,8), %rsi
movq 0x20(%rsi), %rdi
movq 0x10(%rdi), %rdi
movslq 0x4(%rdi), %rdi
movslq (%rbp,%rdi,4), %rdi
shlq $0xa, %rdi
movslq 0x38(%rsi), %r8
addq %rdi, %r8
cmpq %rax, %r8
jne 0xdcc9
movslq %r9d, %rdi
incl %r9d
movq %rsi, 0xcf0(%rsp,%rdi,8)
incq %rcx
cmpq %rcx, %rdx
jne 0xdc92
movl %r9d, %edx
jmp 0xdcda
xorl %ecx, %ecx
xorl %edx, %edx
movl %edx, 0xac(%rsp)
movq 0x38(%rsp), %rsi
cmpl %esi, %ecx
jge 0xdd3b
movl %ecx, %ecx
movl %esi, %esi
movl 0xac(%rsp), %edx
movq 0xcf0(%rsp,%rcx,8), %rdi
movq 0x20(%rdi), %r8
movq 0x10(%r8), %r8
movslq 0x4(%r8), %r8
movslq (%rbp,%r8,4), %r8
shlq $0xa, %r8
movslq 0x38(%rdi), %r9
addq %r8, %r9
cmpq %rax, %r9
jne 0xdd2d
movslq %edx, %r8
incl %edx
movq %rdi, 0xcf0(%rsp,%r8,8)
jmp 0xdd33
jg 0xdec2
incq %rcx
cmpq %rcx, %rsi
jne 0xdcf5
xorl %ecx, %ecx
movl $0x0, %esi
movl $0x0, 0x4c(%rsp)
movq 0x60(%rsp), %rdi
testl %edi, %edi
jle 0xdda8
movl %edi, %edi
xorl %esi, %esi
movl $0x0, 0x4c(%rsp)
movq 0x150(%rsp,%rsi,8), %r8
movq 0x20(%r8), %r9
movq 0x18(%r9), %r10
movslq 0x4(%r10), %r10
movslq (%rbp,%r10,4), %r10
shlq $0xa, %r10
movslq 0x38(%r9), %r9
addq %r10, %r9
cmpq %rax, %r9
jne 0xdda0
movl 0x4c(%rsp), %r10d
movslq %r10d, %r9
incl %r10d
movl %r10d, 0x4c(%rsp)
movq %r8, 0x150(%rsp,%r9,8)
incq %rsi
cmpq %rsi, %rdi
jne 0xdd5f
movq 0x40(%rsp), %rdi
cmpl %edi, %esi
jge 0xde37
movl %esi, %esi
movl %edi, %edi
movl 0x4c(%rsp), %r8d
movl %r8d, %r11d
movq 0x150(%rsp,%rsi,8), %r8
movq 0x20(%r8), %r9
movq 0x18(%r9), %r10
movslq 0x4(%r10), %r10
movslq (%rbp,%r10,4), %r10
shlq $0xa, %r10
movslq 0x38(%r9), %r9
addq %r10, %r9
cmpq %rax, %r9
jne 0xddfa
movslq %r11d, %r9
incl %r11d
movq %r8, 0x150(%rsp,%r9,8)
jmp 0xde00
jg 0xdedc
incq %rsi
cmpq %rsi, %rdi
jne 0xddc1
movl %edx, %edi
movl %r15d, %eax
movq %rax, 0x90(%rsp)
movq 0x10(%rsp), %r15
movl 0x2198(%rsp), %r8d
movq 0x8(%rsp), %rsi
movq 0x80(%rsp), %r9
movq %r11, %rdx
jmp 0xdff5
movl 0x4c(%rsp), %eax
movl %edx, %edi
movq %rax, %rdx
jmp 0xdeed
movq 0x88(%rsp), %rcx
movq %rdx, 0x40(%rsp)
movq %rdi, 0x98(%rsp)
jne 0xd202
movq 0x20(%rdi), %rsi
movq 0x38(%rsp), %rdx
movl %edx, %r9d
incl %edx
movq %rdx, 0x38(%rsp)
movq %rsi, 0xcf0(%rsp,%r9,8)
jmp 0xd202
jne 0xdeb4
movq 0x20(%rdi), %rcx
movq %rcx, 0xc0(%rsp)
movq %r11, %rcx
movq 0x38(%rsp), %r11
movl %r11d, %esi
incl %r11d
movq %r11, 0x38(%rsp)
movq %rcx, %r11
movq 0xc0(%rsp), %rcx
movq %rcx, 0xcf0(%rsp,%rsi,8)
movl 0x50(%rsp), %ecx
jmp 0xd89d
jmp 0xd1ec
movq %r13, %rdi
callq 0xe302
movl $0x2, %ecx
xorl %edx, %edx
movq 0x60(%rsp), %rax
movl %eax, 0x4c(%rsp)
jmp 0xdeeb
movq %r13, %rdi
callq 0xe302
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl %r15d, %eax
movq %rax, 0x90(%rsp)
movq 0x10(%rsp), %r15
movl 0x2198(%rsp), %r8d
movq 0x8(%rsp), %rsi
movq 0x80(%rsp), %r9
jmp 0xdff5
movl %r14d, %r10d
movq %r10, 0x38(%rsp)
movq 0xc0(%rsp), %rdi
cmpl %ecx, (%rbp,%rdi,4)
jne 0xdf59
movq %r9, 0xf8(%rsp)
movq 0xc8(%rsp), %r9
movslq (%rbp,%r9,4), %r10
cmpq %r10, %rbx
jge 0xdf69
movq 0x20(%rsp), %rcx
incl %ecx
movq 0x28(%rsp), %rax
movl %ecx, (%rbp,%rax,4)
jmp 0xdfc2
movq %r11, %rdi
movq 0xd0(%rsp), %r11
jmp 0xd14b
movq %r11, %rdi
jne 0xdf94
movq 0x38(%rsp), %rbx
movl %ebx, %r10d
incl %ebx
movq %rbx, 0x38(%rsp)
movq 0x70(%rsp), %rbx
movq 0xd0(%rsp), %r11
movq %r11, 0xcf0(%rsp,%r10,8)
jmp 0xdf9c
movq 0xd0(%rsp), %r11
movq 0xf8(%rsp), %r9
cmpq 0xd8(%rsp), %rbx
jge 0xe1a0
movq 0x20(%rsp), %rax
incl %eax
movq 0x28(%rsp), %rcx
movl %eax, (%rbp,%rcx,4)
movq 0x30(%rsp), %rax
incl (%rbp,%rax,4)
movl $0x2, %ecx
xorl %edx, %edx
xorl %edi, %edi
movl 0x2198(%rsp), %r8d
movl %r8d, %r9d
movq 0x18(%rsp), %r14
movq 0x10(%rsp), %r15
leaq 0x27cd50(%rip), %rbx    # 0x28ad40
movq 0x8(%rsp), %rsi
cmpl $0x1, %ecx
je 0xe065
testl %ecx, %ecx
jne 0xe167
movq %r9, 0x80(%rsp)
leal (%rdi,%rdx), %eax
cmpl $0x1, %eax
jne 0xe08c
movq (%r15,%rsi,8), %rax
movq %rax, 0x50(%rsp)
movq %rsi, %rbx
leal -0x1(%r14), %esi
movslq %r14d, %rax
movq -0x8(%r15,%rax,8), %rax
movq %rax, (%r15,%rbx,8)
movq %r15, %rdi
leaq 0x1b80(%rsp), %rdx
leaq 0xb4(%rsp), %rcx
callq 0xcbfc
movq 0x50(%rsp), %rax
movq %rax, (%r15,%rbx,8)
movl 0xb4(%rsp), %ecx
movl $0x1, %edi
movl $0x1, %esi
jmp 0xe124
movslq %r14d, %rax
decl %r14d
movq -0x8(%r15,%rax,8), %rcx
movq %rcx, (%r15,%rsi,8)
movl 0x188c(%rsp,%rax,4), %eax
movl %eax, 0x1890(%rsp,%rsi,4)
decl %esi
movl %esi, %r12d
jmp 0xe167
movq %rsi, %rbx
subq $0x8, %rsp
movq %rdi, %rsi
leaq 0xcf8(%rsp), %rdi
movq %rdx, %r8
movl 0xb4(%rsp), %edx
leaq 0x158(%rsp), %rcx
movl 0x54(%rsp), %r9d
leaq 0xf8(%rsp), %rax
pushq %rax
leaq 0x104(%rsp), %rax
pushq %rax
pushq %rbp
callq 0xc654
addq $0x20, %rsp
testl %eax, %eax
je 0xe150
movq (%r15,%rbx,8), %rax
movq %rax, 0x50(%rsp)
leal -0x1(%r14), %esi
movslq %r14d, %rax
movq -0x8(%r15,%rax,8), %rax
movq %rax, (%r15,%rbx,8)
movq %r15, %rdi
leaq 0x1b80(%rsp), %rdx
leaq 0xb4(%rsp), %rcx
callq 0xcbfc
movq 0x50(%rsp), %rax
movq %rax, (%r15,%rbx,8)
movl 0xf4(%rsp), %edi
movl 0xf0(%rsp), %esi
movl 0xb4(%rsp), %ecx
leaq 0x1b80(%rsp), %rdx
movl 0x5c(%rsp), %r8d
movl 0xb0(%rsp), %r9d
pushq 0x80(%rsp)
pushq 0x98(%rsp)
callq 0xcc5a
addq $0x10, %rsp
movq %r13, %rdi
callq 0xe302
movl 0x2198(%rsp), %r8d
leaq 0x27cbd9(%rip), %rbx    # 0x28ad40
movslq 0x4(%r13), %rax
movslq (%r13), %rcx
movq %rax, %rdx
shlq $0x6, %rdx
addq %rbx, %rdx
movb $0x1, %sil
movb %sil, (%rcx,%rdx)
shlq $0x6, %rcx
addq %rbx, %rcx
movb %sil, (%rax,%rcx)
movl 0xe8(%rsp), %edx
incl %r12d
cmpl %r14d, %r12d
jl 0xcda8
jmp 0xe1e7
jne 0xd14b
movl %edx, %r10d
incl %edx
movq 0x108(%rsp), %r14
movq %r14, 0x150(%rsp,%r10,8)
jmp 0xd14b
jne 0xe1dd
movq 0x20(%r8), %rsi
movl %edx, %r9d
incl %edx
movq %rdx, 0x40(%rsp)
movq %rsi, 0x150(%rsp,%r9,8)
jmp 0xd15f
movq %rdx, 0x40(%rsp)
jmp 0xd15f
addq $0x2158, %rsp           # imm = 0x2158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq