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

/* This is the recursive search procedure for polytopes.
   oldfeas[0..noldfeas-1] are the edges which can be removed
   without violating connectivity.  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 3).

   This version is for 3-connected only!  scanpoly() is the more
   general version that works for connectivity 1 or more.
*/

{
    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;

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

#ifdef PRE_FILTER_POLY
    if (!(PRE_FILTER_POLY)) 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 != 3) e = e->invers;
	if (e->invers->left_facesize < oldmaxface-1
                      || e->invers->left_facesize == maxfacesize)
            continue;

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

        if (code == 0)
        {
#ifdef FAST_FILTER_POLY
	    if (FAST_FILTER_POLY)
#endif
	    {
	        if (ngood_or + ngood_inv == 1)
	        {
                    esave = oldfeas[i];
                    oldfeas[i] = oldfeas[noldfeas-1];
                    prune_poly_edgelist(oldfeas,noldfeas-1,newfeas,&nnewfeas);
                    oldfeas[i] = esave;
                    scanpoly_c3(1,1,newfeas,nnewfeas,
                             newmaxface,newmaxlist0,newmaxlist1);
                }
                else if (canon_edge_oriented(good_or,ngood_or,ncan_or,
                    		             good_inv,ngood_inv,ncan_inv,
                    		             degree,numbering,&xnbtot,&xnbop))
                {
		    esave = oldfeas[i];
                    oldfeas[i] = oldfeas[noldfeas-1];
                    prune_poly_edgelist(oldfeas,noldfeas-1,newfeas,&nnewfeas);
                    oldfeas[i] = esave;
                    scanpoly_c3(xnbtot,xnbop,newfeas,nnewfeas,
			     newmaxface,newmaxlist0,newmaxlist1);
                }
	    }
            insert_edge_tri(e);
        }
        else if (code == 1)
	{
	    oldfeas[i] = oldfeas[noldfeas-1];
	    minimal[i] = minimal[noldfeas-1];
	    --i;
	    --noldfeas;
	}
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20d8, %rsp           # imm = 0x20D8
movl %r9d, 0xac(%rsp)
movl %ecx, %r9d
movq %rdx, %r12
movl %edi, %ebx
movl 0x23000d(%rip), %eax    # 0x244614
cmpl 0x11c53(%rip), %eax     # 0x26260
jg 0x1462d
movl %ebx, %edi
movl $0x3, %edx
movq %r8, %r14
movq %r9, %r15
callq 0x761c
movq %r15, %r9
movq %r14, %r8
movl 0x22ffe7(%rip), %eax    # 0x244614
cmpl 0x11c29(%rip), %eax     # 0x2625c
je 0x1513f
subl %r9d, %eax
subl %r9d, %eax
cmpl 0x11c1b(%rip), %eax     # 0x26260
jg 0x1513f
leaq 0xd0(%rsp), %rdx
movq %r12, %rdi
movl %r9d, %esi
movl %ebx, %ecx
movq %r8, 0x30(%rsp)
movq %r9, %rbx
callq 0xe21c
movq %rbx, %rdi
movq 0x30(%rsp), %rdx
testl %edi, %edi
jle 0x1513f
movl 0x2110(%rsp), %esi
leal -0x1(%rdx), %r9d
movslq %esi, %rax
leal 0x3(%rax), %ecx
movl %ecx, 0xa8(%rsp)
leaq 0x2776a9(%rip), %rcx    # 0x28bd40
leaq (%rcx,%rax,8), %rcx
movq %rcx, 0xb8(%rsp)
movq %rax, %rcx
leal 0x4(%rax), %r8d
movl %r8d, 0xa4(%rsp)
shlq $0x20, %rax
movq %rax, 0xc8(%rsp)
negq %rcx
movq %rcx, 0xc0(%rsp)
xorl %ebx, %ebx
leaq 0x1351e(%rip), %r8      # 0x27bf0
movl %r9d, 0x20(%rsp)
movq %r12, 0x38(%rsp)
movslq %ebx, %rax
cmpl $0x0, 0xd0(%rsp,%rax,4)
je 0x14cc0
movq (%r12,%rax,8), %rbp
cmpl $0x3, 0x38(%rbp)
je 0x146fb
movq 0x20(%rbp), %rbp
movq 0x20(%rbp), %r15
movl 0x38(%r15), %r11d
cmpl %r9d, %r11d
jl 0x14cc0
cmpl 0x11b51(%rip), %r11d    # 0x26264
je 0x14cc0
movq %rax, 0x98(%rsp)
cmpl %edx, %r11d
movl %esi, %r12d
cmovll 0xac(%rsp), %r12d
movslq (%rbp), %rax
movslq 0x4(%rbp), %r13
movq %rax, 0x50(%rsp)
movl (%r8,%rax,4), %eax
movl (%r8,%r13,4), %ecx
cmpl %ecx, %eax
cmovgl %eax, %ecx
movq 0x10(%rbp), %r10
movq %r10, 0x88(%rsp)
movslq 0x4(%r10), %r14
cmpl %ecx, (%r8,%r14,4)
jge 0x14808
movl %r12d, 0x68(%rsp)
movq 0x18(%rbp), %r12
movslq 0x4(%r12), %r10
movq %r10, 0x90(%rsp)
cmpl %ecx, (%r8,%r10,4)
jge 0x14808
movq %r12, 0x80(%rsp)
leal 0x1(%r11), %r9d
leal -0x1(%rcx), %r12d
decl %eax
movq 0x50(%rsp), %rdx
movl %eax, (%r8,%rdx,4)
movl (%r8,%r13,4), %eax
leal -0x1(%rax), %esi
movq %r13, 0x40(%rsp)
movl %esi, (%r8,%r13,4)
movl (%r8,%rdx,4), %edx
xorl %r13d, %r13d
movl %edx, 0x24(%rsp)
movl %r12d, 0x60(%rsp)
cmpl %r12d, %edx
movq %rdi, 0x28(%rsp)
movl %r9d, 0x5c(%rsp)
jne 0x14812
movq 0x88(%rsp), %rdx
movslq 0x4(%rdx), %rsi
movslq (%r8,%rsi,4), %rdi
movq %rdx, 0xf60(%rsp)
cmpl $0x4, %r9d
jne 0x14819
movq 0x80(%rsp), %rdx
movslq 0x4(%rdx), %rsi
movslq (%r8,%rsi,4), %rsi
cmpl %edi, %esi
jle 0x14821
xorl %r8d, %r8d
movq %rsi, %rdi
jmp 0x1482b
movq 0x38(%rsp), %r12
jmp 0x14cc0
xorl %r8d, %r8d
xorl %edi, %edi
jmp 0x14841
movl $0x1, %r8d
jmp 0x14841
movl $0x1, %r8d
cmpl %edi, %esi
jne 0x14841
movq 0x80(%rsp), %rdx
movq %rdx, 0x3c0(%rsp)
movl $0x1, %r13d
movq 0x10(%r15), %r9
movq 0x18(%r15), %r12
cmpl %ecx, %eax
jne 0x1487a
movslq 0x4(%r12), %rax
leaq 0x13397(%rip), %rsi     # 0x27bf0
movslq (%rsi,%rax,4), %rax
cmpq %rax, %rdi
jge 0x148ce
movl $0x1, %r15d
xorl %r8d, %r8d
leaq 0x3c0(%rsp), %rsi
movq 0x40(%rsp), %r13
jmp 0x148ec
movl %r8d, %edx
movq %r13, %r15
cmpl $0x3, %r11d
jle 0x1497c
movl 0x60(%rsp), %eax
cmpl %eax, 0x24(%rsp)
jne 0x14979
movq %r8, %rsi
movq 0x80(%rsp), %rax
movslq 0x4(%rax), %rax
leaq 0x13342(%rip), %r8      # 0x27bf0
movslq (%r8,%rax,4), %rax
cmpq %rax, %rdi
movq 0x40(%rsp), %rax
jge 0x14cee
movq 0x50(%rsp), %rdx
movl %ecx, (%r8,%rdx,4)
jmp 0x14ca1
movq %r13, %r15
movq 0x40(%rsp), %r13
jne 0x148f1
movl %r15d, %eax
incl %r15d
leaq (%rsp,%rax,8), %rsi
addq $0x3c0, %rsi            # imm = 0x3C0
movq %rdi, %rax
movq %r12, (%rsi)
jmp 0x148f4
movq %rdi, %rax
cmpl $0x4, 0x5c(%rsp)
jne 0x1492a
movslq 0x4(%r9), %rsi
leaq 0x132ea(%rip), %rdi     # 0x27bf0
movslq (%rdi,%rsi,4), %rdi
cmpq %rdi, %rax
jge 0x14963
movq %r9, 0xf60(%rsp)
movl $0x1, %r8d
xorl %r15d, %r15d
movl $0x1, %edx
xorl %r13d, %r13d
jmp 0x1497c
cmpl $0x3, %r11d
jle 0x14973
movq %r8, %r11
movslq 0x4(%r9), %rsi
leaq 0x132b2(%rip), %r8      # 0x27bf0
movslq (%r8,%rsi,4), %rsi
cmpq %rsi, %rax
jge 0x14d13
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x50(%rsp), %rax
movl %ecx, (%r8,%rax,4)
incl (%r8,%r13,4)
jmp 0x14ca5
jne 0x14973
movl %r8d, %esi
incl %r8d
movq %r9, 0xf60(%rsp,%rsi,8)
movq %rax, %rdi
movl %r8d, %edx
movl %r15d, %r13d
movq %r8, 0x70(%rsp)
leaq 0x13268(%rip), %r8      # 0x27bf0
movl 0x60(%rsp), %eax
cmpl %eax, (%r8,%r14,4)
jne 0x149e1
movq 0x20(%r12), %rax
movslq 0x4(%rax), %rsi
movslq (%r8,%rsi,4), %rsi
cmpq %rsi, %rdi
jl 0x149d6
jne 0x149b2
movl %edx, %esi
incl %edx
movq %rax, 0xf60(%rsp,%rsi,8)
movq 0x88(%rsp), %rax
movq 0x20(%rax), %rax
movslq 0x4(%rax), %rsi
leaq 0x13227(%rip), %r8      # 0x27bf0
movslq (%r8,%rsi,4), %rsi
cmpq %rsi, %rdi
jge 0x14ccf
movl 0x24(%rsp), %ecx
incl %ecx
jmp 0x14c93
movq %r13, 0x48(%rsp)
movq %r15, 0x78(%rsp)
movl 0xa4(%rsp), %esi
movq 0xb8(%rsp), %r11
movq 0xc8(%rsp), %r10
movl 0xa8(%rsp), %r13d
movl %esi, %r15d
movq 0x20(%r9), %rsi
movslq 0x4(%r9), %rax
movq %rsi, (%r11)
leaq 0x131d1(%rip), %r8      # 0x27bf0
movl (%r8,%rax,4), %r9d
cmpl %ecx, %r9d
jge 0x14c86
cmpl 0x60(%rsp), %r9d
jne 0x14a92
movslq 0x4(%rsi), %r9
leaq 0x131b2(%rip), %r8      # 0x27bf0
movslq (%r8,%r9,4), %r9
cmpq %r9, %rdi
jl 0x14c86
jne 0x14a65
movq 0x48(%rsp), %r8
movslq %r8d, %r9
incl %r8d
movq %r8, 0x48(%rsp)
movq %rsi, 0x3c0(%rsp,%r9,8)
movq 0x10(%rsi), %r9
movslq 0x4(%r9), %rsi
leaq 0x1317c(%rip), %r8      # 0x27bf0
movslq (%r8,%rsi,4), %rsi
cmpq %rsi, %rdi
jl 0x14c86
jne 0x14a96
movslq %edx, %rsi
incl %edx
movq %r9, 0xf60(%rsp,%rsi,8)
jmp 0x14a96
movq 0x10(%rsi), %r9
incl %r13d
movabsq $0x100000000, %rsi      # imm = 0x100000000
addq %rsi, %r10
addq $0x8, %r11
leal 0x1(%r15), %esi
cmpl 0x90(%rsp), %eax
jne 0x14a0a
movq %r10, %rax
sarq $0x1d, %rax
leaq 0x277277(%rip), %r8     # 0x28bd40
movq %r12, (%rax,%r8)
movq 0x88(%rsp), %rax
movq 0x20(%rax), %rax
movabsq $0x100000000, %rsi      # imm = 0x100000000
addq %r10, %rsi
sarq $0x1d, %rsi
movq %rax, (%rsi,%r8)
movabsq $0x200000000, %rax      # imm = 0x200000000
addq %rax, %r10
sarq $0x1d, %r10
movq 0x80(%rsp), %rax
movq %rax, (%r10,%r8)
movl 0x2110(%rsp), %eax
movl %eax, %esi
movl 0x68(%rsp), %eax
subl %eax, %esi
jle 0x14bc0
movslq %eax, %r8
shlq $0x3, %r8
xorl %r9d, %r9d
leaq (%r8,%r9,8), %rax
leaq 0x27720b(%rip), %r10    # 0x28bd40
movq (%r10,%rax), %rax
movslq (%rax), %r10
leaq 0x130ad(%rip), %r11     # 0x27bf0
movl (%r11,%r10,4), %r10d
cmpl %ecx, %r10d
jge 0x14c86
cmpl 0x60(%rsp), %r10d
jne 0x14bb4
movslq 0x4(%rax), %r10
leaq 0x1308e(%rip), %r11     # 0x27bf0
movslq (%r11,%r10,4), %r10
cmpq %r10, %rdi
jl 0x14c86
jne 0x14b89
movq 0x48(%rsp), %r11
movslq %r11d, %r10
incl %r11d
movq %r11, 0x48(%rsp)
movq %rax, 0x3c0(%rsp,%r10,8)
movq 0x10(%rax), %rax
movslq 0x4(%rax), %r10
leaq 0x13058(%rip), %r11     # 0x27bf0
movslq (%r11,%r10,4), %r10
cmpq %r10, %rdi
jl 0x14c86
jne 0x14bb4
movslq %edx, %r10
incl %edx
movq %rax, 0xf60(%rsp,%r10,8)
incq %r9
cmpl %r9d, %esi
jne 0x14b2a
movq %rdx, 0x60(%rsp)
movq %rbp, %rdi
callq 0x163e7
testl %eax, %eax
je 0x14d3d
cmpl 0x2110(%rsp), %r13d
movq 0x28(%rsp), %rdi
movq 0xb8(%rsp), %rsi
leaq 0x12fff(%rip), %r11     # 0x27bf0
movl 0x5c(%rsp), %r10d
jle 0x14c15
movslq %r15d, %rax
addq 0xc0(%rsp), %rax
xorl %ecx, %ecx
movq (%rsi,%rcx,8), %rdx
movl %r10d, 0x38(%rdx)
incq %rcx
cmpq %rcx, %rax
jne 0x14c05
movq 0x10(%rbp), %rax
movq 0x18(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x10(%rcx)
movq 0x20(%rbp), %r8
movq 0x10(%r8), %rcx
movq 0x18(%r8), %rdx
movq %rdx, 0x18(%rcx)
movq %rcx, 0x10(%rdx)
addl $-0x2, 0x22f9d4(%rip)   # 0x244614
leaq 0x12da9(%rip), %rax     # 0x279f0
movq 0x50(%rsp), %rcx
movq 0x88(%rsp), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x40(%rsp), %rcx
movq %r12, (%rax,%rcx,8)
movq 0x48(%rsp), %rax
movq 0x60(%rsp), %rsi
leal (%rax,%rsi), %ecx
cmpl $0x1, %ecx
jne 0x14d90
movq 0x38(%rsp), %r12
movq 0x78(%rsp), %r9
jmp 0x1500d
movl 0x24(%rsp), %ecx
incl %ecx
leaq 0x12f5d(%rip), %r8      # 0x27bf0
movq 0x50(%rsp), %rax
movl %ecx, (%r8,%rax,4)
movq 0x40(%rsp), %rax
incl (%r8,%rax,4)
movq 0x30(%rsp), %rdx
movq 0x28(%rsp), %rdi
movq 0x38(%rsp), %r12
movl 0x2110(%rsp), %esi
movl 0x20(%rsp), %r9d
incl %ebx
cmpl %edi, %ebx
jl 0x146dc
jmp 0x1513f
movq %r15, 0x78(%rsp)
jne 0x14d33
movl %r13d, %esi
incl %r13d
movq %r13, 0x48(%rsp)
movq %rax, 0x3c0(%rsp,%rsi,8)
jmp 0x149eb
movq %rsi, %r8
jne 0x14979
leal 0x1(%r15), %r13d
movl %r15d, %eax
movq 0x80(%rsp), %rsi
movq %rsi, 0x3c0(%rsp,%rax,8)
jmp 0x1497c
jne 0x14df2
movq %r11, %r8
leal 0x1(%r11), %edx
movl %r8d, %esi
movq %r9, 0xf60(%rsp,%rsi,8)
movq %rax, %rdi
jmp 0x1488a
movq %r13, 0x48(%rsp)
jmp 0x149eb
leaq 0x12eac(%rip), %r8      # 0x27bf0
movq 0x50(%rsp), %rax
incl (%r8,%rax,4)
movq 0x40(%rsp), %rax
incl (%r8,%rax,4)
movq 0x28(%rsp), %rdi
movslq %edi, %rax
decl %edi
movq 0x38(%rsp), %r12
movq -0x8(%r12,%rax,8), %rcx
movq 0x98(%rsp), %rbx
movq %rcx, (%r12,%rbx,8)
movl 0xcc(%rsp,%rax,4), %eax
movl %eax, 0xd0(%rsp,%rbx,4)
decl %ebx
movq 0x30(%rsp), %rdx
jmp 0x14cb4
movq %r8, 0x90(%rsp)
movq 0x70(%rsp), %rax
movl %eax, %edi
testl %eax, %eax
movq 0x38(%rsp), %r12
movq 0x78(%rsp), %rax
jle 0x14e00
xorl %ecx, %ecx
xorl %esi, %esi
leaq 0x12e38(%rip), %r10     # 0x27bf0
movq 0xf60(%rsp,%rcx,8), %rdx
movq 0x20(%rdx), %r8
movq 0x10(%r8), %r8
movslq 0x4(%r8), %r8
movl (%r10,%r8,4), %r8d
shll $0xa, %r8d
movslq 0x38(%rdx), %r9
movslq %r8d, %rdx
addq %r9, %rdx
cmpq %rdx, %rsi
cmovgq %rsi, %rdx
incq %rcx
movq %rdx, %rsi
cmpq %rcx, %rdi
jne 0x14db8
jmp 0x14e02
movq %rax, %rdi
movq %r11, %r8
movl %r8d, %edx
jmp 0x1488a
xorl %edx, %edx
movl %eax, %esi
testl %eax, %eax
jle 0x14e4c
xorl %r8d, %r8d
leaq 0x12dde(%rip), %r11     # 0x27bf0
movq 0x3c0(%rsp,%r8,8), %rcx
movq 0x20(%rcx), %rcx
movq 0x18(%rcx), %r9
movslq 0x4(%r9), %r9
movl (%r11,%r9,4), %r9d
shll $0xa, %r9d
movslq 0x38(%rcx), %r10
movslq %r9d, %rcx
addq %r10, %rcx
cmpq %rcx, %rdx
cmovgq %rdx, %rcx
incq %r8
movq %rcx, %rdx
cmpq %r8, %rsi
jne 0x14e12
jmp 0x14e4f
movq %rdx, %rcx
cmpl $0x0, 0x70(%rsp)
jle 0x14ea9
xorl %r8d, %r8d
xorl %edx, %edx
movq 0xf60(%rsp,%r8,8), %r9
movq 0x20(%r9), %r10
movq 0x10(%r10), %r10
movslq 0x4(%r10), %r10
leaq 0x12d7a(%rip), %r11     # 0x27bf0
movl (%r11,%r10,4), %r10d
shll $0xa, %r10d
movslq 0x38(%r9), %r11
movslq %r10d, %r10
addq %r11, %r10
cmpq %r10, %rcx
jne 0x14e9a
movslq %edx, %r10
incl %edx
movq %r9, 0xf60(%rsp,%r10,8)
incq %r8
cmpq %r8, %rdi
jne 0x14e5b
movq 0x70(%rsp), %r8
jmp 0x14eae
xorl %edx, %edx
xorl %r8d, %r8d
movl %edx, %edi
movq 0x60(%rsp), %r9
cmpl %r9d, %r8d
jge 0x14f11
movl %r8d, %r8d
movl %r9d, %r9d
movl %edx, %edi
movq 0xf60(%rsp,%r8,8), %r10
movq 0x20(%r10), %r11
movq 0x10(%r11), %r11
movslq 0x4(%r11), %r11
leaq 0x12d13(%rip), %r15     # 0x27bf0
movl (%r15,%r11,4), %r11d
shll $0xa, %r11d
movslq 0x38(%r10), %r15
movslq %r11d, %r11
addq %r15, %r11
cmpq %r11, %rcx
jne 0x14f03
movslq %edi, %r11
incl %edi
movq %r10, 0xf60(%rsp,%r11,8)
jmp 0x14f09
jl 0x15131
incq %r8
cmpq %r8, %r9
jne 0x14ec2
testl %eax, %eax
jle 0x14f6f
movq %rax, 0x78(%rsp)
xorl %r9d, %r9d
xorl %r8d, %r8d
movq 0x3c0(%rsp,%r9,8), %r10
movq 0x20(%r10), %r11
movq 0x18(%r11), %r15
movslq 0x4(%r15), %r15
leaq 0x12cb5(%rip), %rax     # 0x27bf0
movl (%rax,%r15,4), %r15d
shll $0xa, %r15d
movslq 0x38(%r11), %r11
movslq %r15d, %r15
addq %r11, %r15
cmpq %r15, %rcx
jne 0x14f60
movslq %r8d, %r11
incl %r8d
movq %r10, 0x3c0(%rsp,%r11,8)
incq %r9
cmpq %r9, %rsi
jne 0x14f20
movq 0x78(%rsp), %rax
jmp 0x14f74
xorl %r8d, %r8d
xorl %eax, %eax
movq 0x48(%rsp), %r9
cmpl %r9d, %eax
jge 0x14fed
movl %eax, %esi
movl %r9d, %r9d
movl %r8d, %eax
movq %rax, 0x48(%rsp)
movq 0x3c0(%rsp,%rsi,8), %r10
movq 0x20(%r10), %r11
movq 0x18(%r11), %r15
movslq 0x4(%r15), %r15
leaq 0x12c4a(%rip), %rax     # 0x27bf0
movl (%rax,%r15,4), %r15d
shll $0xa, %r15d
movslq 0x38(%r11), %r11
movslq %r15d, %r15
addq %r11, %r15
cmpq %r15, %rcx
jne 0x14fd6
movq 0x48(%rsp), %rax
movslq %eax, %r11
incl %eax
movq %rax, 0x48(%rsp)
movq %r10, 0x3c0(%rsp,%r11,8)
jmp 0x14fdc
jl 0x15131
incq %rsi
cmpq %rsi, %r9
jne 0x14f8b
movl %edx, %eax
movq %rax, 0x70(%rsp)
jmp 0x14ffc
movl %edx, %eax
movq %rax, 0x70(%rsp)
movl %r8d, %eax
movq %rax, 0x48(%rsp)
movl %r8d, %r9d
movl %edi, %esi
movq 0x28(%rsp), %rdi
leaq 0x12be3(%rip), %r11     # 0x27bf0
movq 0x48(%rsp), %r8
leal (%rsi,%r8), %eax
cmpl $0x1, %eax
jne 0x15066
movq 0x98(%rsp), %r14
movq (%r12,%r14,8), %r15
leal -0x1(%rdi), %esi
movslq %edi, %rax
movq -0x8(%r12,%rax,8), %rax
movq %rax, (%r12,%r14,8)
movq %r12, %rdi
leaq 0x1b00(%rsp), %rdx
leaq 0x6c(%rsp), %rcx
callq 0x14582
movq %r15, (%r12,%r14,8)
movl 0x6c(%rsp), %ecx
movl %r13d, (%rsp)
movl $0x1, %edi
movl $0x1, %esi
jmp 0x150f0
leaq 0xb0(%rsp), %rax
movq %rax, 0x10(%rsp)
leaq 0xb4(%rsp), %rax
movq %rax, 0x8(%rsp)
movq %r11, (%rsp)
leaq 0xf60(%rsp), %rdi
movq 0x70(%rsp), %rdx
leaq 0x3c0(%rsp), %rcx
callq 0xc7bb
testl %eax, %eax
je 0x15107
movq 0x98(%rsp), %r14
movq (%r12,%r14,8), %r15
movq 0x28(%rsp), %rax
leal -0x1(%rax), %esi
cltq
movq -0x8(%r12,%rax,8), %rax
movq %rax, (%r12,%r14,8)
movq %r12, %rdi
leaq 0x1b00(%rsp), %rdx
leaq 0x6c(%rsp), %rcx
callq 0x14582
movq %r15, (%r12,%r14,8)
movl 0xb4(%rsp), %edi
movl 0xb0(%rsp), %esi
movl 0x6c(%rsp), %ecx
movl %r13d, (%rsp)
leaq 0x1b00(%rsp), %rdx
movl 0x5c(%rsp), %r8d
movl 0x68(%rsp), %r9d
callq 0x145e0
movq %rbp, %rdi
callq 0x16375
movq 0x30(%rsp), %rdx
movq 0x28(%rsp), %rdi
movl 0x2110(%rsp), %esi
movl 0x20(%rsp), %r9d
leaq 0x12ac4(%rip), %r8      # 0x27bf0
jmp 0x14cc0
movq 0x90(%rsp), %rax
movq 0x20(%rax), %rdi
jmp 0x1510a
addq $0x20d8, %rsp           # imm = 0x20D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq