// File: /workspace/github_c_makefile_star2_O3/mishun[P]plantri/plantri.c
// Function: scandouble
static void
scandouble(int nbtot, int nbop, int numdoubles,
          EDGE *oldflip[], EDGE *oldmate[], int oldnflip, EDGE *lastflip)

/* The main node of the recursion for creating double edges. 
   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.
   numdoubles is the number of undirected edges with a parallel mate.
   oldflip and oldnflip are the flips for the parent graph, and lastflip
   is what was flipped to make this graph.  The initial call is
   distinguished by oldnflip==0.  There are no loops yet. */
{
    register int i,j;
    int xnbtot,xnbop,nflips,xnumdoubles,ngood;
    EDGE *flip[MAXE/2],*mate[MAXE/2],*good[MAXE];
    int feasible[MAXE/2];
    int a,b,c,d;
    long ama,amb,amc,amd;

    if (minconnec == 2) got_one(nbtot,nbop,2+(numdoubles==0));

#ifdef PRE_FILTER_DOUBLE
    if (!(PRE_FILTER_DOUBLE)) return;
#endif

    if (oldnflip == 0)
    {
        make_am();
        find_double_makers(flip,&nflips,mate);
    }
    else 
        update_double_makers(flip,&nflips,mate,
                                        oldflip,oldnflip,oldmate,lastflip);

    find_feasible_flips(flip,mate,nflips,feasible,nbtot);
    
    if (minconnec == 1) scanordloops(nbtot,nbop,numdoubles);

    for (i = 0; i < nflips; ++i)
    {
        if (!feasible[i]) continue;

        a = flip[i]->start;     ama = am[a];
        b = flip[i]->end;       amb = am[b];
        c = flip[i]->prev->end; amc = am[c];
        d = flip[i]->next->end; amd = am[d];
        am[a] = ama & ~BIT(b);
        am[b] = amb & ~BIT(a);
        am[c] = amc | BIT(d);
        am[d] = amd | BIT(c);
        switch_edge(flip[i]);

        doubles[numdoubles] = flip[i];
        for (j = 0; j < numdoubles; ++j) if (doubles[j] == mate[i]) break;
        if (j == numdoubles)
        {
            doubles[numdoubles+1] = mate[i];
            xnumdoubles = numdoubles + 2;
        }
        else
            xnumdoubles = numdoubles + 1;

        make_edge_colours(flip[i],doubles,xnumdoubles,good,&ngood);

        if (ngood > 0
	    && canon_edge(good,ngood,degree,numbering,&xnbtot,&xnbop))
                scandouble(xnbtot,xnbop,xnumdoubles,flip,mate,nflips,flip[i]);

        am[a] = ama;
        am[b] = amb;
        am[c] = amc;
        am[d] = amd;
        switch_edge_back(flip[i]);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1ab8, %rsp           # imm = 0x1AB8
movl %r9d, %r14d
movq %r8, %r12
movq %rcx, %r13
movq %rdx, 0x18(%rsp)
movl %esi, %ebp
movl %edi, 0x10(%rsp)
cmpl $0x2, 0xb968(%rip)      # 0x260b0
jne 0x1a75f
xorl %edx, %edx
cmpl $0x1, 0x18(%rsp)
adcl $0x2, %edx
movl 0x10(%rsp), %edi
movl %ebp, %esi
callq 0x761c
testl %r14d, %r14d
je 0x1a844
movl %ebp, 0x20(%rsp)
movq 0x1af0(%rsp), %rbx
xorl %ebp, %ebp
cmpl $0x3, 0xba3b(%rip)      # 0x261b8
sete %bpl
movl 0xb909(%rip), %ecx      # 0x26090
leal 0x1(%rcx), %eax
movl %eax, 0xb900(%rip)      # 0x26090
cmpl $0x7530, %ecx           # imm = 0x7530
jl 0x1a7ba
movl $0x1, 0xb8ee(%rip)      # 0x26090
leaq 0x270487(%rip), %rdi    # 0x28ac30
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0x1030
movl $0x1, %eax
addl $0x3, %ebp
movslq (%rbx), %r10
leaq 0x270469(%rip), %rcx    # 0x28ac30
movl %eax, (%rcx,%r10,4)
movslq 0x4(%rbx), %r8
movl %eax, (%rcx,%r8,4)
movq 0x10(%rbx), %rdx
movslq 0x4(%rdx), %rdi
movl %eax, (%rcx,%rdi,4)
movq 0x18(%rbx), %rdx
movslq 0x4(%rdx), %rdx
movq %rdx, 0x28(%rsp)
movl %eax, (%rcx,%rdx,4)
testl %r14d, %r14d
jle 0x1a926
movl %r14d, %edx
xorl %r9d, %r9d
xorl %r15d, %r15d
movq (%r13,%r9,8), %r11
movslq (%r11), %r14
cmpl %eax, (%rcx,%r14,4)
je 0x1a837
movslq 0x4(%r11), %r14
cmpl %eax, (%rcx,%r14,4)
je 0x1a837
movq (%r12,%r9,8), %r14
cmpq %rbx, %r14
je 0x1a837
movslq %r15d, %r15
movq %r11, 0x940(%rsp,%r15,8)
movq %r14, 0x370(%rsp,%r15,8)
incl %r15d
incq %r9
cmpq %r9, %rdx
jne 0x1a800
jmp 0x1a929
movslq 0x229dc5(%rip), %rax    # 0x244610
testq %rax, %rax
jle 0x1b15f
xorl %esi, %esi
leaq 0xd193(%rip), %rcx      # 0x279f0
leaq 0x49640c(%rip), %rdx    # 0x4b0c70
movq (%rcx,%rsi,8), %rdi
movq %rdi, %r9
xorl %r8d, %r8d
movb 0x4(%r9), %r10b
btsq %r10, %r8
movq 0x18(%r9), %r9
cmpq %rdi, %r9
jne 0x1a86e
movq %r8, (%rdx,%rsi,8)
incq %rsi
cmpq %rax, %rsi
jne 0x1a864
movl %ebp, 0x20(%rsp)
xorl %esi, %esi
cmpl $0x3, 0xb920(%rip)      # 0x261b8
sete %sil
addl $0x3, %esi
xorl %edi, %edi
leaq 0xd348(%rip), %r8       # 0x27bf0
xorl %r13d, %r13d
movl (%r8,%rdi,4), %r9d
cmpl %esi, %r9d
jl 0x1a919
leaq (%rcx,%rdi,8), %r10
movq (%r10), %r10
cmpq 0x28(%r10), %r10
jne 0x1a910
movslq 0x4(%r10), %r11
cmpl %esi, (%r8,%r11,4)
jl 0x1a910
movq 0x10(%r10), %r11
movq 0x18(%r10), %rbx
movslq 0x4(%rbx), %rbx
movq (%rdx,%rbx,8), %r14
movl 0x4(%r11), %r11d
btq %r11, %r14
jae 0x1a910
leaq (%rcx,%rbx,8), %r14
movq (%r14), %rbx
leaq 0x18(%rbx), %r14
cmpl %r11d, 0x4(%rbx)
jne 0x1a8e9
movslq %r13d, %r13
movq %r10, 0x940(%rsp,%r13,8)
movq 0x28(%rbx), %r11
movq %r11, 0x370(%rsp,%r13,8)
incl %r13d
addq $0x18, %r10
decl %r9d
jne 0x1a8b8
incq %rdi
cmpq %rax, %rdi
jne 0x1a8ab
jmp 0x1ab5d
xorl %r15d, %r15d
leaq 0xd2c0(%rip), %rdx      # 0x27bf0
movl (%rdx,%r10,4), %r9d
cmpl %ebp, %r9d
jge 0x1a941
movq %r15, %r13
jmp 0x1a9cc
leaq 0xd0a8(%rip), %r11      # 0x279f0
leaq (%r11,%r10,8), %r10
leaq 0x49631d(%rip), %rbx    # 0x4b0c70
movq %r15, %r13
movq (%r10), %r10
movslq 0x4(%r10), %r12
cmpl %ebp, (%rdx,%r12,4)
jl 0x1a9c3
movq 0x28(%r10), %r14
cmpq %r14, %r10
je 0x1a972
cmpl %eax, (%rcx,%r12,4)
je 0x1a9c3
movq %r13, %rsi
movq 0x10(%r10), %r12
movq 0x18(%r10), %r15
movslq 0x4(%r15), %r15
movq (%rbx,%r15,8), %r13
movl 0x4(%r12), %r12d
btq %r12, %r13
jae 0x1a9c0
leaq (%r11,%r15,8), %r15
movq (%r15), %r13
leaq 0x18(%r13), %r15
cmpl %r12d, 0x4(%r13)
jne 0x1a994
movslq %esi, %rsi
movq %r14, 0x940(%rsp,%rsi,8)
movq 0x28(%r13), %r14
movq %rsi, %r13
movq %r14, 0x370(%rsp,%rsi,8)
incl %r13d
jmp 0x1a9c3
movq %rsi, %r13
addq $0x18, %r10
decl %r9d
jne 0x1a956
movl (%rdx,%r8,4), %r9d
cmpl %ebp, %r9d
jl 0x1aa54
leaq 0xd014(%rip), %r10      # 0x279f0
leaq (%r10,%r8,8), %r8
leaq 0x496289(%rip), %r11    # 0x4b0c70
movq (%r8), %r8
movslq 0x4(%r8), %r14
cmpl %ebp, (%rdx,%r14,4)
jl 0x1aa4b
movq 0x28(%r8), %rbx
cmpq %rbx, %r8
je 0x1aa03
cmpl %eax, (%rcx,%r14,4)
je 0x1aa4b
movq 0x10(%r8), %r14
movq 0x18(%r8), %r15
movslq 0x4(%r15), %r15
movq (%r11,%r15,8), %r12
movl 0x4(%r14), %r14d
btq %r14, %r12
jae 0x1aa4b
leaq (%r10,%r15,8), %r15
movq (%r15), %r12
leaq 0x18(%r12), %r15
cmpl %r14d, 0x4(%r12)
jne 0x1aa21
movslq %r13d, %r13
movq %rbx, 0x940(%rsp,%r13,8)
movq 0x28(%r12), %rbx
movq %rbx, 0x370(%rsp,%r13,8)
incl %r13d
addq $0x18, %r8
decl %r9d
jne 0x1a9e7
movl (%rdx,%rdi,4), %r8d
cmpl %ebp, %r8d
jl 0x1aad6
leaq 0xcf8c(%rip), %r9       # 0x279f0
leaq (%r9,%rdi,8), %rdi
leaq 0x496201(%rip), %r10    # 0x4b0c70
movq (%rdi), %rdi
movslq 0x4(%rdi), %rbx
cmpl %ebp, (%rdx,%rbx,4)
jl 0x1aacd
movq 0x28(%rdi), %r11
cmpq %r11, %rdi
je 0x1aa89
cmpl %eax, (%rcx,%rbx,4)
je 0x1aacd
movq 0x10(%rdi), %rbx
movq 0x18(%rdi), %r14
movslq 0x4(%r14), %r14
movq (%r10,%r14,8), %r15
movl 0x4(%rbx), %ebx
btq %rbx, %r15
jae 0x1aacd
leaq (%r9,%r14,8), %r15
movq (%r15), %r14
leaq 0x18(%r14), %r15
cmpl %ebx, 0x4(%r14)
jne 0x1aaa6
movslq %r13d, %r13
movq %r11, 0x940(%rsp,%r13,8)
movq 0x28(%r14), %r11
movq %r11, 0x370(%rsp,%r13,8)
incl %r13d
addq $0x18, %rdi
decl %r8d
jne 0x1aa6f
movq 0x28(%rsp), %rsi
movl (%rdx,%rsi,4), %edi
cmpl %ebp, %edi
jl 0x1ab5d
leaq 0xcf07(%rip), %r8       # 0x279f0
leaq (%r8,%rsi,8), %rsi
leaq 0x49617c(%rip), %r9     # 0x4b0c70
movq (%rsi), %rsi
movslq 0x4(%rsi), %r11
cmpl %ebp, (%rdx,%r11,4)
jl 0x1ab55
movq 0x28(%rsi), %r10
cmpq %r10, %rsi
je 0x1ab10
cmpl %eax, (%rcx,%r11,4)
je 0x1ab55
movq 0x10(%rsi), %r11
movq 0x18(%rsi), %rbx
movslq 0x4(%rbx), %rbx
movq (%r9,%rbx,8), %r14
movl 0x4(%r11), %r11d
btq %r11, %r14
jae 0x1ab55
leaq (%r8,%rbx,8), %r14
movq (%r14), %rbx
leaq 0x18(%rbx), %r14
cmpl %r11d, 0x4(%rbx)
jne 0x1ab2e
movslq %r13d, %r13
movq %r10, 0x940(%rsp,%r13,8)
movq 0x28(%rbx), %r10
movq %r10, 0x370(%rsp,%r13,8)
incl %r13d
addq $0x18, %rsi
decl %edi
jne 0x1aaf4
cmpl $0x1, 0x10(%rsp)
jne 0x1ac83
testl %r13d, %r13d
movl 0x20(%rsp), %ebp
jle 0x1ae1d
movl %r13d, %ecx
leal 0x3(%r13), %eax
decq %rcx
movq %rcx, %xmm0
pshufd $0x44, %xmm0, %xmm0     # xmm0 = xmm0[0,1,0,1]
shrl $0x2, %eax
shlq $0x4, %rax
movdqa 0x5578(%rip), %xmm1     # 0x20110
movdqa 0x5540(%rip), %xmm2     # 0x200e0
xorl %ecx, %ecx
movdqa 0x5546(%rip), %xmm3     # 0x200f0
pxor %xmm3, %xmm0
pcmpeqd %xmm4, %xmm4
movdqa 0x5566(%rip), %xmm5     # 0x20120
movdqa %xmm2, %xmm6
pxor %xmm3, %xmm6
movdqa %xmm6, %xmm7
pcmpgtd %xmm0, %xmm7
pcmpeqd %xmm0, %xmm6
pshufd $0xf5, %xmm6, %xmm8     # xmm8 = xmm6[1,1,3,3]
pand %xmm7, %xmm8
pshufd $0xf5, %xmm7, %xmm6     # xmm6 = xmm7[1,1,3,3]
por %xmm8, %xmm6
movd %xmm6, %edx
notl %edx
testb $0x1, %dl
je 0x1abf9
movl $0x1, 0x80(%rsp,%rcx)
pxor %xmm4, %xmm6
pextrw $0x4, %xmm6, %edx
testb $0x1, %dl
je 0x1ac12
movl $0x1, 0x84(%rsp,%rcx)
movdqa %xmm1, %xmm6
pxor %xmm3, %xmm6
movdqa %xmm6, %xmm7
pcmpgtd %xmm0, %xmm7
pcmpeqd %xmm0, %xmm6
pshufd $0xf5, %xmm6, %xmm8     # xmm8 = xmm6[1,1,3,3]
pand %xmm7, %xmm8
pshufd $0xf5, %xmm7, %xmm6     # xmm6 = xmm7[1,1,3,3]
por %xmm8, %xmm6
pxor %xmm4, %xmm6
pextrw $0x0, %xmm6, %edx
testb $0x1, %dl
je 0x1ac54
movl $0x1, 0x88(%rsp,%rcx)
pextrw $0x4, %xmm6, %edx
testb $0x1, %dl
je 0x1ac69
movl $0x1, 0x8c(%rsp,%rcx)
paddq %xmm5, %xmm2
paddq %xmm5, %xmm1
addq $0x10, %rcx
cmpq %rcx, %rax
jne 0x1abba
jmp 0x1ad76
movl 0x20(%rsp), %ebp
leaq 0xd062(%rip), %rax      # 0x27cf0
movslq 0x22997f(%rip), %rcx    # 0x244614
testq %rcx, %rcx
jle 0x1acb1
xorl %edx, %edx
movq %rax, %rsi
movq (%rsi), %rdi
movl %edx, 0x34(%rdi)
incq %rdx
addq $0x8, %rsi
cmpq %rdx, %rcx
jne 0x1ac9f
movl 0xb3d5(%rip), %edx      # 0x2608c
leal 0x2(%rdx), %ecx
movl %ecx, 0xb3cc(%rip)      # 0x2608c
cmpl $0x752f, %edx           # imm = 0x752F
jl 0x1acf7
movl $0x2, 0xb3ba(%rip)      # 0x2608c
movl $0x30, %ecx
leaq 0x229942(%rip), %rdx    # 0x244620
movl $0x0, (%rcx,%rdx)
addq $0x40, %rcx
cmpq $0x46630, %rcx          # imm = 0x46630
jne 0x1acde
movl $0x2, %ecx
testl %r13d, %r13d
jle 0x1ae1d
movslq 0x10(%rsp), %rdx
imulq $0xba0, %rdx, %rdx      # imm = 0xBA0
leaq (%rax,%rdx), %rsi
movl %r13d, %edi
xorl %r8d, %r8d
movq 0x940(%rsp,%r8,8), %r9
movslq 0x34(%r9), %r9
movq (%rax,%r9,8), %r10
cmpl %ecx, 0x30(%r10)
jne 0x1ad3a
movl $0x0, 0x80(%rsp,%r8,4)
jmp 0x1ad6e
leaq (,%r9,8), %r10
movl $0x1, 0x80(%rsp,%r8,4)
cmpq %rdx, %r10
jge 0x1ad6e
leaq (%rax,%r9,8), %r9
movq (%r9), %r10
movq 0x28(%r10), %r10
movl %ecx, 0x30(%r10)
addq $0xba0, %r9             # imm = 0xBA0
cmpq %rsi, %r9
jb 0x1ad57
incq %r8
cmpq %rdi, %r8
jne 0x1ad16
movl %r13d, %eax
xorl %ecx, %ecx
leaq 0xce6e(%rip), %rdx      # 0x27bf0
cmpl $0x0, 0x80(%rsp,%rcx,4)
je 0x1ae11
movq 0x370(%rsp,%rcx,8), %rsi
movq 0x10(%rsi), %rdi
movq 0x18(%rsi), %rsi
movslq 0x4(%rsi), %r11
movslq 0x4(%rdi), %rdi
movq 0x940(%rsp,%rcx,8), %rsi
movslq (%rsi), %r10
movslq 0x4(%rsi), %r9
movl (%rdx,%r10,4), %esi
movl (%rdx,%r9,4), %r8d
addl %r8d, %esi
addl $-0x2, %esi
movl (%rdx,%rdi,4), %r8d
addl (%rdx,%r11,4), %r8d
cmpl %esi, %r8d
jl 0x1ae06
cmpl %r10d, %r11d
sete %bl
cmpl %r9d, %r11d
sete %r11b
orb %bl, %r11b
movzbl %r11b, %r11d
cmpl %r10d, %edi
sete %r10b
cmpl %r9d, %edi
sete %dil
orb %r10b, %dil
movzbl %dil, %edi
addl %r11d, %edi
subl %edi, %r8d
cmpl %esi, %r8d
jge 0x1ae11
movl $0x0, 0x80(%rsp,%rcx,4)
incq %rcx
cmpq %rcx, %rax
jne 0x1ad82
cmpl $0x1, 0xb28c(%rip)      # 0x260b0
jne 0x1ae36
movl 0x10(%rsp), %edi
movl %ebp, %esi
movq 0x18(%rsp), %rdx
callq 0x1b2d5
movq %r13, 0x40(%rsp)
testl %r13d, %r13d
jle 0x1b14d
movq 0x18(%rsp), %rax
movslq %eax, %rcx
movq %rcx, 0x58(%rsp)
leal 0x1(%rax), %ecx
movl %ecx, 0x34(%rsp)
movslq %ecx, %rcx
movq %rcx, 0x50(%rsp)
leal 0x2(%rax), %ecx
movl %ecx, 0x30(%rsp)
movl 0x40(%rsp), %ecx
movq %rcx, 0x60(%rsp)
movl %eax, %r13d
xorl %r12d, %r12d
leaq 0x495df3(%rip), %rbx    # 0x4b0c70
movq %r13, 0x48(%rsp)
cmpl $0x0, 0x80(%rsp,%r12,4)
je 0x1b122
movq 0x940(%rsp,%r12,8), %rbp
movslq (%rbp), %rdx
movq (%rbx,%rdx,8), %rsi
movslq 0x4(%rbp), %rdi
movq (%rbx,%rdi,8), %r8
movq 0x10(%rbp), %rax
movq 0x18(%rbp), %rcx
movslq 0x4(%rax), %r14
movq (%rbx,%r14,8), %r9
movslq 0x4(%rcx), %r15
movq (%rbx,%r15,8), %rcx
movq %rsi, 0x20(%rsp)
movq %rsi, %rax
btrq %rdi, %rax
movq %rax, (%rbx,%rdx,8)
movq %r8, 0x78(%rsp)
movq %r8, %rax
movq %rdx, 0x10(%rsp)
btrq %rdx, %rax
movq %rdi, 0x28(%rsp)
movq %rax, (%rbx,%rdi,8)
movq %r9, 0x70(%rsp)
movq %r9, %rax
btsq %r15, %rax
movq %rax, (%rbx,%r14,8)
movq %rcx, 0x68(%rsp)
movq %rcx, %rax
btsq %r14, %rax
movq %rax, (%rbx,%r15,8)
movq %rbp, %rdi
callq 0x16b44
leaq 0x495f56(%rip), %r8     # 0x4b0e70
movq 0x58(%rsp), %rax
movq %rbp, (%r8,%rax,8)
cmpl $0x0, 0x18(%rsp)
jle 0x1af4a
movq 0x370(%rsp,%r12,8), %rcx
movq %r8, %rdx
xorl %eax, %eax
cmpq %rcx, (%rdx)
je 0x1af4c
incq %rax
addq $0x8, %rdx
cmpq %rax, %r13
jne 0x1af37
jmp 0x1af57
xorl %eax, %eax
movl 0x34(%rsp), %r11d
cmpl 0x18(%rsp), %eax
jne 0x1af6d
movq 0x370(%rsp,%r12,8), %rax
movq 0x50(%rsp), %rcx
movq %rax, (%r8,%rcx,8)
movl 0x30(%rsp), %r11d
movq 0x10(%rbp), %rax
movq 0x18(%rbp), %rcx
movslq 0x4(%rax), %rax
leaq 0xcc70(%rip), %rsi      # 0x27bf0
movslq (%rsi,%rax,4), %rdx
movslq 0x4(%rcx), %rax
movslq (%rsi,%rax,4), %rax
addq %rdx, %rax
shlq $0x14, %rax
movslq (%rbp), %rcx
movslq (%rsi,%rcx,4), %rcx
movslq 0x4(%rbp), %rdx
movslq (%rsi,%rdx,4), %rsi
movq %rsi, %rdx
shlq $0xa, %rdx
addq %rcx, %rdx
leaq (%rdx,%rax), %rdi
shlq $0xa, %rcx
addq %rsi, %rcx
addq %rcx, %rax
cmpq %rax, %rdi
cmovlq %rdi, %rax
xorl %esi, %esi
cmpq %rcx, %rdx
jg 0x1afd6
movq %rbp, 0xf10(%rsp)
movl $0x1, %esi
cmpq %rdx, %rcx
jle 0x1b132
movl %r11d, %ecx
movl %ecx, %edx
leaq (%r8,%rdx,8), %rdi
addq $-0x8, %rdi
testl %ecx, %ecx
jle 0x1b08a
movq (%rdi), %rdx
decl %ecx
addq $-0x8, %rdi
cmpq %rbp, %rdx
je 0x1afec
movq 0x10(%rdx), %rdi
movq 0x18(%rdx), %r8
movslq 0x4(%rdi), %rdi
leaq 0xcbdb(%rip), %r10      # 0x27bf0
movslq (%r10,%rdi,4), %rdi
movslq 0x4(%r8), %r8
movslq (%r10,%r8,4), %r8
addq %rdi, %r8
shlq $0x14, %r8
movslq (%rdx), %rdi
movslq (%r10,%rdi,4), %rdi
movslq 0x4(%rdx), %r9
movslq (%r10,%r9,4), %r10
movq %r10, %r9
shlq $0xa, %r9
addq %rdi, %r9
addq %r8, %r9
cmpq %rax, %r9
jl 0x1b0ec
shlq $0xa, %rdi
addq %r10, %rdi
addq %r8, %rdi
cmpq %rax, %rdi
jl 0x1b0ec
cmpq %rax, %r9
jne 0x1b072
movslq %esi, %r8
incl %esi
movq %rdx, 0xf10(%rsp,%r8,8)
leaq 0x495df7(%rip), %r8     # 0x4b0e70
cmpq %rax, %rdi
jne 0x1afe2
movslq %esi, %rdi
jmp 0x1b13a
testl %esi, %esi
jle 0x1b0ec
leaq 0xf10(%rsp), %rdi
leaq 0x3c(%rsp), %rdx
leaq 0x38(%rsp), %rcx
movq %rbx, %r13
movq %r15, %rbx
movq %r14, %r15
movl %r11d, %r14d
callq 0x16f77
movl %r14d, %edx
movq %r15, %r14
movq %rbx, %r15
movq %r13, %rbx
movq 0x48(%rsp), %r13
testl %eax, %eax
je 0x1b0ec
movl 0x3c(%rsp), %edi
movl 0x38(%rsp), %esi
movq %rbp, (%rsp)
leaq 0x940(%rsp), %rcx
leaq 0x370(%rsp), %r8
movq 0x40(%rsp), %r9
callq 0x1a71c
movq 0x10(%rsp), %rax
movq 0x20(%rsp), %rcx
movq %rcx, (%rbx,%rax,8)
movq 0x28(%rsp), %rax
movq 0x78(%rsp), %rcx
movq %rcx, (%rbx,%rax,8)
movq 0x70(%rsp), %rax
movq %rax, (%rbx,%r14,8)
movq 0x68(%rsp), %rax
movq %rax, (%rbx,%r15,8)
movq %rbp, %rdi
callq 0x175ce
incq %r12
cmpq 0x60(%rsp), %r12
jne 0x1ae82
jmp 0x1b14d
movl %esi, %edi
movq %rbp, %rdx
movl %r11d, %ecx
incl %esi
movq 0x20(%rdx), %rdx
movq %rdx, 0xf10(%rsp,%rdi,8)
jmp 0x1afe2
addq $0x1ab8, %rsp           # imm = 0x1AB8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r13d, %r13d
cmpl $0x1, 0x10(%rsp)
jne 0x1ac87
jmp 0x1ae1d