// File: /workspace/github_c_makefile_star2_O2/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)
movq %r8, 0x68(%rsp)
movl 0x2260d3(%rip), %eax    # 0x242600
movl 0x7d2c(%rip), %r11d     # 0x24260
cmpl %r11d, %eax
jne 0x1c552
pushq $0x4
popq %rdx
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x658a
movq %rdx, %r10
testl %ecx, %ecx
je 0x1c5a2
subl $0x1, 0x26c6b0(%rip)    # 0x288c10
jae 0x1d06f
movl 0x7cf0(%rip), %edx      # 0x2425c
decl %edx
movl %edx, 0x26c69c(%rip)    # 0x288c10
xorl %edx, %edx
testl %eax, %eax
movl $0x0, %esi
cmovgl %eax, %esi
shlq $0x3, %rsi
leaq 0x9455(%rip), %r8       # 0x259e0
cmpq %rdx, %rsi
je 0x1c5a2
movq (%rdx,%r8), %r9
movq %r9, 0x90(%rsp,%rdx)
addq $0x8, %rdx
jmp 0x1c58b
movl 0x44(%rsp), %edx
movslq %edx, %rsi
testl %edx, %edx
movq %rsi, 0x80(%rsp)
je 0x1c5c1
movq 0x68(%rsp), %rdx
movq -0x8(%rdx,%rsi,8), %r8
jmp 0x1c5c4
xorl %r8d, %r8d
cmpl $0x1, %edi
movl %ecx, 0x7c(%rsp)
movq %r10, 0x58(%rsp)
movl %r11d, 0xc(%rsp)
jne 0x1c617
movl 0x7aa3(%rip), %esi      # 0x24080
leal 0x1(%rsi), %edx
movl %edx, 0x7a9a(%rip)      # 0x24080
cmpl $0x7530, %esi           # imm = 0x7530
jl 0x1c648
movl $0x1, 0x7a88(%rip)      # 0x24080
xorl %esi, %esi
pushq $0x1
popq %rdx
leaq 0x26c61c(%rip), %rdi    # 0x288c20
cmpq $0x100, %rsi            # imm = 0x100
je 0x1c648
andl $0x0, (%rsi,%rdi)
addq $0x4, %rsi
jmp 0x1c604
pushq $0x30
popq %r9
pushq $0x2
popq %r8
movl 0x225fdf(%rip), %edx    # 0x242604
xorl %esi, %esi
testl %edx, %edx
cmovlel %esi, %edx
leaq 0x96ad(%rip), %r10      # 0x25ce0
cmpq %rsi, %rdx
je 0x1c68d
movq (%r10), %r11
movl %esi, 0x34(%r11)
incq %rsi
addq $0x8, %r10
jmp 0x1c633
xorl %r15d, %r15d
testq %r8, %r8
je 0x1c763
movl 0x4(%r8), %esi
movslq %esi, %rdi
leaq 0x957e(%rip), %r9       # 0x25be0
movl (%r9,%rdi,4), %edi
movslq (%r8), %r9
leaq 0x26c5b0(%rip), %r10    # 0x288c20
movl %edx, (%r10,%r9,4)
movq 0x18(%r8), %r8
movq 0x20(%r8), %r8
movq 0x10(%r8), %r8
movslq 0x4(%r8), %r8
movl %edx, (%r10,%r8,4)
jmp 0x1c76a
movslq %edi, %rdx
imulq $0xba0, %rdx, %rdx      # imm = 0xBA0
leaq 0x9642(%rip), %rsi      # 0x25ce0
movl 0x79d7(%rip), %r10d     # 0x2407c
leal 0x2(%r10), %edi
movl %edi, 0x79cd(%rip)      # 0x2407c
cmpl $0x752f, %r10d          # imm = 0x752F
jl 0x1c6e0
movl $0x2, 0x79ba(%rip)      # 0x2407c
leaq 0x225f47(%rip), %rdi    # 0x242610
cmpq $0x46630, %r9           # imm = 0x46630
je 0x1c6dd
andl $0x0, (%r9,%rdi)
addq $0x40, %r9
jmp 0x1c6c9
movl %r8d, %edi
addq %rsi, %rdx
xorl %r8d, %r8d
testl %eax, %eax
movl $0x0, %r9d
cmovgl %eax, %r9d
leaq 0x94e7(%rip), %r10      # 0x25be0
leaq 0x92e0(%rip), %r11      # 0x259e0
xorl %r15d, %r15d
cmpq %r9, %r8
je 0x1c819
cmpl $0x4, (%r10,%r8,4)
jl 0x1c75e
movq (%r11,%r8,8), %r14
movq %r14, %r12
cmpl %edi, 0x30(%r12)
je 0x1c754
movslq %r15d, %rbx
movq %r12, 0x1bd0(%rsp,%rbx,8)
movslq 0x34(%r12), %rbx
leaq (%rsi,%rbx,8), %r13
addq $0xba0, %r13            # imm = 0xBA0
cmpq %rdx, %r13
jae 0x1c751
movq (%r13), %rbx
movl %edi, 0x30(%rbx)
addq $0xba0, %r13            # imm = 0xBA0
jmp 0x1c73c
incl %r15d
movq 0x18(%r12), %r12
cmpq %r14, %r12
jne 0x1c71a
incq %r8
jmp 0x1c703
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
xorl %edi, %edi
testl %eax, %eax
movl $0x0, %r8d
cmovgl %eax, %r8d
leaq 0x9463(%rip), %r9       # 0x25be0
leaq 0x925c(%rip), %r10      # 0x259e0
leaq 0x26c495(%rip), %r11    # 0x288c20
xorl %r14d, %r14d
cmpq %r8, %r14
je 0x1c819
cmpl $0x4, (%r9,%r14,4)
jl 0x1c811
movq (%r10,%r14,8), %r12
cmpq %rsi, %r14
jne 0x1c7ce
movslq %r15d, %r13
leaq (%rsp,%r13,8), %r13
addq $0x1bd0, %r13           # imm = 0x1BD0
movq %r12, %rbp
movq %rbp, (%r13)
movq 0x18(%rbp), %rbp
addq $0x8, %r13
incl %r15d
cmpq %r12, %rbp
jne 0x1c7b8
jmp 0x1c811
movq %r12, %r13
movq 0x10(%r13), %rbp
movslq 0x4(%rbp), %rbp
cmpl %edx, (%r11,%rbp,4)
je 0x1c7f7
movq 0x18(%r13), %rbp
movslq 0x4(%rbp), %rbx
cmpl %edx, (%r11,%rbx,4)
je 0x1c7f7
movslq 0x4(%r13), %rbx
cmpl %edi, (%r9,%rbx,4)
jl 0x1c809
movslq %r15d, %rbx
incl %r15d
movq %r13, 0x1bd0(%rsp,%rbx,8)
movq 0x18(%r13), %rbp
movq %rbp, %r13
cmpq %r12, %rbp
jne 0x1c7d1
incq %r14
jmp 0x1c78e
movq 0x58(%rsp), %rbx
testq %rbx, %rbx
sete %dl
movl 0xc(%rsp), %ecx
addl $-0x2, %ecx
cmpl %ecx, %eax
setg %al
orb %dl, %al
jne 0x1c89b
movq %rbx, %rdi
callq 0xd4db
movq %rax, %rbp
leaq 0x939a(%rip), %rdi      # 0x25be0
leaq 0x64(%rsp), %r12
leaq 0x60(%rsp), %r13
movq %r12, %rsi
movq %r13, %rdx
callq 0x52ed
movl (%r12), %edi
movl (%r13), %esi
movl 0x225d97(%rip), %eax    # 0x242600
movl 0x9165(%rip), %ecx      # 0x259d4
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 0x1c50c
movq %rbp, %rdi
callq 0xd618
movl 0x44(%rsp), %eax
movl %eax, %ecx
movq %rcx, 0x50(%rsp)
incl %eax
movl %eax, 0x44(%rsp)
xorl %eax, %eax
testl %r15d, %r15d
cmovlel %eax, %r15d
leaq 0x225d54(%rip), %rbx    # 0x242610
leaq 0x931d(%rip), %r14      # 0x25be0
movq %rcx, 0x70(%rsp)
xorl %ecx, %ecx
cmpq %r15, %rax
je 0x1d039
movq %r12, 0x48(%rsp)
movq %rcx, 0x28(%rsp)
movq %rax, 0x88(%rsp)
movq 0x1bd0(%rsp,%rax,8), %r13
movq %r13, %rdi
callq 0xbc48
movl 0x7781(%rip), %eax      # 0x2407c
leal 0x2(%rax), %r12d
movl %r12d, 0x7776(%rip)     # 0x2407c
cmpl $0x752f, %eax           # imm = 0x752F
jl 0x1c930
movl $0x2, 0x7765(%rip)      # 0x2407c
pushq $0x30
popq %rax
cmpq $0x46630, %rax          # imm = 0x46630
je 0x1c92c
andl $0x0, (%rax,%rbx)
addq $0x40, %rax
jmp 0x1c91a
pushq $0x2
popq %r12
movslq 0x4(%r13), %rax
movl (%r14,%rax,4), %eax
movl %eax, 0x58(%rsp)
movq 0x10(%r13), %rax
movq 0x18(%r13), %rcx
movslq 0x4(%rax), %rax
movl (%r14,%rax,4), %edx
movl %edx, %esi
shll $0xa, %esi
movslq 0x4(%rcx), %rax
movl (%r14,%rax,4), %eax
addl %eax, %esi
shll $0xa, %eax
addl %edx, %eax
xorl %ebx, %ebx
movl %esi, 0x1c(%rsp)
cmpl %esi, %eax
jge 0x1c977
leaq 0x290(%rsp), %rcx
pushq $0x1
popq %rax
jmp 0x1c996
jne 0x1c99a
pushq $0x1
popq %rax
movl %eax, 0x24(%rsp)
movq %r13, 0x290(%rsp)
movl %eax, 0x20(%rsp)
leaq 0xe30(%rsp), %rcx
movl %eax, %ebx
movl %eax, %esi
jmp 0x1c9b3
movl $0x1, 0x20(%rsp)
xorl %esi, %esi
leaq 0xe30(%rsp), %rcx
pushq $0x1
popq %rbx
movl %eax, 0x1c(%rsp)
movq %r13, (%rcx)
movl %esi, 0x8(%rsp)
movl %ebx, 0x4(%rsp)
movq 0x20(%r13), %rax
movl %r12d, 0x30(%rax)
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq %rsi, 0x38(%rsp)
cmpq $0x0, 0x28(%rsp)
movl %ebx, 0xc(%rsp)
movq %r13, 0x10(%rsp)
je 0x1cb83
movq 0x28(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rcx
movl %ecx, %esi
cmpl %r12d, 0x30(%rax)
je 0x1cb83
movq 0x28(%rsp), %rax
movslq (%rax), %rax
cmpl $0x3, (%r14,%rax,4)
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rax
movl %eax, %esi
jne 0x1cb83
movq 0x28(%rsp), %rax
movslq 0x4(%rax), %rax
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rcx
movl %ecx, %esi
movl 0x58(%rsp), %ecx
cmpl %ecx, (%r14,%rax,4)
jle 0x1cb83
movq 0x28(%rsp), %rax
movq 0x18(%rax), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rax
movl %eax, %esi
jl 0x1cb83
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rax
movl %eax, %esi
jl 0x1cb83
movq 0x28(%rsp), %rdi
callq 0x1d081
movq 0x50(%rsp), %rbp
movl %ebx, %edi
movq 0x38(%rsp), %rcx
movl %ecx, %esi
testl %eax, %eax
je 0x1cb83
movq 0x28(%rsp), %rcx
movslq 0x4(%rcx), %rax
movl 0x58(%rsp), %edx
cmpl %edx, (%r14,%rax,4)
jg 0x1cb3d
leaq 0x20(%rcx), %rbx
movq 0x10(%rcx), %rax
movq 0x18(%rcx), %rcx
movslq 0x4(%rax), %rax
movl (%r14,%rax,4), %eax
movl %eax, %edx
shll $0xa, %edx
movslq 0x4(%rcx), %rcx
movl (%r14,%rcx,4), %ecx
addl %ecx, %edx
cmpl 0x1c(%rsp), %edx
jg 0x1cb3d
movq 0x38(%rsp), %rdx
movl %edx, %esi
jne 0x1cb32
movq 0x38(%rsp), %rax
leal 0x1(%rax), %esi
movl %esi, 0x24(%rsp)
movl %eax, %eax
movq 0x28(%rsp), %rcx
movq %rcx, 0x290(%rsp,%rax,8)
movq 0x10(%rcx), %rax
movq 0x18(%rcx), %rcx
movslq 0x4(%rcx), %rcx
movl (%r14,%rcx,4), %ecx
movslq 0x4(%rax), %rax
movl (%r14,%rax,4), %eax
shll $0xa, %ecx
addl %eax, %ecx
cmpl 0x1c(%rsp), %ecx
jle 0x1cb5c
andl $0x0, 0x4(%rsp)
andl $0x0, 0x8(%rsp)
movl $0x0, (%rsp)
xorl %ecx, %ecx
leaq 0x225ab9(%rip), %rbx    # 0x242610
jmp 0x1ceb5
jne 0x1cb75
movl 0xc(%rsp), %ecx
movl %ecx, %eax
movq 0x28(%rsp), %r13
movq 0x50(%rsp), %rbp
movl %ecx, %edi
jmp 0x1d01a
movq 0x50(%rsp), %rbp
movl 0xc(%rsp), %edi
jmp 0x1d029
testl %ebp, %ebp
jle 0x1cc78
movq 0x68(%rsp), %rax
movq -0x8(%rax,%rbp,8), %r13
decq %rbp
leaq 0x20(%r13), %rbx
movq 0x20(%r13), %rax
cmpl %r12d, 0x30(%rax)
je 0x1d024
movslq 0x4(%r13), %rax
movl 0x58(%rsp), %ecx
cmpl %ecx, (%r14,%rax,4)
jl 0x1d024
movslq (%r13), %rax
cmpl $0x3, (%r14,%rax,4)
jne 0x1d024
movq 0x18(%r13), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
jl 0x1d024
movq 0x10(%r13), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
jl 0x1d024
movl %edi, 0x34(%rsp)
movl %esi, (%rsp)
movq %r13, %rdi
callq 0x1d081
testl %eax, %eax
je 0x1d007
movslq 0x4(%r13), %rax
movl 0x58(%rsp), %ecx
cmpl %ecx, (%r14,%rax,4)
movl (%rsp), %esi
movl 0x34(%rsp), %edi
jg 0x1cc60
movq 0x10(%r13), %rax
movq 0x18(%r13), %rcx
movslq 0x4(%rax), %rax
movl (%r14,%rax,4), %eax
movl %eax, %edx
shll $0xa, %edx
movslq 0x4(%rcx), %rcx
movl (%r14,%rcx,4), %ecx
addl %ecx, %edx
cmpl 0x1c(%rsp), %edx
jg 0x1cc60
jne 0x1cc51
movslq %esi, %rdx
incl %esi
movq %r13, 0x290(%rsp,%rdx,8)
shll $0xa, %ecx
addl %eax, %ecx
cmpl 0x1c(%rsp), %ecx
jle 0x1d015
andl $0x0, 0x4(%rsp)
andl $0x0, 0x8(%rsp)
movl $0x0, (%rsp)
xorl %ecx, %ecx
jmp 0x1cea9
movl %esi, 0x24(%rsp)
movl %edi, 0x20(%rsp)
movq 0x38(%rsp), %rdx
cmpl %edx, %esi
setg %al
cmpl %ebx, %edi
setg %cl
orb %al, %cl
cmpb $0x1, %cl
movl %ebx, %ecx
leaq 0x225973(%rip), %rbx    # 0x242610
jne 0x1ccd0
leaq 0x290(%rsp), %rdi
leaq 0x24(%rsp), %rsi
leaq 0x8(%rsp), %rdx
leaq 0xe30(%rsp), %rcx
leaq 0x20(%rsp), %r8
leaq 0x4(%rsp), %r9
callq 0xd354
movl 0x8(%rsp), %edx
movl 0x4(%rsp), %ecx
movl $0x0, (%rsp)
movq %rdx, 0x38(%rsp)
movl %edx, %eax
movl %ecx, 0xc(%rsp)
orl %ecx, %eax
movq 0x48(%rsp), %r12
jne 0x1ccf2
xorl %ecx, %ecx
jmp 0x1cf0a
movl 0x24(%rsp), %ebx
movl 0x20(%rsp), %eax
movl %eax, 0x34(%rsp)
xorl %r13d, %r13d
movslq 0x2258f8(%rip), %rax    # 0x242600
cmpq %rax, %r13
jge 0x1ce57
movl 0x58(%rsp), %eax
cmpl %eax, (%r14,%r13,4)
jle 0x1cd87
leaq 0x8cbe(%rip), %rax      # 0x259e0
movq (%rax,%r13,8), %rbp
movl 0x7350(%rip), %eax      # 0x2407c
movq %rbp, %r12
cmpl %eax, 0x30(%r12)
je 0x1cd78
movslq 0x4(%r12), %rcx
cmpl $0x3, (%r14,%rcx,4)
jne 0x1cd78
movq 0x20(%r12), %rdi
movq 0x18(%rdi), %rcx
movslq 0x4(%rcx), %rcx
cmpl $0x4, (%r14,%rcx,4)
jl 0x1cd78
movq 0x10(%rdi), %rcx
movslq 0x4(%rcx), %rcx
cmpl $0x4, (%r14,%rcx,4)
jl 0x1cd78
callq 0x1d081
testl %eax, %eax
jne 0x1ce85
movl 0x7304(%rip), %eax      # 0x2407c
movq 0x18(%r12), %r12
cmpq %rbp, %r12
jne 0x1cd2f
jmp 0x1ce4f
jne 0x1ce4f
leaq 0x8c4c(%rip), %rax      # 0x259e0
movq (%rax,%r13,8), %r12
movq %r12, %rbp
movslq 0x4(%rbp), %rax
cmpl $0x3, (%r14,%rax,4)
jne 0x1ce42
movl 0x30(%rbp), %eax
cmpl 0x72c9(%rip), %eax      # 0x2407c
je 0x1ce42
movq 0x20(%rbp), %rdi
movq 0x18(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
jl 0x1ce42
movq 0x10(%rdi), %rax
movslq 0x4(%rax), %rax
cmpl $0x4, (%r14,%rax,4)
jl 0x1ce42
callq 0x1d081
testl %eax, %eax
je 0x1ce42
movq 0x20(%rbp), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rax), %rdx
movslq 0x4(%rcx), %rcx
movl (%r14,%rcx,4), %ecx
movl %ecx, %esi
shll $0xa, %esi
movslq 0x4(%rdx), %rdx
movl (%r14,%rdx,4), %edx
addl %edx, %esi
cmpl 0x1c(%rsp), %esi
jg 0x1ce98
jne 0x1ce20
movslq %ebx, %rsi
incl %ebx
movq %rax, 0x290(%rsp,%rsi,8)
shll $0xa, %edx
addl %ecx, %edx
cmpl 0x1c(%rsp), %edx
jg 0x1ce98
jne 0x1ce42
movl 0x34(%rsp), %edx
movslq %edx, %rcx
incl %edx
movl %edx, 0x34(%rsp)
movq %rax, 0xe30(%rsp,%rcx,8)
movq 0x18(%rbp), %rbp
cmpq %r12, %rbp
jne 0x1cd9b
incq %r13
jmp 0x1cd01
movl %ebx, 0x24(%rsp)
movl 0x34(%rsp), %edx
movl %edx, 0x20(%rsp)
movq 0x38(%rsp), %rcx
cmpl %ecx, %ebx
jg 0x1cebc
cmpl 0xc(%rsp), %edx
jg 0x1cebc
movl 0xc(%rsp), %eax
movl %eax, (%rsp)
movl %edx, %eax
movq %rax, 0x70(%rsp)
movl %ebx, %r12d
jmp 0x1cefe
andl $0x0, 0x4(%rsp)
andl $0x0, 0x8(%rsp)
xorl %ecx, %ecx
movq %r12, 0x28(%rsp)
jmp 0x1cea9
andl $0x0, 0x4(%rsp)
andl $0x0, 0x8(%rsp)
xorl %ecx, %ecx
movq %rbp, 0x28(%rsp)
leaq 0x225760(%rip), %rbx    # 0x242610
movq 0x10(%rsp), %r13
movq 0x48(%rsp), %r12
jmp 0x1cf0a
leaq 0x290(%rsp), %rdi
leaq 0x24(%rsp), %rsi
leaq 0x8(%rsp), %rdx
leaq 0xe30(%rsp), %rcx
leaq 0x20(%rsp), %r8
leaq 0x4(%rsp), %r9
callq 0xd354
movl 0x24(%rsp), %r12d
movl 0x20(%rsp), %eax
movq %rax, 0x70(%rsp)
movl 0x8(%rsp), %ecx
movl 0x4(%rsp), %eax
movl %eax, (%rsp)
leaq 0x22570b(%rip), %rbx    # 0x242610
movq 0x10(%rsp), %r13
movl (%rsp), %eax
addl %ecx, %eax
jle 0x1cfea
movq %rcx, %rdx
movl 0x2256e2(%rip), %eax    # 0x242600
cmpl 0x733c(%rip), %eax      # 0x24260
movq 0x70(%rsp), %r8
jne 0x1cf51
cmpl $0x0, 0x8a9e(%rip)      # 0x259d0
jne 0x1cf51
cmpl %edx, %r12d
jne 0x1cf51
cmpl (%rsp), %r8d
jne 0x1cf51
pushq $0x1
popq %rdi
movl %edi, %esi
pushq $0x4
popq %rdx
callq 0x658a
jmp 0x1cfea
leal (%r12,%r8), %ecx
cmpl $0x1, %ecx
jne 0x1cf7d
movq 0x68(%rsp), %r8
movq 0x80(%rsp), %rcx
movq %r13, (%r8,%rcx,8)
xorl %ecx, %ecx
cmpl 0x8a61(%rip), %eax      # 0x259d4
sete %cl
pushq $0x1
popq %rdi
movl %edi, %esi
jmp 0x1cfde
subq $0x8, %rsp
leaq 0x298(%rsp), %rdi
movl %r12d, %esi
leaq 0xe38(%rsp), %rcx
movl 0x8(%rsp), %r9d
leaq 0x68(%rsp), %rax
pushq %rax
leaq 0x74(%rsp), %rax
pushq %rax
pushq %r14
callq 0xb886
addq $0x20, %rsp
testl %eax, %eax
je 0x1cfea
movq 0x68(%rsp), %r8
movq 0x80(%rsp), %rax
movq %r13, (%r8,%rax,8)
movl 0x64(%rsp), %edi
movl 0x60(%rsp), %esi
movl 0x22562d(%rip), %eax    # 0x242600
xorl %ecx, %ecx
cmpl 0x89f9(%rip), %eax      # 0x259d4
sete %cl
xorl %edx, %edx
movl 0x44(%rsp), %r9d
callq 0x1c50c
movq %r13, %rdi
callq 0xbd47
movq 0x88(%rsp), %rax
incq %rax
movq 0x28(%rsp), %rcx
jmp 0x1c8ca
movq 0x10(%rsp), %r13
movl (%rsp), %esi
movl 0x34(%rsp), %edi
jmp 0x1d029
jne 0x1d024
movslq %edi, %rax
incl %edi
movq %r13, 0xe30(%rsp,%rax,8)
movq 0x10(%rsp), %r13
movq (%rbx), %rax
movl %r12d, 0x30(%rax)
movl 0xc(%rsp), %ebx
jmp 0x1cb83
cmpl $0x0, 0x7c(%rsp)
je 0x1d06f
movl 0x2255ba(%rip), %eax    # 0x242600
xorl %ecx, %ecx
testl %eax, %eax
cmovlel %ecx, %eax
shlq $0x3, %rax
leaq 0x8988(%rip), %rsi      # 0x259e0
cmpq %rcx, %rax
je 0x1d06f
movq 0x90(%rsp,%rcx), %rdx
movq %rdx, (%rcx,%rsi)
addq $0x8, %rcx
jmp 0x1d058
addq $0x2778, %rsp           # imm = 0x2778
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq