// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: will_be_on_nf4_5red
static int
will_be_on_nf4_5red(EDGE *e)

/* Checks whether performing a 5-reduction at e (e starting at the
   vertex with valency 5) will produce a configuration with 
   one of the diagonals being on an nf-4-cycle. It is assumed
   that it is already assured that a 5-reduction here is possible
   (e.g. degree[e->start]=5).

   It somehow simulates the situation after the switch. This is
   a bit ugly, since after the switch on ONE side there will be
   an additional edge and on the other there won't.
*/

{
  EDGE *run, *run1, *last, *last1, *dummy, *e1, *e2;

  /* It is important for the correctness, that we go ONE step from e and
     two from e1, resp e2 */

  e1=e->prev->prev->invers; e2=e->next->next->invers;
  e=e->invers;

  RESETMARKS_V;
  last=e->prev; /* there will be an edge in between */
  run=e->next->next;
  MARK_V(run->end);
  while (run!=last)
    { run=run->next;
      MARK_V(run->end);
    }

  last=e1->prev->prev; /* I cannot reach the edges that will be
			  missing after the reduction in two steps, so
			  here I can proceed "as usual" */
  run=e1->next->next;
  dummy=run->invers;
  last1=dummy->prev->prev;
  run1=dummy->next->next;
  if (ISMARKED_V(run1->end)) return 1;
  run1=run1->next;
  if (ISMARKED_V(run1->end)) return 1;
  while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
  run=run->next;
  dummy=run->invers;
  last1=dummy->prev->prev;
  run1=dummy->next->next;
  if (ISMARKED_V(run1->end)) return 1;
  run1=run1->next;
  if (ISMARKED_V(run1->end)) return 1;
  while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
  while (run!=last)
    { run=run->next;
      dummy=run->invers;
      last1=dummy->prev->prev;
      run1=dummy->next->next;
      if (ISMARKED_V(run1->end)) return 1;
      run1=run1->next;
      if (ISMARKED_V(run1->end)) return 1;
      while (run1!=last1)
        { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
    }

  RESETMARKS_V;
  last=e->prev->prev;
  run=e->next; /* there will be an edge in between */
  MARK_V(run->end);
  while (run!=last)
    { run=run->next;
      MARK_V(run->end);
    }

  last=e2->prev->prev; /* I cannot reach the edges that will be
                          missing after the reduction in two steps, 
			  so here I can proceed "as usual" */
  run=e2->next->next;
  dummy=run->invers;
  last1=dummy->prev->prev;
  run1=dummy->next->next;
  if (ISMARKED_V(run1->end)) return 1;
  run1=run1->next;
  if (ISMARKED_V(run1->end)) return 1;
  while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
  run=run->next;
  dummy=run->invers;
  last1=dummy->prev->prev;
  run1=dummy->next->next;
  if (ISMARKED_V(run1->end)) return 1;
  run1=run1->next;
  if (ISMARKED_V(run1->end)) return 1;
  while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
  while (run!=last)
    { run=run->next;
      dummy=run->invers;
      last1=dummy->prev->prev;
      run1=dummy->next->next;
      if (ISMARKED_V(run1->end)) return 1;
      run1=run1->next;
      if (ISMARKED_V(run1->end)) return 1;
      while (run1!=last1)
        { run1=run1->next; if (ISMARKED_V(run1->end)) return 1; }
    }

  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x10(%rbp)
movl 0x1516e(%rip), %eax     # 0x3c090
addl $0x1, %eax
movl %eax, 0x15165(%rip)     # 0x3c090
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x26f68
movl $0x1, 0x15154(%rip)     # 0x3c090
movl $0x0, -0x4c(%rbp)
cmpl $0x40, -0x4c(%rbp)
jge 0x26f66
movslq -0x4c(%rbp), %rcx
leaq 0x279cec(%rip), %rax    # 0x2a0c40
movl $0x0, (%rax,%rcx,4)
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x26f43
jmp 0x26f68
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x15106(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279ca7(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x26fcc
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x150d8(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279c79(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x26f9c
movq -0x40(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x40(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279c19(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x15060(%rip), %eax     # 0x3c090
jne 0x2703e
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279be7(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1502e(%rip), %eax     # 0x3c090
jne 0x27070
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27072
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x270b0
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279ba9(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14ff0(%rip), %eax     # 0x3c090
jne 0x270ae
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27072
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279b49(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14f90(%rip), %eax     # 0x3c090
jne 0x2710e
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279b17(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14f5e(%rip), %eax     # 0x3c090
jne 0x27140
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27142
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27180
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279ad9(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14f20(%rip), %eax     # 0x3c090
jne 0x2717e
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27142
jmp 0x27182
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x27265
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279a69(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14eb0(%rip), %eax     # 0x3c090
jne 0x271ee
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279a37(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14e7e(%rip), %eax     # 0x3c090
jne 0x27220
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27222
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27260
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2799f9(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14e40(%rip), %eax     # 0x3c090
jne 0x2725e
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27222
jmp 0x27182
movl 0x14e25(%rip), %eax     # 0x3c090
addl $0x1, %eax
movl %eax, 0x14e1c(%rip)     # 0x3c090
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x272b1
movl $0x1, 0x14e0b(%rip)     # 0x3c090
movl $0x0, -0x50(%rbp)
cmpl $0x40, -0x50(%rbp)
jge 0x272af
movslq -0x50(%rbp), %rcx
leaq 0x2799a3(%rip), %rax    # 0x2a0c40
movl $0x0, (%rax,%rcx,4)
movl -0x50(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x50(%rbp)
jmp 0x2728c
jmp 0x272b1
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x14dbd(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27995e(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x27315
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x14d8f(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279930(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x272e5
movq -0x48(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x48(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2798d0(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14d17(%rip), %eax     # 0x3c090
jne 0x27387
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27989e(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14ce5(%rip), %eax     # 0x3c090
jne 0x273b9
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x273bb
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x273f9
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279860(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14ca7(%rip), %eax     # 0x3c090
jne 0x273f7
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x273bb
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279800(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14c47(%rip), %eax     # 0x3c090
jne 0x27457
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2797ce(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14c15(%rip), %eax     # 0x3c090
jne 0x27489
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x2748b
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x274c9
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279790(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14bd7(%rip), %eax     # 0x3c090
jne 0x274c7
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x2748b
jmp 0x274cb
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x275a5
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279720(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14b67(%rip), %eax     # 0x3c090
jne 0x27534
movl $0x1, -0x4(%rbp)
jmp 0x275ac
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2796f1(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14b38(%rip), %eax     # 0x3c090
jne 0x27563
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27565
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x275a0
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2796b6(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14afd(%rip), %eax     # 0x3c090
jne 0x2759e
movl $0x1, -0x4(%rbp)
jmp 0x275ac
jmp 0x27565
jmp 0x274cb
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
popq %rbp
retq
nopw %cs:(%rax,%rax)