// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: find_extensions_min4_four
static void
find_extensions_min4_four(int nbtot, EDGE *ext4[], int *next4, EDGE *known)

/* nbtot is the number of automorphisms.  If known!=NULL, it is the
   reference edge of a canonical four-extension just used to make the
   graph.  See min4_four_legal() for important comments about what makes
   a four-extension canonical.  This procedure makes a list in
   ext4[0..*next4-1] of undirected edges whose use in a four-extension
   might possible be canonical.
*/
{
    int deg1,deg2,deg3,dega,degb;
    int i,v,k,kk;
    EDGE *e,*elast,*ez,*ezlim,*e2;
    EDGE **nb,**nb0,**nblim;

    RESETMARKS;
    k = 0;

    if (known) 
    {
	deg1 = degree[known->end];
	deg2 = degree[known->next->next->end];
	if (deg1 < deg2) 
        {
	    i = deg1; deg1 = deg2; deg2 = i;
	    known = known->next->next;
	}

	ez = known->invers;
	ezlim = ez->prev;
	deg3 = 0;
	for (ez = ez->next->next; ez != ezlim; ez = ez->next)
	{
   	    if (is_min4_four(ez->invers))
	    {
		kk = degree[ez->invers->next->next->end];
		if (kk > deg3)
		{
		    deg3 = kk;
		    e2 = ez;
		}
	    }
	}

	if (deg3 == 0)
	{
          /* edges around the outside */
	    e = known->invers->next;
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    e = e->invers->next->next; 
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    e = e->invers->next->next; 
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    e = e->invers->next->next; 
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);

          /* edges in the middle */
	    e = known;
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    e = e->next;
	    ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
            e = e->next;
            if (deg2 == deg1)
            {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);    
            }
            e = e->next;
            ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	}
	else
        {
	    dega = degree[known->prev->end];
	    degb = degree[known->next->end];

          /* edges around the outside */
            e = known->invers->next;
	    if (dega >= deg3 || e->next == e2)
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }

            e = e->invers->next->next;
	    if (deg1 == deg2 && dega >= deg3)
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }

            e = e->invers->next->next;
	    if (deg1 == deg2 && degb >= deg3)
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }

            e = e->invers->next->next;
	    if (degb >= deg3 || e->invers->prev == e2)
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }

          /* edges in the middle */
            e = known;
            if (deg3 == 4)
            {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
            }

            e = e->next;
	    if (degb > deg1+1 || (degb == deg1+1 && deg3 == 4))
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }

            e = e->next;
            if (deg1 == deg2 && deg3 == 4)
            {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
            }

            e = e->next;
	    if (dega > deg1+1 || (dega == deg1+1 && deg3 == 4))
	    {
                ext4[k++] = e; MARKLO(e); MARKLO(e->invers);
	    }
        }
    }
    else
	deg1 = 0;

    for (v = 0; v < nv; ++v)
    if (degree[v] > deg1)
    {
	e = elast = firstedge[v];
	do
	{
	    if (!ISMARKEDLO(e))
            {
                ext4[k++] = e;
                MARKLO(e); MARKLO(e->invers);
            }
	    e = e->next;
	} while (e != elast);
    }
    else if (degree[v] == deg1)
    {
	e = elast = firstedge[v];
        do
        {
            if (!ISMARKEDLO(e) && degree[e->end] >= deg2)
	    {
		ext4[k++] = e;
		MARKLO(e); MARKLO(e->invers);
	    }
            e = e->next;
        } while (e != elast);
    }

    if (nbtot > 1)
    {
	nb0 = (EDGE**)numbering[0];
	nblim = (EDGE**)numbering[nbtot];
	for (i = 0; i < ne; ++i) nb0[i]->index = i;

	kk = 0;
	RESETMARKS;
	for (i = 0; i < k; ++i)
	if (!ISMARKEDLO(ext4[i]))
	{
	    ext4[kk++] = ext4[i];
	    for (nb = nb0 + ext4[i]->index + MAXE; nb < nblim; nb += MAXE)
	    {
		MARKLO(*nb);
		MARKLO((*nb)->invers);
	    }
	}
	k = kk;
    }

    *next4 = k;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movl %edi, -0x4(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movl 0x11434(%rip), %eax     # 0x3c084
addl $0x2, %eax
movl %eax, 0x1142b(%rip)     # 0x3c084
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x2acaf
movl $0x2, 0x1141a(%rip)     # 0x3c084
movl $0x0, -0x8c(%rbp)
cmpl $0x1198, -0x8c(%rbp)    # imm = 0x1198
jge 0x2acad
movslq -0x8c(%rbp), %rcx
leaq 0x22f9a2(%rip), %rax    # 0x25a630
shlq $0x6, %rcx
addq %rcx, %rax
movl $0x0, 0x30(%rax)
movl -0x8c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8c(%rbp)
jmp 0x2ac74
jmp 0x2acaf
movl $0x0, -0x40(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x2b312
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x12f30(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
movl %eax, -0x24(%rbp)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x12f13(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
cmpl -0x28(%rbp), %eax
jge 0x2ad1d
movl -0x24(%rbp), %eax
movl %eax, -0x38(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x68(%rbp)
movl $0x0, -0x2c(%rbp)
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x68(%rbp), %rax
je 0x2adb1
movq -0x60(%rbp), %rax
movq 0x20(%rax), %rdi
callq 0x2b710
cmpl $0x0, %eax
je 0x2ada1
movq -0x60(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x12e7d(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jle 0x2ad9f
movl -0x44(%rbp), %eax
movl %eax, -0x2c(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x70(%rbp)
jmp 0x2ada1
jmp 0x2ada3
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x2ad4c
cmpl $0x0, -0x2c(%rbp)
jne 0x2b000
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x11299(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x1128c(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x1124d(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x11240(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x11201(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x111f4(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x111b5(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x111a8(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x20(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x11175(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x11168(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x11131(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x11124(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x24(%rbp), %eax
jne 0x2afb7
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x110e5(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x110d8(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x110a1(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x11094(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
jmp 0x2b310
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x12bed(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
movl %eax, -0x30(%rbp)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x12bd4(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jge 0x2b058
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
cmpq -0x70(%rbp), %rax
jne 0x2b090
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x1100c(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10fff(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x24(%rbp), %eax
cmpl -0x28(%rbp), %eax
jne 0x2b0ec
movl -0x30(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jl 0x2b0ec
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10fb0(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10fa3(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x24(%rbp), %eax
cmpl -0x28(%rbp), %eax
jne 0x2b148
movl -0x34(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jl 0x2b148
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10f54(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10f47(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jge 0x2b176
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
cmpq -0x70(%rbp), %rax
jne 0x2b1ae
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10eee(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10ee1(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x20(%rbp), %rax
movq %rax, -0x50(%rbp)
cmpl $0x4, -0x2c(%rbp)
jne 0x2b1f4
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10ea8(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10e9b(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x34(%rbp), %eax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jg 0x2b220
movl -0x34(%rbp), %eax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x2b258
cmpl $0x4, -0x2c(%rbp)
jne 0x2b258
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10e44(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10e37(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x24(%rbp), %eax
cmpl -0x28(%rbp), %eax
jne 0x2b2aa
cmpl $0x4, -0x2c(%rbp)
jne 0x2b2aa
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10df2(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10de5(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jg 0x2b2d6
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x2b30e
cmpl $0x4, -0x2c(%rbp)
jne 0x2b30e
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10d8e(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10d81(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
jmp 0x2b310
jmp 0x2b319
movl $0x0, -0x24(%rbp)
movl $0x0, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl 0x22f2f7(%rip), %eax    # 0x25a620
jge 0x2b471
movslq -0x3c(%rbp), %rcx
leaq 0x128c6(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
cmpl -0x24(%rbp), %eax
jle 0x2b3bb
movslq -0x3c(%rbp), %rcx
leaq 0x126b3(%rip), %rax     # 0x3da00
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movl 0x30(%rax), %eax
cmpl 0x10d1e(%rip), %eax     # 0x3c084
je 0x2b3a0
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10cfc(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10cef(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x58(%rbp), %rax
jne 0x2b359
jmp 0x2b461
movslq -0x3c(%rbp), %rcx
leaq 0x1283a(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
cmpl -0x24(%rbp), %eax
jne 0x2b45f
movslq -0x3c(%rbp), %rcx
leaq 0x12623(%rip), %rax     # 0x3da00
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movl 0x30(%rax), %eax
cmpl 0x10c8e(%rip), %eax     # 0x3c084
je 0x2b447
movq -0x50(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x127f9(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %eax
cmpl -0x28(%rbp), %eax
jl 0x2b447
movq -0x50(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x40(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x10c55(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movl %ecx, 0x30(%rax)
movl 0x10c48(%rip), %ecx     # 0x3c084
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x58(%rbp), %rax
jne 0x2b3e9
jmp 0x2b45f
jmp 0x2b461
jmp 0x2b463
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x2b320
cmpl $0x1, -0x4(%rbp)
jle 0x2b60b
leaq 0x1287e(%rip), %rax     # 0x3dd00
movq %rax, -0x80(%rbp)
movslq -0x4(%rbp), %rcx
leaq 0x1286f(%rip), %rax     # 0x3dd00
imulq $0xba0, %rcx, %rcx      # imm = 0xBA0
addq %rcx, %rax
movq %rax, -0x88(%rbp)
movl $0x0, -0x38(%rbp)
movl -0x38(%rbp), %eax
cmpl 0x22f172(%rip), %eax    # 0x25a624
jge 0x2b4d1
movl -0x38(%rbp), %ecx
movq -0x80(%rbp), %rax
movslq -0x38(%rbp), %rdx
movq (%rax,%rdx,8), %rax
movl %ecx, 0x34(%rax)
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x2b4a9
movl $0x0, -0x44(%rbp)
movl 0x10ba6(%rip), %eax     # 0x3c084
addl $0x2, %eax
movl %eax, 0x10b9d(%rip)     # 0x3c084
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x2b53d
movl $0x2, 0x10b8c(%rip)     # 0x3c084
movl $0x0, -0x90(%rbp)
cmpl $0x1198, -0x90(%rbp)    # imm = 0x1198
jge 0x2b53b
movslq -0x90(%rbp), %rcx
leaq 0x22f114(%rip), %rax    # 0x25a630
shlq $0x6, %rcx
addq %rcx, %rax
movl $0x0, 0x30(%rax)
movl -0x90(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x90(%rbp)
jmp 0x2b502
jmp 0x2b53d
movl $0x0, -0x38(%rbp)
movl -0x38(%rbp), %eax
cmpl -0x40(%rbp), %eax
jge 0x2b605
movq -0x10(%rbp), %rax
movslq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x30(%rax), %eax
cmpl 0x10b1f(%rip), %eax     # 0x3c084
je 0x2b5f5
movq -0x10(%rbp), %rax
movslq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x10(%rbp), %rax
movl -0x44(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x44(%rbp)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x80(%rbp), %rax
movq -0x10(%rbp), %rcx
movslq -0x38(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movslq 0x34(%rcx), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
addq $0xba0, %rax            # imm = 0xBA0
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
cmpq -0x88(%rbp), %rax
jae 0x2b5f3
movl 0x10abf(%rip), %ecx     # 0x3c084
movq -0x78(%rbp), %rax
movq (%rax), %rax
movl %ecx, 0x30(%rax)
movl 0x10aaf(%rip), %ecx     # 0x3c084
movq -0x78(%rbp), %rax
movq (%rax), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x30(%rax)
movq -0x78(%rbp), %rax
addq $0xba0, %rax            # imm = 0xBA0
movq %rax, -0x78(%rbp)
jmp 0x2b5b2
jmp 0x2b5f5
jmp 0x2b5f7
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x2b544
movl -0x44(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %ecx
movq -0x18(%rbp), %rax
movl %ecx, (%rax)
addq $0x90, %rsp
popq %rbp
retq
nopl (%rax)