// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x800, %rsp            # imm = 0x800
cmpl $0x0, 0x36ac6(%rip)     # 0x3c1b8
jg 0x56fe
movl $0x5, 0x36aba(%rip)     # 0x3c1b8
cmpl $0x0, 0x369ab(%rip)     # 0x3c0b0
jg 0x5711
movl $0x3, 0x3699f(%rip)     # 0x3c0b0
movl $0xc, -0x8(%rbp)
movl 0x36b62(%rip), %eax     # 0x3c280
cmpl -0x8(%rbp), %eax
jl 0x572c
cmpl $0x40, 0x36b56(%rip)    # 0x3c280
jle 0x579f
movq 0x368c5(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36983(%rip), %rdx     # 0x3c0c0
leaq 0x32a9e(%rip), %rsi     # 0x381e2
leaq 0x32bae(%rip), %rcx     # 0x382f9
movb $0x0, %al
callq 0x1060
cmpl $0x40, -0x8(%rbp)
jne 0x5775
movq 0x36899(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movl -0x8(%rbp), %edx
leaq 0x32f15(%rip), %rsi     # 0x38681
movb $0x0, %al
callq 0x1060
jmp 0x5795
movq 0x3687c(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movl -0x8(%rbp), %edx
leaq 0x32a79(%rip), %rsi     # 0x38202
movl $0x40, %ecx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x3, 0x3690a(%rip)     # 0x3c0b0
jl 0x57b1
cmpl $0x5, 0x36901(%rip)     # 0x3c0b0
jle 0x5803
movq 0x36840(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x368fe(%rip), %rdx     # 0x3c0c0
leaq 0x32a19(%rip), %rsi     # 0x381e2
leaq 0x32a3a(%rip), %rcx     # 0x3820a
movb $0x0, %al
callq 0x1060
movq 0x3681a(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
leaq 0x32a1a(%rip), %rsi     # 0x38202
movl $0x3, %edx
movl $0x5, %ecx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x5, 0x369ae(%rip)     # 0x3c1b8
jl 0x5815
cmpl $0x5, 0x369a5(%rip)     # 0x3c1b8
jle 0x5862
movq 0x367dc(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x3689a(%rip), %rdx     # 0x3c0c0
leaq 0x329b5(%rip), %rsi     # 0x381e2
leaq 0x329d9(%rip), %rcx     # 0x3820d
movb $0x0, %al
callq 0x1060
movq 0x367b6(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
leaq 0x32e35(%rip), %rsi     # 0x38681
movl $0x5, %edx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x3684b(%rip)     # 0x3c0b4
je 0x58a2
movq 0x36786(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36844(%rip), %rdx     # 0x3c0c0
leaq 0x3298d(%rip), %rsi     # 0x38210
leaq 0x32d41(%rip), %rcx     # 0x385cb
leaq 0x329ac(%rip), %r8      # 0x3823d
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x3690b(%rip)     # 0x3c1b4
je 0x58e2
movq 0x36746(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36804(%rip), %rdx     # 0x3c0c0
leaq 0x3294d(%rip), %rsi     # 0x38210
leaq 0x32d01(%rip), %rcx     # 0x385cb
leaq 0x32969(%rip), %r8      # 0x3823a
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x36983(%rip)     # 0x3c26c
jl 0x5922
movq 0x36706(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x367c4(%rip), %rdx     # 0x3c0c0
leaq 0x3290d(%rip), %rsi     # 0x38210
leaq 0x32ccc(%rip), %rcx     # 0x385d6
leaq 0x32936(%rip), %r8      # 0x38247
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x3694b(%rip)     # 0x3c274
jl 0x5962
movq 0x366c6(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36784(%rip), %rdx     # 0x3c0c0
leaq 0x328cd(%rip), %rsi     # 0x38210
leaq 0x32c8c(%rip), %rcx     # 0x385d6
leaq 0x3293b(%rip), %r8      # 0x3828c
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x368f3(%rip)     # 0x3c25c
je 0x5980
leaq 0x3688e(%rip), %rdi     # 0x3c200
leaq 0x32c0d(%rip), %rsi     # 0x38586
callq 0x1030
jmp 0x5993
leaq 0x36879(%rip), %rdi     # 0x3c200
leaq 0x32bc4(%rip), %rsi     # 0x38552
callq 0x1030
callq 0x6af0
movl 0x368b6(%rip), %eax     # 0x3c254
movl %eax, 0x3804c(%rip)     # 0x3d9f0
movl 0x368d6(%rip), %eax     # 0x3c280
subl $0x5, %eax
cmpl $0x1b, %eax
jle 0x59bf
movl $0x1b, %eax
movl %eax, -0x7f4(%rbp)
jmp 0x59ce
movl 0x368bb(%rip), %eax     # 0x3c280
subl $0x5, %eax
movl %eax, -0x7f4(%rbp)
movl -0x7f4(%rbp), %eax
movl %eax, -0x14(%rbp)
cmpl $0x23, 0x368a2(%rip)    # 0x3c280
jl 0x59e9
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
cmpl $0x26, 0x36890(%rip)    # 0x3c280
jl 0x59fb
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
movl -0x8(%rbp), %edi
movl -0x14(%rbp), %esi
movl 0x36879(%rip), %edx     # 0x3c280
subl $0x5, %edx
callq 0x6f50
cmpl $0x0, 0x37fde(%rip)     # 0x3d9f4
jne 0x5a26
cmpl $0x0, 0x36859(%rip)     # 0x3c278
jle 0x5a26
jmp 0x5d39
movl 0x36684(%rip), %eax     # 0x3c0b0
movl %eax, 0x36852(%rip)     # 0x3c284
callq 0x17530
leaq 0x381c2(%rip), %rdi     # 0x3dc00
leaq 0x382bb(%rip), %rsi     # 0x3dd00
leaq -0xc(%rbp), %rdx
leaq -0x10(%rbp), %rcx
callq 0x7410
cmpl $0x5, 0x36657(%rip)     # 0x3c0b0
jge 0x5d15
leaq -0x7f0(%rbp), %rdi
leaq -0x18(%rbp), %rsi
callq 0x18aa0
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
cmpl $0xc, 0x37f78(%rip)     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %edx
leaq -0x220(%rbp), %rcx
leaq -0x7f0(%rbp), %r9
movl -0x18(%rbp), %eax
xorl %r8d, %r8d
movl %eax, (%rsp)
callq 0x18b50
cmpl $0x0, 0x36741(%rip)     # 0x3c1e8
je 0x5d13
cmpl $0x0, 0x36604(%rip)     # 0x3c0b8
jne 0x5d13
movq 0x3672f(%rip), %rdi     # 0x3c1f0
leaq 0x32815(%rip), %rsi     # 0x382dd
movb $0x0, %al
callq 0x1060
movl 0x365db(%rip), %eax     # 0x3c0b0
movl %eax, -0x4(%rbp)
cmpl $0x5, -0x4(%rbp)
jg 0x5bca
movl -0x4(%rbp), %eax
cmpl 0x365c5(%rip), %eax     # 0x3c0b0
jle 0x5b02
movq 0x366fc(%rip), %rdi     # 0x3c1f0
leaq 0x32821(%rip), %rsi     # 0x3831c
movb $0x0, %al
callq 0x1060
movslq -0x4(%rbp), %rcx
leaq 0x365c3(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0x5b47
movq 0x366cf(%rip), %rdi     # 0x3c1f0
movslq -0x4(%rbp), %rcx
leaq 0x365a4(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rdx
leaq 0x3257e(%rip), %rsi     # 0x380bc
movb $0x0, %al
callq 0x1060
jmp 0x5b87
movq 0x366a2(%rip), %rdi     # 0x3c1f0
movslq -0x4(%rbp), %rcx
leaq 0x36577(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rdx
movslq -0x4(%rbp), %rcx
leaq 0x36562(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
leaq 0x32540(%rip), %rsi     # 0x380c0
movb $0x0, %al
callq 0x1060
movq 0x36662(%rip), %rdi     # 0x3c1f0
movl -0x4(%rbp), %edx
leaq 0x32763(%rip), %rsi     # 0x382fb
movb $0x0, %al
callq 0x1060
cmpl $0x5, -0x4(%rbp)
jge 0x5bba
movq 0x36644(%rip), %rdi     # 0x3c1f0
leaq 0x32751(%rip), %rsi     # 0x38304
movb $0x0, %al
callq 0x1060
jmp 0x5bbc
movl -0x4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4(%rbp)
jmp 0x5ad8
movq 0x3661f(%rip), %rdi     # 0x3c1f0
leaq 0x329a2(%rip), %rsi     # 0x3857a
movb $0x0, %al
callq 0x1060
cmpl $0x0, 0x365fa(%rip)     # 0x3c1e0
je 0x5d11
movq 0x365fd(%rip), %rdi     # 0x3c1f0
leaq 0x3270c(%rip), %rsi     # 0x38306
movb $0x0, %al
callq 0x1060
movl 0x364a9(%rip), %eax     # 0x3c0b0
movl %eax, -0x4(%rbp)
cmpl $0x5, -0x4(%rbp)
jg 0x5cfc
movl -0x4(%rbp), %eax
cmpl 0x36493(%rip), %eax     # 0x3c0b0
jle 0x5c34
movq 0x365ca(%rip), %rdi     # 0x3c1f0
leaq 0x326ef(%rip), %rsi     # 0x3831c
movb $0x0, %al
callq 0x1060
movslq -0x4(%rbp), %rcx
leaq 0x364f1(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0x5c79
movq 0x3659d(%rip), %rdi     # 0x3c1f0
movslq -0x4(%rbp), %rcx
leaq 0x364d2(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rdx
leaq 0x3244c(%rip), %rsi     # 0x380bc
movb $0x0, %al
callq 0x1060
jmp 0x5cb9
movq 0x36570(%rip), %rdi     # 0x3c1f0
movslq -0x4(%rbp), %rcx
leaq 0x364a5(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rdx
movslq -0x4(%rbp), %rcx
leaq 0x36490(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
leaq 0x3240e(%rip), %rsi     # 0x380c0
movb $0x0, %al
callq 0x1060
movq 0x36530(%rip), %rdi     # 0x3c1f0
movl -0x4(%rbp), %edx
leaq 0x32631(%rip), %rsi     # 0x382fb
movb $0x0, %al
callq 0x1060
cmpl $0x5, -0x4(%rbp)
jge 0x5cec
movq 0x36512(%rip), %rdi     # 0x3c1f0
leaq 0x3261f(%rip), %rsi     # 0x38304
movb $0x0, %al
callq 0x1060
jmp 0x5cee
movl -0x4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4(%rbp)
jmp 0x5c0a
movq 0x364ed(%rip), %rdi     # 0x3c1f0
leaq 0x32870(%rip), %rsi     # 0x3857a
movb $0x0, %al
callq 0x1060
jmp 0x5d13
jmp 0x5d39
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
cmpl $0xc, 0x37cd2(%rip)     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %edx
leaq -0x220(%rbp), %rcx
xorl %r8d, %r8d
callq 0x35bb0
addq $0x800, %rsp            # imm = 0x800
popq %rbp
retq
nopw %cs:(%rax,%rax)