// File: /workspace/github_c_makefile_star2_O1/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, %r14d
movq %r8, 0xb8(%rsp)
movl %ecx, %r13d
movq %rdx, %r8
movl %edi, %ebx
movl 0x22ffe3(%rip), %eax    # 0x244614
cmpl 0x11c29(%rip), %eax     # 0x26260
movq %rdx, 0x28(%rsp)
jg 0x1464f
movl %ebx, %edi
movl $0x3, %edx
callq 0x76f0
movq 0x28(%rsp), %r8
movl 0x22ffbf(%rip), %eax    # 0x244614
cmpl 0x11c01(%rip), %eax     # 0x2625c
je 0x15249
subl %r13d, %eax
subl %r13d, %eax
cmpl 0x11bf3(%rip), %eax     # 0x26260
jg 0x15249
leaq 0xd0(%rsp), %rdx
movq %r8, %rdi
movl %r13d, %esi
movl %ebx, %ecx
callq 0xe1f9
movq 0x28(%rsp), %rdi
testl %r13d, %r13d
jle 0x15249
movq 0xb8(%rsp), %rax
leal -0x1(%rax), %edx
movslq 0x2110(%rsp), %rax
leal 0x3(%rax), %ecx
movl %ecx, 0xa4(%rsp)
leaq 0x277686(%rip), %rcx    # 0x28bd40
leaq (%rcx,%rax,8), %rcx
movq %rcx, 0xb0(%rsp)
movq %rax, %rcx
leal 0x4(%rax), %esi
movl %esi, 0xa0(%rsp)
shlq $0x20, %rax
movq %rax, 0xc8(%rsp)
negq %rcx
movq %rcx, 0xc0(%rsp)
xorl %r12d, %r12d
leaq 0x134fc(%rip), %r9      # 0x27bf0
movl %r14d, 0x20(%rsp)
movl %edx, 0x1c(%rsp)
movslq %r12d, %rax
cmpl $0x0, 0xd0(%rsp,%rax,4)
je 0x14ef4
movq (%rdi,%rax,8), %rbp
cmpl $0x3, 0x38(%rbp)
je 0x1471c
movq 0x20(%rbp), %rbp
movq 0x20(%rbp), %r15
movl 0x38(%r15), %r11d
cmpl %edx, %r11d
jl 0x14ef4
cmpl 0x11b30(%rip), %r11d    # 0x26264
je 0x14ef4
movq %rax, 0x98(%rsp)
leal 0x1(%r11), %esi
cmpl 0xb8(%rsp), %r11d
movl 0x2110(%rsp), %eax
movl %r14d, %ebx
cmovll %r14d, %eax
movl %eax, 0x60(%rsp)
movslq (%rbp), %rax
movslq 0x4(%rbp), %r8
movq %rax, 0x40(%rsp)
movl (%r9,%rax,4), %eax
movl (%r9,%r8,4), %ecx
cmpl %ecx, %eax
cmovgl %eax, %ecx
movq 0x10(%rbp), %r10
movq %r10, 0x78(%rsp)
movslq 0x4(%r10), %r10
movl $0x2, %r14d
cmpl %ecx, (%r9,%r10,4)
movq %r13, 0x80(%rsp)
jge 0x14833
movq %r8, 0x38(%rsp)
movq 0x18(%rbp), %r14
movslq 0x4(%r14), %r8
cmpl %ecx, (%r9,%r8,4)
jge 0x14838
movq %r14, 0x70(%rsp)
leal -0x1(%rcx), %r14d
decl %eax
movq 0x40(%rsp), %rdi
movl %eax, (%r9,%rdi,4)
movq 0x38(%rsp), %rdx
movl (%r9,%rdx,4), %ebx
leal -0x1(%rbx), %eax
movl %eax, (%r9,%rdx,4)
movl (%r9,%rdi,4), %eax
xorl %edx, %edx
movl %eax, 0x24(%rsp)
movl %r14d, 0x58(%rsp)
cmpl %r14d, %eax
movl %esi, 0x18(%rsp)
jne 0x14849
movq 0x78(%rsp), %rdi
movslq 0x4(%rdi), %rax
movslq (%r9,%rax,4), %rax
movq %rdi, 0xf60(%rsp)
movl $0x1, %edi
cmpl $0x4, %esi
jne 0x14865
movq 0x70(%rsp), %r14
movslq 0x4(%r14), %rsi
movslq (%r9,%rsi,4), %rsi
cmpl %eax, %esi
jle 0x1484f
movq %r14, 0x3c0(%rsp)
movl $0x1, %edx
xorl %edi, %edi
jmp 0x14868
xorl %r13d, %r13d
jmp 0x14841
xorl %r13d, %r13d
movl $0x2, %r14d
xorl %r8d, %r8d
jmp 0x14d68
xorl %edi, %edi
xorl %esi, %esi
jmp 0x14868
cmpl %eax, %esi
jne 0x14865
movq %r14, 0x3c0(%rsp)
movl $0x1, %edi
movl $0x1, %edx
movq %rax, %rsi
movq 0x10(%r15), %r9
movq 0x18(%r15), %r14
cmpl %ecx, %ebx
jne 0x148fb
movq %rdi, %r15
movslq 0x4(%r14), %rax
leaq 0x1336a(%rip), %rdi     # 0x27bf0
movslq (%rdi,%rax,4), %rax
cmpq %rax, %rsi
jge 0x148a0
movq %r14, 0x3c0(%rsp)
movl $0x1, %edx
xorl %edi, %edi
jmp 0x148b4
movq %r15, %rdi
jne 0x148b1
movl %edx, %eax
incl %edx
movq %r14, 0x3c0(%rsp,%rax,8)
movq %rsi, %rax
cmpl $0x4, 0x18(%rsp)
jne 0x148f8
movq %rdi, %r15
movslq 0x4(%r9), %rsi
leaq 0x13327(%rip), %rdi     # 0x27bf0
movslq (%rdi,%rsi,4), %rsi
cmpq %rsi, %rax
jge 0x148e3
movq %r9, 0xf60(%rsp)
xorl %edx, %edx
movl $0x1, %edi
jmp 0x148fb
jne 0x14f29
movq %r15, %rdi
movl %edi, %esi
incl %edi
movq %r9, 0xf60(%rsp,%rsi,8)
movq %rax, %rsi
movl %edi, %r13d
movq %rdx, 0x68(%rsp)
cmpl $0x4, %r11d
jl 0x1499f
movl %edi, %r13d
cmpl %ecx, %ebx
movl 0x20(%rsp), %ebx
movq 0x68(%rsp), %rdx
jne 0x14944
movslq 0x4(%r9), %rax
leaq 0x132c8(%rip), %r11     # 0x27bf0
movslq (%r11,%rax,4), %rax
cmpq %rax, %rsi
jl 0x14967
movl %edi, %r13d
jne 0x14944
leal 0x1(%rdi), %r13d
movl %edi, %eax
movq %r9, 0xf60(%rsp,%rax,8)
movl 0x58(%rsp), %eax
cmpl %eax, 0x24(%rsp)
jne 0x1499f
movq 0x70(%rsp), %rax
movslq 0x4(%rax), %rax
leaq 0x13292(%rip), %r11     # 0x27bf0
movslq (%r11,%rax,4), %rax
cmpq %rax, %rsi
jge 0x14987
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x40(%rsp), %rax
movl %ecx, (%r11,%rax,4)
movq 0x38(%rsp), %rax
incl (%r11,%rax,4)
xorl %r8d, %r8d
xorl %r13d, %r13d
jmp 0x149ef
jne 0x1499f
movq %rdx, %rax
incl %edx
movl %eax, %eax
movq 0x70(%rsp), %r11
movq %r11, 0x3c0(%rsp,%rax,8)
jmp 0x1499f
movq %rdi, 0x90(%rsp)
leaq 0x13242(%rip), %r11     # 0x27bf0
movl 0x58(%rsp), %eax
cmpl %eax, (%r11,%r10,4)
jne 0x14a00
movq 0x20(%r14), %rax
movslq 0x4(%rax), %rdi
movslq (%r11,%rdi,4), %rdi
cmpq %rdi, %rsi
jge 0x14cff
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x40(%rsp), %rax
movl %ecx, (%r11,%rax,4)
movq 0x38(%rsp), %rax
incl (%r11,%rax,4)
xorl %r8d, %r8d
xorl %r13d, %r13d
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
movq %r11, %r9
jmp 0x14d5e
movq %r14, 0x88(%rsp)
movq %rdx, 0x50(%rsp)
movl 0xa0(%rsp), %edi
movq 0xb0(%rsp), %r11
movq 0xc8(%rsp), %r10
movl 0xa4(%rsp), %r14d
movl %edi, %r15d
movq 0x20(%r9), %rdi
movslq 0x4(%r9), %rax
movq %rdi, (%r11)
leaq 0x131af(%rip), %r9      # 0x27bf0
movl (%r9,%rax,4), %r9d
cmpl %ecx, %r9d
jge 0x14ccb
cmpl 0x58(%rsp), %r9d
jne 0x14ab4
movslq 0x4(%rdi), %r9
leaq 0x13190(%rip), %rdx     # 0x27bf0
movslq (%rdx,%r9,4), %r9
cmpq %r9, %rsi
jl 0x14ccb
jne 0x14a86
movq 0x50(%rsp), %rdx
movslq %edx, %r9
incl %edx
movq %rdx, 0x50(%rsp)
movq %rdi, 0x3c0(%rsp,%r9,8)
movq 0x10(%rdi), %r9
movslq 0x4(%r9), %rdi
leaq 0x1315b(%rip), %rdx     # 0x27bf0
movslq (%rdx,%rdi,4), %rdi
cmpq %rdi, %rsi
jl 0x14ccb
jne 0x14ab8
movslq %r13d, %rdi
incl %r13d
movq %r9, 0xf60(%rsp,%rdi,8)
jmp 0x14ab8
movq 0x10(%rdi), %r9
incl %r14d
movabsq $0x100000000, %rdi      # imm = 0x100000000
addq %rdi, %r10
addq $0x8, %r11
leal 0x1(%r15), %edi
cmpl %r8d, %eax
jne 0x14a2c
movq %r10, %rax
sarq $0x1d, %rax
leaq 0x277259(%rip), %r8     # 0x28bd40
movq 0x88(%rsp), %rdx
movq %rdx, (%rax,%r8)
movq 0x78(%rsp), %rax
movq 0x20(%rax), %rax
movabsq $0x100000000, %rdi      # imm = 0x100000000
addq %r10, %rdi
sarq $0x1d, %rdi
movq %rax, (%rdi,%r8)
movabsq $0x200000000, %rax      # imm = 0x200000000
addq %rax, %r10
sarq $0x1d, %r10
movq 0x70(%rsp), %rax
movq %rax, (%r10,%r8)
movl 0x2110(%rsp), %eax
movl %eax, %edi
movl 0x60(%rsp), %eax
subl %eax, %edi
jle 0x14be0
movslq %eax, %r8
shlq $0x3, %r8
xorl %r9d, %r9d
leaq (%r8,%r9,8), %rax
leaq 0x2771eb(%rip), %r10    # 0x28bd40
movq (%r10,%rax), %rax
movslq (%rax), %r10
leaq 0x1308d(%rip), %rdx     # 0x27bf0
movl (%rdx,%r10,4), %r10d
cmpl %ecx, %r10d
jge 0x14ccb
cmpl 0x58(%rsp), %r10d
jne 0x14bd4
movslq 0x4(%rax), %r10
leaq 0x1306e(%rip), %rdx     # 0x27bf0
movslq (%rdx,%r10,4), %r10
cmpq %r10, %rsi
jl 0x14ccb
jne 0x14ba8
movq 0x50(%rsp), %rdx
movslq %edx, %r10
incl %edx
movq %rdx, 0x50(%rsp)
movq %rax, 0x3c0(%rsp,%r10,8)
movq 0x10(%rax), %rax
movslq 0x4(%rax), %r10
leaq 0x13039(%rip), %rdx     # 0x27bf0
movslq (%rdx,%r10,4), %r10
cmpq %r10, %rsi
jl 0x14ccb
jne 0x14bd4
movslq %r13d, %r10
incl %r13d
movq %rax, 0xf60(%rsp,%r10,8)
incq %r9
cmpl %r9d, %edi
jne 0x14b4a
movq %rbp, %rdi
callq 0x162a9
testl %eax, %eax
je 0x14f34
cmpl 0x2110(%rsp), %r14d
movq 0xb0(%rsp), %rsi
leaq 0x12fe9(%rip), %r9      # 0x27bf0
movl 0x18(%rsp), %edi
movq 0x38(%rsp), %r8
jle 0x14c2e
movslq %r15d, %rax
addq 0xc0(%rsp), %rax
xorl %ecx, %ecx
movq (%rsi,%rcx,8), %rdx
movl %edi, 0x38(%rdx)
incq %rcx
cmpq %rcx, %rax
jne 0x14c1f
movq 0x10(%rbp), %rax
movq 0x18(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq 0x18(%rbp), %rcx
movq %rax, 0x10(%rcx)
movq 0x20(%rbp), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rax), %rdx
movq %rdx, 0x18(%rcx)
movq 0x18(%rax), %rdx
movq %rcx, 0x10(%rdx)
addl $-0x2, 0x22f9b3(%rip)   # 0x244614
leaq 0x12d88(%rip), %rcx     # 0x279f0
movq 0x40(%rsp), %rdx
movq 0x78(%rsp), %rsi
movq %rsi, (%rcx,%rdx,8)
movq 0x88(%rsp), %rdx
movq %rdx, (%rcx,%r8,8)
movq 0x50(%rsp), %rcx
addl %r13d, %ecx
cmpl $0x1, %ecx
movq 0x28(%rsp), %rdi
jne 0x14f6b
movq 0x90(%rsp), %rax
movl %eax, 0x5c(%rsp)
movq 0x68(%rsp), %rax
movl %eax, 0x34(%rsp)
movl %r14d, 0x4c(%rsp)
xorl %r14d, %r14d
movl 0x20(%rsp), %ebx
movl 0x1c(%rsp), %edx
movl 0x18(%rsp), %esi
movq 0x50(%rsp), %r8
jmp 0x14d68
movl 0x24(%rsp), %ecx
incl %ecx
leaq 0x12f18(%rip), %r9      # 0x27bf0
movq 0x40(%rsp), %rax
movl %ecx, (%r9,%rax,4)
movq 0x38(%rsp), %rax
incl (%r9,%rax,4)
xorl %r8d, %r8d
xorl %r13d, %r13d
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
jmp 0x14d5e
movl 0x20(%rsp), %ebx
jne 0x14d13
movl %r13d, %edi
incl %r13d
movq %rax, 0xf60(%rsp,%rdi,8)
movq 0x78(%rsp), %rax
movq 0x20(%rax), %rax
movslq 0x4(%rax), %rdi
leaq 0x12ec9(%rip), %r10     # 0x27bf0
movslq (%r10,%rdi,4), %rdi
cmpq %rdi, %rsi
jge 0x14f05
movl 0x24(%rsp), %ecx
incl %ecx
movq 0x40(%rsp), %rax
movl %ecx, (%r10,%rax,4)
movq 0x38(%rsp), %rax
incl (%r10,%rax,4)
xorl %r8d, %r8d
xorl %r13d, %r13d
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
movq %r10, %r9
movl 0x18(%rsp), %esi
movl $0x2, %r14d
cmpl $0x1, %r14d
je 0x14ddf
testl %r14d, %r14d
jne 0x14e12
movl %esi, 0x18(%rsp)
leal (%r8,%r13), %eax
cmpl $0x1, %eax
jne 0x14e22
movq 0x98(%rsp), %rbx
movq (%rdi,%rbx,8), %r14
movq 0x80(%rsp), %r13
leal -0x1(%r13), %esi
movslq %r13d, %rax
movq -0x8(%rdi,%rax,8), %rax
movq %rax, (%rdi,%rbx,8)
leaq 0x1b00(%rsp), %rdx
leaq 0x64(%rsp), %rcx
movq %rdi, %r15
callq 0x145a9
movq %r14, (%r15,%rbx,8)
movl 0x64(%rsp), %ecx
movl 0x4c(%rsp), %eax
movl %eax, (%rsp)
movl $0x1, %edi
movl $0x1, %esi
jmp 0x14ec0
movq 0x80(%rsp), %r13
movslq %r13d, %rax
decl %r13d
movq -0x8(%rdi,%rax,8), %rcx
movq 0x98(%rsp), %r12
movq %rcx, (%rdi,%r12,8)
movl 0xcc(%rsp,%rax,4), %eax
movl %eax, 0xd0(%rsp,%r12,4)
decl %r12d
jmp 0x14e1a
movq 0x80(%rsp), %r13
movl %ebx, %r14d
jmp 0x14ef4
leaq 0xa8(%rsp), %rax
movq %rax, 0x10(%rsp)
leaq 0xac(%rsp), %rax
movq %rax, 0x8(%rsp)
movq %r9, (%rsp)
leaq 0xf60(%rsp), %rdi
movl %r13d, %esi
movl 0x5c(%rsp), %edx
leaq 0x3c0(%rsp), %rcx
movl 0x34(%rsp), %r9d
callq 0xc654
testl %eax, %eax
movq 0x80(%rsp), %r13
movq 0x98(%rsp), %rbx
je 0x14ed7
movq 0x28(%rsp), %r15
movq (%r15,%rbx,8), %r14
leal -0x1(%r13), %esi
movslq %r13d, %rax
movq -0x8(%r15,%rax,8), %rax
movq %rax, (%r15,%rbx,8)
movq %r15, %rdi
leaq 0x1b00(%rsp), %rdx
leaq 0x64(%rsp), %rcx
callq 0x145a9
movq %r14, (%r15,%rbx,8)
movl 0xac(%rsp), %edi
movl 0xa8(%rsp), %esi
movl 0x64(%rsp), %ecx
movl 0x4c(%rsp), %eax
movl %eax, (%rsp)
leaq 0x1b00(%rsp), %rdx
movl 0x18(%rsp), %r8d
movl 0x60(%rsp), %r9d
callq 0x14607
movq %rbp, %rdi
callq 0x16237
movl 0x20(%rsp), %r14d
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
leaq 0x12cfc(%rip), %r9      # 0x27bf0
incl %r12d
cmpl %r13d, %r12d
jl 0x146fd
jmp 0x15249
movq %r14, 0x88(%rsp)
jne 0x14a08
movl %edx, %edi
incl %edx
movq %rdx, 0x50(%rsp)
movq %rax, 0x3c0(%rsp,%rdi,8)
jmp 0x14a0d
movq %rax, %rsi
movq %r15, %rdi
jmp 0x148fb
leaq 0x12cb5(%rip), %r9      # 0x27bf0
movq 0x40(%rsp), %rax
incl (%r9,%rax,4)
movq 0x38(%rsp), %rax
incl (%r9,%rax,4)
movl $0x1, %r14d
xorl %r8d, %r8d
xorl %r13d, %r13d
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
jmp 0x151fb
movq 0x90(%rsp), %rcx
movl %ecx, %esi
testl %ecx, %ecx
jle 0x14fbe
xorl %ecx, %ecx
xorl %edx, %edx
movq 0xf60(%rsp,%rcx,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, %rdi
addq %r9, %rdi
leaq 0x12c46(%rip), %r9      # 0x27bf0
cmpq %rdi, %rdx
cmovgq %rdx, %rdi
incq %rcx
movq %rdi, %rdx
cmpq %rcx, %rsi
jne 0x14f7d
jmp 0x14fc0
xorl %edi, %edi
movq 0x68(%rsp), %rcx
movl %ecx, %edx
testl %ecx, %ecx
jle 0x1500f
xorl %r8d, %r8d
leaq 0x12c1b(%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, %rdi
cmovgq %rdi, %rcx
incq %r8
movq %rcx, %rdi
cmpq %r8, %rdx
jne 0x14fd5
jmp 0x15012
movq %rdi, %rcx
cmpl $0x0, 0x90(%rsp)
jle 0x1506e
xorl %edi, %edi
xorl %r11d, %r11d
movq 0xf60(%rsp,%rdi,8), %r8
movq 0x20(%r8), %r9
movq 0x10(%r9), %r9
movslq 0x4(%r9), %r9
leaq 0x12bb4(%rip), %r10     # 0x27bf0
movl (%r10,%r9,4), %r9d
shll $0xa, %r9d
movslq 0x38(%r8), %r10
movslq %r9d, %r9
addq %r10, %r9
cmpq %r9, %rcx
jne 0x15061
movslq %r11d, %r9
incl %r11d
movq %r8, 0xf60(%rsp,%r9,8)
incq %rdi
cmpq %rdi, %rsi
jne 0x15021
movl %r11d, %esi
jmp 0x15072
xorl %esi, %esi
xorl %edi, %edi
movl %esi, 0x5c(%rsp)
cmpl %r13d, %edi
jge 0x150d3
movl %edi, %edi
movl %r13d, %r8d
movl 0x5c(%rsp), %esi
movq 0xf60(%rsp,%rdi,8), %r9
movq 0x20(%r9), %r10
movq 0x10(%r10), %r10
movslq 0x4(%r10), %r10
leaq 0x12b51(%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 0x150c5
movslq %esi, %r10
incl %esi
movq %r9, 0xf60(%rsp,%r10,8)
jmp 0x150cb
jl 0x15204
incq %rdi
cmpq %rdi, %r8
jne 0x15084
movl $0x0, 0x34(%rsp)
movl $0x0, %edi
cmpl $0x0, 0x68(%rsp)
jle 0x15143
xorl %edi, %edi
movl $0x0, 0x34(%rsp)
movq 0x3c0(%rsp,%rdi,8), %r8
movq 0x20(%r8), %r9
movq 0x18(%r9), %r10
movslq 0x4(%r10), %r10
leaq 0x12ae4(%rip), %r11     # 0x27bf0
movl (%r11,%r10,4), %r10d
shll $0xa, %r10d
movslq 0x38(%r9), %r9
movslq %r10d, %r10
addq %r9, %r10
cmpq %r10, %rcx
jne 0x1513b
movl 0x34(%rsp), %r10d
movslq %r10d, %r9
incl %r10d
movl %r10d, 0x34(%rsp)
movq %r8, 0x3c0(%rsp,%r9,8)
incq %rdi
cmpq %rdi, %rdx
jne 0x150f1
movq 0x50(%rsp), %r8
cmpl %r8d, %edi
jge 0x151d5
movl %edi, %edx
movl %r8d, %edi
movl 0x34(%rsp), %r8d
movl %r8d, %r15d
movq 0x3c0(%rsp,%rdx,8), %r8
movq 0x20(%r8), %r9
movq 0x18(%r9), %r10
movslq 0x4(%r10), %r10
leaq 0x12a77(%rip), %r11     # 0x27bf0
movl (%r11,%r10,4), %r10d
shll $0xa, %r10d
movslq 0x38(%r9), %r9
movslq %r10d, %r10
addq %r9, %r10
cmpq %r10, %rcx
jne 0x151a0
movslq %r15d, %r9
incl %r15d
movq %r8, 0x3c0(%rsp,%r9,8)
jmp 0x151a2
jl 0x15218
incq %rdx
cmpq %rdx, %rdi
jne 0x1515e
movl %esi, %r13d
movl %r14d, 0x4c(%rsp)
xorl %r14d, %r14d
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
leaq 0x12a27(%rip), %r9      # 0x27bf0
movl 0x18(%rsp), %esi
movq %r15, %r8
jmp 0x14d68
movl 0x34(%rsp), %eax
movl %eax, %r8d
movl %esi, %r13d
movl %r14d, 0x4c(%rsp)
xorl %r14d, %r14d
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
leaq 0x129f5(%rip), %r9      # 0x27bf0
movl 0x18(%rsp), %esi
jmp 0x14d68
movq 0x20(%rax), %rdi
callq 0x16237
movq 0x68(%rsp), %rax
movl %eax, 0x34(%rsp)
jmp 0x15221
movq 0x20(%rax), %rdi
callq 0x16237
xorl %r13d, %r13d
movl %r14d, 0x4c(%rsp)
movl 0x20(%rsp), %ebx
movq 0x28(%rsp), %rdi
movl 0x1c(%rsp), %edx
leaq 0x129b3(%rip), %r9      # 0x27bf0
movl 0x18(%rsp), %esi
xorl %r8d, %r8d
jmp 0x14d62
addq $0x20d8, %rsp           # imm = 0x20D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq