// File: /workspace/github_c_makefile_star2_O2/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
movl 0x20318(%rip), %eax     # 0x241a8
testl %eax, %eax
jg 0x3ea1
pushq $0x5
popq %rax
movl $0x5, 0x20307(%rip)     # 0x241a8
movl 0x201f9(%rip), %ecx     # 0x240a0
testl %ecx, %ecx
jg 0x3eb8
pushq $0x3
popq %rcx
movl $0x3, 0x201e8(%rip)     # 0x240a0
movl 0x203a2(%rip), %edx     # 0x24260
addl $-0x41, %edx
cmpl $-0x36, %edx
jbe 0x423b
addl $-0x6, %ecx
cmpl $-0x4, %ecx
jbe 0x4272
cmpl $0x5, %eax
jne 0x42b4
cmpb $0x1, 0x201be(%rip)     # 0x240a4
je 0x42f3
cmpb $0x1, 0x202b1(%rip)     # 0x241a4
je 0x431b
cmpl $0x0, 0x2034c(%rip)     # 0x2424c
jns 0x4343
cmpl $0x0, 0x20347(%rip)     # 0x24254
jns 0x436b
cmpb $0x1, 0x20322(%rip)     # 0x2423c
jne 0x3f39
movabsq $0x73687061726720, %rax # imm = 0x73687061726720
movq %rax, 0x202b8(%rip)     # 0x241e5
movabsq $0x7267206369627563, %rax # imm = 0x7267206369627563
jmp 0x3f54
movabsq $0x736e6f6974616c, %rax # imm = 0x736E6F6974616C
movq %rax, 0x2029d(%rip)     # 0x241e7
movabsq $0x6c75676e61697274, %rax # imm = 0x6C75676E61697274
movq %rax, 0x20285(%rip)     # 0x241e0
callq 0x4ca5
movzbl 0x202cd(%rip), %eax     # 0x24234
movl %eax, 0x21a63(%rip)     # 0x259d0
movl 0x202ed(%rip), %edx     # 0x24260
cmpl $0x20, %edx
pushq $0x20
popq %rax
cmovll %edx, %eax
xorl %ecx, %ecx
cmpl $0x23, %edx
setge %cl
addl %eax, %ecx
xorl %eax, %eax
cmpl $0x26, %edx
setge %al
leal (%rax,%rcx), %esi
addl $-0x5, %esi
addl $-0x5, %edx
pushq $0xc
popq %rdi
callq 0x5017
movl 0x21a2f(%rip), %ebp     # 0x259d4
testl %ebp, %ebp
jne 0x3fb6
cmpl $0x0, 0x202a8(%rip)     # 0x24258
jg 0x412e
movl 0x200e4(%rip), %ebx     # 0x240a0
movl %ebx, 0x202a2(%rip)     # 0x24264
callq 0xdaaa
leaq 0x21c12(%rip), %rdi     # 0x25be0
leaq 0x18(%rsp), %rsi
leaq 0x14(%rsp), %rdx
callq 0x52ed
cmpl $0x4, %ebx
jg 0x4111
leaq 0x220(%rsp), %rbx
leaq 0x1c(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0xec21
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 0xec91
cmpb $0x1, 0x201a9(%rip)     # 0x241d4
jne 0x412e
testb $0x1, 0x20070(%rip)     # 0x240a8
jne 0x412e
movq 0x20193(%rip), %rcx     # 0x241d8
leaq 0x1a364(%rip), %rdi     # 0x1e3b0
pushq $0x11
popq %rsi
pushq $0x1
popq %rdx
callq 0x10c0
movslq 0x20042(%rip), %rbx     # 0x240a0
movq %rbx, %rax
shlq $0x4, %rax
leaq 0x20054(%rip), %rcx     # 0x240c0
leaq (%rax,%rcx), %r14
addq $0x8, %r14
pushq $0x20
popq %rbp
leaq 0x1a350(%rip), %r15     # 0x1e3ce
pushq $0x3b
popq %r12
leaq 0x1a10d(%rip), %r13     # 0x1e196
cmpq $0x5, %rbx
jg 0x4140
movslq 0x20006(%rip), %rax     # 0x240a0
cmpq %rax, %rbx
jle 0x40ad
movq 0x20132(%rip), %rsi     # 0x241d8
movl %ebp, %edi
callq 0x1030
movq -0x8(%r14), %rdx
movq (%r14), %rcx
movq 0x2011d(%rip), %rdi     # 0x241d8
testq %rdx, %rdx
je 0x40cc
movq %r13, %rsi
xorl %eax, %eax
callq 0x1050
jmp 0x40dd
leaq 0x1a0bf(%rip), %rsi     # 0x1e192
movq %rcx, %rdx
xorl %eax, %eax
callq 0x1050
movq 0x200f4(%rip), %rdi     # 0x241d8
movq %r15, %rsi
movl %ebx, %edx
xorl %eax, %eax
callq 0x1050
cmpq $0x5, %rbx
je 0x4105
movq 0x200db(%rip), %rsi     # 0x241d8
movl %r12d, %edi
callq 0x1030
incq %rbx
addq $0x10, %r14
jmp 0x4089
movl 0x18(%rsp), %edi
movl 0x14(%rsp), %esi
xorl %edx, %edx
cmpl $0xc, %ebp
sete %dl
leaq 0x20(%rsp), %rcx
xorl %r8d, %r8d
callq 0x1d142
addq $0x7f8, %rsp            # imm = 0x7F8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x20091(%rip), %rsi     # 0x241d8
pushq $0xa
popq %rdi
callq 0x1030
cmpb $0x1, 0x2007a(%rip)     # 0x241d0
jne 0x412e
movq 0x20079(%rip), %rcx     # 0x241d8
leaq 0x1a271(%rip), %rdi     # 0x1e3d7
pushq $0x17
popq %rsi
pushq $0x1
popq %rdx
callq 0x10c0
movslq 0x1ff28(%rip), %rbx     # 0x240a0
movq %rbx, %rax
shlq $0x4, %rax
leaq 0x1ff9a(%rip), %rcx     # 0x24120
leaq (%rax,%rcx), %r14
addq $0x8, %r14
pushq $0x20
popq %rbp
leaq 0x1a236(%rip), %r15     # 0x1e3ce
pushq $0x3b
popq %r12
leaq 0x19ff3(%rip), %r13     # 0x1e196
cmpq $0x5, %rbx
jg 0x4227
movslq 0x1fef0(%rip), %rax     # 0x240a0
cmpq %rax, %rbx
jle 0x41c3
movq 0x2001c(%rip), %rsi     # 0x241d8
movl %ebp, %edi
callq 0x1030
movq -0x8(%r14), %rdx
movq (%r14), %rcx
movq 0x20007(%rip), %rdi     # 0x241d8
testq %rdx, %rdx
je 0x41e2
movq %r13, %rsi
xorl %eax, %eax
callq 0x1050
jmp 0x41f3
leaq 0x19fa9(%rip), %rsi     # 0x1e192
movq %rcx, %rdx
xorl %eax, %eax
callq 0x1050
movq 0x1ffde(%rip), %rdi     # 0x241d8
movq %r15, %rsi
movl %ebx, %edx
xorl %eax, %eax
callq 0x1050
cmpq $0x5, %rbx
je 0x421b
movq 0x1ffc5(%rip), %rsi     # 0x241d8
movl %r12d, %edi
callq 0x1030
incq %rbx
addq $0x10, %r14
jmp 0x41a3
movq 0x1ffaa(%rip), %rsi     # 0x241d8
pushq $0xa
popq %rdi
callq 0x1030
jmp 0x412e
movq 0x1fdb6(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fe64(%rip), %rdx     # 0x240b0
leaq 0x1a062(%rip), %rsi     # 0x1e2b5
leaq 0x1a172(%rip), %rcx     # 0x1e3cc
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x1a06a(%rip), %rsi     # 0x1e2d5
pushq $0xc
popq %rdx
pushq $0x40
jmp 0x42a7
movq 0x1fd7f(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fe2d(%rip), %rdx     # 0x240b0
leaq 0x1a02b(%rip), %rsi     # 0x1e2b5
leaq 0x1a04c(%rip), %rcx     # 0x1e2dd
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x1a033(%rip), %rsi     # 0x1e2d5
pushq $0x3
popq %rdx
pushq $0x5
popq %rcx
xorl %eax, %eax
callq 0x1050
jmp 0x4398
movq 0x1fd3d(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fdeb(%rip), %rdx     # 0x240b0
leaq 0x19fe9(%rip), %rsi     # 0x1e2b5
leaq 0x1a00d(%rip), %rcx     # 0x1e2e0
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x1a1f3(%rip), %rsi     # 0x1e4d7
pushq $0x5
popq %rdx
xorl %eax, %eax
callq 0x1050
jmp 0x4398
movq 0x1fcfe(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fdac(%rip), %rdx     # 0x240b0
leaq 0x19fd8(%rip), %rsi     # 0x1e2e3
leaq 0x1a38a(%rip), %rcx     # 0x1e69c
leaq 0x19ff7(%rip), %r8      # 0x1e310
jmp 0x4391
movq 0x1fcd6(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fd84(%rip), %rdx     # 0x240b0
leaq 0x19fb0(%rip), %rsi     # 0x1e2e3
leaq 0x1a362(%rip), %rcx     # 0x1e69c
leaq 0x19fcc(%rip), %r8      # 0x1e30d
jmp 0x4391
movq 0x1fcae(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fd5c(%rip), %rdx     # 0x240b0
leaq 0x19f88(%rip), %rsi     # 0x1e2e3
leaq 0x1a345(%rip), %rcx     # 0x1e6a7
leaq 0x19fb1(%rip), %r8      # 0x1e31a
jmp 0x4391
movq 0x1fc86(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fd34(%rip), %rdx     # 0x240b0
leaq 0x19f60(%rip), %rsi     # 0x1e2e3
leaq 0x1a31d(%rip), %rcx     # 0x1e6a7
leaq 0x19fce(%rip), %r8      # 0x1e35f
xorl %eax, %eax
callq 0x1050
pushq $0x1
popq %rdi
callq 0x10b0