// File: /workspace/github_c_makefile_star2_O1/mishun[P]plantri/plantri.c
// Function: scanmin5c4_1
static void
scanmin5c4_1(int nbtot, int nbop, EDGE **on4, int non4)

/* This is the recursive procedure that creates nf-4-cycles for mindeg=5
   triangulations.  The first call is with a 4-connected triangulation
   made by a single switching from a 5-connected triangulation.
   on4[0..non4-1] are all edges on nf-4-cycles (min form).
*/

{
    EDGE *good[MAXE],*extAred; 
    EDGE *ext5_sw[MAXE/2],*ext5_51[MAXE],*ext5_52[MAXE];
    int next5_sw,next5_5;
    int newnon4,i,xnbtot,xnbop,ngood;

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

#ifndef FIND_EXTENSIONS_MIN5c4
#define FIND_EXTENSIONS_MIN5c4 find_extensions_min5c4
#endif

    FIND_EXTENSIONS_MIN5c4(nbtot,nbop,NULL,0,on4,non4,
	       		   ext5_sw,&next5_sw,ext5_51,ext5_52,&next5_5);

    if (nv == maxnv)
    {
	if (pswitch) startpolyscan(nbtot,nbop);   /* Saves the group! */
        else         got_one(nbtot,nbop,4);
 
	if (minconnec < 4 && non4 >= 6) scanmin5c3_0(nbtot,nbop,on4,non4);
    }

    for (i = 0; i < next5_sw; ++i)
    {
	switch_edge(ext5_sw[i]);
#ifdef FAST_FILTER_MIN5c4
        if (FAST_FILTER_MIN5c4)
#endif  
        {
	    newnon4 = non4;
	    add_new_nf4_cycles(ext5_sw[i],on4,&newnon4);

	    min5c4_sw_legal(ext5_sw[i],on4,newnon4,good,&ngood);
	    if (ngood > 0
		      && canon_edge(good,ngood,degree,numbering,&xnbtot,&xnbop))
	        scanmin5c4_1(xnbtot,xnbop,on4,newnon4);
	}
	switch_edge_back(ext5_sw[i]);
    }

    for (i = 0; i < next5_5; ++i)
    {
	extAred = extend_min5_a(ext5_51[i],ext5_52[i]);
#ifdef FAST_FILTER_MIN5c4
        if (FAST_FILTER_MIN5c4)
#endif  
        {
	    if (extAred->start == nv-1)
	    {
	        on4[non4] = extAred->next->min;
	        on4[non4+1] = extAred->prev->min;
	        newnon4 = non4 + 2;
	    }
	    else
	    {
	        on4[non4] = extAred->invers->next->min;
	        on4[non4+1] = extAred->invers->prev->min;
	        newnon4 = non4 + 2;
	    }
    
	    if (!has_min5c4_sw(on4,newnon4))
	    {
	        min5c4_5_legal(extAred,on4,newnon4,good,&ngood);
	        if (ngood > 0
                     && canon_edge(good,ngood,degree,numbering,&xnbtot,&xnbop))
	            scanmin5c4_1(xnbtot,xnbop,on4,newnon4);
	    }
	}
	reduce_min5_a(extAred);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2908, %rsp           # imm = 0x2908
movl %ecx, %r8d
movq %rdx, %rcx
movl %esi, %r15d
movl %edi, %ebp
leaq 0x30(%rsp), %rax
leaq 0x11c0(%rsp), %r10
leaq 0x1d60(%rsp), %r11
leaq 0x34(%rsp), %rbx
leaq 0xbf0(%rsp), %r9
xorl %esi, %esi
xorl %edx, %edx
movq %rcx, 0x8(%rsp)
movq %r8, 0x20(%rsp)
pushq %rax
pushq %r10
pushq %r11
pushq %rbx
callq 0x1638a
addq $0x20, %rsp
movl 0x22d45e(%rip), %eax    # 0x244610
cmpl 0xf0b8(%rip), %eax      # 0x26270
jne 0x171f5
cmpb $0x1, 0xefe7(%rip)      # 0x261a8
jne 0x171cf
movl %ebp, %edi
movl %r15d, %esi
callq 0x123b3
jmp 0x171de
movl %ebp, %edi
movl %r15d, %esi
movl $0x4, %edx
callq 0x76f0
cmpl $0x6, 0x20(%rsp)
jl 0x171f5
cmpl $0x3, 0xeec4(%rip)      # 0x260b0
jg 0x171f5
movl %ebp, %edi
callq 0x178e8
movslq 0x34(%rsp), %r14
testq %r14, %r14
jle 0x17295
xorl %r15d, %r15d
leaq 0x50(%rsp), %r12
movq 0x8(%rsp), %r13
movq 0xbf0(%rsp,%r15,8), %rbp
movq %rbp, %rdi
callq 0x16a28
movq 0x20(%rsp), %rax
movl %eax, 0x1c(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
leaq 0x1c(%rsp), %rdx
callq 0x16adb
movl 0x1c(%rsp), %ebx
movq %rbp, %rdi
movq %r13, %rsi
movl %ebx, %edx
movq %r12, %rcx
leaq 0x2c(%rsp), %r8
callq 0x16cb3
movl 0x2c(%rsp), %esi
testl %esi, %esi
jle 0x17281
movq %r12, %rdi
leaq 0x4(%rsp), %rdx
movq %rsp, %rcx
callq 0x16e7b
testl %eax, %eax
je 0x17281
movl 0x4(%rsp), %edi
movl (%rsp), %esi
movq 0x8(%rsp), %rdx
movl %ebx, %ecx
callq 0x17151
movq %rbp, %rdi
callq 0x174cd
incq %r15
cmpq %r15, %r14
jne 0x17210
movslq 0x30(%rsp), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
movq 0x8(%rsp), %r14
jle 0x174bb
movq 0x20(%rsp), %rax
movslq %eax, %r15
addl $0x2, %eax
movq %rax, 0x10(%rsp)
xorl %ebp, %ebp
movq %r15, 0x38(%rsp)
movq 0x1d60(%rsp,%rbp,8), %rdi
movq 0x11c0(%rsp,%rbp,8), %rsi
callq 0x12f11
movq %rax, %r12
movl 0x22d32e(%rip), %eax    # 0x244610
decl %eax
cmpl %eax, (%r12)
jne 0x172fc
movq 0x18(%r12), %rax
movq 0x28(%rax), %rax
movq %rax, (%r14,%r15,8)
movq %r12, %rax
jmp 0x17312
movq 0x20(%r12), %rax
movq 0x18(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, (%r14,%r15,8)
movq 0x20(%r12), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x8(%r14,%r15,8)
cmpl $-0x1, 0x20(%rsp)
leaq 0x108c5(%rip), %rcx     # 0x27bf0
jl 0x17364
xorl %ebx, %ebx
movq (%r14,%rbx,8), %rdi
movslq (%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x1735a
movslq 0x4(%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x1735a
callq 0x1777e
leaq 0x1089e(%rip), %rcx     # 0x27bf0
testl %eax, %eax
jne 0x174a5
incq %rbx
cmpq %rbx, 0x10(%rsp)
jne 0x1732f
movq %r12, %rdi
movq %r14, %rsi
movq 0x10(%rsp), %rdx
callq 0x18071
testl %eax, %eax
je 0x17385
movq %r12, 0x50(%rsp)
movl $0x1, %r13d
jmp 0x17388
xorl %r13d, %r13d
movq 0x20(%r12), %rdi
movq %r14, %rsi
movq 0x10(%rsp), %rdx
callq 0x18071
testl %eax, %eax
je 0x173ae
movq 0x20(%r12), %rax
movl %r13d, %ecx
incl %r13d
movq %rax, 0x50(%rsp,%rcx,8)
leaq 0x1083b(%rip), %rdx     # 0x27bf0
movq %rbp, 0x48(%rsp)
movslq (%r12), %rax
movl (%rdx,%rax,4), %eax
movslq 0x4(%r12), %rcx
movl (%rdx,%rcx,4), %r14d
cmpl %r14d, %eax
cmovgl %eax, %r14d
cmpl $0x0, 0x22d238(%rip)    # 0x244610
jle 0x17464
xorl %r15d, %r15d
cmpl $0x5, (%rdx,%r15,4)
jne 0x17450
leaq 0x10601(%rip), %rax     # 0x279f0
movq (%rax,%r15,8), %rbx
movq %rbx, %rbp
cmpq %r12, %rbp
je 0x17447
movslq 0x4(%rbp), %rax
cmpl %r14d, (%rdx,%rax,4)
jl 0x17447
cmpq 0x20(%r12), %rbp
je 0x17447
movq %rbp, %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0x18071
testl %eax, %eax
je 0x17440
movslq 0x4(%rbp), %rax
leaq 0x107c3(%rip), %rdx     # 0x27bf0
cmpl %r14d, (%rdx,%rax,4)
jg 0x17461
movslq %r13d, %rax
incl %r13d
movq %rbp, 0x50(%rsp,%rax,8)
jmp 0x17447
leaq 0x107a9(%rip), %rdx     # 0x27bf0
movq 0x18(%rbp), %rbp
cmpq %rbx, %rbp
jne 0x173f6
incq %r15
movslq 0x22d1b6(%rip), %rax    # 0x244610
cmpq %rax, %r15
jl 0x173e1
jmp 0x17464
xorl %r13d, %r13d
testl %r13d, %r13d
movq 0x8(%rsp), %r14
movq 0x38(%rsp), %r15
movq 0x48(%rsp), %rbp
jle 0x174a5
leaq 0x50(%rsp), %rdi
movl %r13d, %esi
leaq 0x4(%rsp), %rdx
movq %rsp, %rcx
callq 0x16e7b
testl %eax, %eax
je 0x174a5
movl 0x4(%rsp), %edi
movl (%rsp), %esi
movq %r14, %rdx
movq 0x10(%rsp), %rcx
callq 0x17151
movq %r12, %rdi
callq 0x1378d
incq %rbp
cmpq 0x40(%rsp), %rbp
jne 0x172c4
addq $0x2908, %rsp           # imm = 0x2908
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq