#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 abs(int);
int /*<<< orphan*/ printf(char *);
int scanf(char *, int *);
int main(void) {
  int n = 0;
  while (scanf("%d", &n) == 1 && n) {
    int numeros[3000], jolly[3000];
    int i = 0;
    for (i = 0; i < n; i++) {
      scanf("%d", &numeros[i]);
      jolly[i] = 0;
    }
    int z = 0;
    for (; z < n - 1; z++) {
      int val = abs(numeros[z + 1] - numeros[z]);
      if (val >= 0 && val <= (n - 1)) {
        jolly[val] = 1;
      }
    }
    int sum = 0, k;
    for (k = 0; k < n; k++) {
      sum = sum + jolly[k];
    }
    if (sum == n - 1) {
      printf("Jolly\n");
    } else {
      printf("Not jolly\n");
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x5df0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
lea    0xeb0(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1050 <scanf@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x1,%ecx
mov    %al,-0x5de5(%rbp)
jne    1179 <main+0x49>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0x5de5(%rbp)
mov    -0x5de5(%rbp),%al
test   $0x1,%al
jne    118c <main+0x5c>
jmp    1312 <main+0x1e2>
movl   $0x0,-0x5dd4(%rbp)
movl   $0x0,-0x5dd4(%rbp)
mov    -0x5dd4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11f6 <main+0xc6>
movslq -0x5dd4(%rbp),%rax
lea    -0x2ef0(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe35(%rip),%rdi
call   1050 <scanf@plt>
movslq -0x5dd4(%rbp),%rax
movl   $0x0,-0x5dd0(%rbp,%rax,4)
mov    -0x5dd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5dd4(%rbp)
jmp    11a0 <main+0x70>
movl   $0x0,-0x5dd8(%rbp)
mov    -0x5dd8(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    128b <main+0x15b>
mov    -0x5dd8(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x2ef0(%rbp,%rax,4),%edi
movslq -0x5dd8(%rbp),%rax
sub    -0x2ef0(%rbp,%rax,4),%edi
call   1030 <abs@plt>
mov    %eax,-0x5ddc(%rbp)
cmpl   $0x0,-0x5ddc(%rbp)
jl     1272 <main+0x142>
mov    -0x5ddc(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1272 <main+0x142>
movslq -0x5ddc(%rbp),%rax
movl   $0x1,-0x5dd0(%rbp,%rax,4)
jmp    1277 <main+0x147>
mov    -0x5dd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5dd8(%rbp)
jmp    1200 <main+0xd0>
movl   $0x0,-0x5de0(%rbp)
movl   $0x0,-0x5de4(%rbp)
mov    -0x5de4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12dc <main+0x1ac>
mov    -0x5de0(%rbp),%eax
movslq -0x5de4(%rbp),%rcx
add    -0x5dd0(%rbp,%rcx,4),%eax
mov    %eax,-0x5de0(%rbp)
mov    -0x5de4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5de4(%rbp)
jmp    129f <main+0x16f>
mov    -0x5de0(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    1301 <main+0x1d1>
lea    0xd0c(%rip),%rdi
call   1040 <printf@plt>
jmp    130d <main+0x1dd>
lea    0xd02(%rip),%rdi
call   1040 <printf@plt>
jmp    1149 <main+0x19>
xor    %eax,%eax
add    $0x5df0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x5dd8,%rsp
movl   $0x0,0xc(%rsp)
lea    0xec0(%rip),%rdi
lea    0xc(%rsp),%rsi
call   1040 <scanf@plt>
cmp    $0x1,%eax
jne    14e1 <main+0x3c1>
mov    0xc(%rsp),%r8d
test   %r8d,%r8d
je     14e1 <main+0x3c1>
lea    0xe98(%rip),%r15
lea    0xe94(%rip),%r12
lea    0xc(%rsp),%r14
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
test   %r8d,%r8d
jle    11e0 <main+0xc0>
lea    0x2ef0(%rsp),%rbx
xor    %r13d,%r13d
mov    %r15,%rdi
mov    %rbx,%rsi
call   1040 <scanf@plt>
movl   $0x0,0x10(%rsp,%r13,4)
add    $0x1,%r13
movslq 0xc(%rsp),%rax
add    $0x4,%rbx
cmp    %rax,%r13
jl     1190 <main+0x70>
mov    %eax,%ecx
lea    -0x1(%rcx),%r8d
cmp    $0x2,%ecx
jl     1360 <main+0x240>
mov    %r8d,%edx
mov    0x2ef0(%rsp),%eax
cmp    $0x8,%r8d
jae    11eb <main+0xcb>
xor    %esi,%esi
jmp    14b9 <main+0x399>
nopl   0x0(%rax)
add    $0xffffffff,%r8d
xor    %esi,%esi
jmp    146d <main+0x34d>
mov    %edx,%esi
and    $0xfffffff8,%esi
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm1
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %edi,%edi
jmp    121d <main+0xfd>
cs nopw 0x0(%rax,%rax,1)
add    $0x8,%rdi
cmp    %rdi,%rsi
je     1352 <main+0x232>
movups 0x2ef4(%rsp,%rdi,4),%xmm2
shufps $0x3,%xmm2,%xmm1
shufps $0x98,%xmm2,%xmm1
movaps %xmm2,%xmm3
psubd  %xmm1,%xmm3
movdqa %xmm3,%xmm1
psrad  $0x1f,%xmm1
paddd  %xmm1,%xmm3
pxor   %xmm1,%xmm3
movdqa %xmm0,%xmm1
pcmpgtd %xmm3,%xmm1
movd   %xmm1,%ebx
test   $0x1,%bl
je     1262 <main+0x142>
movd   %xmm3,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x2,%xmm1,%ebx
test   $0x1,%bl
je     127d <main+0x15d>
pshufd $0x55,%xmm3,%xmm4
movd   %xmm4,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x4,%xmm1,%ebx
test   $0x1,%bl
je     1298 <main+0x178>
pshufd $0xee,%xmm3,%xmm4
movd   %xmm4,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x6,%xmm1,%ebx
test   $0x1,%bl
je     12b3 <main+0x193>
pshufd $0xff,%xmm3,%xmm1
movd   %xmm1,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
movups 0x2f04(%rsp,%rdi,4),%xmm1
shufps $0x3,%xmm1,%xmm2
shufps $0x98,%xmm1,%xmm2
movaps %xmm1,%xmm3
psubd  %xmm2,%xmm3
movdqa %xmm3,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm3
pxor   %xmm2,%xmm3
movdqa %xmm0,%xmm2
pcmpgtd %xmm3,%xmm2
movd   %xmm2,%ebx
test   $0x1,%bl
je     12f8 <main+0x1d8>
movd   %xmm3,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x2,%xmm2,%ebx
test   $0x1,%bl
je     1313 <main+0x1f3>
pshufd $0x55,%xmm3,%xmm4
movd   %xmm4,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x4,%xmm2,%ebx
test   $0x1,%bl
je     132e <main+0x20e>
pshufd $0xee,%xmm3,%xmm4
movd   %xmm4,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
pextrw $0x6,%xmm2,%ebx
test   $0x1,%bl
je     1210 <main+0xf0>
pshufd $0xff,%xmm3,%xmm2
movd   %xmm2,%ebx
movl   $0x1,0x10(%rsp,%rbx,4)
jmp    1210 <main+0xf0>
cmp    %rdx,%rsi
jne    14a3 <main+0x383>
nopl   0x0(%rax,%rax,1)
test   %ecx,%ecx
jle    1380 <main+0x260>
cmp    $0x8,%ecx
jae    1387 <main+0x267>
xor    %edx,%edx
xor    %esi,%esi
jmp    1460 <main+0x340>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %esi,%esi
jmp    146d <main+0x34d>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%ebx
and    $0x3,%ebx
cmp    $0x18,%rdi
jae    13b2 <main+0x292>
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
jmp    13fd <main+0x2dd>
and    $0xfffffffffffffffc,%rsi
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
paddd  0x10(%rsp,%rdi,4),%xmm0
paddd  0x20(%rsp,%rdi,4),%xmm1
paddd  0x30(%rsp,%rdi,4),%xmm0
paddd  0x40(%rsp,%rdi,4),%xmm1
paddd  0x50(%rsp,%rdi,4),%xmm0
paddd  0x60(%rsp,%rdi,4),%xmm1
paddd  0x70(%rsp,%rdi,4),%xmm0
paddd  0x80(%rsp,%rdi,4),%xmm1
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rsi
jne    13c0 <main+0x2a0>
test   %rbx,%rbx
je     1434 <main+0x314>
lea    0x20(%rsp),%rax
lea    (%rax,%rdi,4),%rsi
shl    $0x5,%rbx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
paddd  -0x10(%rsi,%rdi,1),%xmm0
paddd  (%rsi,%rdi,1),%xmm1
add    $0x20,%rdi
cmp    %rdi,%rbx
jne    1420 <main+0x300>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %rcx,%rdx
je     146d <main+0x34d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    0x10(%rsp,%rdx,4),%esi
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1460 <main+0x340>
cmp    %r8d,%esi
mov    %r12,%rdi
lea    0xb93(%rip),%rax
cmove  %rax,%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
mov    %r14,%rsi
call   1040 <scanf@plt>
cmp    $0x1,%eax
jne    14e1 <main+0x3c1>
mov    0xc(%rsp),%r8d
test   %r8d,%r8d
jne    1180 <main+0x60>
jmp    14e1 <main+0x3c1>
pshufd $0xff,%xmm1,%xmm0
movd   %xmm0,%eax
jmp    14b9 <main+0x399>
xchg   %ax,%ax
cmp    %rsi,%rdx
je     1360 <main+0x240>
mov    %eax,%edi
mov    0x2ef4(%rsp,%rsi,4),%eax
add    $0x1,%rsi
mov    %eax,%ebp
sub    %edi,%ebp
mov    %ebp,%ebx
neg    %ebx
cmovs  %ebp,%ebx
cmp    %ecx,%ebx
jge    14b0 <main+0x390>
mov    %ebx,%edi
movl   $0x1,0x10(%rsp,%rdi,4)
jmp    14b0 <main+0x390>
xor    %eax,%eax
add    $0x5dd8,%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 = [7 x i8] c"Jolly\0A\00"
@.str.2 = [11 x i8] c"Not jolly\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [3000 x i32]
%4 = alloca [3000 x i32]
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %2
br label %10
10: ; preds = %91, %0
%11 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%12 = icmp eq i32 %11, 1
br i1 %12, label %13, label %16
13: ; preds = %10
%14 = load i32, i32* %2
%15 = icmp ne i32 %14, 0
br label %16
16: ; preds = %13, %10
%17 = phi i1 [ false, %10 ], [ %15, %13 ]
br i1 %17, label %18, label %92
18: ; preds = %16
store i32 0, i32* %5
store i32 0, i32* %5
br label %19
19: ; preds = %31, %18
%20 = load i32, i32* %5
%21 = load i32, i32* %2
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %34
23: ; preds = %19
%24 = load i32, i32* %5
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %25
%27 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %26)
%28 = load i32, i32* %5
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [3000 x i32], [3000 x i32]* %4, i64 0, i64 %29
store i32 0, i32* %30
br label %31
31: ; preds = %23
%32 = load i32, i32* %5
%33 = add nsw i32 %32, 1
store i32 %33, i32* %5
br label %19
34: ; preds = %19
store i32 0, i32* %6
br label %35
35: ; preds = %64, %34
%36 = load i32, i32* %6
%37 = load i32, i32* %2
%38 = sub nsw i32 %37, 1
%39 = icmp slt i32 %36, %38
br i1 %39, label %40, label %67
40: ; preds = %35
%41 = load i32, i32* %6
%42 = add nsw i32 %41, 1
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %43
%45 = load i32, i32* %44
%46 = load i32, i32* %6
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %47
%49 = load i32, i32* %48
%50 = sub nsw i32 %45, %49
%51 = call i32 @abs(i32 %50)
store i32 %51, i32* %7
%52 = load i32, i32* %7
%53 = icmp sge i32 %52, 0
br i1 %53, label %54, label %63
54: ; preds = %40
%55 = load i32, i32* %7
%56 = load i32, i32* %2
%57 = sub nsw i32 %56, 1
%58 = icmp sle i32 %55, %57
br i1 %58, label %59, label %63
59: ; preds = %54
%60 = load i32, i32* %7
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [3000 x i32], [3000 x i32]* %4, i64 0, i64 %61
store i32 1, i32* %62
br label %63
63: ; preds = %59, %54, %40
br label %64
64: ; preds = %63
%65 = load i32, i32* %6
%66 = add nsw i32 %65, 1
store i32 %66, i32* %6
br label %35
67: ; preds = %35
store i32 0, i32* %8
store i32 0, i32* %9
br label %68
68: ; preds = %79, %67
%69 = load i32, i32* %9
%70 = load i32, i32* %2
%71 = icmp slt i32 %69, %70
br i1 %71, label %72, label %82
72: ; preds = %68
%73 = load i32, i32* %8
%74 = load i32, i32* %9
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [3000 x i32], [3000 x i32]* %4, i64 0, i64 %75
%77 = load i32, i32* %76
%78 = add nsw i32 %73, %77
store i32 %78, i32* %8
br label %79
79: ; preds = %72
%80 = load i32, i32* %9
%81 = add nsw i32 %80, 1
store i32 %81, i32* %9
br label %68
82: ; preds = %68
%83 = load i32, i32* %8
%84 = load i32, i32* %2
%85 = sub nsw i32 %84, 1
%86 = icmp eq i32 %83, %85
br i1 %86, label %87, label %89
87: ; preds = %82
%88 = call i32 @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
br label %91
89: ; preds = %82
%90 = call i32 @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
br label %91
91: ; preds = %89, %87
br label %10
92: ; preds = %16
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@str = [10 x i8] c"Not jolly\00"
@str.3 = [6 x i8] c"Jolly\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [3000 x i32]
%3 = alloca [3000 x i32]
%4 = bitcast i32* %1 to i8*
store i32 0, i32* %1
%5 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%6 = icmp eq i32 %5, 1
%7 = load i32, i32* %1
%8 = icmp ne i32 %7, 0
%9 = select i1 %6, i1 %8, i1 false
br i1 %9, label %10, label %238
10: ; preds = %0
%11 = bitcast [3000 x i32]* %2 to i8*
%12 = bitcast [3000 x i32]* %3 to i8*
%13 = getelementptr inbounds [3000 x i32], [3000 x i32]* %2, i64 0, i64 0
br label %14
14: ; preds = %10, %227
%15 = phi i32 [ %7, %10 ], [ %235, %227 ]
%16 = icmp sgt i32 %15, 0
br i1 %16, label %107, label %17
17: ; preds = %14
%18 = add i32 %15, -1
br label %227
19: ; preds = %107
%20 = add i32 %113, -1
%21 = icmp sgt i32 %113, 1
br i1 %21, label %22, label %116
22: ; preds = %19
%23 = zext i32 %20 to i64
%24 = load i32, i32* %13
%25 = icmp ult i32 %20, 8
br i1 %25, label %104, label %26
26: ; preds = %22
%27 = and i64 %23, 4294967288
%28 = insertelement <4 x i32> poison, i32 %24, i64 3
%29 = insertelement <4 x i32> poison, i32 %113, i64 0
%30 = shufflevector <4 x i32> %29, <4 x i32> poison, <4 x i32> zeroinitializer
%31 = insertelement <4 x i32> poison, i32 %113, i64 0
%32 = shufflevector <4 x i32> %31, <4 x i32> poison, <4 x i32> zeroinitializer
br label %33
33: ; preds = %98, %26
%34 = phi i64 [ 0, %26 ], [ %99, %98 ]
%35 = phi <4 x i32> [ %28, %26 ], [ %42, %98 ]
%36 = or i64 %34, 1
%37 = getelementptr inbounds [3000 x i32], [3000 x i32]* %2, i64 0, i64 %36
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = getelementptr inbounds i32, i32* %37, i64 4
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = shufflevector <4 x i32> %35, <4 x i32> %39, <4 x i32> <i32 3, i32 4, i32 5, i32 6>
%44 = shufflevector <4 x i32> %39, <4 x i32> %42, <4 x i32> <i32 3, i32 4, i32 5, i32 6>
%45 = sub nsw <4 x i32> %39, %43
%46 = sub nsw <4 x i32> %42, %44
%47 = call <4 x i32> @llvm.abs.v4i32(<4 x i32> %45, i1 true)
%48 = call <4 x i32> @llvm.abs.v4i32(<4 x i32> %46, i1 true)
%49 = icmp slt <4 x i32> %47, %30
%50 = icmp slt <4 x i32> %48, %32
%51 = extractelement <4 x i1> %49, i64 0
br i1 %51, label %52, label %56
52: ; preds = %33
%53 = extractelement <4 x i32> %47, i64 0
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %54
store i32 1, i32* %55
br label %56
56: ; preds = %52, %33
%57 = extractelement <4 x i1> %49, i64 1
br i1 %57, label %58, label %62
58: ; preds = %56
%59 = extractelement <4 x i32> %47, i64 1
%60 = zext i32 %59 to i64
%61 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %60
store i32 1, i32* %61
br label %62
62: ; preds = %58, %56
%63 = extractelement <4 x i1> %49, i64 2
br i1 %63, label %64, label %68
64: ; preds = %62
%65 = extractelement <4 x i32> %47, i64 2
%66 = zext i32 %65 to i64
%67 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %66
store i32 1, i32* %67
br label %68
68: ; preds = %64, %62
%69 = extractelement <4 x i1> %49, i64 3
br i1 %69, label %70, label %74
70: ; preds = %68
%71 = extractelement <4 x i32> %47, i64 3
%72 = zext i32 %71 to i64
%73 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %72
store i32 1, i32* %73
br label %74
74: ; preds = %70, %68
%75 = extractelement <4 x i1> %50, i64 0
br i1 %75, label %76, label %80
76: ; preds = %74
%77 = extractelement <4 x i32> %48, i64 0
%78 = zext i32 %77 to i64
%79 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %78
store i32 1, i32* %79
br label %80
80: ; preds = %76, %74
%81 = extractelement <4 x i1> %50, i64 1
br i1 %81, label %82, label %86
82: ; preds = %80
%83 = extractelement <4 x i32> %48, i64 1
%84 = zext i32 %83 to i64
%85 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %84
store i32 1, i32* %85
br label %86
86: ; preds = %82, %80
%87 = extractelement <4 x i1> %50, i64 2
br i1 %87, label %88, label %92
88: ; preds = %86
%89 = extractelement <4 x i32> %48, i64 2
%90 = zext i32 %89 to i64
%91 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %90
store i32 1, i32* %91
br label %92
92: ; preds = %88, %86
%93 = extractelement <4 x i1> %50, i64 3
br i1 %93, label %94, label %98
94: ; preds = %92
%95 = extractelement <4 x i32> %48, i64 3
%96 = zext i32 %95 to i64
%97 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %96
store i32 1, i32* %97
br label %98
98: ; preds = %94, %92
%99 = add nuw i64 %34, 8
%100 = icmp eq i64 %99, %27
br i1 %100, label %101, label %33
101: ; preds = %98
%102 = icmp eq i64 %27, %23
%103 = extractelement <4 x i32> %42, i64 3
br i1 %102, label %116, label %104
104: ; preds = %22, %101
%105 = phi i32 [ %103, %101 ], [ %24, %22 ]
%106 = phi i64 [ %27, %101 ], [ 0, %22 ]
br label %205
107: ; preds = %14, %107
%108 = phi i64 [ %112, %107 ], [ 0, %14 ]
%109 = getelementptr inbounds [3000 x i32], [3000 x i32]* %2, i64 0, i64 %108
%110 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %109)
%111 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %108
store i32 0, i32* %111
%112 = add nuw nsw i64 %108, 1
%113 = load i32, i32* %1
%114 = sext i32 %113 to i64
%115 = icmp slt i64 %112, %114
br i1 %115, label %107, label %19
116: ; preds = %217, %101, %19
%117 = icmp sgt i32 %113, 0
br i1 %117, label %118, label %227
118: ; preds = %116
%119 = zext i32 %113 to i64
%120 = icmp ult i32 %113, 8
br i1 %120, label %202, label %121
121: ; preds = %118
%122 = and i64 %119, 4294967288
%123 = add nsw i64 %122, -8
%124 = lshr exact i64 %123, 3
%125 = add nuw nsw i64 %124, 1
%126 = and i64 %125, 3
%127 = icmp ult i64 %123, 24
br i1 %127, label %173, label %128
128: ; preds = %121
%129 = and i64 %125, 4611686018427387900
br label %130
130: ; preds = %130, %128
%131 = phi i64 [ 0, %128 ], [ %170, %130 ]
%132 = phi <4 x i32> [ zeroinitializer, %128 ], [ %168, %130 ]
%133 = phi <4 x i32> [ zeroinitializer, %128 ], [ %169, %130 ]
%134 = phi i64 [ 0, %128 ], [ %171, %130 ]
%135 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %131
%136 = bitcast i32* %135 to <4 x i32>*
%137 = load <4 x i32>, <4 x i32>* %136
%138 = getelementptr inbounds i32, i32* %135, i64 4
%139 = bitcast i32* %138 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = add <4 x i32> %137, %132
%142 = add <4 x i32> %140, %133
%143 = or i64 %131, 8
%144 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %143
%145 = bitcast i32* %144 to <4 x i32>*
%146 = load <4 x i32>, <4 x i32>* %145
%147 = getelementptr inbounds i32, i32* %144, i64 4
%148 = bitcast i32* %147 to <4 x i32>*
%149 = load <4 x i32>, <4 x i32>* %148
%150 = add <4 x i32> %146, %141
%151 = add <4 x i32> %149, %142
%152 = or i64 %131, 16
%153 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %152
%154 = bitcast i32* %153 to <4 x i32>*
%155 = load <4 x i32>, <4 x i32>* %154
%156 = getelementptr inbounds i32, i32* %153, i64 4
%157 = bitcast i32* %156 to <4 x i32>*
%158 = load <4 x i32>, <4 x i32>* %157
%159 = add <4 x i32> %155, %150
%160 = add <4 x i32> %158, %151
%161 = or i64 %131, 24
%162 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %161
%163 = bitcast i32* %162 to <4 x i32>*
%164 = load <4 x i32>, <4 x i32>* %163
%165 = getelementptr inbounds i32, i32* %162, i64 4
%166 = bitcast i32* %165 to <4 x i32>*
%167 = load <4 x i32>, <4 x i32>* %166
%168 = add <4 x i32> %164, %159
%169 = add <4 x i32> %167, %160
%170 = add nuw i64 %131, 32
%171 = add i64 %134, 4
%172 = icmp eq i64 %171, %129
br i1 %172, label %173, label %130
173: ; preds = %130, %121
%174 = phi <4 x i32> [ undef, %121 ], [ %168, %130 ]
%175 = phi <4 x i32> [ undef, %121 ], [ %169, %130 ]
%176 = phi i64 [ 0, %121 ], [ %170, %130 ]
%177 = phi <4 x i32> [ zeroinitializer, %121 ], [ %168, %130 ]
%178 = phi <4 x i32> [ zeroinitializer, %121 ], [ %169, %130 ]
%179 = icmp eq i64 %126, 0
br i1 %179, label %196, label %180
180: ; preds = %173, %180
%181 = phi i64 [ %193, %180 ], [ %176, %173 ]
%182 = phi <4 x i32> [ %191, %180 ], [ %177, %173 ]
%183 = phi <4 x i32> [ %192, %180 ], [ %178, %173 ]
%184 = phi i64 [ %194, %180 ], [ 0, %173 ]
%185 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %181
%186 = bitcast i32* %185 to <4 x i32>*
%187 = load <4 x i32>, <4 x i32>* %186
%188 = getelementptr inbounds i32, i32* %185, i64 4
%189 = bitcast i32* %188 to <4 x i32>*
%190 = load <4 x i32>, <4 x i32>* %189
%191 = add <4 x i32> %187, %182
%192 = add <4 x i32> %190, %183
%193 = add nuw i64 %181, 8
%194 = add i64 %184, 1
%195 = icmp eq i64 %194, %126
br i1 %195, label %196, label %180
196: ; preds = %180, %173
%197 = phi <4 x i32> [ %174, %173 ], [ %191, %180 ]
%198 = phi <4 x i32> [ %175, %173 ], [ %192, %180 ]
%199 = add <4 x i32> %198, %197
%200 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %199)
%201 = icmp eq i64 %122, %119
br i1 %201, label %227, label %202
202: ; preds = %118, %196
%203 = phi i64 [ 0, %118 ], [ %122, %196 ]
%204 = phi i32 [ 0, %118 ], [ %200, %196 ]
br label %219
205: ; preds = %104, %217
%206 = phi i32 [ %210, %217 ], [ %105, %104 ]
%207 = phi i64 [ %208, %217 ], [ %106, %104 ]
%208 = add nuw nsw i64 %207, 1
%209 = getelementptr inbounds [3000 x i32], [3000 x i32]* %2, i64 0, i64 %208
%210 = load i32, i32* %209
%211 = sub nsw i32 %210, %206
%212 = call i32 @llvm.abs.i32(i32 %211, i1 true)
%213 = icmp slt i32 %212, %113
br i1 %213, label %214, label %217
214: ; preds = %205
%215 = zext i32 %212 to i64
%216 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %215
store i32 1, i32* %216
br label %217
217: ; preds = %214, %205
%218 = icmp eq i64 %208, %23
br i1 %218, label %116, label %205
219: ; preds = %202, %219
%220 = phi i64 [ %225, %219 ], [ %203, %202 ]
%221 = phi i32 [ %224, %219 ], [ %204, %202 ]
%222 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 %220
%223 = load i32, i32* %222
%224 = add nsw i32 %223, %221
%225 = add nuw nsw i64 %220, 1
%226 = icmp eq i64 %225, %119
br i1 %226, label %227, label %219
227: ; preds = %219, %196, %17, %116
%228 = phi i32 [ %20, %116 ], [ %18, %17 ], [ %20, %196 ], [ %20, %219 ]
%229 = phi i32 [ 0, %116 ], [ 0, %17 ], [ %200, %196 ], [ %224, %219 ]
%230 = icmp eq i32 %229, %228
%231 = select i1 %230, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @str.3, i64 0, i64 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @str, i64 0, i64 0)
%232 = call i32 @puts(i8* dereferenceable(1) %231)
%233 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%234 = icmp eq i32 %233, 1
%235 = load i32, i32* %1
%236 = icmp ne i32 %235, 0
%237 = select i1 %234, i1 %236, i1 false
br i1 %237, label %14, label %238
238: ; preds = %227, %0
ret i32 0
}