// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: reduce_min5_b
static void
reduce_min5_b(EDGE *ref, int do_mirror)

{
  EDGE *e, *ei, *e2, *e2i, *e4, *work1, *work2, *work3, *e3, *e3i, *e5i;
  int center1, center2, end2, start3;


if (!do_mirror)
   {
     e=ref->prev;
     ei=e->invers;
     e2=ei->prev->prev;
     e2i=e2->invers;
     e4=e2i->prev->prev;
     work1=e4->next->invers->next;
     e3i=e->prev->prev;
     e3=e3i->invers;
     e5i=e3->next->next;
     work3=e5i->prev->invers->prev;
     work2=work3->prev;
     
     end2=e2->end;
     center1=e->end;
     center2=e->start;
     start3=e3->start;

     degree[end2]--;
     degree[start3]--;

     firstedge[end2]=e4;
     firstedge[center1]=ei;
     firstedge[center2]=e;
     firstedge[start3]=e3;

     e4->next=e2i; e2i->prev=e4;
     e2->next=work1; work1->prev=e2;
     ei->prev=work1; work1->next=ei;
     e->next=work2; work2->prev=e;
     e3i->prev=work3; work3->next=e3i;
     e3->next=e5i; e5i->prev=e3;

     work1->start=work1->invers->end=center1;
     work2->start=work2->invers->end=work3->start=work3->invers->end=center2;

     nv-=2; ne-=12;
   }

else
   {
     e=ref->next;
     ei=e->invers;
     e2=ei->next->next;
     e2i=e2->invers;
     e4=e2i->next->next;
     work1=e4->prev->invers->prev;
     e3i=e->next->next;
     e3=e3i->invers;
     e5i=e3->prev->prev;
     work3=e5i->next->invers->next;
     work2=work3->next;
     
     end2=e2->end;
     center1=e->end;
     center2=e->start;
     start3=e3->start;

     degree[end2]--;
     degree[start3]--;

     firstedge[end2]=e4;
     firstedge[center1]=ei;
     firstedge[center2]=e;
     firstedge[start3]=e3;

     e4->prev=e2i; e2i->next=e4;
     e2->prev=work1; work1->next=e2;
     ei->next=work1; work1->prev=ei;
     e->prev=work2; work2->next=e;
     e3i->next=work3; work3->prev=e3i;
     e3->prev=e5i; e5i->next=e3;

     work1->start=work1->invers->end=center1;
     work2->start=work2->invers->end=work3->start=work3->invers->end=center2;

     nv-=2; ne-=12;
   }

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
cmpl $0x0, -0xc(%rbp)
jne 0x1f3ed
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x74(%rbp)
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x6c(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x70(%rbp)
movq -0x58(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x78(%rbp)
movslq -0x74(%rbp), %rcx
leaq 0x1e976(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1e969(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movslq -0x78(%rbp), %rcx
leaq 0x1e95b(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1e94e(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x38(%rbp), %rdx
movslq -0x74(%rbp), %rcx
leaq 0x1e73c(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x20(%rbp), %rdx
movslq -0x6c(%rbp), %rcx
leaq 0x1e729(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rdx
movslq -0x70(%rbp), %rcx
leaq 0x1e716(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x58(%rbp), %rdx
movslq -0x78(%rbp), %rcx
leaq 0x1e703(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x38(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x40(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x28(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x40(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x20(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x18(%rbp), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x50(%rbp), %rcx
movq -0x60(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x60(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x68(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x58(%rbp), %rcx
movq -0x68(%rbp), %rax
movq %rcx, 0x10(%rax)
movl -0x6c(%rbp), %ecx
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x40(%rbp), %rax
movl %ecx, (%rax)
movl -0x70(%rbp), %ecx
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x50(%rbp), %rax
movl %ecx, (%rax)
movq -0x48(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x48(%rbp), %rax
movl %ecx, (%rax)
movl 0x23b250(%rip), %eax    # 0x25a620
subl $0x2, %eax
movl %eax, 0x23b247(%rip)    # 0x25a620
movl 0x23b245(%rip), %eax    # 0x25a624
subl $0xc, %eax
movl %eax, 0x23b23c(%rip)    # 0x25a624
jmp 0x1f620
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x74(%rbp)
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x6c(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x70(%rbp)
movq -0x58(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x78(%rbp)
movslq -0x74(%rbp), %rcx
leaq 0x1e73e(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1e731(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movslq -0x78(%rbp), %rcx
leaq 0x1e723(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1e716(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x38(%rbp), %rdx
movslq -0x74(%rbp), %rcx
leaq 0x1e504(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x20(%rbp), %rdx
movslq -0x6c(%rbp), %rcx
leaq 0x1e4f1(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rdx
movslq -0x70(%rbp), %rcx
leaq 0x1e4de(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x58(%rbp), %rdx
movslq -0x78(%rbp), %rcx
leaq 0x1e4cb(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x38(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x40(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x40(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x20(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x18(%rbp), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x50(%rbp), %rcx
movq -0x60(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x60(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x68(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x58(%rbp), %rcx
movq -0x68(%rbp), %rax
movq %rcx, 0x18(%rax)
movl -0x6c(%rbp), %ecx
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x40(%rbp), %rax
movl %ecx, (%rax)
movl -0x70(%rbp), %ecx
movq -0x50(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x50(%rbp), %rax
movl %ecx, (%rax)
movq -0x48(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x48(%rbp), %rax
movl %ecx, (%rax)
movl 0x23b018(%rip), %eax    # 0x25a620
subl $0x2, %eax
movl %eax, 0x23b00f(%rip)    # 0x25a620
movl 0x23b00d(%rip), %eax    # 0x25a624
subl $0xc, %eax
movl %eax, 0x23b004(%rip)    # 0x25a624
popq %rbp
retq
nopw %cs:(%rax,%rax)