#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
scalar_t__ colinear(int, int, int, int, int **);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, int, int, int, int,
                           int, int, int, int, int, int, int, int, int);
int inter_line(int, int, int, int, int, int **);
int is_desargue(int n, int **inc_tab, FILE *fichier) {
  int o, p, q, r, P, Q, R, a, b, g;
  int counto = 0, countp = 0, countq = 0, countr = 0, countP = 0, countQ = 0,
      countR = 0, count1 = 0, count2 = 0, count3 = 0, count4 = 0, count5 = 0,
      count6 = 0;
  for (o = 0; o < n; o++) {
    counto++;
    for (p = 0; p < n; p++) {
      countp++;
      for (q = 0; q < n; q++) {
        countq++;
        if (!colinear(o, p, q, n, inc_tab)) {
          count1++;
          for (r = 0; r < n; r++) {
            countr++;
            if (!colinear(o, p, r, n, inc_tab) &&
                !colinear(o, q, r, n, inc_tab) &&
                !colinear(p, q, r, n, inc_tab)) {
              count2++;
              for (P = 0; P < n; P++) {
                countP++;
                if (colinear(o, p, P, n, inc_tab)) {
                  count3++;
                  for (Q = 0; Q < n; Q++) {
                    countQ++;
                    if (colinear(o, q, Q, n, inc_tab)) {
                      count4++;
                      for (R = 0; R < n; R++) {
                        countR++;
                        if (colinear(o, r, R, n, inc_tab) &&
                            !colinear(P, Q, R, n, inc_tab)) {
                          count5++;
                          if ((p == P && q != Q && r != R) ||
                              (p != P && q == Q && r != R) ||
                              (p != P && q != Q && r == R) ||
                              (p != P && q != Q && r != R)) {
                            count6++;
                            a = inter_line(p, q, P, Q, n, inc_tab);
                            b = inter_line(p, r, P, R, n, inc_tab);
                            g = inter_line(q, r, Q, R, n, inc_tab);
                            if (!colinear(a, b, g, n, inc_tab)) {
                              return 0;
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  fprintf(fichier,
          "passage o:%d\n \npassage p:%d\n \npassage q:%d\n "
          "\nif(!col(o,p,q)):%d\n \npassage r:%d\n \nif( !col(o,p,r) && "
          "!col(o,q,r) && !col(p,q,r) ):%d\n \npassage P:%d\n \nif( col(o,p,P) "
          "):%d\n \npassage Q:%d\n \nif( col(o,q,Q) ):%d\n \npassage R:%d\n "
          "\nif( col(o,r,R) && !col(P,Q,R) ):%d\n \ndeux distinction min:%d\n",
          counto, countp, countq, count1, countr, count2, countP, count3,
          countQ, count4, countR, count5, count6);
  return 1;
}


x86 assembly (clang, -O0):
<is_desargue>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xc8,%rsp
mov    %edi,-0x30(%rbp)
mov    %rsi,-0x38(%rbp)
mov    %rdx,-0x40(%rbp)
movl   $0x0,-0x6c(%rbp)
movl   $0x0,-0x70(%rbp)
movl   $0x0,-0x74(%rbp)
movl   $0x0,-0x78(%rbp)
movl   $0x0,-0x7c(%rbp)
movl   $0x0,-0x80(%rbp)
movl   $0x0,-0x84(%rbp)
movl   $0x0,-0x88(%rbp)
movl   $0x0,-0x8c(%rbp)
movl   $0x0,-0x90(%rbp)
movl   $0x0,-0x94(%rbp)
movl   $0x0,-0x98(%rbp)
movl   $0x0,-0x9c(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    158d <is_desargue+0x45d>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    157a <is_desargue+0x44a>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1567 <is_desargue+0x437>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x48(%rbp),%esi
mov    -0x4c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    1554 <is_desargue+0x424>
mov    -0x88(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x88(%rbp)
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    154f <is_desargue+0x41f>
mov    -0x78(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x78(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x48(%rbp),%esi
mov    -0x50(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    153c <is_desargue+0x40c>
mov    -0x44(%rbp),%edi
mov    -0x4c(%rbp),%esi
mov    -0x50(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    153c <is_desargue+0x40c>
mov    -0x48(%rbp),%edi
mov    -0x4c(%rbp),%esi
mov    -0x50(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    153c <is_desargue+0x40c>
mov    -0x8c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8c(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1537 <is_desargue+0x407>
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x48(%rbp),%esi
mov    -0x54(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
je     1524 <is_desargue+0x3f4>
mov    -0x90(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x90(%rbp)
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    151f <is_desargue+0x3ef>
mov    -0x80(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x80(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x4c(%rbp),%esi
mov    -0x58(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
je     150c <is_desargue+0x3dc>
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
movl   $0x0,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1507 <is_desargue+0x3d7>
mov    -0x84(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x84(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x50(%rbp),%esi
mov    -0x5c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
je     14f4 <is_desargue+0x3c4>
mov    -0x54(%rbp),%edi
mov    -0x58(%rbp),%esi
mov    -0x5c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    14f4 <is_desargue+0x3c4>
mov    -0x98(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x98(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x54(%rbp),%eax
jne    13f0 <is_desargue+0x2c0>
mov    -0x4c(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     13f0 <is_desargue+0x2c0>
mov    -0x50(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jne    145c <is_desargue+0x32c>
mov    -0x48(%rbp),%eax
cmp    -0x54(%rbp),%eax
je     1414 <is_desargue+0x2e4>
mov    -0x4c(%rbp),%eax
cmp    -0x58(%rbp),%eax
jne    1414 <is_desargue+0x2e4>
mov    -0x50(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jne    145c <is_desargue+0x32c>
mov    -0x48(%rbp),%eax
cmp    -0x54(%rbp),%eax
je     1438 <is_desargue+0x308>
mov    -0x4c(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     1438 <is_desargue+0x308>
mov    -0x50(%rbp),%eax
cmp    -0x5c(%rbp),%eax
je     145c <is_desargue+0x32c>
mov    -0x48(%rbp),%eax
cmp    -0x54(%rbp),%eax
je     14ef <is_desargue+0x3bf>
mov    -0x4c(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     14ef <is_desargue+0x3bf>
mov    -0x50(%rbp),%eax
cmp    -0x5c(%rbp),%eax
je     14ef <is_desargue+0x3bf>
mov    -0x9c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9c(%rbp)
mov    -0x48(%rbp),%edi
mov    -0x4c(%rbp),%esi
mov    -0x54(%rbp),%edx
mov    -0x58(%rbp),%ecx
mov    -0x30(%rbp),%r8d
mov    -0x38(%rbp),%r9
call   1030 <inter_line@plt>
mov    %eax,-0x60(%rbp)
mov    -0x48(%rbp),%edi
mov    -0x50(%rbp),%esi
mov    -0x54(%rbp),%edx
mov    -0x5c(%rbp),%ecx
mov    -0x30(%rbp),%r8d
mov    -0x38(%rbp),%r9
call   1030 <inter_line@plt>
mov    %eax,-0x64(%rbp)
mov    -0x4c(%rbp),%edi
mov    -0x50(%rbp),%esi
mov    -0x58(%rbp),%edx
mov    -0x5c(%rbp),%ecx
mov    -0x30(%rbp),%r8d
mov    -0x38(%rbp),%r9
call   1030 <inter_line@plt>
mov    %eax,-0x68(%rbp)
mov    -0x60(%rbp),%edi
mov    -0x64(%rbp),%esi
mov    -0x68(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x38(%rbp),%r8
call   1040 <colinear@plt>
cmp    $0x0,%rax
jne    14ea <is_desargue+0x3ba>
movl   $0x0,-0x2c(%rbp)
jmp    161d <is_desargue+0x4ed>
jmp    14ef <is_desargue+0x3bf>
jmp    14f4 <is_desargue+0x3c4>
jmp    14f9 <is_desargue+0x3c9>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1364 <is_desargue+0x234>
jmp    150c <is_desargue+0x3dc>
jmp    1511 <is_desargue+0x3e1>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    131a <is_desargue+0x1ea>
jmp    1524 <is_desargue+0x3f4>
jmp    1529 <is_desargue+0x3f9>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12d0 <is_desargue+0x1a0>
jmp    153c <is_desargue+0x40c>
jmp    1541 <is_desargue+0x411>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1248 <is_desargue+0x118>
jmp    1554 <is_desargue+0x424>
jmp    1559 <is_desargue+0x429>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11fe <is_desargue+0xce>
jmp    156c <is_desargue+0x43c>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11e2 <is_desargue+0xb2>
jmp    157f <is_desargue+0x44f>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11c6 <is_desargue+0x96>
mov    -0x40(%rbp),%rdi
mov    -0x6c(%rbp),%edx
mov    -0x70(%rbp),%ecx
mov    -0x74(%rbp),%r8d
mov    -0x88(%rbp),%r9d
mov    -0x78(%rbp),%eax
mov    -0x8c(%rbp),%r13d
mov    -0x7c(%rbp),%r12d
mov    -0x90(%rbp),%r15d
mov    -0x80(%rbp),%r14d
mov    -0x94(%rbp),%ebx
mov    -0x84(%rbp),%r11d
mov    -0x98(%rbp),%r10d
mov    -0x9c(%rbp),%esi
mov    %esi,-0xa0(%rbp)
lea    0xa1e(%rip),%rsi
mov    %eax,(%rsp)
mov    -0xa0(%rbp),%eax
mov    %r13d,0x8(%rsp)
mov    %r12d,0x10(%rsp)
mov    %r15d,0x18(%rsp)
mov    %r14d,0x20(%rsp)
mov    %ebx,0x28(%rsp)
mov    %r11d,0x30(%rsp)
mov    %r10d,0x38(%rsp)
mov    %eax,0x40(%rsp)
call   1050 <fprintf@plt>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xc8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_desargue>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
test   %edi,%edi
jle    1572 <is_desargue+0x442>
mov    %edi,%r13d
mov    %rsi,0x28(%rsp)
mov    %rdx,0x88(%rsp)
mov    %edi,%eax
imul   %r13d,%eax
mov    %eax,0x7c(%rsp)
imul   %edi,%eax
mov    %eax,0x78(%rsp)
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %eax,%eax
mov    %rax,0x68(%rsp)
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x50(%rsp)
movl   $0x0,0x3c(%rsp)
xor    %eax,%eax
mov    %rax,0x60(%rsp)
xor    %eax,%eax
mov    %rax,0x58(%rsp)
xor    %eax,%eax
mov    %rax,0x48(%rsp)
xor    %r14d,%r14d
xor    %eax,%eax
mov    %rax,0x30(%rsp)
add    $0x1,%eax
mov    %eax,0x80(%rsp)
movl   $0x0,0x4(%rsp)
xor    %edx,%edx
jmp    11e0 <is_desargue+0xb0>
mov    0x70(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0xc(%rsp),%edx
add    $0x1,%edx
cmp    %r13d,%edx
je     150f <is_desargue+0x3df>
mov    0x30(%rsp),%rdi
mov    0x4(%rsp),%esi
mov    %edx,0xc(%rsp)
mov    %r13d,%ecx
mov    0x28(%rsp),%r8
call   1040 <colinear@plt>
test   %rax,%rax
jne    11d0 <is_desargue+0xa0>
mov    %r15,0x70(%rsp)
addl   $0x1,0x3c(%rsp)
add    %r13d,%r14d
xor    %ebx,%ebx
xchg   %ax,%ax
mov    %r12,0x10(%rsp)
mov    %ebx,%r12d
mov    %r14,%rbx
mov    %rbp,%r14
mov    0x30(%rsp),%r15
mov    %r15d,%edi
mov    0x4(%rsp),%esi
mov    %r12d,%edx
mov    %r13d,%ecx
mov    0x28(%rsp),%rbp
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
jne    1260 <is_desargue+0x130>
mov    %r15d,%edi
mov    0xc(%rsp),%r15d
mov    %r15d,%esi
mov    %r12d,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
je     127b <is_desargue+0x14b>
mov    %r14,%rbp
mov    %rbx,%r14
mov    %r12d,%ebx
mov    0x10(%rsp),%r12
add    $0x1,%ebx
cmp    %r13d,%ebx
jne    1210 <is_desargue+0xe0>
jmp    11bd <is_desargue+0x8d>
mov    0x4(%rsp),%edi
mov    %r15d,%esi
mov    %r12d,0x1c(%rsp)
mov    %r12d,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
je     12a6 <is_desargue+0x176>
mov    %r14,%rbp
mov    %rbx,%r14
mov    0x1c(%rsp),%ebx
jmp    1269 <is_desargue+0x139>
mov    0x50(%rsp),%r15
add    $0x1,%r15d
mov    0x48(%rsp),%rax
add    %r13d,%eax
mov    %rax,0x48(%rsp)
xor    %edx,%edx
mov    %r14,%rbp
mov    %rbx,%r14
mov    0x1c(%rsp),%ebx
mov    0x10(%rsp),%r12
mov    %r14,0x40(%rsp)
mov    %r15,0x50(%rsp)
jmp    12fb <is_desargue+0x1cb>
mov    0x40(%rsp),%r14
mov    0x90(%rsp),%rbp
mov    0x10(%rsp),%r12
mov    0x20(%rsp),%edx
add    $0x1,%edx
cmp    %r13d,%edx
je     126e <is_desargue+0x13e>
mov    0x30(%rsp),%rdi
mov    0x4(%rsp),%esi
mov    %edx,0x20(%rsp)
mov    %r13d,%ecx
mov    0x28(%rsp),%r8
call   1040 <colinear@plt>
test   %rax,%rax
je     12eb <is_desargue+0x1bb>
mov    %r12,0x10(%rsp)
add    $0x1,%ebp
mov    %rbp,0x90(%rsp)
mov    0x58(%rsp),%rax
add    %r13d,%eax
mov    %rax,0x58(%rsp)
xor    %r14d,%r14d
mov    0x28(%rsp),%rbp
mov    0x30(%rsp),%r15
mov    0xc(%rsp),%r12d
jmp    136c <is_desargue+0x23c>
nopl   0x0(%rax,%rax,1)
mov    %r12,0x10(%rsp)
mov    0xc(%rsp),%r12d
mov    0x24(%rsp),%r14d
add    $0x1,%r14d
cmp    %r13d,%r14d
je     12d9 <is_desargue+0x1a9>
mov    %r15d,%edi
mov    %r12d,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
mov    %r14d,0x24(%rsp)
je     135a <is_desargue+0x22a>
mov    0x20(%rsp),%eax
cmp    %eax,0x4(%rsp)
sete   %cl
setne  %dl
mov    0x68(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x68(%rsp)
cmp    %r14d,%r12d
setne  %al
sete   %sil
or     %sil,%dl
mov    %dl,0xb(%rsp)
or     %cl,%al
mov    %al,0xa(%rsp)
or     %sil,%cl
mov    %cl,0x3(%rsp)
mov    0x60(%rsp),%rax
add    %r13d,%eax
mov    %rax,0x60(%rsp)
xor    %r14d,%r14d
mov    0x10(%rsp),%r12
jmp    149d <is_desargue+0x36d>
mov    %r12,0x10(%rsp)
mov    0x4(%rsp),%r15d
mov    %r15d,%edi
mov    0xc(%rsp),%esi
mov    0x20(%rsp),%ebx
mov    %ebx,%edx
mov    0x24(%rsp),%r12d
mov    %r12d,%ecx
mov    %r13d,%r8d
mov    %rbp,%r9
call   1030 <inter_line@plt>
mov    %eax,0x84(%rsp)
mov    %r15d,%edi
mov    0x1c(%rsp),%esi
mov    %ebx,%edx
mov    %r14d,%ecx
mov    %r13d,%r8d
mov    %rbp,%r9
call   1030 <inter_line@plt>
mov    %eax,%r15d
mov    0xc(%rsp),%edi
mov    0x1c(%rsp),%ebx
mov    %ebx,%esi
mov    %r12d,%edx
mov    %r14d,%ecx
mov    %r13d,%r8d
mov    0x28(%rsp),%r9
call   1030 <inter_line@plt>
mov    0x84(%rsp),%edi
mov    %r15d,%esi
mov    0x28(%rsp),%rbp
mov    %eax,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
je     156e <is_desargue+0x43e>
mov    0x70(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x70(%rsp)
mov    0x10(%rsp),%r12
mov    0x30(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14d
cmp    %r14d,%r13d
je     1350 <is_desargue+0x220>
mov    %r15d,%edi
mov    %ebx,%esi
mov    %r14d,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
je     1490 <is_desargue+0x360>
mov    0x20(%rsp),%edi
mov    0x24(%rsp),%esi
mov    %r14d,%edx
mov    %r13d,%ecx
mov    %rbp,%r8
call   1040 <colinear@plt>
test   %rax,%rax
jne    1490 <is_desargue+0x360>
add    $0x1,%r12d
cmp    %r14d,%ebx
setne  %cl
sete   %al
movzbl 0xb(%rsp),%edx
or     %al,%dl
cmp    $0x1,%dl
jne    13dd <is_desargue+0x2ad>
movzbl 0xa(%rsp),%edx
or     %al,%dl
je     13dd <is_desargue+0x2ad>
or     0x3(%rsp),%cl
je     13dd <is_desargue+0x2ad>
or     0x3(%rsp),%al
jne    1490 <is_desargue+0x360>
jmp    13dd <is_desargue+0x2ad>
mov    0x4(%rsp),%eax
add    $0x1,%eax
mov    %eax,0x4(%rsp)
cmp    %r13d,%eax
jne    11b9 <is_desargue+0x89>
mov    0x80(%rsp),%ecx
mov    %ecx,%eax
cmp    %r13d,%ecx
jne    11a2 <is_desargue+0x72>
mov    0x88(%rsp),%rdx
mov    0x58(%rsp),%r10
mov    0x7c(%rsp),%ecx
mov    0x78(%rsp),%r8d
mov    %r12,%rbx
mov    0x68(%rsp),%rax
mov    0x60(%rsp),%r11
mov    0x3c(%rsp),%r9d
mov    %r14,0x40(%rsp)
mov    0x50(%rsp),%r14
mov    0x48(%rsp),%r12
jmp    1599 <is_desargue+0x469>
xor    %eax,%eax
jmp    15cc <is_desargue+0x49c>
xor    %r13d,%r13d
xor    %ecx,%ecx
xor    %r8d,%r8d
xor    %eax,%eax
mov    %rax,0x40(%rsp)
xor    %r12d,%r12d
xor    %r10d,%r10d
xor    %r11d,%r11d
xor    %r9d,%r9d
xor    %r14d,%r14d
xor    %ebp,%ebp
xor    %eax,%eax
xor    %ebx,%ebx
xor    %r15d,%r15d
sub    $0x8,%rsp
lea    0xa5c(%rip),%rsi
mov    %rdx,%rdi
mov    %r13d,%edx
push   %r15
push   %rbx
push   %r11
push   %rax
push   %r10
push   %rbp
push   %r12
push   %r14
push   0x88(%rsp)
call   1050 <fprintf@plt>
add    $0x50,%rsp
mov    $0x1,%eax
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [285 x i8] c"passage o:%d\0A \0Apassage p:%d\0A \0Apassage q:%d\0A \0Aif(!col(o,p,q)):%d\0A \0Apassage r:%d\0A \0Aif( !col(o,p,r) && !col(o,q,r) && !col(p,q,r) ):%d\0A \0Apassage P:%d\0A \0Aif( col(o,p,P) ):%d\0A \0Apassage Q:%d\0A \0Aif( col(o,q,Q) ):%d\0A \0Apassage R:%d\0A \0Aif( col(o,r,R) && !col(P,Q,R) ):%d\0A \0Adeux distinction min:%d\0A\00"
define i32 @is_desargue(i32 %0, i32** %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32**
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
store i32 %0, i32* %5
store i32** %1, i32*** %6
store i32* %2, i32** %7
store i32 0, i32* %18
store i32 0, i32* %19
store i32 0, i32* %20
store i32 0, i32* %21
store i32 0, i32* %22
store i32 0, i32* %23
store i32 0, i32* %24
store i32 0, i32* %25
store i32 0, i32* %26
store i32 0, i32* %27
store i32 0, i32* %28
store i32 0, i32* %29
store i32 0, i32* %30
store i32 0, i32* %8
br label %31
31: ; preds = %264, %3
%32 = load i32, i32* %8
%33 = load i32, i32* %5
%34 = icmp slt i32 %32, %33
br i1 %34, label %35, label %267
35: ; preds = %31
%36 = load i32, i32* %18
%37 = add nsw i32 %36, 1
store i32 %37, i32* %18
store i32 0, i32* %9
br label %38
38: ; preds = %260, %35
%39 = load i32, i32* %9
%40 = load i32, i32* %5
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %263
42: ; preds = %38
%43 = load i32, i32* %19
%44 = add nsw i32 %43, 1
store i32 %44, i32* %19
store i32 0, i32* %10
br label %45
45: ; preds = %256, %42
%46 = load i32, i32* %10
%47 = load i32, i32* %5
%48 = icmp slt i32 %46, %47
br i1 %48, label %49, label %259
49: ; preds = %45
%50 = load i32, i32* %20
%51 = add nsw i32 %50, 1
store i32 %51, i32* %20
%52 = load i32, i32* %8
%53 = load i32, i32* %9
%54 = load i32, i32* %10
%55 = load i32, i32* %5
%56 = load i32**, i32*** %6
%57 = call i64 @colinear(i32 %52, i32 %53, i32 %54, i32 %55, i32** %56)
%58 = icmp ne i64 %57, 0
br i1 %58, label %255, label %59
59: ; preds = %49
%60 = load i32, i32* %25
%61 = add nsw i32 %60, 1
store i32 %61, i32* %25
store i32 0, i32* %11
br label %62
62: ; preds = %251, %59
%63 = load i32, i32* %11
%64 = load i32, i32* %5
%65 = icmp slt i32 %63, %64
br i1 %65, label %66, label %254
66: ; preds = %62
%67 = load i32, i32* %21
%68 = add nsw i32 %67, 1
store i32 %68, i32* %21
%69 = load i32, i32* %8
%70 = load i32, i32* %9
%71 = load i32, i32* %11
%72 = load i32, i32* %5
%73 = load i32**, i32*** %6
%74 = call i64 @colinear(i32 %69, i32 %70, i32 %71, i32 %72, i32** %73)
%75 = icmp ne i64 %74, 0
br i1 %75, label %250, label %76
76: ; preds = %66
%77 = load i32, i32* %8
%78 = load i32, i32* %10
%79 = load i32, i32* %11
%80 = load i32, i32* %5
%81 = load i32**, i32*** %6
%82 = call i64 @colinear(i32 %77, i32 %78, i32 %79, i32 %80, i32** %81)
%83 = icmp ne i64 %82, 0
br i1 %83, label %250, label %84
84: ; preds = %76
%85 = load i32, i32* %9
%86 = load i32, i32* %10
%87 = load i32, i32* %11
%88 = load i32, i32* %5
%89 = load i32**, i32*** %6
%90 = call i64 @colinear(i32 %85, i32 %86, i32 %87, i32 %88, i32** %89)
%91 = icmp ne i64 %90, 0
br i1 %91, label %250, label %92
92: ; preds = %84
%93 = load i32, i32* %26
%94 = add nsw i32 %93, 1
store i32 %94, i32* %26
store i32 0, i32* %12
br label %95
95: ; preds = %246, %92
%96 = load i32, i32* %12
%97 = load i32, i32* %5
%98 = icmp slt i32 %96, %97
br i1 %98, label %99, label %249
99: ; preds = %95
%100 = load i32, i32* %22
%101 = add nsw i32 %100, 1
store i32 %101, i32* %22
%102 = load i32, i32* %8
%103 = load i32, i32* %9
%104 = load i32, i32* %12
%105 = load i32, i32* %5
%106 = load i32**, i32*** %6
%107 = call i64 @colinear(i32 %102, i32 %103, i32 %104, i32 %105, i32** %106)
%108 = icmp ne i64 %107, 0
br i1 %108, label %109, label %245
109: ; preds = %99
%110 = load i32, i32* %27
%111 = add nsw i32 %110, 1
store i32 %111, i32* %27
store i32 0, i32* %13
br label %112
112: ; preds = %241, %109
%113 = load i32, i32* %13
%114 = load i32, i32* %5
%115 = icmp slt i32 %113, %114
br i1 %115, label %116, label %244
116: ; preds = %112
%117 = load i32, i32* %23
%118 = add nsw i32 %117, 1
store i32 %118, i32* %23
%119 = load i32, i32* %8
%120 = load i32, i32* %10
%121 = load i32, i32* %13
%122 = load i32, i32* %5
%123 = load i32**, i32*** %6
%124 = call i64 @colinear(i32 %119, i32 %120, i32 %121, i32 %122, i32** %123)
%125 = icmp ne i64 %124, 0
br i1 %125, label %126, label %240
126: ; preds = %116
%127 = load i32, i32* %28
%128 = add nsw i32 %127, 1
store i32 %128, i32* %28
store i32 0, i32* %14
br label %129
129: ; preds = %236, %126
%130 = load i32, i32* %14
%131 = load i32, i32* %5
%132 = icmp slt i32 %130, %131
br i1 %132, label %133, label %239
133: ; preds = %129
%134 = load i32, i32* %24
%135 = add nsw i32 %134, 1
store i32 %135, i32* %24
%136 = load i32, i32* %8
%137 = load i32, i32* %11
%138 = load i32, i32* %14
%139 = load i32, i32* %5
%140 = load i32**, i32*** %6
%141 = call i64 @colinear(i32 %136, i32 %137, i32 %138, i32 %139, i32** %140)
%142 = icmp ne i64 %141, 0
br i1 %142, label %143, label %235
143: ; preds = %133
%144 = load i32, i32* %12
%145 = load i32, i32* %13
%146 = load i32, i32* %14
%147 = load i32, i32* %5
%148 = load i32**, i32*** %6
%149 = call i64 @colinear(i32 %144, i32 %145, i32 %146, i32 %147, i32** %148)
%150 = icmp ne i64 %149, 0
br i1 %150, label %235, label %151
151: ; preds = %143
%152 = load i32, i32* %29
%153 = add nsw i32 %152, 1
store i32 %153, i32* %29
%154 = load i32, i32* %9
%155 = load i32, i32* %12
%156 = icmp eq i32 %154, %155
br i1 %156, label %157, label %165
157: ; preds = %151
%158 = load i32, i32* %10
%159 = load i32, i32* %13
%160 = icmp ne i32 %158, %159
br i1 %160, label %161, label %165
161: ; preds = %157
%162 = load i32, i32* %11
%163 = load i32, i32* %14
%164 = icmp ne i32 %162, %163
br i1 %164, label %201, label %165
165: ; preds = %161, %157, %151
%166 = load i32, i32* %9
%167 = load i32, i32* %12
%168 = icmp ne i32 %166, %167
br i1 %168, label %169, label %177
169: ; preds = %165
%170 = load i32, i32* %10
%171 = load i32, i32* %13
%172 = icmp eq i32 %170, %171
br i1 %172, label %173, label %177
173: ; preds = %169
%174 = load i32, i32* %11
%175 = load i32, i32* %14
%176 = icmp ne i32 %174, %175
br i1 %176, label %201, label %177
177: ; preds = %173, %169, %165
%178 = load i32, i32* %9
%179 = load i32, i32* %12
%180 = icmp ne i32 %178, %179
br i1 %180, label %181, label %189
181: ; preds = %177
%182 = load i32, i32* %10
%183 = load i32, i32* %13
%184 = icmp ne i32 %182, %183
br i1 %184, label %185, label %189
185: ; preds = %181
%186 = load i32, i32* %11
%187 = load i32, i32* %14
%188 = icmp eq i32 %186, %187
br i1 %188, label %201, label %189
189: ; preds = %185, %181, %177
%190 = load i32, i32* %9
%191 = load i32, i32* %12
%192 = icmp ne i32 %190, %191
br i1 %192, label %193, label %234
193: ; preds = %189
%194 = load i32, i32* %10
%195 = load i32, i32* %13
%196 = icmp ne i32 %194, %195
br i1 %196, label %197, label %234
197: ; preds = %193
%198 = load i32, i32* %11
%199 = load i32, i32* %14
%200 = icmp ne i32 %198, %199
br i1 %200, label %201, label %234
201: ; preds = %197, %185, %173, %161
%202 = load i32, i32* %30
%203 = add nsw i32 %202, 1
store i32 %203, i32* %30
%204 = load i32, i32* %9
%205 = load i32, i32* %10
%206 = load i32, i32* %12
%207 = load i32, i32* %13
%208 = load i32, i32* %5
%209 = load i32**, i32*** %6
%210 = call i32 @inter_line(i32 %204, i32 %205, i32 %206, i32 %207, i32 %208, i32** %209)
store i32 %210, i32* %15
%211 = load i32, i32* %9
%212 = load i32, i32* %11
%213 = load i32, i32* %12
%214 = load i32, i32* %14
%215 = load i32, i32* %5
%216 = load i32**, i32*** %6
%217 = call i32 @inter_line(i32 %211, i32 %212, i32 %213, i32 %214, i32 %215, i32** %216)
store i32 %217, i32* %16
%218 = load i32, i32* %10
%219 = load i32, i32* %11
%220 = load i32, i32* %13
%221 = load i32, i32* %14
%222 = load i32, i32* %5
%223 = load i32**, i32*** %6
%224 = call i32 @inter_line(i32 %218, i32 %219, i32 %220, i32 %221, i32 %222, i32** %223)
store i32 %224, i32* %17
%225 = load i32, i32* %15
%226 = load i32, i32* %16
%227 = load i32, i32* %17
%228 = load i32, i32* %5
%229 = load i32**, i32*** %6
%230 = call i64 @colinear(i32 %225, i32 %226, i32 %227, i32 %228, i32** %229)
%231 = icmp ne i64 %230, 0
br i1 %231, label %233, label %232
232: ; preds = %201
store i32 0, i32* %4
br label %283
233: ; preds = %201
br label %234
234: ; preds = %233, %197, %193, %189
br label %235
235: ; preds = %234, %143, %133
br label %236
236: ; preds = %235
%237 = load i32, i32* %14
%238 = add nsw i32 %237, 1
store i32 %238, i32* %14
br label %129
239: ; preds = %129
br label %240
240: ; preds = %239, %116
br label %241
241: ; preds = %240
%242 = load i32, i32* %13
%243 = add nsw i32 %242, 1
store i32 %243, i32* %13
br label %112
244: ; preds = %112
br label %245
245: ; preds = %244, %99
br label %246
246: ; preds = %245
%247 = load i32, i32* %12
%248 = add nsw i32 %247, 1
store i32 %248, i32* %12
br label %95
249: ; preds = %95
br label %250
250: ; preds = %249, %84, %76, %66
br label %251
251: ; preds = %250
%252 = load i32, i32* %11
%253 = add nsw i32 %252, 1
store i32 %253, i32* %11
br label %62
254: ; preds = %62
br label %255
255: ; preds = %254, %49
br label %256
256: ; preds = %255
%257 = load i32, i32* %10
%258 = add nsw i32 %257, 1
store i32 %258, i32* %10
br label %45
259: ; preds = %45
br label %260
260: ; preds = %259
%261 = load i32, i32* %9
%262 = add nsw i32 %261, 1
store i32 %262, i32* %9
br label %38
263: ; preds = %38
br label %264
264: ; preds = %263
%265 = load i32, i32* %8
%266 = add nsw i32 %265, 1
store i32 %266, i32* %8
br label %31
267: ; preds = %31
%268 = load i32*, i32** %7
%269 = load i32, i32* %18
%270 = load i32, i32* %19
%271 = load i32, i32* %20
%272 = load i32, i32* %25
%273 = load i32, i32* %21
%274 = load i32, i32* %26
%275 = load i32, i32* %22
%276 = load i32, i32* %27
%277 = load i32, i32* %23
%278 = load i32, i32* %28
%279 = load i32, i32* %24
%280 = load i32, i32* %29
%281 = load i32, i32* %30
%282 = call i32 @fprintf(i32* %268, i8* getelementptr inbounds ([285 x i8], [285 x i8]* @.str, i64 0, i64 0), i32 %269, i32 %270, i32 %271, i32 %272, i32 %273, i32 %274, i32 %275, i32 %276, i32 %277, i32 %278, i32 %279, i32 %280, i32 %281)
store i32 1, i32* %4
br label %283
283: ; preds = %267, %232
%284 = load i32, i32* %4
ret i32 %284
}

LLVM IR (-O2):
@.str = [285 x i8] c"passage o:%d\0A \0Apassage p:%d\0A \0Apassage q:%d\0A \0Aif(!col(o,p,q)):%d\0A \0Apassage r:%d\0A \0Aif( !col(o,p,r) && !col(o,q,r) && !col(p,q,r) ):%d\0A \0Apassage P:%d\0A \0Aif( col(o,p,P) ):%d\0A \0Apassage Q:%d\0A \0Aif( col(o,q,Q) ):%d\0A \0Apassage R:%d\0A \0Aif( col(o,r,R) && !col(P,Q,R) ):%d\0A \0Adeux distinction min:%d\0A\00"
define i32 @is_desargue(i32 %0, i32** %1, i32* nocapture %2) {
%4 = icmp sgt i32 %0, 0
br i1 %4, label %5, label %179
5: ; preds = %3
%6 = mul i32 %0, %0
%7 = mul i32 %6, %0
br label %8
8: ; preds = %177, %5
%9 = phi i32 [ 0, %5 ], [ %171, %177 ]
%10 = phi i32 [ 0, %5 ], [ %170, %177 ]
%11 = phi i32 [ 0, %5 ], [ %169, %177 ]
%12 = phi i32 [ 0, %5 ], [ %168, %177 ]
%13 = phi i32 [ 0, %5 ], [ %167, %177 ]
%14 = phi i32 [ 0, %5 ], [ %166, %177 ]
%15 = phi i32 [ 0, %5 ], [ %165, %177 ]
%16 = phi i32 [ 0, %5 ], [ %164, %177 ]
%17 = phi i32 [ 0, %5 ], [ %163, %177 ]
%18 = phi i32 [ 0, %5 ], [ %162, %177 ]
%19 = phi i32 [ 0, %5 ], [ %20, %177 ]
%20 = add nuw nsw i32 %19, 1
br label %21
21: ; preds = %174, %8
%22 = phi i32 [ %171, %174 ], [ %9, %8 ]
%23 = phi i32 [ %170, %174 ], [ %10, %8 ]
%24 = phi i32 [ %169, %174 ], [ %11, %8 ]
%25 = phi i32 [ %168, %174 ], [ %12, %8 ]
%26 = phi i32 [ %167, %174 ], [ %13, %8 ]
%27 = phi i32 [ %166, %174 ], [ %14, %8 ]
%28 = phi i32 [ %165, %174 ], [ %15, %8 ]
%29 = phi i32 [ %164, %174 ], [ %16, %8 ]
%30 = phi i32 [ %163, %174 ], [ %17, %8 ]
%31 = phi i32 [ %162, %174 ], [ %18, %8 ]
%32 = phi i32 [ %175, %174 ], [ 0, %8 ]
br label %33
33: ; preds = %21, %161
%34 = phi i32 [ %171, %161 ], [ %22, %21 ]
%35 = phi i32 [ %170, %161 ], [ %23, %21 ]
%36 = phi i32 [ %169, %161 ], [ %24, %21 ]
%37 = phi i32 [ %168, %161 ], [ %25, %21 ]
%38 = phi i32 [ %167, %161 ], [ %26, %21 ]
%39 = phi i32 [ %166, %161 ], [ %27, %21 ]
%40 = phi i32 [ %165, %161 ], [ %28, %21 ]
%41 = phi i32 [ %164, %161 ], [ %29, %21 ]
%42 = phi i32 [ %163, %161 ], [ %30, %21 ]
%43 = phi i32 [ %162, %161 ], [ %31, %21 ]
%44 = phi i32 [ %172, %161 ], [ 0, %21 ]
%45 = tail call i64 @colinear(i32 %19, i32 %32, i32 %44, i32 %0, i32** %1)
%46 = icmp eq i64 %45, 0
br i1 %46, label %47, label %161
47: ; preds = %33
%48 = add nsw i32 %39, 1
%49 = add i32 %43, %0
br label %50
50: ; preds = %47, %150
%51 = phi i32 [ %158, %150 ], [ %34, %47 ]
%52 = phi i32 [ %157, %150 ], [ %35, %47 ]
%53 = phi i32 [ %156, %150 ], [ %36, %47 ]
%54 = phi i32 [ %155, %150 ], [ %37, %47 ]
%55 = phi i32 [ %154, %150 ], [ %38, %47 ]
%56 = phi i32 [ %153, %150 ], [ %40, %47 ]
%57 = phi i32 [ %152, %150 ], [ %41, %47 ]
%58 = phi i32 [ %151, %150 ], [ %42, %47 ]
%59 = phi i32 [ %159, %150 ], [ 0, %47 ]
%60 = tail call i64 @colinear(i32 %19, i32 %32, i32 %59, i32 %0, i32** %1)
%61 = icmp eq i64 %60, 0
br i1 %61, label %62, label %150
62: ; preds = %50
%63 = tail call i64 @colinear(i32 %19, i32 %44, i32 %59, i32 %0, i32** %1)
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %150
65: ; preds = %62
%66 = tail call i64 @colinear(i32 %32, i32 %44, i32 %59, i32 %0, i32** %1)
%67 = icmp eq i64 %66, 0
br i1 %67, label %68, label %150
68: ; preds = %65
%69 = add nsw i32 %55, 1
%70 = add i32 %58, %0
br label %71
71: ; preds = %68, %141
%72 = phi i32 [ %147, %141 ], [ %51, %68 ]
%73 = phi i32 [ %146, %141 ], [ %52, %68 ]
%74 = phi i32 [ %145, %141 ], [ %53, %68 ]
%75 = phi i32 [ %144, %141 ], [ %54, %68 ]
%76 = phi i32 [ %143, %141 ], [ %56, %68 ]
%77 = phi i32 [ %142, %141 ], [ %57, %68 ]
%78 = phi i32 [ %148, %141 ], [ 0, %68 ]
%79 = tail call i64 @colinear(i32 %19, i32 %32, i32 %78, i32 %0, i32** %1)
%80 = icmp eq i64 %79, 0
br i1 %80, label %141, label %81
81: ; preds = %71
%82 = add nsw i32 %75, 1
%83 = icmp ne i32 %32, %78
%84 = icmp eq i32 %32, %78
%85 = add i32 %77, %0
br label %86
86: ; preds = %81, %134
%87 = phi i32 [ %72, %81 ], [ %138, %134 ]
%88 = phi i32 [ %73, %81 ], [ %137, %134 ]
%89 = phi i32 [ %74, %81 ], [ %136, %134 ]
%90 = phi i32 [ %76, %81 ], [ %135, %134 ]
%91 = phi i32 [ 0, %81 ], [ %139, %134 ]
%92 = tail call i64 @colinear(i32 %19, i32 %44, i32 %91, i32 %0, i32** %1)
%93 = icmp eq i64 %92, 0
br i1 %93, label %134, label %94
94: ; preds = %86
%95 = add nsw i32 %89, 1
%96 = icmp eq i32 %44, %91
%97 = or i1 %83, %96
%98 = xor i1 %96, true
%99 = or i1 %84, %98
%100 = or i1 %84, %96
%101 = add i32 %90, %0
br label %102
102: ; preds = %94, %129
%103 = phi i32 [ %87, %94 ], [ %131, %129 ]
%104 = phi i32 [ %88, %94 ], [ %130, %129 ]
%105 = phi i32 [ 0, %94 ], [ %132, %129 ]
%106 = tail call i64 @colinear(i32 %19, i32 %59, i32 %105, i32 %0, i32** %1)
%107 = icmp eq i64 %106, 0
br i1 %107, label %129, label %108
108: ; preds = %102
%109 = tail call i64 @colinear(i32 %78, i32 %91, i32 %105, i32 %0, i32** %1)
%110 = icmp eq i64 %109, 0
br i1 %110, label %111, label %129
111: ; preds = %108
%112 = add nsw i32 %104, 1
%113 = icmp eq i32 %59, %105
%114 = or i1 %97, %113
%115 = or i1 %99, %113
%116 = select i1 %114, i1 %115, i1 false
%117 = xor i1 %113, true
%118 = or i1 %100, %117
%119 = select i1 %116, i1 %118, i1 false
%120 = or i1 %100, %113
%121 = select i1 %119, i1 %120, i1 false
br i1 %121, label %129, label %122
122: ; preds = %111
%123 = add nsw i32 %103, 1
%124 = tail call i32 @inter_line(i32 %32, i32 %44, i32 %78, i32 %91, i32 %0, i32** %1)
%125 = tail call i32 @inter_line(i32 %32, i32 %59, i32 %78, i32 %105, i32 %0, i32** %1)
%126 = tail call i32 @inter_line(i32 %44, i32 %59, i32 %91, i32 %105, i32 %0, i32** %1)
%127 = tail call i64 @colinear(i32 %124, i32 %125, i32 %126, i32 %0, i32** %1)
%128 = icmp eq i64 %127, 0
br i1 %128, label %194, label %129
129: ; preds = %111, %102, %108, %122
%130 = phi i32 [ %104, %108 ], [ %112, %122 ], [ %104, %102 ], [ %112, %111 ]
%131 = phi i32 [ %103, %108 ], [ %123, %122 ], [ %103, %102 ], [ %103, %111 ]
%132 = add nuw nsw i32 %105, 1
%133 = icmp eq i32 %132, %0
br i1 %133, label %134, label %102
134: ; preds = %129, %86
%135 = phi i32 [ %90, %86 ], [ %101, %129 ]
%136 = phi i32 [ %89, %86 ], [ %95, %129 ]
%137 = phi i32 [ %88, %86 ], [ %130, %129 ]
%138 = phi i32 [ %87, %86 ], [ %131, %129 ]
%139 = add nuw nsw i32 %91, 1
%140 = icmp eq i32 %139, %0
br i1 %140, label %141, label %86
141: ; preds = %134, %71
%142 = phi i32 [ %77, %71 ], [ %85, %134 ]
%143 = phi i32 [ %76, %71 ], [ %135, %134 ]
%144 = phi i32 [ %75, %71 ], [ %82, %134 ]
%145 = phi i32 [ %74, %71 ], [ %136, %134 ]
%146 = phi i32 [ %73, %71 ], [ %137, %134 ]
%147 = phi i32 [ %72, %71 ], [ %138, %134 ]
%148 = add nuw nsw i32 %78, 1
%149 = icmp eq i32 %148, %0
br i1 %149, label %150, label %71
150: ; preds = %141, %50, %62, %65
%151 = phi i32 [ %58, %50 ], [ %58, %62 ], [ %58, %65 ], [ %70, %141 ]
%152 = phi i32 [ %57, %50 ], [ %57, %62 ], [ %57, %65 ], [ %142, %141 ]
%153 = phi i32 [ %56, %50 ], [ %56, %62 ], [ %56, %65 ], [ %143, %141 ]
%154 = phi i32 [ %55, %50 ], [ %55, %62 ], [ %55, %65 ], [ %69, %141 ]
%155 = phi i32 [ %54, %50 ], [ %54, %62 ], [ %54, %65 ], [ %144, %141 ]
%156 = phi i32 [ %53, %50 ], [ %53, %62 ], [ %53, %65 ], [ %145, %141 ]
%157 = phi i32 [ %52, %50 ], [ %52, %62 ], [ %52, %65 ], [ %146, %141 ]
%158 = phi i32 [ %51, %50 ], [ %51, %62 ], [ %51, %65 ], [ %147, %141 ]
%159 = add nuw nsw i32 %59, 1
%160 = icmp eq i32 %159, %0
br i1 %160, label %161, label %50
161: ; preds = %150, %33
%162 = phi i32 [ %43, %33 ], [ %49, %150 ]
%163 = phi i32 [ %42, %33 ], [ %151, %150 ]
%164 = phi i32 [ %41, %33 ], [ %152, %150 ]
%165 = phi i32 [ %40, %33 ], [ %153, %150 ]
%166 = phi i32 [ %39, %33 ], [ %48, %150 ]
%167 = phi i32 [ %38, %33 ], [ %154, %150 ]
%168 = phi i32 [ %37, %33 ], [ %155, %150 ]
%169 = phi i32 [ %36, %33 ], [ %156, %150 ]
%170 = phi i32 [ %35, %33 ], [ %157, %150 ]
%171 = phi i32 [ %34, %33 ], [ %158, %150 ]
%172 = add nuw nsw i32 %44, 1
%173 = icmp eq i32 %172, %0
br i1 %173, label %174, label %33
174: ; preds = %161
%175 = add nuw nsw i32 %32, 1
%176 = icmp eq i32 %175, %0
br i1 %176, label %177, label %21
177: ; preds = %174
%178 = icmp eq i32 %20, %0
br i1 %178, label %179, label %8
179: ; preds = %177, %3
%180 = phi i32 [ 0, %3 ], [ %0, %177 ]
%181 = phi i32 [ 0, %3 ], [ %6, %177 ]
%182 = phi i32 [ 0, %3 ], [ %7, %177 ]
%183 = phi i32 [ 0, %3 ], [ %162, %177 ]
%184 = phi i32 [ 0, %3 ], [ %163, %177 ]
%185 = phi i32 [ 0, %3 ], [ %164, %177 ]
%186 = phi i32 [ 0, %3 ], [ %165, %177 ]
%187 = phi i32 [ 0, %3 ], [ %166, %177 ]
%188 = phi i32 [ 0, %3 ], [ %167, %177 ]
%189 = phi i32 [ 0, %3 ], [ %168, %177 ]
%190 = phi i32 [ 0, %3 ], [ %169, %177 ]
%191 = phi i32 [ 0, %3 ], [ %170, %177 ]
%192 = phi i32 [ 0, %3 ], [ %171, %177 ]
%193 = tail call i32 @fprintf(i32* %2, i8* getelementptr inbounds ([285 x i8], [285 x i8]* @.str, i64 0, i64 0), i32 %180, i32 %181, i32 %182, i32 %187, i32 %183, i32 %188, i32 %184, i32 %189, i32 %185, i32 %190, i32 %186, i32 %191, i32 %192)
br label %194
194: ; preds = %122, %179
%195 = phi i32 [ 1, %179 ], [ 0, %122 ]
ret i32 %195
}