// File: /workspace/github_c_makefile_star2_O1/mishun[P]plantri/plantri.c
// Function: min5_dispatch
static void
min5_dispatch(void)

/* Case of minimum degree == 5, except for polygons and polytopes. */
{
    int i,startingsize,nbtot,nbop,hint,nbangles;
    EDGE *prevA[MAXN],*bangle[MAXE/2];

    if (minimumdeg <= 0) minimumdeg = 5;
    if (minconnec <= 0) minconnec = 3;
    startingsize = 12;

    CHECKRANGE(maxnv,"n",startingsize,MAXN);
    CHECKRANGE(minconnec,"-c",3,5);
    CHECKRANGE(minimumdeg,"-m",5,5);

    INCOMPAT(tswitch,"-m5 or -c5","-t");
    INCOMPAT(qswitch,"-m5 or -c5","-q");
    INCOMPAT(edgebound[0]>=0,"-m5 without -p","-e");
    INCOMPAT(maxfacesize>=0,"-m5 without -p","-f");
    
    if (dswitch) strcpy(outtypename,"cubic graphs");
    else         strcpy(outtypename,"triangulations");

    open_output_file();

    needgroup = Gswitch;

    hint = MIN(maxnv-5,27);
    if (maxnv >= 35) ++hint;
    if (maxnv >= 38) ++hint;
    initialize_splitting(startingsize,hint,maxnv-5);
    if (splitlevel == 0 && res > 0) return;

    xconnec = minconnec;

    initialize_min5();
    canon(degree,numbering,&nbtot,&nbop);
    
    if (minconnec < 5)
    {
        all_5_bangles(bangle,&nbangles);
#ifdef FAST_FILTER_MIN5
        if (FAST_FILTER_MIN5)
#endif
        scanmin5(nbtot,nbop,splitlevel==12,prevA,0,bangle,nbangles);
        if (vswitch && !xswitch)
        {
            fprintf(msgfile,"By connectivity: ");
            for (i = minconnec; i <= 5; ++i)
            {
                if (i > minconnec) fprintf(msgfile," ");
                PRINTBIG(msgfile,nout[i]);
	        fprintf(msgfile," %d-conn",i);
                if (i < 5) fprintf(msgfile,";");
            }
            fprintf(msgfile,"\n");
    
	    if (oswitch)
	    {
                fprintf(msgfile,"By connectivity (O-P): ");
                for (i = minconnec; i <= 5; ++i)
                {
                    if (i > minconnec) fprintf(msgfile," ");
                    PRINTBIG(msgfile,nout_op[i]);
	            fprintf(msgfile," %d-conn",i);
                    if (i < 5) fprintf(msgfile,";");
                }
                fprintf(msgfile,"\n");
	    }
        }
    }
    else
#ifdef FAST_FILTER_MIN5
        if (FAST_FILTER_MIN5)
#endif
        scanmin5c(nbtot,nbop,splitlevel==12,prevA,0);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x7f8, %rsp            # imm = 0x7F8
cmpl $0x0, 0x20e47(%rip)     # 0x261b8
jg 0x537d
movl $0x5, 0x20e3b(%rip)     # 0x261b8
cmpl $0x0, 0x20d2c(%rip)     # 0x260b0
jg 0x5390
movl $0x3, 0x20d20(%rip)     # 0x260b0
movl 0x20eda(%rip), %eax     # 0x26270
addl $-0x41, %eax
cmpl $-0x36, %eax
jbe 0x5766
movl 0x20d08(%rip), %eax     # 0x260b0
addl $-0x6, %eax
cmpl $-0x4, %eax
jbe 0x576b
cmpl $0x5, 0x20dfd(%rip)     # 0x261b8
jne 0x5770
cmpb $0x1, 0x20cec(%rip)     # 0x260b4
je 0x5775
cmpb $0x1, 0x20ddf(%rip)     # 0x261b4
je 0x577a
cmpl $0x0, 0x20e7a(%rip)     # 0x2625c
jns 0x577f
cmpl $0x0, 0x20e75(%rip)     # 0x26264
jns 0x5784
cmpb $0x1, 0x20e50(%rip)     # 0x2624c
jne 0x541b
movabsq $0x73687061726720, %rax # imm = 0x73687061726720
movq %rax, 0x20de6(%rip)     # 0x261f5
movabsq $0x7267206369627563, %rax # imm = 0x7267206369627563
jmp 0x5436
movabsq $0x736e6f6974616c, %rax # imm = 0x736E6F6974616C
movq %rax, 0x20dcb(%rip)     # 0x261f7
movabsq $0x6c75676e61697274, %rax # imm = 0x6C75676E61697274
movq %rax, 0x20db3(%rip)     # 0x261f0
callq 0x5e7f
movzbl 0x20dfb(%rip), %ecx     # 0x26244
movl 0x20e21(%rip), %eax     # 0x26270
cmpl $0x20, %eax
movl $0x20, %edx
cmovll %eax, %edx
movl %ecx, 0x22580(%rip)     # 0x279e0
xorl %ecx, %ecx
cmpl $0x23, %eax
setge %cl
addl %edx, %ecx
xorl %edx, %edx
cmpl $0x26, %eax
setge %dl
addl %ecx, %edx
leal -0x5(%rax), %ecx
movzbl 0x20dda(%rip), %esi     # 0x26258
addl %esi, %edx
addl $-0x5, %edx
cmpl %ecx, %edx
cmovll %edx, %ecx
xorl %edx, %edx
cmpl $0x11, %eax
movl $0xc, %ebp
cmovll %edx, %ebp
leal -0x1(%rcx), %eax
cmpl $0xb, %eax
cmovael %ecx, %ebp
cmpl $0x1, 0x20dc7(%rip)     # 0x2626c
cmovel %edx, %ebp
movl %ebp, 0x22536(%rip)     # 0x279e4
movl 0x20db4(%rip), %eax     # 0x26268
movl %eax, 0x285766(%rip)    # 0x28ac20
testl %ebp, %ebp
sete %cl
testl %eax, %eax
setg %al
testb %al, %cl
jne 0x5754
movl 0x20bde(%rip), %ebx     # 0x260b0
movl %ebx, 0x20d9c(%rip)     # 0x26274
callq 0xea9b
leaq 0x2270c(%rip), %rdi     # 0x27bf0
leaq 0x18(%rsp), %rsi
leaq 0x14(%rsp), %rdx
callq 0x6408
cmpl $0x4, %ebx
jg 0x5737
leaq 0x220(%rsp), %rbx
leaq 0x1c(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfcbc
movl 0x18(%rsp), %edi
movl 0x14(%rsp), %esi
xorl %edx, %edx
cmpl $0xc, %ebp
sete %dl
movl (%r14), %eax
movl %eax, (%rsp)
leaq 0x20(%rsp), %rcx
xorl %r8d, %r8d
movq %rbx, %r9
callq 0xfd37
cmpb $0x1, 0x20ca3(%rip)     # 0x261e4
jne 0x5754
testb $0x1, 0x20b6a(%rip)     # 0x260b8
jne 0x5754
movq 0x20c8d(%rip), %rcx     # 0x261e8
leaq 0x1ae51(%rip), %rdi     # 0x203b3
movl $0x11, %esi
movl $0x1, %edx
callq 0x10f0
movslq 0x20b38(%rip), %rbx     # 0x260b0
cmpq $0x5, %rbx
jg 0x562d
movq %rbx, %rax
shlq $0x4, %rax
leaq 0x20b40(%rip), %rcx     # 0x260d0
leaq (%rax,%rcx), %r13
addq $0x8, %r13
leaq 0x1abf3(%rip), %r14     # 0x20192
leaq 0x1ae2b(%rip), %r15     # 0x203d1
leaq 0x1abe9(%rip), %r12     # 0x20196
movslq 0x20afc(%rip), %rax     # 0x260b0
cmpq %rax, %rbx
jle 0x55ca
movq 0x20c28(%rip), %rsi     # 0x261e8
movl $0x20, %edi
callq 0x1040
movq -0x8(%r13), %rdx
movq (%r13), %rcx
movq 0x20c0f(%rip), %rdi     # 0x261e8
testq %rdx, %rdx
je 0x55ea
movq %r12, %rsi
xorl %eax, %eax
callq 0x1070
jmp 0x55f7
movq %r14, %rsi
movq %rcx, %rdx
xorl %eax, %eax
callq 0x1070
movq 0x20bea(%rip), %rdi     # 0x261e8
movq %r15, %rsi
movl %ebx, %edx
xorl %eax, %eax
callq 0x1070
cmpq $0x5, %rbx
je 0x5621
movq 0x20bd1(%rip), %rsi     # 0x261e8
movl $0x3b, %edi
callq 0x1040
incq %rbx
addq $0x10, %r13
cmpl $0x6, %ebx
jne 0x55ad
movq 0x20bb4(%rip), %rsi     # 0x261e8
movl $0xa, %edi
callq 0x1040
cmpb $0x1, 0x20b9b(%rip)     # 0x261e0
jne 0x5754
movq 0x20b96(%rip), %rcx     # 0x261e8
leaq 0x1ad81(%rip), %rdi     # 0x203da
movl $0x17, %esi
movl $0x1, %edx
callq 0x10f0
movslq 0x20a41(%rip), %rbx     # 0x260b0
cmpq $0x5, %rbx
jg 0x5724
movq %rbx, %rax
shlq $0x4, %rax
leaq 0x20aa9(%rip), %rcx     # 0x26130
leaq (%rax,%rcx), %r13
addq $0x8, %r13
leaq 0x1aafc(%rip), %r14     # 0x20192
leaq 0x1ad34(%rip), %r15     # 0x203d1
leaq 0x1aaf2(%rip), %r12     # 0x20196
movslq 0x20a05(%rip), %rax     # 0x260b0
cmpq %rax, %rbx
jle 0x56c1
movq 0x20b31(%rip), %rsi     # 0x261e8
movl $0x20, %edi
callq 0x1040
movq -0x8(%r13), %rdx
movq (%r13), %rcx
movq 0x20b18(%rip), %rdi     # 0x261e8
testq %rdx, %rdx
je 0x56e1
movq %r12, %rsi
xorl %eax, %eax
callq 0x1070
jmp 0x56ee
movq %r14, %rsi
movq %rcx, %rdx
xorl %eax, %eax
callq 0x1070
movq 0x20af3(%rip), %rdi     # 0x261e8
movq %r15, %rsi
movl %ebx, %edx
xorl %eax, %eax
callq 0x1070
cmpq $0x5, %rbx
je 0x5718
movq 0x20ada(%rip), %rsi     # 0x261e8
movl $0x3b, %edi
callq 0x1040
incq %rbx
addq $0x10, %r13
cmpl $0x6, %ebx
jne 0x56a4
movq 0x20abd(%rip), %rsi     # 0x261e8
movl $0xa, %edi
callq 0x1040
jmp 0x5754
movl 0x18(%rsp), %edi
movl 0x14(%rsp), %esi
xorl %edx, %edx
cmpl $0xc, %ebp
sete %dl
leaq 0x20(%rsp), %rcx
xorl %r8d, %r8d
callq 0x1e968
addq $0x7f8, %rsp            # imm = 0x7F8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x205b
callq 0x2015
callq 0x1efa
callq 0x1fdf
callq 0x1fa9
callq 0x1f73
callq 0x1f3d