// File: /workspace/github_c_makefile_star2_O2/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 $0x20c8, %rsp           # imm = 0x20C8
movl %r9d, %ebp
movl %r8d, %r14d
movl %ecx, %r15d
movq %rdx, 0x80(%rsp)
movl %edi, %ebx
movl 0x22f46a(%rip), %eax    # 0x242604
cmpl 0x110b0(%rip), %eax     # 0x24250
jg 0x131b2
pushq $0x3
popq %rdx
movl %ebx, %edi
callq 0x658a
movl 0x22f452(%rip), %eax    # 0x242604
cmpl 0x11094(%rip), %eax     # 0x2424c
je 0x131c8
subl %r15d, %eax
subl %r15d, %eax
cmpl 0x1108a(%rip), %eax     # 0x24250
jle 0x131da
addq $0x20c8, %rsp           # imm = 0x20C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl 0x2100(%rsp), %r12d
leaq 0xc0(%rsp), %rdx
movq 0x80(%rsp), %rdi
movl %r15d, %esi
movl %ebx, %ecx
callq 0xd1e1
movl %r12d, %edi
movq %r15, %rdx
leal -0x1(%r14), %esi
movslq %r12d, %rax
movq %rax, %rcx
shlq $0x20, %rcx
movq %rcx, 0xb8(%rsp)
leal 0x3(%rax), %ecx
movl %ecx, 0x9c(%rsp)
leaq 0x276b07(%rip), %rcx    # 0x289d30
movq %rax, 0xb0(%rsp)
leaq (%rcx,%rax,8), %rax
movq %rax, 0xa8(%rsp)
xorl %r12d, %r12d
leaq 0x12999(%rip), %r9      # 0x25be0
movl %ebp, 0x20(%rsp)
movq %r14, 0x30(%rsp)
movl %esi, 0x1c(%rsp)
cmpl %edx, %r12d
jge 0x131c8
movslq %r12d, %r15
cmpl $0x0, 0xc0(%rsp,%r15,4)
je 0x13822
movq 0x80(%rsp), %rax
movq (%rax,%r15,8), %r13
cmpl $0x3, 0x38(%r13)
je 0x13286
movq 0x20(%r13), %r13
movq 0x20(%r13), %rbx
movl 0x38(%rbx), %r11d
cmpl %esi, %r11d
jl 0x13822
cmpl 0x10fb6(%rip), %r11d    # 0x24254
je 0x13822
cmpl %r14d, %r11d
movl %edi, %r8d
cmovll %ebp, %r8d
movslq (%r13), %rax
movslq 0x4(%r13), %rcx
movq %rax, 0x50(%rsp)
movl (%r9,%rax,4), %eax
movq %rcx, 0x28(%rsp)
movl (%r9,%rcx,4), %ecx
cmpl %ecx, %eax
cmovgl %eax, %ecx
movq 0x10(%r13), %r10
movq %r10, 0x88(%rsp)
movslq 0x4(%r10), %r10
cmpl %ecx, (%r9,%r10,4)
jge 0x13822
movl %r8d, 0x78(%rsp)
movq 0x18(%r13), %rsi
movq %rsi, 0x70(%rsp)
movslq 0x4(%rsi), %rsi
cmpl %ecx, (%r9,%rsi,4)
jge 0x1381e
movq %rsi, 0x38(%rsp)
movl %ebp, %r8d
movq %rdx, 0x48(%rsp)
leal 0x1(%r11), %esi
leal -0x1(%rcx), %edx
decl %eax
movq 0x50(%rsp), %rbp
movl %eax, (%r9,%rbp,4)
movq 0x28(%rsp), %rdi
movl (%r9,%rdi,4), %r14d
leal -0x1(%r14), %eax
movl %eax, (%r9,%rdi,4)
movl (%r9,%rbp,4), %eax
movq $0x0, 0x40(%rsp)
movl %eax, 0x24(%rsp)
cmpl %edx, %eax
movl %esi, 0x6c(%rsp)
jne 0x13397
movq 0x88(%rsp), %rbp
movslq 0x4(%rbp), %rax
movslq (%r9,%rax,4), %rdi
movq %rbp, 0xf50(%rsp)
cmpl $0x4, %esi
jne 0x133a4
movq 0x70(%rsp), %rax
movslq 0x4(%rax), %rax
movslq (%r9,%rax,4), %rax
cmpl %edi, %eax
movl %r8d, %ebp
movq 0x38(%rsp), %rsi
jle 0x1347a
movq $0x0, 0x58(%rsp)
movq %rax, %rdi
jmp 0x1348e
movq $0x0, 0x58(%rsp)
xorl %edi, %edi
jmp 0x133ac
pushq $0x1
popq %rax
movq %rax, 0x58(%rsp)
movl %r8d, %ebp
movq 0x38(%rsp), %rsi
movq 0x10(%rbx), %r9
movq 0x18(%rbx), %rbx
cmpl %ecx, %r14d
jne 0x13424
movslq 0x4(%rbx), %rax
movq %rbx, %r8
leaq 0x12811(%rip), %rbx     # 0x25be0
movslq (%rbx,%rax,4), %rbx
xorl %ebp, %ebp
leaq 0x3b0(%rsp), %r14
pushq $0x1
popq %rax
cmpq %rbx, %rdi
jl 0x13411
movq %r8, %rsi
jne 0x134a8
movq 0x40(%rsp), %rbx
movl %ebx, %eax
incl %ebx
leaq (%rsp,%rax,8), %r14
addq $0x3b0, %r14            # imm = 0x3B0
movq 0x58(%rsp), %rax
movl %eax, %ebp
movl %ebx, %eax
movq %rdi, %rbx
movq %rsi, %r8
movq %r8, %rsi
movq %r8, (%r14)
movl %ebp, %r8d
movq %rax, 0x40(%rsp)
jmp 0x134b0
movq 0x58(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x40(%rsp), %rax
movl %eax, %r8d
cmpl $0x3, %r11d
movq 0x30(%rsp), %r14
jle 0x1359c
cmpl %edx, 0x24(%rsp)
jne 0x13594
movq 0x70(%rsp), %rax
movslq 0x4(%rax), %rax
leaq 0x12781(%rip), %r11     # 0x25be0
movslq (%r11,%rax,4), %rax
cmpq %rax, %rdi
jge 0x13578
movq 0x50(%rsp), %rax
movl %ecx, (%r11,%rax,4)
jmp 0x13611
pushq $0x1
popq %r9
movl %r9d, %r8d
movq %r8, 0x58(%rsp)
cmpl %edi, %eax
jne 0x133b4
movq 0x70(%rsp), %rax
movq %rax, 0x3b0(%rsp)
pushq $0x1
popq %rax
movq %rax, 0x40(%rsp)
jmp 0x133b4
movq %rdi, %rbx
movq 0x58(%rsp), %r8
movl %r8d, %r14d
cmpl $0x4, 0x6c(%rsp)
movl 0x20(%rsp), %ebp
jne 0x134f8
movslq 0x4(%r9), %rax
leaq 0x12717(%rip), %rdi     # 0x25be0
movslq (%rdi,%rax,4), %rdi
cmpq %rdi, %rbx
jge 0x13544
movq %r9, 0xf50(%rsp)
movq $0x0, 0x40(%rsp)
pushq $0x1
popq %rax
movl %eax, %r8d
movq %r8, 0x58(%rsp)
movq %rax, 0x60(%rsp)
xorl %r8d, %r8d
jmp 0x13569
cmpl $0x3, %r11d
jle 0x13551
movslq 0x4(%r9), %rax
leaq 0x126d7(%rip), %r11     # 0x25be0
movslq (%r11,%rax,4), %rax
cmpq %rax, %rbx
movl 0x2100(%rsp), %edi
jge 0x1384b
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x50(%rsp), %rax
movl %ecx, (%r11,%rax,4)
movq 0x28(%rsp), %rax
incl (%r11,%rax,4)
movq 0x30(%rsp), %r14
movq 0x48(%rsp), %rdx
jmp 0x13626
jne 0x13551
incl %r8d
movq %r9, 0xf50(%rsp,%r14,8)
movq %rbx, %rdi
movq %r8, 0x58(%rsp)
movl %r8d, %eax
movq %rax, 0x60(%rsp)
movq 0x40(%rsp), %rax
movl %eax, %r8d
movq 0x30(%rsp), %r14
movq %rsi, %rbx
movq 0x38(%rsp), %rsi
jmp 0x1359c
jne 0x13594
movq 0x40(%rsp), %rax
leal 0x1(%rax), %r8d
movl %eax, %eax
movq 0x70(%rsp), %rsi
movq %rsi, 0x3b0(%rsp,%rax,8)
jmp 0x13571
movq 0x40(%rsp), %rax
movl %eax, %r8d
leaq 0x1263d(%rip), %r11     # 0x25be0
cmpl %edx, (%r11,%r10,4)
jne 0x13632
movq 0x20(%rbx), %rax
movslq 0x4(%rax), %r10
movslq (%r11,%r10,4), %r10
cmpq %r10, %rdi
jl 0x13602
jne 0x135de
movq %r8, %r11
movq 0x60(%rsp), %r8
movl %r8d, %r10d
incl %r8d
movq %r8, 0x60(%rsp)
movq %r11, %r8
movq %rax, 0xf50(%rsp,%r10,8)
movq 0x88(%rsp), %rax
movq 0x20(%rax), %rax
movslq 0x4(%rax), %r10
leaq 0x125eb(%rip), %r11     # 0x25be0
movslq (%r11,%r10,4), %r10
cmpq %r10, %rdi
jge 0x1382a
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x50(%rsp), %rax
movl %ecx, (%r11,%rax,4)
movq 0x28(%rsp), %rax
incl (%r11,%rax,4)
movq 0x48(%rsp), %rdx
movl 0x2100(%rsp), %edi
movl 0x1c(%rsp), %esi
movq %r11, %r9
jmp 0x13822
movq %rbx, 0x90(%rsp)
movq 0xa8(%rsp), %r11
movl 0x9c(%rsp), %ebx
movq 0xb8(%rsp), %r10
movq 0x20(%r9), %rbp
movslq 0x4(%r9), %r14
movq %rbp, (%r11)
leaq 0x1257d(%rip), %r9      # 0x25be0
movl (%r9,%r14,4), %eax
cmpl %ecx, %eax
jge 0x137e2
cmpl %edx, %eax
jne 0x136d3
movslq 0x4(%rbp), %rax
movslq (%r9,%rax,4), %rax
cmpq %rax, %rdi
jl 0x137e2
jne 0x13694
movslq %r8d, %rax
incl %r8d
movq %rbp, 0x3b0(%rsp,%rax,8)
movq 0x10(%rbp), %r9
movslq 0x4(%r9), %rax
leaq 0x1253d(%rip), %rbp     # 0x25be0
movslq (%rbp,%rax,4), %rax
cmpq %rax, %rdi
jl 0x137ea
jne 0x136d7
movq %r8, %rbp
movq 0x60(%rsp), %r8
movslq %r8d, %rax
incl %r8d
movq %r8, 0x60(%rsp)
movq %rbp, %r8
movq %r9, 0xf50(%rsp,%rax,8)
jmp 0x136d7
movq 0x10(%rbp), %r9
movabsq $0x100000000, %rax      # imm = 0x100000000
addq %rax, %r10
incl %ebx
addq $0x8, %r11
cmpl %esi, %r14d
jne 0x13651
movq %r8, 0x38(%rsp)
movq %r10, %rax
sarq $0x1d, %rax
leaq 0x27662a(%rip), %r9     # 0x289d30
movq 0x90(%rsp), %rsi
movq %rsi, (%rax,%r9)
movq 0x88(%rsp), %rax
movq 0x20(%rax), %rax
movabsq $0x100000000, %r8       # imm = 0x100000000
addq %r10, %r8
sarq $0x1d, %r8
movq %rax, (%r8,%r9)
movabsq $0x200000000, %rax      # imm = 0x200000000
addq %rax, %r10
sarq $0x1d, %r10
movq 0x70(%rsp), %rax
movq %rax, (%r10,%r9)
movslq 0x78(%rsp), %rsi
leaq (%r9,%rsi,8), %r8
movq 0x60(%rsp), %r11
movslq %r11d, %r14
movslq 0x38(%rsp), %rbp
cmpq 0xb0(%rsp), %rsi
jge 0x1386f
movq (%r8), %r9
movslq (%r9), %rax
leaq 0x12462(%rip), %r10     # 0x25be0
movl (%r10,%rax,4), %eax
cmpl %ecx, %eax
jge 0x137ea
cmpl %edx, %eax
jne 0x137d6
movslq 0x4(%r9), %rax
leaq 0x1244b(%rip), %r10     # 0x25be0
movslq (%r10,%rax,4), %rax
cmpq %rax, %rdi
jl 0x137ea
jne 0x137b0
leal 0x1(%rbp), %eax
movq %rax, 0x38(%rsp)
movq %r9, 0x3b0(%rsp,%rbp,8)
movq 0x10(%r9), %rax
movslq 0x4(%rax), %r9
leaq 0x12421(%rip), %r10     # 0x25be0
movslq (%r10,%r9,4), %r9
cmpq %r9, %rdi
jl 0x137ea
jne 0x137d6
leal 0x1(%r14), %r11d
movq %rax, 0xf50(%rsp,%r14,8)
incq %rsi
addq $0x8, %r8
jmp 0x1375b
movl 0x24(%rsp), %ecx
incl %ecx
jmp 0x137f7
movl 0x24(%rsp), %ecx
incl %ecx
leaq 0x123e9(%rip), %r9      # 0x25be0
movq 0x50(%rsp), %rax
movl %ecx, (%r9,%rax,4)
movq 0x28(%rsp), %rax
incl (%r9,%rax,4)
movl 0x20(%rsp), %ebp
movq 0x30(%rsp), %r14
movq 0x48(%rsp), %rdx
movl 0x2100(%rsp), %edi
movl 0x1c(%rsp), %esi
incl %r12d
jmp 0x13254
movq %rbx, 0x90(%rsp)
jne 0x1363a
movl %r8d, %r10d
incl %r8d
movq %rax, 0x3b0(%rsp,%r10,8)
jmp 0x1363a
movq %r8, 0x58(%rsp)
jne 0x13934
leal 0x1(%r8), %eax
movq %rax, 0x60(%rsp)
movq %r9, 0xf50(%rsp,%r14,8)
movq %rbx, %rdi
jmp 0x1393f
movq %r11, 0x60(%rsp)
movq %r13, %rdi
callq 0x14e47
movq 0x48(%rsp), %rdx
movslq %edx, %r11
testl %eax, %eax
je 0x13951
movslq %ebx, %rax
movq 0xa8(%rsp), %rcx
movq 0xb0(%rsp), %rdx
leaq 0x1233a(%rip), %r9      # 0x25be0
movl 0x6c(%rsp), %edi
movq 0x60(%rsp), %r10
cmpq %rax, %rdx
jge 0x138c3
movq (%rcx), %rsi
movl %edi, 0x38(%rsi)
incq %rdx
addq $0x8, %rcx
jmp 0x138af
movq 0x10(%r13), %rax
movq 0x18(%r13), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x10(%rcx)
movq 0x20(%r13), %rax
movq 0x10(%rax), %rcx
movq %rax, 0x70(%rsp)
movq 0x18(%rax), %rdx
movq %rdx, 0x18(%rcx)
movq %rcx, 0x10(%rdx)
addl $-0x2, 0x22ed11(%rip)   # 0x242604
leaq 0x120e6(%rip), %rcx     # 0x259e0
movq 0x50(%rsp), %rdx
movq 0x88(%rsp), %rsi
movq %rsi, (%rcx,%rdx,8)
movq 0x28(%rsp), %rdx
movq 0x90(%rsp), %rax
movq %rax, (%rcx,%rdx,8)
movq 0x38(%rsp), %rax
leal (%rax,%r10), %ecx
cmpl $0x1, %ecx
jne 0x1399e
movq 0x58(%rsp), %rdx
jmp 0x13ba1
movq %rbx, %rdi
movl %r8d, %eax
movq %rax, 0x60(%rsp)
movq 0x30(%rsp), %r14
movq %rsi, %rbx
movq 0x38(%rsp), %rsi
jmp 0x13445
leaq 0x12288(%rip), %r9      # 0x25be0
movq 0x50(%rsp), %rax
incl (%r9,%rax,4)
movq 0x28(%rsp), %rax
incl (%r9,%rax,4)
decl %edx
movq 0x80(%rsp), %rcx
movq -0x8(%rcx,%r11,8), %rax
movq %rax, (%rcx,%r15,8)
movl 0xbc(%rsp,%r11,4), %eax
movl %eax, 0xc0(%rsp,%r15,4)
decl %r12d
movl 0x20(%rsp), %ebp
movq 0x30(%rsp), %r14
jmp 0x13817
movl 0x58(%rsp), %esi
xorl %edx, %edx
xorl %ecx, %ecx
cmpq %rdx, %rsi
je 0x139dd
movq 0xf50(%rsp,%rdx,8), %rdi
movq 0x20(%rdi), %r8
movq 0x10(%r8), %r8
movslq 0x4(%r8), %r8
movl (%r9,%r8,4), %r8d
shll $0xa, %r8d
movslq 0x38(%rdi), %rdi
movslq %r8d, %r8
addq %rdi, %r8
cmpq %r8, %rcx
cmovleq %r8, %rcx
incq %rdx
jmp 0x139a6
movl 0x40(%rsp), %edx
xorl %edi, %edi
cmpq %rdi, %rdx
je 0x13a21
movq 0x3b0(%rsp,%rdi,8), %r8
movq 0x20(%r8), %r8
movq 0x18(%r8), %r9
movslq 0x4(%r9), %r9
leaq 0x121dd(%rip), %r10     # 0x25be0
movl (%r10,%r9,4), %r9d
shll $0xa, %r9d
movslq 0x38(%r8), %r8
movslq %r9d, %r9
addq %r8, %r9
cmpq %r9, %rcx
cmovleq %r9, %rcx
incq %rdi
jmp 0x139e3
movq %r11, 0x28(%rsp)
xorl %edi, %edi
xorl %r11d, %r11d
cmpq %rdi, %rsi
je 0x13a75
movq 0xf50(%rsp,%rdi,8), %r8
movq 0x20(%r8), %r9
movq 0x10(%r9), %r9
movslq 0x4(%r9), %r9
leaq 0x12195(%rip), %r10     # 0x25be0
movl (%r10,%r9,4), %r9d
shll $0xa, %r9d
movslq 0x38(%r8), %r10
movslq %r9d, %r9
addq %r10, %r9
cmpq %r9, %rcx
jne 0x13a70
movslq %r11d, %r9
incl %r11d
movq %r8, 0xf50(%rsp,%r9,8)
incq %rdi
jmp 0x13a2b
movl %r11d, %eax
cmpq %r14, %rsi
leaq 0x1215e(%rip), %r9      # 0x25be0
jge 0x13ac9
movq 0xf50(%rsp,%rsi,8), %rdi
movq 0x20(%rdi), %r8
movq 0x10(%r8), %r8
movslq 0x4(%r8), %r8
movl (%r9,%r8,4), %r8d
shll $0xa, %r8d
movslq 0x38(%rdi), %r9
movslq %r8d, %r8
addq %r9, %r8
cmpq %r8, %rcx
jne 0x13abe
movslq %eax, %r8
incl %eax
movq %rdi, 0xf50(%rsp,%r8,8)
jmp 0x13ac4
jl 0x13ce2
incq %rsi
jmp 0x13a78
xorl %esi, %esi
movq $0x0, 0x40(%rsp)
movq 0x30(%rsp), %r14
cmpq %rsi, %rdx
je 0x13b2d
movq 0x3b0(%rsp,%rsi,8), %rdi
movq 0x20(%rdi), %r8
movq 0x18(%r8), %r9
movslq 0x4(%r9), %r9
leaq 0x120e7(%rip), %r10     # 0x25be0
movl (%r10,%r9,4), %r9d
shll $0xa, %r9d
movslq 0x38(%r8), %r8
movslq %r9d, %r9
addq %r8, %r9
cmpq %r9, %rcx
jne 0x13b28
movq 0x40(%rsp), %r9
movslq %r9d, %r8
incl %r9d
movq %r9, 0x40(%rsp)
movq %rdi, 0x3b0(%rsp,%r8,8)
incq %rsi
jmp 0x13ad9
movq 0x40(%rsp), %rsi
movl %esi, %r8d
leaq 0x120a4(%rip), %r9      # 0x25be0
movq %r8, 0x38(%rsp)
cmpq %rbp, %rdx
jge 0x13b96
movq 0x3b0(%rsp,%rdx,8), %rsi
movq 0x20(%rsi), %rdi
movq 0x18(%rdi), %r8
movslq 0x4(%r8), %r8
movl (%r9,%r8,4), %r8d
shll $0xa, %r8d
movslq 0x38(%rdi), %rdi
movslq %r8d, %r8
addq %rdi, %r8
cmpq %r8, %rcx
jne 0x13b86
movq 0x38(%rsp), %r8
movslq %r8d, %rdi
incl %r8d
movq %rsi, 0x3b0(%rsp,%rdi,8)
jmp 0x13b91
movq 0x38(%rsp), %r8
jl 0x13cf6
incq %rdx
jmp 0x13b3c
movq %r11, %rdx
movq %rax, %r10
movq 0x28(%rsp), %r11
movq 0x38(%rsp), %r8
leal (%r10,%r8), %eax
cmpl $0x1, %eax
movl 0x20(%rsp), %ebp
jne 0x13c04
movq 0x80(%rsp), %r14
movq (%r14,%r15,8), %rax
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %rax
leal -0x1(%rax), %esi
movq -0x8(%r14,%r11,8), %rax
movq %rax, (%r14,%r15,8)
movq %r14, %rdi
leaq 0x1af0(%rsp), %rdx
leaq 0x7c(%rsp), %rcx
callq 0x13115
movq 0x28(%rsp), %rax
movq %rax, (%r14,%r15,8)
movl 0x7c(%rsp), %ecx
movl %ebx, (%rsp)
pushq $0x1
popq %rdi
movl %edi, %esi
jmp 0x13ca2
movq %r11, 0x28(%rsp)
leaq 0xa0(%rsp), %rax
movq %rax, 0x10(%rsp)
leaq 0xa4(%rsp), %rax
movq %rax, 0x8(%rsp)
movq %r9, (%rsp)
leaq 0xf50(%rsp), %rdi
movl %r10d, %esi
leaq 0x3b0(%rsp), %rcx
movq 0x40(%rsp), %r9
callq 0xb886
testl %eax, %eax
je 0x13cb9
movq 0x80(%rsp), %r14
movq (%r14,%r15,8), %rax
movq %rax, 0x50(%rsp)
movq 0x48(%rsp), %rax
leal -0x1(%rax), %esi
movq 0x28(%rsp), %rax
movq -0x8(%r14,%rax,8), %rax
movq %rax, (%r14,%r15,8)
movq %r14, %rdi
leaq 0x1af0(%rsp), %rdx
leaq 0x7c(%rsp), %rcx
callq 0x13115
movq 0x50(%rsp), %rax
movq %rax, (%r14,%r15,8)
movl 0xa4(%rsp), %edi
movl 0xa0(%rsp), %esi
movl 0x7c(%rsp), %ecx
movl %ebx, (%rsp)
leaq 0x1af0(%rsp), %rdx
movl 0x6c(%rsp), %r8d
movl 0x78(%rsp), %r9d
callq 0x13170
movq %r13, %rdi
callq 0x14ddb
movq 0x30(%rsp), %r14
movq 0x48(%rsp), %rdx
movl 0x2100(%rsp), %edi
movl 0x1c(%rsp), %esi
leaq 0x11f03(%rip), %r9      # 0x25be0
jmp 0x13822
movq 0x70(%rsp), %rax
movq 0x20(%rax), %rdi
callq 0x14ddb
movl 0x20(%rsp), %ebp
jmp 0x13cc1
movq 0x70(%rsp), %rax
movq 0x20(%rax), %rdi
callq 0x14ddb
leaq 0x11ed5(%rip), %r9      # 0x25be0
movl 0x20(%rsp), %ebp
jmp 0x13812