// File: /workspace/github_c_makefile_star2_O1/mishun[P]plantri/plantri.c
// Function: scanquadrangulations_nf4
static void
scanquadrangulations_nf4(int nbtot, int nbop, EDGE *spoke, int dosplit,
                          EDGE *P1edge[], int nP1edges)

/* The main node of the recursion for 3-connected quadrangulations
   without non-facial 4-cycles.
   As this procedure is entered, nv,ne,degree etc are set for some graph,
   and nbtot/nbop are the values returned by canon() for that graph.
   If spoke!=NULL the input is a pseudo-double wheel and this is a
   spoke from the rim towards the hub.
   If dosplit==TRUE, this is the place to do splitting (if any).
   Splitting is a bit more complicated because the P operation adds
   two vertices.
   P1edge[0..nP1edges-1] are edges of the graph that were reference
   edges for P1-operations in ancestors of this graph.  They may not
   be reference edges for P1-reductions now, but at least they are edges.
   However, if nP1edges>0, we can say that certainly P1edge[nP1edges-1]
   is a P1-operation that was just done.
*/

{
    EDGE *firstedge_save[MAXN];
    EDGE *extP1[MAXE];
    EDGE *good_or[MAXE],*good_mir[MAXE];
    int ngood_or,ngood_mir,ngood_ref,ngood_mir_ref;
    int nextP1,i;
    int xnbtot,xnbop;
    EDGE *newP1edge[MAXN],*rededge;
    EDGE *hint;

    if (nv == maxnv)
    {
	got_one(nbtot,nbop,4);   /* Note connectivity is really 3 */
	return;
    }

    if (dosplit)
    {
#ifdef SPLITTEST
        ADDBIG(splitcases,1);
        return;
#endif
        if (splitcount-- != 0) return;
        splitcount = mod - 1;

        for (i = 0; i < nv; ++i) firstedge_save[i] = firstedge[i];
    }

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

#ifndef FIND_EXTENSIONS_QUAD_NF4
#define FIND_EXTENSIONS_QUAD_NF4 find_extensions_quad_nf4
#endif

    FIND_EXTENSIONS_QUAD_NF4(nbtot,nbop,extP1,&nextP1,
				  (nP1edges==0?NULL:P1edge[nP1edges-1]));

    if (spoke && nv <= maxnv-2)
    {
        rededge = extend_quadr_P2(spoke);
#ifdef FAST_FILTER_QUAD_NF4
        if (FAST_FILTER_QUAD_NF4)
#endif  
        {
            (void)canon(degree,numbering,&xnbtot,&xnbop);
            scanquadrangulations_nf4(xnbtot,xnbop,spoke,
                              nv==splitlevel||nv==splitlevel+1,newP1edge,0);
	}
        reduce_quadr_P2(rededge);
    }

    hint = NULL;
    for (i = 0; i < nextP1; ++i)
    {
        rededge = extend_quadr_P1(extP1[i]);
#ifdef FAST_FILTER_QUAD_NF4
        if (FAST_FILTER_QUAD_NF4)
#endif  
        {
	    quadr_P1_legal_nf4(rededge,good_or,&ngood_or,&ngood_ref,good_mir,
                           &ngood_mir,&ngood_mir_ref,P1edge,nP1edges,&hint);
            if (ngood_ref+ngood_mir_ref > 0)
	    {
	        if (nv == maxnv && !needgroup && ngood_or == ngood_ref
                                              && ngood_mir == ngood_mir_ref)
		    got_one(1,1,4);
	        else if (ngood_or+ngood_mir==1)
	        {
    		    P1edge[nP1edges] = rededge;
    		    scanquadrangulations_nf4(1,1,NULL,nv==splitlevel,
							P1edge,nP1edges+1);
	        }
	        else if (canon_edge_oriented(good_or,ngood_or,ngood_ref,
                                             good_mir,ngood_mir,ngood_mir_ref,
                                             degree,numbering,&xnbtot,&xnbop))
	        {
		    P1edge[nP1edges] = rededge;
	            scanquadrangulations_nf4(xnbtot,xnbop,NULL,nv==splitlevel,
                                                            P1edge,nP1edges+1);
	        }
	    }
	}
	reduce_quadr_P1(rededge);
    }

    if (dosplit)
        for (i = 0; i < nv; ++i) firstedge[i] = firstedge_save[i];
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2778, %rsp           # imm = 0x2778
movl %r9d, 0x44(%rsp)
movl %edi, %ebp
movl 0x2267d5(%rip), %ebx    # 0x244610
movl 0x842e(%rip), %r12d     # 0x26270
cmpl %r12d, %ebx
jne 0x1de64
movl %ebp, %edi
movl $0x4, %edx
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x76f0
movq %rdx, %r15
testl %ecx, %ecx
movq %r8, 0x30(%rsp)
je 0x1deb6
subl $0x1, 0x26cda9(%rip)    # 0x28ac20
jae 0x1e88b
movl 0x83e9(%rip), %eax      # 0x2626c
decl %eax
movl %eax, 0x26cd95(%rip)    # 0x28ac20
testl %ebx, %ebx
jle 0x1deb6
leaq (,%rbx,8), %rdx
leaq 0x9b52(%rip), %rsi      # 0x279f0
leaq 0x90(%rsp), %rdi
movl %ecx, %r14d
callq 0x1080
movq 0x30(%rsp), %r8
movl %r14d, %ecx
movl 0x44(%rsp), %eax
movslq %eax, %rdx
testl %eax, %eax
je 0x1dec8
movq -0x8(%r8,%rdx,8), %r14
jmp 0x1decb
xorl %r14d, %r14d
movl %ecx, 0x6c(%rsp)
cmpl $0x1, %ebp
movq %rdx, 0x50(%rsp)
jne 0x1df53
movl 0x81b9(%rip), %eax      # 0x26098
leal 0x1(%rax), %ecx
movl %ecx, 0x81b0(%rip)      # 0x26098
cmpl $0x7530, %eax           # imm = 0x7530
jl 0x1df0c
movl $0x1, 0x819f(%rip)      # 0x26098
leaq 0x26cd30(%rip), %rdi    # 0x28ac30
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0x1030
xorl %ebp, %ebp
testq %r14, %r14
je 0x1e047
movl 0x4(%r14), %eax
movslq %eax, %rcx
leaq 0x9ccb(%rip), %rdx      # 0x27bf0
movl (%rdx,%rcx,4), %ecx
movl 0x816a(%rip), %edx      # 0x26098
movslq (%r14), %rsi
leaq 0x26ccf8(%rip), %rdi    # 0x28ac30
movl %edx, (%rdi,%rsi,4)
movq 0x18(%r14), %rsi
movq 0x20(%rsi), %rsi
movq 0x10(%rsi), %rsi
movslq 0x4(%rsi), %rsi
movl %edx, (%rdi,%rsi,4)
jmp 0x1e04e
leaq 0x9d96(%rip), %rax      # 0x27cf0
movslq 0x2266b3(%rip), %rcx    # 0x244614
testq %rcx, %rcx
jle 0x1df7d
xorl %edx, %edx
movq %rax, %rsi
movq (%rsi), %rdi
movl %edx, 0x34(%rdi)
incq %rdx
addq $0x8, %rsi
cmpq %rdx, %rcx
jne 0x1df6b
movl 0x8111(%rip), %ecx      # 0x26094
leal 0x2(%rcx), %edx
movl %edx, 0x8108(%rip)      # 0x26094
cmpl $0x752f, %ecx           # imm = 0x752F
jl 0x1dfbe
movl $0x2, 0x80f6(%rip)      # 0x26094
movl $0x30, %ecx
leaq 0x226676(%rip), %rdx    # 0x244620
movl $0x0, (%rcx,%rdx)
addq $0x40, %rcx
cmpq $0x46630, %rcx          # imm = 0x46630
jne 0x1dfaa
testl %ebx, %ebx
jle 0x1e0f2
movslq %ebp, %rcx
imulq $0xba0, %rcx, %rcx      # imm = 0xBA0
addq %rax, %rcx
xorl %edx, %edx
movl 0x80b9(%rip), %esi      # 0x26094
leaq 0x9c0e(%rip), %rdi      # 0x27bf0
leaq 0x9a07(%rip), %r8       # 0x279f0
xorl %ebp, %ebp
cmpl $0x4, (%rdi,%rdx,4)
jl 0x1e03a
movq (%r8,%rdx,8), %r9
movq %r9, %r10
cmpl %esi, 0x30(%r10)
jne 0x1e009
movq 0x18(%r10), %r10
cmpq %r9, %r10
jne 0x1dff8
jmp 0x1e03a
movslq %ebp, %r11
incl %ebp
movq %r10, 0x1bd0(%rsp,%r11,8)
movslq 0x34(%r10), %r11
leaq (%rax,%r11,8), %r11
addq $0xba0, %r11            # imm = 0xBA0
cmpq %rcx, %r11
jae 0x1dffe
movq (%r11), %r14
movl %esi, 0x30(%r14)
addq $0xba0, %r11            # imm = 0xBA0
jmp 0x1e025
incq %rdx
cmpq %rbx, %rdx
jne 0x1dfeb
jmp 0x1e0f4
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
xorl %ecx, %ecx
testl %ebx, %ebx
jle 0x1e0f4
xorl %edx, %edx
movl 0x803a(%rip), %esi      # 0x26098
leaq 0x9b8b(%rip), %rdi      # 0x27bf0
leaq 0x9984(%rip), %r8       # 0x279f0
leaq 0x26cbbd(%rip), %r9     # 0x28ac30
xorl %ebp, %ebp
cmpl $0x4, (%rdi,%rdx,4)
jl 0x1e0e8
movq (%r8,%rdx,8), %r10
cmpq %rax, %rdx
jne 0x1e0a9
movslq %ebp, %r11
leaq (%rsp,%r11,8), %r11
addq $0x1bd0, %r11           # imm = 0x1BD0
movq %r10, %r14
movq %r14, (%r11)
movq 0x18(%r14), %r14
addq $0x8, %r11
incl %ebp
cmpq %r10, %r14
jne 0x1e095
jmp 0x1e0e8
movq %r10, %r11
movq 0x10(%r11), %r14
movslq 0x4(%r14), %r14
cmpl %esi, (%r9,%r14,4)
je 0x1e0d2
movq 0x18(%r11), %r14
movslq 0x4(%r14), %r14
cmpl %esi, (%r9,%r14,4)
je 0x1e0d2
movslq 0x4(%r11), %r14
cmpl %ecx, (%rdi,%r14,4)
jl 0x1e0df
movslq %ebp, %r14
incl %ebp
movq %r11, 0x1bd0(%rsp,%r14,8)
movq 0x18(%r11), %r11
cmpq %r10, %r11
jne 0x1e0ac
incq %rdx
cmpq %rbx, %rdx
jne 0x1e075
jmp 0x1e0f4
xorl %ebp, %ebp
testq %r15, %r15
sete %al
addl $-0x2, %r12d
cmpl %r12d, %ebx
setg %cl
orb %al, %cl
jne 0x1e16f
movq %r15, %rdi
callq 0xe4fb
movq %rax, %rbx
leaq 0x9ad6(%rip), %rdi      # 0x27bf0
leaq 0x4c(%rsp), %r12
leaq 0x48(%rsp), %r13
movq %r12, %rsi
movq %r13, %rdx
callq 0x6408
movl (%r12), %edi
movl (%r13), %esi
movl 0x2264d3(%rip), %eax    # 0x244610
movl 0x98a1(%rip), %ecx      # 0x279e4
cmpl %ecx, %eax
sete %dl
incl %ecx
cmpl %ecx, %eax
sete %al
orb %dl, %al
movzbl %al, %ecx
leaq 0x19d0(%rsp), %r8
movq %r15, %rdx
xorl %r9d, %r9d
callq 0x1de1d
movq %rbx, %rdi
callq 0xe638
testl %ebp, %ebp
jle 0x1e860
movq 0x50(%rsp), %rax
movl %eax, %ecx
incl %eax
movl %eax, 0x40(%rsp)
movl %ebp, %eax
movq %rax, 0x88(%rsp)
incq %rcx
movq %rcx, 0x80(%rsp)
leaq 0x226480(%rip), %rbx    # 0x244620
leaq 0x9a49(%rip), %r15      # 0x27bf0
xorl %r14d, %r14d
movq $0x0, 0x38(%rsp)
movq %rax, 0x78(%rsp)
movq %rax, 0x70(%rsp)
movq %r14, 0x20(%rsp)
movq 0x1bd0(%rsp,%r14,8), %r14
movq %r14, %rdi
callq 0xca6d
movl 0x7ebc(%rip), %eax      # 0x26094
leal 0x2(%rax), %ecx
movl %ecx, 0x7eb3(%rip)      # 0x26094
cmpl $0x752f, %eax           # imm = 0x752F
jl 0x1e20a
movl $0x2, 0x7ea2(%rip)      # 0x26094
movl $0x30, %eax
movl $0x0, (%rax,%rbx)
addq $0x40, %rax
cmpq $0x46630, %rax          # imm = 0x46630
jne 0x1e1f7
xorl %eax, %eax
movl %eax, 0x4(%rsp)
movl %eax, 0x8(%rsp)
movslq 0x4(%r14), %rax
movl (%r15,%rax,4), %r12d
movq 0x10(%r14), %rax
movq 0x18(%r14), %rcx
movslq 0x4(%rax), %rax
movl (%r15,%rax,4), %edx
movl %edx, %esi
shll $0xa, %esi
movslq 0x4(%rcx), %rax
movl (%r15,%rax,4), %eax
addl %eax, %esi
shll $0xa, %eax
addl %edx, %eax
movl %esi, 0x14(%rsp)
cmpl %esi, %eax
movq 0x30(%rsp), %rsi
jge 0x1e264
movl $0x1, 0x8(%rsp)
movq %r14, 0xe30(%rsp)
movq 0x38(%rsp), %rbx
jmp 0x1e29e
movq 0x38(%rsp), %rbx
jne 0x1e28a
movl $0x1, %eax
movl %eax, 0x8(%rsp)
movq %r14, 0xe30(%rsp)
movl %eax, 0x4(%rsp)
movq %r14, 0x290(%rsp)
jmp 0x1e29e
movl $0x1, 0x4(%rsp)
movq %r14, 0x290(%rsp)
movl %eax, 0x14(%rsp)
movslq 0x8(%rsp), %rdx
movl %edx, 0x10(%rsp)
movslq 0x4(%rsp), %rcx
movl %ecx, 0xc(%rsp)
movl 0x7ddd(%rip), %r13d     # 0x26094
movq 0x20(%r14), %rax
movl %r13d, 0x30(%rax)
testq %rbx, %rbx
movq %r14, 0x60(%rsp)
je 0x1e3c9
movq 0x20(%rbx), %rax
cmpl %r13d, 0x30(%rax)
je 0x1e3c9
movslq (%rbx), %rax
cmpl $0x3, (%r15,%rax,4)
jne 0x1e3c9
movslq 0x4(%rbx), %rax
cmpl %r12d, (%r15,%rax,4)
jle 0x1e3c9
movq 0x18(%rbx), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e3c9
movq 0x10(%rbx), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e3c9
movq %rbx, %rdi
movq %rcx, 0x18(%rsp)
movq %rdx, %rbp
callq 0x1e89d
movq %rbp, %rdx
movq 0x18(%rsp), %rcx
movq 0x30(%rsp), %rsi
testl %eax, %eax
je 0x1e3c9
movslq 0x4(%rbx), %rax
cmpl %r12d, (%r15,%rax,4)
jg 0x1e851
movq 0x10(%rbx), %rax
movq 0x18(%rbx), %rcx
movslq 0x4(%rax), %rax
movl (%r15,%rax,4), %eax
shll $0xa, %eax
movslq 0x4(%rcx), %rcx
addl (%r15,%rcx,4), %eax
cmpl 0x14(%rsp), %eax
jg 0x1e851
jne 0x1e386
leal 0x1(%rdx), %eax
movl %eax, 0x8(%rsp)
movq %rbx, 0xe30(%rsp,%rdx,8)
movq 0x10(%rbx), %rax
movq 0x18(%rbx), %rcx
movslq 0x4(%rcx), %rcx
movl (%r15,%rcx,4), %ecx
shll $0xa, %ecx
movslq 0x4(%rax), %rax
addl (%r15,%rax,4), %ecx
cmpl 0x14(%rsp), %ecx
jg 0x1e851
movq 0x18(%rsp), %rcx
jne 0x1e3c1
leal 0x1(%rcx), %eax
movl %eax, 0x4(%rsp)
movq %rbx, 0x290(%rsp,%rcx,8)
movq 0x20(%rbx), %rax
movl %r13d, 0x30(%rax)
movl 0x8(%rsp), %r8d
movl 0x4(%rsp), %ebp
cmpl $0x0, 0x44(%rsp)
jle 0x1e4f9
movq 0x80(%rsp), %r14
movq -0x10(%rsi,%r14,8), %rbx
movq 0x20(%rbx), %rax
cmpl %r13d, 0x30(%rax)
je 0x1e4e4
movslq 0x4(%rbx), %rax
cmpl %r12d, (%r15,%rax,4)
jl 0x1e4e4
movslq (%rbx), %rax
cmpl $0x3, (%r15,%rax,4)
jne 0x1e4e4
movq 0x18(%rbx), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e4e4
movq 0x10(%rbx), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e4e4
movl %r8d, 0x2c(%rsp)
movq %rdx, 0x58(%rsp)
movq %rcx, 0x18(%rsp)
movq %rbx, %rdi
callq 0x1e89d
testl %eax, %eax
je 0x1e4d0
movslq 0x4(%rbx), %rax
cmpl %r12d, (%r15,%rax,4)
movq 0x30(%rsp), %rsi
jg 0x1e845
movq 0x10(%rbx), %rax
movq 0x18(%rbx), %rcx
movslq 0x4(%rax), %rax
movl (%r15,%rax,4), %eax
movl %eax, %edx
shll $0xa, %edx
movslq 0x4(%rcx), %rcx
movl (%r15,%rcx,4), %ecx
addl %ecx, %edx
cmpl 0x14(%rsp), %edx
movl 0x2c(%rsp), %r8d
jg 0x1e83e
jne 0x1e4a6
movslq %r8d, %rdx
incl %r8d
movq %rbx, 0xe30(%rsp,%rdx,8)
movq 0x58(%rsp), %rdx
shll $0xa, %ecx
addl %eax, %ecx
cmpl 0x14(%rsp), %ecx
jg 0x1e83e
jne 0x1e4c9
movslq %ebp, %rax
incl %ebp
movq %rbx, 0x290(%rsp,%rax,8)
movq 0x18(%rsp), %rcx
jmp 0x1e4e4
movq 0x30(%rsp), %rsi
movq 0x18(%rsp), %rcx
movq 0x58(%rsp), %rdx
movl 0x2c(%rsp), %r8d
movq 0x20(%rbx), %rax
movl %r13d, 0x30(%rax)
decq %r14
cmpq $0x1, %r14
jg 0x1e3e5
movl %r8d, 0x8(%rsp)
movl %ebp, 0x4(%rsp)
cmpl %edx, %r8d
jg 0x1e50b
cmpl %ecx, %ebp
jle 0x1e534
leaq 0xe30(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x10(%rsp), %rdx
leaq 0x290(%rsp), %rcx
leaq 0x4(%rsp), %r8
leaq 0xc(%rsp), %r9
callq 0xe385
movl 0x10(%rsp), %ecx
movl 0xc(%rsp), %eax
orl %ecx, %eax
je 0x1e720
movl %ecx, 0x2c(%rsp)
movl 0x8(%rsp), %r13d
movl 0x4(%rsp), %eax
movl %eax, 0x18(%rsp)
cmpl $0x0, 0x2260b4(%rip)    # 0x244610
jle 0x1e6ad
xorl %ebx, %ebx
cmpl %r12d, (%r15,%rbx,4)
jle 0x1e5cc
leaq 0x947f(%rip), %rax      # 0x279f0
movq (%rax,%rbx,8), %rbp
movq %rbp, %r14
movl 0x30(%r14), %eax
cmpl 0x7b12(%rip), %eax      # 0x26094
je 0x1e5be
movslq 0x4(%r14), %rax
cmpl $0x3, (%r15,%rax,4)
jne 0x1e5be
movq 0x20(%r14), %rdi
movq 0x18(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e5be
movq 0x10(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e5be
callq 0x1e89d
testl %eax, %eax
jne 0x1e704
movq 0x18(%r14), %r14
cmpq %rbp, %r14
jne 0x1e578
jmp 0x1e69a
jne 0x1e69a
leaq 0x9417(%rip), %rax      # 0x279f0
movq (%rax,%rbx,8), %rbp
movq %rbp, %r14
movslq 0x4(%r14), %rax
cmpl $0x3, (%r15,%rax,4)
jne 0x1e68d
movl 0x30(%r14), %eax
cmpl 0x7a9b(%rip), %eax      # 0x26094
je 0x1e68d
movq 0x20(%r14), %rdi
movq 0x18(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e68d
movq 0x10(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r15,%rax,4)
jl 0x1e68d
callq 0x1e89d
testl %eax, %eax
je 0x1e68d
movq 0x20(%r14), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rax), %rdx
movslq 0x4(%rcx), %rcx
movl (%r15,%rcx,4), %ecx
movl %ecx, %esi
shll $0xa, %esi
movslq 0x4(%rdx), %rdx
movl (%r15,%rdx,4), %edx
addl %edx, %esi
cmpl 0x14(%rsp), %esi
jg 0x1e704
jne 0x1e667
movslq %r13d, %rsi
incl %r13d
movq %rax, 0xe30(%rsp,%rsi,8)
shll $0xa, %edx
addl %ecx, %edx
cmpl 0x14(%rsp), %edx
jg 0x1e704
jne 0x1e68d
movl 0x18(%rsp), %edx
movslq %edx, %rcx
incl %edx
movl %edx, 0x18(%rsp)
movq %rax, 0x290(%rsp,%rcx,8)
movq 0x18(%r14), %r14
cmpq %rbp, %r14
jne 0x1e5e0
incq %rbx
movslq 0x225f6c(%rip), %rax    # 0x244610
cmpq %rax, %rbx
jl 0x1e564
movl %r13d, 0x8(%rsp)
movl 0x18(%rsp), %eax
movl %eax, 0x4(%rsp)
cmpl 0x2c(%rsp), %r13d
jg 0x1e6c7
cmpl 0xc(%rsp), %eax
jle 0x1e6f0
leaq 0xe30(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x10(%rsp), %rdx
leaq 0x290(%rsp), %rcx
leaq 0x4(%rsp), %r8
leaq 0xc(%rsp), %r9
callq 0xe385
movl 0x8(%rsp), %eax
movq %rax, 0x78(%rsp)
movl 0x4(%rsp), %eax
movq %rax, 0x70(%rsp)
jmp 0x1e720
movl %r13d, 0x8(%rsp)
movl 0x18(%rsp), %eax
movl %eax, 0x4(%rsp)
xorl %eax, %eax
movl %eax, 0xc(%rsp)
movl %eax, 0x10(%rsp)
movq %r14, 0x38(%rsp)
leaq 0x225ef9(%rip), %rbx    # 0x244620
movq 0x20(%rsp), %r14
movl 0x10(%rsp), %edx
movl 0xc(%rsp), %r9d
movl %r9d, %eax
addl %edx, %eax
jle 0x1e821
movl 0x225eca(%rip), %eax    # 0x244610
movl 0x7b24(%rip), %ecx      # 0x26270
xorl %eax, %ecx
orl 0x928c(%rip), %ecx      # 0x279e0
movq 0x78(%rsp), %rsi
movl %esi, %edi
xorl %edx, %edi
orl %ecx, %edi
movq 0x70(%rsp), %r8
movl %r8d, %ecx
xorl %r9d, %ecx
orl %edi, %ecx
jne 0x1e787
movl $0x1, %edi
movl $0x1, %esi
movl $0x4, %edx
callq 0x76f0
jmp 0x1e821
leal (%rsi,%r8), %ecx
cmpl $0x1, %ecx
jne 0x1e7ba
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rcx
movq 0x60(%rsp), %rdx
movq %rdx, (%r8,%rcx,8)
xorl %ecx, %ecx
cmpl 0x9239(%rip), %eax      # 0x279e4
sete %cl
movl $0x1, %edi
movl $0x1, %esi
jmp 0x1e815
subq $0x8, %rsp
leaq 0xe38(%rsp), %rdi
leaq 0x298(%rsp), %rcx
leaq 0x50(%rsp), %rax
pushq %rax
leaq 0x5c(%rsp), %rax
pushq %rax
pushq %r15
callq 0xc654
addq $0x20, %rsp
testl %eax, %eax
je 0x1e821
movq 0x30(%rsp), %r8
movq 0x50(%rsp), %rax
movq 0x60(%rsp), %rcx
movq %rcx, (%r8,%rax,8)
movl 0x4c(%rsp), %edi
movl 0x48(%rsp), %esi
movl 0x225e06(%rip), %eax    # 0x244610
xorl %ecx, %ecx
cmpl 0x91d2(%rip), %eax      # 0x279e4
sete %cl
xorl %edx, %edx
movl 0x40(%rsp), %r9d
callq 0x1de1d
movq 0x60(%rsp), %rdi
callq 0xcb6c
incq %r14
cmpq 0x88(%rsp), %r14
jne 0x1e1bd
jmp 0x1e860
movl %r8d, 0x8(%rsp)
jmp 0x1e84d
movl 0x2c(%rsp), %eax
movl %eax, 0x8(%rsp)
movl %ebp, 0x4(%rsp)
xorl %eax, %eax
movl %eax, 0xc(%rsp)
movl %eax, 0x10(%rsp)
jmp 0x1e720
cmpl $0x0, 0x6c(%rsp)
je 0x1e88b
movslq 0x225da2(%rip), %rdx    # 0x244610
testq %rdx, %rdx
jle 0x1e88b
shlq $0x3, %rdx
leaq 0x9172(%rip), %rdi      # 0x279f0
leaq 0x90(%rsp), %rsi
callq 0x1080
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq