#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 */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ scanf(char *, int *, ...);
int main() {
  int a[8][8], n, i, j;
  int r[8], c[8];
  scanf("%d", &n);
  if (n >= 8) {
    printf("no");
    return 0;
  }
  for (i = 0; i < n; i++)
    scanf("%d %d", &r[i], &c[i]);
  for (i = 0; i < n; i++) {
    for (j = (i + 1); j < n; j++) {
      if (r[i] == r[j]) {
        printf("no");
        return 0;
      }
    }
  }
  for (i = 0; i < n; i++) {
    for (j = (i + 1); j < n; j++) {
      if (c[i] == c[j]) {
        printf("no");
        return 0;
      }
    }
  }
  int p, q;
  for (i = 1; i < n; i++) {
    p = c[i] - r[i];
    for (j = (i + 1); j < n; j++) {
      q = c[j] - r[j];
      if (p == q || p == (-q)) {
        printf("no");
        return 0;
      }
    }
  }
  printf("yes");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x170,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xecd(%rip),%rdi
lea    -0x114(%rbp),%rsi
mov    $0x0,%al
call   1040 <scanf@plt>
cmpl   $0x8,-0x114(%rbp)
jl     116c <main+0x4c>
lea    0xea5(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    142c <main+0x30c>
movl   $0x0,-0x118(%rbp)
mov    -0x118(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    11d4 <main+0xb4>
movslq -0x118(%rbp),%rax
lea    -0x140(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
movslq -0x118(%rbp),%rax
lea    -0x160(%rbp),%rdx
shl    $0x2,%rax
add    %rax,%rdx
lea    0xe4a(%rip),%rdi
mov    $0x0,%al
call   1040 <scanf@plt>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x118(%rbp)
jmp    1176 <main+0x56>
movl   $0x0,-0x118(%rbp)
mov    -0x118(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    127d <main+0x15d>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
mov    -0x11c(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    1264 <main+0x144>
movslq -0x118(%rbp),%rax
mov    -0x140(%rbp,%rax,4),%eax
movslq -0x11c(%rbp),%rcx
cmp    -0x140(%rbp,%rcx,4),%eax
jne    124b <main+0x12b>
lea    0xdc6(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    142c <main+0x30c>
jmp    1250 <main+0x130>
mov    -0x11c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
jmp    11ff <main+0xdf>
jmp    1269 <main+0x149>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x118(%rbp)
jmp    11de <main+0xbe>
movl   $0x0,-0x118(%rbp)
mov    -0x118(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    1326 <main+0x206>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
mov    -0x11c(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    130d <main+0x1ed>
movslq -0x118(%rbp),%rax
mov    -0x160(%rbp,%rax,4),%eax
movslq -0x11c(%rbp),%rcx
cmp    -0x160(%rbp,%rcx,4),%eax
jne    12f4 <main+0x1d4>
lea    0xd1d(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    142c <main+0x30c>
jmp    12f9 <main+0x1d9>
mov    -0x11c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
jmp    12a8 <main+0x188>
jmp    1312 <main+0x1f2>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x118(%rbp)
jmp    1287 <main+0x167>
movl   $0x1,-0x118(%rbp)
mov    -0x118(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    1419 <main+0x2f9>
movslq -0x118(%rbp),%rax
mov    -0x160(%rbp,%rax,4),%eax
movslq -0x118(%rbp),%rcx
sub    -0x140(%rbp,%rcx,4),%eax
mov    %eax,-0x164(%rbp)
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
mov    -0x11c(%rbp),%eax
cmp    -0x114(%rbp),%eax
jge    1400 <main+0x2e0>
movslq -0x11c(%rbp),%rax
mov    -0x160(%rbp,%rax,4),%eax
movslq -0x11c(%rbp),%rcx
sub    -0x140(%rbp,%rcx,4),%eax
mov    %eax,-0x168(%rbp)
mov    -0x164(%rbp),%eax
cmp    -0x168(%rbp),%eax
je     13cf <main+0x2af>
mov    -0x164(%rbp),%eax
xor    %ecx,%ecx
sub    -0x168(%rbp),%ecx
cmp    %ecx,%eax
jne    13e7 <main+0x2c7>
lea    0xc2a(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    142c <main+0x30c>
jmp    13ec <main+0x2cc>
mov    -0x11c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x11c(%rbp)
jmp    1373 <main+0x253>
jmp    1405 <main+0x2e5>
mov    -0x118(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x118(%rbp)
jmp    1330 <main+0x210>
lea    0xbe9(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x170,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
lea    0xed1(%rip),%rdi
lea    0xc(%rsp),%rsi
xor    %eax,%eax
call   1040 <scanf@plt>
mov    0xc(%rsp),%eax
lea    0xeb4(%rip),%r14
cmp    $0x7,%eax
jg     12b2 <main+0x192>
lea    0xead(%rip),%r13
test   %eax,%eax
jle    12af <main+0x18f>
lea    0x10(%rsp),%r15
lea    0x30(%rsp),%rbx
lea    0xe8e(%rip),%r12
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
xor    %eax,%eax
call   1040 <scanf@plt>
add    $0x1,%rbp
movslq 0xc(%rsp),%rax
add    $0x4,%r15
add    $0x4,%rbx
cmp    %rax,%rbp
jl     1180 <main+0x60>
mov    %eax,%eax
test   %eax,%eax
jle    12af <main+0x18f>
lea    0x30(%rsp),%rcx
xor    %esi,%esi
mov    %rax,%rdx
jmp    11cd <main+0xad>
nopl   0x0(%rax)
add    $0x4,%rcx
add    $0xffffffffffffffff,%rdx
cmp    %rax,%rsi
je     1204 <main+0xe4>
mov    %rsi,%rdi
add    $0x1,%rsi
cmp    %rax,%rsi
jae    11c0 <main+0xa0>
mov    0x30(%rsp,%rdi,4),%edi
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    (%rcx,%rbp,4),%edi
je     12b2 <main+0x192>
add    $0x1,%rbp
cmp    %rbp,%rdx
jne    11f0 <main+0xd0>
jmp    11c0 <main+0xa0>
test   %eax,%eax
jle    1250 <main+0x130>
lea    0x10(%rsp),%rcx
xor    %esi,%esi
mov    %rax,%rdx
jmp    1221 <main+0x101>
add    $0x4,%rcx
add    $0xffffffffffffffff,%rdx
cmp    %rax,%rsi
je     1250 <main+0x130>
mov    %rsi,%rdi
add    $0x1,%rsi
cmp    %rax,%rsi
jae    1214 <main+0xf4>
mov    0x10(%rsp,%rdi,4),%edi
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
cmp    (%rcx,%rbp,4),%edi
je     12b2 <main+0x192>
add    $0x1,%rbp
cmp    %rbp,%rdx
jne    1240 <main+0x120>
jmp    1214 <main+0xf4>
cmp    $0x2,%eax
jl     12af <main+0x18f>
mov    $0x1,%r8d
lea    0x30(%rsp),%rcx
lea    0x10(%rsp),%rdx
mov    %rax,%rsi
jmp    127b <main+0x15b>
add    $0x4,%rcx
add    $0x4,%rdx
add    $0xffffffffffffffff,%rsi
cmp    %rax,%r8
je     12af <main+0x18f>
mov    %r8,%rdi
add    $0x1,%r8
cmp    %rax,%r8
jae    126a <main+0x14a>
mov    0x10(%rsp,%rdi,4),%ebp
sub    0x30(%rsp,%rdi,4),%ebp
mov    $0x2,%ebx
mov    (%rdx,%rbx,4),%edi
sub    (%rcx,%rbx,4),%edi
cmp    %edi,%ebp
je     12b2 <main+0x192>
neg    %edi
cmp    %edi,%ebp
je     12b2 <main+0x192>
add    $0x1,%rbx
cmp    %rbx,%rsi
jne    1294 <main+0x174>
jmp    126a <main+0x14a>
mov    %r13,%r14
mov    %r14,%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@.str.1 = [3 x i8] c"no\00"
@.str.2 = [6 x i8] c"%d %d\00"
@.str.3 = [4 x i8] c"yes\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [8 x [8 x i32]]
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [8 x i32]
%7 = alloca [8 x i32]
%8 = alloca i32
%9 = alloca i32
store i32 0, i32* %1
%10 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %3)
%11 = load i32, i32* %3
%12 = icmp sge i32 %11, 8
br i1 %12, label %13, label %15
13: ; preds = %0
%14 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %146
15: ; preds = %0
store i32 0, i32* %4
br label %16
16: ; preds = %28, %15
%17 = load i32, i32* %4
%18 = load i32, i32* %3
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %31
20: ; preds = %16
%21 = load i32, i32* %4
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [8 x i32], [8 x i32]* %6, i64 0, i64 %22
%24 = load i32, i32* %4
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [8 x i32], [8 x i32]* %7, i64 0, i64 %25
%27 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32* %23, i32* %26)
br label %28
28: ; preds = %20
%29 = load i32, i32* %4
%30 = add nsw i32 %29, 1
store i32 %30, i32* %4
br label %16
31: ; preds = %16
store i32 0, i32* %4
br label %32
32: ; preds = %60, %31
%33 = load i32, i32* %4
%34 = load i32, i32* %3
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %63
36: ; preds = %32
%37 = load i32, i32* %4
%38 = add nsw i32 %37, 1
store i32 %38, i32* %5
br label %39
39: ; preds = %56, %36
%40 = load i32, i32* %5
%41 = load i32, i32* %3
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %59
43: ; preds = %39
%44 = load i32, i32* %4
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [8 x i32], [8 x i32]* %6, i64 0, i64 %45
%47 = load i32, i32* %46
%48 = load i32, i32* %5
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [8 x i32], [8 x i32]* %6, i64 0, i64 %49
%51 = load i32, i32* %50
%52 = icmp eq i32 %47, %51
br i1 %52, label %53, label %55
53: ; preds = %43
%54 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %146
55: ; preds = %43
br label %56
56: ; preds = %55
%57 = load i32, i32* %5
%58 = add nsw i32 %57, 1
store i32 %58, i32* %5
br label %39
59: ; preds = %39
br label %60
60: ; preds = %59
%61 = load i32, i32* %4
%62 = add nsw i32 %61, 1
store i32 %62, i32* %4
br label %32
63: ; preds = %32
store i32 0, i32* %4
br label %64
64: ; preds = %92, %63
%65 = load i32, i32* %4
%66 = load i32, i32* %3
%67 = icmp slt i32 %65, %66
br i1 %67, label %68, label %95
68: ; preds = %64
%69 = load i32, i32* %4
%70 = add nsw i32 %69, 1
store i32 %70, i32* %5
br label %71
71: ; preds = %88, %68
%72 = load i32, i32* %5
%73 = load i32, i32* %3
%74 = icmp slt i32 %72, %73
br i1 %74, label %75, label %91
75: ; preds = %71
%76 = load i32, i32* %4
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [8 x i32], [8 x i32]* %7, i64 0, i64 %77
%79 = load i32, i32* %78
%80 = load i32, i32* %5
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [8 x i32], [8 x i32]* %7, i64 0, i64 %81
%83 = load i32, i32* %82
%84 = icmp eq i32 %79, %83
br i1 %84, label %85, label %87
85: ; preds = %75
%86 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %146
87: ; preds = %75
br label %88
88: ; preds = %87
%89 = load i32, i32* %5
%90 = add nsw i32 %89, 1
store i32 %90, i32* %5
br label %71
91: ; preds = %71
br label %92
92: ; preds = %91
%93 = load i32, i32* %4
%94 = add nsw i32 %93, 1
store i32 %94, i32* %4
br label %64
95: ; preds = %64
store i32 1, i32* %4
br label %96
96: ; preds = %141, %95
%97 = load i32, i32* %4
%98 = load i32, i32* %3
%99 = icmp slt i32 %97, %98
br i1 %99, label %100, label %144
100: ; preds = %96
%101 = load i32, i32* %4
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [8 x i32], [8 x i32]* %7, i64 0, i64 %102
%104 = load i32, i32* %103
%105 = load i32, i32* %4
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds [8 x i32], [8 x i32]* %6, i64 0, i64 %106
%108 = load i32, i32* %107
%109 = sub nsw i32 %104, %108
store i32 %109, i32* %8
%110 = load i32, i32* %4
%111 = add nsw i32 %110, 1
store i32 %111, i32* %5
br label %112
112: ; preds = %137, %100
%113 = load i32, i32* %5
%114 = load i32, i32* %3
%115 = icmp slt i32 %113, %114
br i1 %115, label %116, label %140
116: ; preds = %112
%117 = load i32, i32* %5
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds [8 x i32], [8 x i32]* %7, i64 0, i64 %118
%120 = load i32, i32* %119
%121 = load i32, i32* %5
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [8 x i32], [8 x i32]* %6, i64 0, i64 %122
%124 = load i32, i32* %123
%125 = sub nsw i32 %120, %124
store i32 %125, i32* %9
%126 = load i32, i32* %8
%127 = load i32, i32* %9
%128 = icmp eq i32 %126, %127
br i1 %128, label %134, label %129
129: ; preds = %116
%130 = load i32, i32* %8
%131 = load i32, i32* %9
%132 = sub nsw i32 0, %131
%133 = icmp eq i32 %130, %132
br i1 %133, label %134, label %136
134: ; preds = %129, %116
%135 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %146
136: ; preds = %129
br label %137
137: ; preds = %136
%138 = load i32, i32* %5
%139 = add nsw i32 %138, 1
store i32 %139, i32* %5
br label %112
140: ; preds = %112
br label %141
141: ; preds = %140
%142 = load i32, i32* %4
%143 = add nsw i32 %142, 1
store i32 %143, i32* %4
br label %96
144: ; preds = %96
%145 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0))
store i32 0, i32* %1
br label %146
146: ; preds = %144, %134, %85, %53, %13
%147 = load i32, i32* %1
ret i32 %147
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.1 = [3 x i8] c"no\00"
@.str.2 = [6 x i8] c"%d %d\00"
@.str.3 = [4 x i8] c"yes\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [8 x i32]
%3 = alloca [8 x i32]
%4 = bitcast i32* %1 to i8*
%5 = bitcast [8 x i32]* %2 to i8*
%6 = bitcast [8 x i32]* %3 to i8*
%7 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%8 = load i32, i32* %1
%9 = icmp sgt i32 %8, 7
br i1 %9, label %100, label %10
10: ; preds = %0
%11 = icmp sgt i32 %8, 0
br i1 %11, label %17, label %100
12: ; preds = %17
%13 = icmp sgt i32 %23, 0
br i1 %13, label %14, label %100
14: ; preds = %12
%15 = zext i32 %23 to i64
%16 = zext i32 %23 to i64
br label %33
17: ; preds = %10, %17
%18 = phi i64 [ %22, %17 ], [ 0, %10 ]
%19 = getelementptr inbounds [8 x i32], [8 x i32]* %2, i64 0, i64 %18
%20 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 %18
%21 = call i32 (i8*, i32*, ...) @scanf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0), i32* %19, i32* %20)
%22 = add nuw nsw i64 %18, 1
%23 = load i32, i32* %1
%24 = sext i32 %23 to i64
%25 = icmp slt i64 %22, %24
br i1 %25, label %17, label %12
26: ; preds = %41, %33
%27 = add nuw nsw i64 %35, 1
%28 = icmp eq i64 %36, %16
br i1 %28, label %29, label %33
29: ; preds = %26
br i1 %13, label %30, label %52
30: ; preds = %29
%31 = zext i32 %23 to i64
%32 = zext i32 %23 to i64
br label %57
33: ; preds = %14, %26
%34 = phi i64 [ 0, %14 ], [ %36, %26 ]
%35 = phi i64 [ 1, %14 ], [ %27, %26 ]
%36 = add nuw nsw i64 %34, 1
%37 = icmp ult i64 %36, %15
br i1 %37, label %38, label %26
38: ; preds = %33
%39 = getelementptr inbounds [8 x i32], [8 x i32]* %2, i64 0, i64 %34
%40 = load i32, i32* %39
br label %43
41: ; preds = %43
%42 = icmp eq i64 %48, %16
br i1 %42, label %26, label %43
43: ; preds = %38, %41
%44 = phi i64 [ %35, %38 ], [ %48, %41 ]
%45 = getelementptr inbounds [8 x i32], [8 x i32]* %2, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = icmp eq i32 %40, %46
%48 = add nuw nsw i64 %44, 1
br i1 %47, label %100, label %41
49: ; preds = %65, %57
%50 = add nuw nsw i64 %59, 1
%51 = icmp eq i64 %60, %32
br i1 %51, label %52, label %57
52: ; preds = %49, %29
%53 = icmp sgt i32 %23, 1
br i1 %53, label %54, label %100
54: ; preds = %52
%55 = zext i32 %23 to i64
%56 = zext i32 %23 to i64
br label %76
57: ; preds = %30, %49
%58 = phi i64 [ 0, %30 ], [ %60, %49 ]
%59 = phi i64 [ 1, %30 ], [ %50, %49 ]
%60 = add nuw nsw i64 %58, 1
%61 = icmp ult i64 %60, %31
br i1 %61, label %62, label %49
62: ; preds = %57
%63 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 %58
%64 = load i32, i32* %63
br label %67
65: ; preds = %67
%66 = icmp eq i64 %72, %32
br i1 %66, label %49, label %67
67: ; preds = %62, %65
%68 = phi i64 [ %59, %62 ], [ %72, %65 ]
%69 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 %68
%70 = load i32, i32* %69
%71 = icmp eq i32 %64, %70
%72 = add nuw nsw i64 %68, 1
br i1 %71, label %100, label %65
73: ; preds = %86, %76
%74 = add nuw nsw i64 %78, 1
%75 = icmp eq i64 %84, %56
br i1 %75, label %100, label %76
76: ; preds = %54, %73
%77 = phi i64 [ 1, %54 ], [ %84, %73 ]
%78 = phi i64 [ 2, %54 ], [ %74, %73 ]
%79 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 %77
%80 = load i32, i32* %79
%81 = getelementptr inbounds [8 x i32], [8 x i32]* %2, i64 0, i64 %77
%82 = load i32, i32* %81
%83 = sub nsw i32 %80, %82
%84 = add nuw nsw i64 %77, 1
%85 = icmp ult i64 %84, %55
br i1 %85, label %88, label %73
86: ; preds = %88
%87 = icmp eq i64 %99, %56
br i1 %87, label %73, label %88
88: ; preds = %76, %86
%89 = phi i64 [ %99, %86 ], [ %78, %76 ]
%90 = getelementptr inbounds [8 x i32], [8 x i32]* %3, i64 0, i64 %89
%91 = load i32, i32* %90
%92 = getelementptr inbounds [8 x i32], [8 x i32]* %2, i64 0, i64 %89
%93 = load i32, i32* %92
%94 = sub nsw i32 %91, %93
%95 = icmp eq i32 %83, %94
%96 = sub nsw i32 0, %94
%97 = icmp eq i32 %83, %96
%98 = select i1 %95, i1 true, i1 %97
%99 = add nuw nsw i64 %89, 1
br i1 %98, label %100, label %86
100: ; preds = %43, %67, %73, %88, %52, %10, %12, %0
%101 = phi i8* [ getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), %0 ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), %12 ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), %10 ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), %52 ], [ getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), %88 ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), %73 ], [ getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), %67 ], [ getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), %43 ]
%102 = call i32 @printf(i8* dereferenceable(1) %101)
ret i32 0
}