// File: /workspace/github_c_makefile_star2_O3/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
movq %r9, 0x68(%rsp)
movl %edi, %ebp
movl 0x226687(%rip), %r15d   # 0x244610
movl 0x82e0(%rip), %r12d     # 0x26270
cmpl %r12d, %r15d
jne 0x1dfb2
movl %ebp, %edi
movl $0x4, %edx
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x761c
movq %rdx, %rbx
testl %ecx, %ecx
movq %r8, 0x38(%rsp)
je 0x1e005
subl $0x1, 0x26cc5b(%rip)    # 0x28ac20
jae 0x1ea20
movl 0x829b(%rip), %eax      # 0x2626c
decl %eax
movl %eax, 0x26cc47(%rip)    # 0x28ac20
testl %r15d, %r15d
jle 0x1e005
leaq (,%r15,8), %rdx
leaq 0x9a03(%rip), %rsi      # 0x279f0
leaq 0x90(%rsp), %rdi
movl %ecx, %r14d
callq 0x1070
movq 0x38(%rsp), %r8
movl %r14d, %ecx
movq 0x68(%rsp), %rax
movslq %eax, %rdx
testl %eax, %eax
je 0x1e018
movq -0x8(%r8,%rdx,8), %r14
jmp 0x1e01b
xorl %r14d, %r14d
movl %ecx, 0x74(%rsp)
cmpl $0x1, %ebp
movq %rdx, 0x78(%rsp)
jne 0x1e0a3
movl 0x8061(%rip), %ecx      # 0x26090
leal 0x1(%rcx), %eax
movl %eax, 0x8058(%rip)      # 0x26090
cmpl $0x7530, %ecx           # imm = 0x7530
jl 0x1e062
movl $0x1, 0x8046(%rip)      # 0x26090
leaq 0x26cbdf(%rip), %rdi    # 0x28ac30
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0x1030
movl $0x1, %eax
xorl %ebp, %ebp
testq %r14, %r14
je 0x1e197
movl 0x4(%r14), %ecx
movslq %ecx, %rdx
leaq 0x9b75(%rip), %rsi      # 0x27bf0
movl (%rsi,%rdx,4), %edx
movslq (%r14), %rsi
leaq 0x26cba8(%rip), %rdi    # 0x28ac30
movl %eax, (%rdi,%rsi,4)
movq 0x18(%r14), %rsi
movq 0x20(%rsi), %rsi
movq 0x10(%rsi), %rsi
movslq 0x4(%rsi), %rsi
movl %eax, (%rdi,%rsi,4)
jmp 0x1e19e
leaq 0x9c46(%rip), %rax      # 0x27cf0
movslq 0x226563(%rip), %rcx    # 0x244614
testq %rcx, %rcx
jle 0x1e0cd
xorl %edx, %edx
movq %rax, %rsi
movq (%rsi), %rdi
movl %edx, 0x34(%rdi)
incq %rdx
addq $0x8, %rsi
cmpq %rdx, %rcx
jne 0x1e0bb
movl 0x7fb9(%rip), %edx      # 0x2608c
leal 0x2(%rdx), %ecx
movl %ecx, 0x7fb0(%rip)      # 0x2608c
cmpl $0x752f, %edx           # imm = 0x752F
jl 0x1e113
movl $0x2, 0x7f9e(%rip)      # 0x2608c
movl $0x30, %ecx
leaq 0x226526(%rip), %rdx    # 0x244620
movl $0x0, (%rcx,%rdx)
addq $0x40, %rcx
cmpq $0x46630, %rcx          # imm = 0x46630
jne 0x1e0fa
movl $0x2, %ecx
testl %r15d, %r15d
jle 0x1e240
movslq %ebp, %rdx
imulq $0xba0, %rdx, %rdx      # imm = 0xBA0
addq %rax, %rdx
xorl %esi, %esi
leaq 0x9abe(%rip), %rdi      # 0x27bf0
leaq 0x98b7(%rip), %r8       # 0x279f0
xorl %ebp, %ebp
cmpl $0x4, (%rdi,%rsi,4)
jl 0x1e18a
movq (%r8,%rsi,8), %r9
movq %r9, %r10
cmpl %ecx, 0x30(%r10)
jne 0x1e159
movq 0x18(%r10), %r10
cmpq %r9, %r10
jne 0x1e148
jmp 0x1e18a
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 %rdx, %r11
jae 0x1e14e
movq (%r11), %r14
movl %ecx, 0x30(%r14)
addq $0xba0, %r11            # imm = 0xBA0
jmp 0x1e175
incq %rsi
cmpq %r15, %rsi
jne 0x1e13b
jmp 0x1e242
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %edx, %edx
testl %r15d, %r15d
jle 0x1e242
xorl %esi, %esi
leaq 0x9a40(%rip), %rdi      # 0x27bf0
leaq 0x9839(%rip), %r8       # 0x279f0
leaq 0x26ca72(%rip), %r9     # 0x28ac30
xorl %ebp, %ebp
cmpl $0x4, (%rdi,%rsi,4)
jl 0x1e236
movq (%r8,%rsi,8), %r10
cmpq %rcx, %rsi
jne 0x1e1f4
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 0x1e1e0
jmp 0x1e236
movq %r10, %r11
movq 0x10(%r11), %r14
movslq 0x4(%r14), %r14
cmpl %eax, (%r9,%r14,4)
je 0x1e21d
movq 0x18(%r11), %r14
movslq 0x4(%r14), %r13
cmpl %eax, (%r9,%r13,4)
je 0x1e21d
movslq 0x4(%r11), %r13
cmpl %edx, (%rdi,%r13,4)
jl 0x1e22e
movslq %ebp, %r14
incl %ebp
movq %r11, 0x1bd0(%rsp,%r14,8)
movq 0x18(%r11), %r14
movq %r14, %r11
cmpq %r10, %r14
jne 0x1e1f7
incq %rsi
cmpq %r15, %rsi
jne 0x1e1c0
jmp 0x1e242
xorl %ebp, %ebp
testq %rbx, %rbx
sete %al
addl $-0x2, %r12d
cmpl %r12d, %r15d
setg %cl
orb %al, %cl
jne 0x1e2c3
movq 0x18(%rbx), %rdi
callq 0xe610
movq %rax, %r15
leaq 0x9987(%rip), %rdi      # 0x27bf0
leaq 0x64(%rsp), %r12
leaq 0x60(%rsp), %r13
movq %r12, %rsi
movq %r13, %rdx
callq 0x62d6
movl (%r12), %edi
movl (%r13), %esi
movl 0x226384(%rip), %eax    # 0x244610
movl 0x9752(%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 %rbx, %rdx
xorl %r9d, %r9d
callq 0x1df6a
movq 0x18(%r15), %rdi
movq 0x20(%r15), %rsi
callq 0xe74e
testl %ebp, %ebp
jle 0x1e9f5
movq 0x68(%rsp), %rax
movl %eax, %ecx
incl %eax
movl %eax, 0x5c(%rsp)
movl %ebp, %eax
movq %rax, 0x88(%rsp)
incq %rcx
movq %rcx, 0x80(%rsp)
xorl %ebx, %ebx
leaq 0x98fa(%rip), %r12      # 0x27bf0
movq $0x0, 0x50(%rsp)
movq %rbx, 0x18(%rsp)
movq 0x1bd0(%rsp,%rbx,8), %r14
movq %r14, %rdi
callq 0xcbe9
movl 0x7d72(%rip), %eax      # 0x2608c
leal 0x2(%rax), %ebx
movl %ebx, 0x7d69(%rip)      # 0x2608c
cmpl $0x752f, %eax           # imm = 0x752F
movq 0x38(%rsp), %rsi
jl 0x1e35d
movl $0x2, 0x7d53(%rip)      # 0x2608c
movl $0x30, %eax
leaq 0x2262db(%rip), %rcx    # 0x244620
movl $0x0, (%rax,%rcx)
addq $0x40, %rax
cmpq $0x46630, %rax          # imm = 0x46630
jne 0x1e345
movl $0x2, %ebx
movq %r13, 0x20(%rsp)
movq %r15, 0x28(%rsp)
movslq 0x4(%r14), %rax
movl (%r12,%rax,4), %ebp
movq 0x10(%r14), %rax
movq 0x18(%r14), %rcx
movslq 0x4(%rax), %rax
movl (%r12,%rax,4), %edx
movl %edx, %edi
shll $0xa, %edi
movslq 0x4(%rcx), %rax
movl (%r12,%rax,4), %eax
addl %eax, %edi
shll $0xa, %eax
addl %edx, %eax
movl %edi, 0x10(%rsp)
cmpl %edi, %eax
movq 0x50(%rsp), %rdi
jge 0x1e3b3
movl $0x1, %r15d
xorl %r13d, %r13d
leaq 0xe30(%rsp), %rcx
jmp 0x1e3fa
jne 0x1e3dd
movl $0x1, %r13d
movl %r13d, 0x14(%rsp)
movq %r14, 0xe30(%rsp)
movl %r13d, 0x8(%rsp)
leaq 0x290(%rsp), %rcx
movl $0x1, %r15d
jmp 0x1e3fa
movl $0x1, 0x8(%rsp)
xorl %r15d, %r15d
movl $0x1, %r13d
leaq 0x290(%rsp), %rcx
movl %eax, 0x10(%rsp)
movq %r14, (%rcx)
movl %r15d, 0x4(%rsp)
movl %r13d, (%rsp)
movq 0x20(%r14), %rax
movl %ebx, 0x30(%rax)
movl %r13d, %edx
movl %r15d, %r8d
testq %rdi, %rdi
movq %r15, 0x48(%rsp)
movq %r13, 0x40(%rsp)
je 0x1e55b
movq 0x20(%rdi), %rax
movl %r13d, %edx
movl %r15d, %r8d
cmpl %ebx, 0x30(%rax)
je 0x1e55b
movslq (%rdi), %rax
cmpl $0x3, (%r12,%rax,4)
movl %r13d, %edx
movl %r15d, %r8d
jne 0x1e55b
movslq 0x4(%rdi), %rax
movl %r13d, %edx
movl %r15d, %r8d
cmpl %ebp, (%r12,%rax,4)
jle 0x1e55b
movq 0x18(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
movl %r13d, %edx
movl %r15d, %r8d
jl 0x1e55b
movq 0x10(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
movl %r13d, %edx
movl %r15d, %r8d
jl 0x1e55b
callq 0x1ea32
movq 0x50(%rsp), %rdi
movq 0x38(%rsp), %rsi
movl %r13d, %edx
movl %r15d, %r8d
testl %eax, %eax
je 0x1e55b
movslq 0x4(%rdi), %rax
cmpl %ebp, (%r12,%rax,4)
jg 0x1e524
movq 0x10(%rdi), %rax
movq 0x18(%rdi), %rcx
movslq 0x4(%rax), %rax
movl (%r12,%rax,4), %eax
movl %eax, %edx
shll $0xa, %edx
movslq 0x4(%rcx), %rcx
movl (%r12,%rcx,4), %ecx
addl %ecx, %edx
cmpl 0x10(%rsp), %edx
jg 0x1e524
movq 0x48(%rsp), %rdx
movl %edx, %r8d
jne 0x1e519
movq 0x48(%rsp), %rax
leal 0x1(%rax), %r8d
movl %r8d, 0x14(%rsp)
movl %eax, %eax
movq %rdi, 0xe30(%rsp,%rax,8)
movq 0x10(%rdi), %rax
movq 0x18(%rdi), %rcx
movslq 0x4(%rcx), %rcx
movl (%r12,%rcx,4), %ecx
movslq 0x4(%rax), %rax
movl (%r12,%rax,4), %eax
shll $0xa, %ecx
addl %eax, %ecx
cmpl 0x10(%rsp), %ecx
jle 0x1e535
xorl %r9d, %r9d
movl %r9d, (%rsp)
movl %r9d, 0x4(%rsp)
jmp 0x1e6ca
movq 0x40(%rsp), %rax
movl %eax, %edx
jne 0x1e554
movq 0x40(%rsp), %rax
leal 0x1(%rax), %edx
movl %edx, 0x8(%rsp)
movl %eax, %eax
movq %rdi, 0x290(%rsp,%rax,8)
movq 0x20(%rdi), %rax
movl %ebx, 0x30(%rax)
movq %r14, 0x30(%rsp)
cmpl $0x0, 0x68(%rsp)
jle 0x1e66d
movq 0x80(%rsp), %r14
movq -0x10(%rsi,%r14,8), %r15
movq 0x20(%r15), %rax
cmpl %ebx, 0x30(%rax)
je 0x1e659
movslq 0x4(%r15), %rax
cmpl %ebp, (%r12,%rax,4)
jl 0x1e659
movslq (%r15), %rax
cmpl $0x3, (%r12,%rax,4)
jne 0x1e659
movq 0x18(%r15), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
jl 0x1e659
movq 0x10(%r15), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
jl 0x1e659
movl %edx, 0xc(%rsp)
movl %r8d, %r13d
movq %r15, %rdi
callq 0x1ea32
testl %eax, %eax
je 0x1e64d
movslq 0x4(%r15), %rax
cmpl %ebp, (%r12,%rax,4)
jg 0x1e8df
movq 0x10(%r15), %rax
movq 0x18(%r15), %rcx
movslq 0x4(%rax), %rax
movl (%r12,%rax,4), %eax
movl %eax, %edx
shll $0xa, %edx
movslq 0x4(%rcx), %rcx
movl (%r12,%rcx,4), %ecx
addl %ecx, %edx
cmpl 0x10(%rsp), %edx
jg 0x1e8df
movl %r13d, %r8d
movq 0x38(%rsp), %rsi
jne 0x1e629
movslq %r8d, %rdx
incl %r8d
movq %r15, 0xe30(%rsp,%rdx,8)
movl 0xc(%rsp), %edx
shll $0xa, %ecx
addl %eax, %ecx
cmpl 0x10(%rsp), %ecx
jg 0x1e8df
jne 0x1e659
movslq %edx, %rax
incl %edx
movq %r15, 0x290(%rsp,%rax,8)
jmp 0x1e659
movq 0x38(%rsp), %rsi
movl %r13d, %r8d
movl 0xc(%rsp), %edx
movq 0x20(%r15), %rax
movl %ebx, 0x30(%rax)
decq %r14
cmpq $0x1, %r14
ja 0x1e573
movl %r8d, 0x14(%rsp)
movl %edx, 0x8(%rsp)
cmpl 0x48(%rsp), %r8d
movq 0x40(%rsp), %rcx
jg 0x1e686
cmpl %ecx, %edx
jle 0x1e6b9
leaq 0xe30(%rsp), %rdi
leaq 0x14(%rsp), %rsi
leaq 0x4(%rsp), %rdx
leaq 0x290(%rsp), %rcx
leaq 0x8(%rsp), %r8
movq %rsp, %r9
callq 0xe49a
movl 0x4(%rsp), %eax
movq %rax, 0x48(%rsp)
movl (%rsp), %ecx
xorl %r9d, %r9d
movq 0x48(%rsp), %rax
orl %ecx, %eax
movq 0x30(%rsp), %r14
jne 0x1e6d6
xorl %edx, %edx
movq 0x18(%rsp), %rbx
jmp 0x1e8f7
movq %rcx, 0x40(%rsp)
movl 0x14(%rsp), %ebx
movl 0x8(%rsp), %eax
movl %eax, 0xc(%rsp)
cmpl $0x0, 0x225f22(%rip)    # 0x244610
jle 0x1e845
xorl %r14d, %r14d
cmpl %ebp, (%r12,%r14,4)
jle 0x1e765
leaq 0x92ec(%rip), %rax      # 0x279f0
movq (%rax,%r14,8), %r13
movl 0x797e(%rip), %eax      # 0x2608c
movq %r13, %r15
cmpl %eax, 0x30(%r15)
je 0x1e757
movslq 0x4(%r15), %rcx
cmpl $0x3, (%r12,%rcx,4)
jne 0x1e757
movq 0x20(%r15), %rdi
movq 0x18(%rdi), %rcx
movslq 0x4(%rcx), %rcx
cmpl $0x4, (%r12,%rcx,4)
jl 0x1e757
movq 0x10(%rdi), %rcx
movslq 0x4(%rcx), %rcx
cmpl $0x4, (%r12,%rcx,4)
jl 0x1e757
callq 0x1ea32
testl %eax, %eax
jne 0x1e8b5
movl 0x7935(%rip), %eax      # 0x2608c
movq 0x18(%r15), %r15
cmpq %r13, %r15
jne 0x1e711
jmp 0x1e832
jne 0x1e832
leaq 0x927e(%rip), %rax      # 0x279f0
movq (%rax,%r14,8), %r15
movq %r15, %r13
movslq 0x4(%r13), %rax
cmpl $0x3, (%r12,%rax,4)
jne 0x1e825
movl 0x30(%r13), %eax
cmpl 0x78fa(%rip), %eax      # 0x2608c
je 0x1e825
movq 0x20(%r13), %rdi
movq 0x18(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
jl 0x1e825
movq 0x10(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r12,%rax,4)
jl 0x1e825
callq 0x1ea32
testl %eax, %eax
je 0x1e825
movq 0x20(%r13), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rax), %rdx
movslq 0x4(%rcx), %rcx
movl (%r12,%rcx,4), %ecx
movl %ecx, %esi
shll $0xa, %esi
movslq 0x4(%rdx), %rdx
movl (%r12,%rdx,4), %edx
addl %edx, %esi
cmpl 0x10(%rsp), %esi
jg 0x1e8ca
jne 0x1e7ff
movslq %ebx, %rsi
incl %ebx
movq %rax, 0xe30(%rsp,%rsi,8)
shll $0xa, %edx
addl %ecx, %edx
cmpl 0x10(%rsp), %edx
jg 0x1e8ca
jne 0x1e825
movl 0xc(%rsp), %edx
movslq %edx, %rcx
incl %edx
movl %edx, 0xc(%rsp)
movq %rax, 0x290(%rsp,%rcx,8)
movq 0x18(%r13), %r13
cmpq %r15, %r13
jne 0x1e779
incq %r14
movslq 0x225dd4(%rip), %rax    # 0x244610
cmpq %rax, %r14
jl 0x1e6f7
movl %ebx, 0x14(%rsp)
movl 0xc(%rsp), %ecx
movl %ecx, 0x8(%rsp)
movq 0x48(%rsp), %rdx
cmpl %edx, %ebx
jg 0x1e870
cmpl 0x40(%rsp), %ecx
jg 0x1e870
movq 0x40(%rsp), %rax
movl %eax, %r9d
movl %ecx, %r13d
movl %ebx, %r15d
jmp 0x1e8a9
leaq 0xe30(%rsp), %rdi
leaq 0x14(%rsp), %rsi
leaq 0x4(%rsp), %rdx
leaq 0x290(%rsp), %rcx
leaq 0x8(%rsp), %r8
movq %rsp, %r9
callq 0xe49a
movl 0x14(%rsp), %r15d
movl 0x8(%rsp), %r13d
movl 0x4(%rsp), %edx
movl (%rsp), %r9d
movq 0x18(%rsp), %rbx
movq 0x30(%rsp), %r14
jmp 0x1e901
xorl %r9d, %r9d
movl %r9d, (%rsp)
movl %r9d, 0x4(%rsp)
xorl %edx, %edx
movq %r15, 0x50(%rsp)
jmp 0x1e8ed
xorl %r9d, %r9d
movl %r9d, (%rsp)
movl %r9d, 0x4(%rsp)
xorl %edx, %edx
movq %r13, 0x50(%rsp)
jmp 0x1e8ed
xorl %r9d, %r9d
movl %r9d, (%rsp)
movl %r9d, 0x4(%rsp)
xorl %edx, %edx
movq 0x18(%rsp), %rbx
movq 0x30(%rsp), %r14
movq 0x28(%rsp), %r15
movq 0x20(%rsp), %r13
movl %r9d, %eax
addl %edx, %eax
jle 0x1e9dc
movl 0x225cfe(%rip), %eax    # 0x244610
cmpl 0x7958(%rip), %eax      # 0x26270
jne 0x1e946
cmpl $0x0, 0x90bf(%rip)      # 0x279e0
jne 0x1e946
cmpl %edx, %r15d
jne 0x1e946
cmpl %r9d, %r13d
jne 0x1e946
movl $0x1, %edi
movl $0x1, %esi
movl $0x4, %edx
callq 0x761c
jmp 0x1e9dc
leal (%r15,%r13), %ecx
cmpl $0x1, %ecx
jne 0x1e974
movq 0x38(%rsp), %r8
movq 0x78(%rsp), %rcx
movq %r14, (%r8,%rcx,8)
xorl %ecx, %ecx
cmpl 0x907f(%rip), %eax      # 0x279e4
sete %cl
movl $0x1, %edi
movl $0x1, %esi
jmp 0x1e9d0
subq $0x8, %rsp
leaq 0xe38(%rsp), %rdi
movl %r15d, %esi
leaq 0x298(%rsp), %rcx
movl %r13d, %r8d
leaq 0x68(%rsp), %rax
pushq %rax
leaq 0x74(%rsp), %rax
pushq %rax
pushq %r12
callq 0xc7bb
addq $0x20, %rsp
testl %eax, %eax
je 0x1e9dc
movq 0x38(%rsp), %r8
movq 0x78(%rsp), %rax
movq %r14, (%r8,%rax,8)
movl 0x64(%rsp), %edi
movl 0x60(%rsp), %esi
movl 0x225c4b(%rip), %eax    # 0x244610
xorl %ecx, %ecx
cmpl 0x9017(%rip), %eax      # 0x279e4
sete %cl
xorl %edx, %edx
movl 0x5c(%rsp), %r9d
callq 0x1df6a
movq %r14, %rdi
callq 0xcce8
incq %rbx
cmpq 0x88(%rsp), %rbx
jne 0x1e2ff
cmpl $0x0, 0x74(%rsp)
je 0x1ea20
movslq 0x225c0d(%rip), %rdx    # 0x244610
testq %rdx, %rdx
jle 0x1ea20
shlq $0x3, %rdx
leaq 0x8fdd(%rip), %rdi      # 0x279f0
leaq 0x90(%rsp), %rsi
callq 0x1070
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq