#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() {
  int t, i, d, swap, flag;
  while (scanf("%d", &t) == 1) {
    int jolly[t], diff[t - 1];
    flag = 1;
    for (i = 0; i < t; i++) {
      scanf("%d", &jolly[i]);
    }
    if (t > 2) {
      for (i = 0; i < t - 1; i++) {
        diff[i] = abs(jolly[i] - jolly[i + 1]);
      }
      for (i = 0; i < t - 2; i++) {
        for (d = 0; d < t - i - 2; d++) {
          if (diff[d] > diff[d + 1]) {
            swap = diff[d];
            diff[d] = diff[d + 1];
            diff[d + 1] = swap;
          }
        }
      }
      if (diff[t - 1] >= t || diff[0] != 1) {
        flag = 0;
      }
      if (flag == 1)
        for (i = 0; i < t - 2; i++) {
          if (diff[i] + 1 != diff[i + 1]) {
            flag = 0;
            break;
          }
        }
    }
    if (flag)
      printf("Jolly\n");
    else
      printf("Not jolly\n");
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeba(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1050 <scanf@plt>
cmp    $0x1,%eax
jne    13af <main+0x27f>
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11e5 <main+0xb5>
mov    -0x40(%rbp),%rsi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe2e(%rip),%rdi
call   1050 <scanf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11b0 <main+0x80>
cmpl   $0x2,-0x8(%rbp)
jle    137c <main+0x24c>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    123e <main+0x10e>
mov    -0x40(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
sub    (%rax,%rcx,4),%edi
call   1030 <abs@plt>
mov    %eax,%edx
mov    -0x38(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11f6 <main+0xc6>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jge    12e4 <main+0x1b4>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    -0xc(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jge    12d1 <main+0x1a1>
mov    -0x38(%rbp),%rcx
movslq -0x10(%rbp),%rax
mov    (%rcx,%rax,4),%eax
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    12be <main+0x18e>
mov    -0x38(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    %ecx,-0x14(%rbp)
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12c3 <main+0x193>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    125d <main+0x12d>
jmp    12d6 <main+0x1a6>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1245 <main+0x115>
mov    -0x38(%rbp),%rax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x8(%rbp),%eax
jge    130a <main+0x1da>
mov    -0x38(%rbp),%rax
cmpl   $0x1,(%rax)
je     1311 <main+0x1e1>
movl   $0x0,-0x18(%rbp)
cmpl   $0x1,-0x18(%rbp)
jne    1377 <main+0x247>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jge    1372 <main+0x242>
mov    -0x38(%rbp),%rcx
movslq -0xc(%rbp),%rax
mov    (%rcx,%rax,4),%eax
add    $0x1,%eax
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     135f <main+0x22f>
movl   $0x0,-0x18(%rbp)
jmp    1372 <main+0x242>
jmp    1364 <main+0x234>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1322 <main+0x1f2>
jmp    1377 <main+0x247>
jmp    137c <main+0x24c>
cmpl   $0x0,-0x18(%rbp)
je     1397 <main+0x267>
lea    0xc76(%rip),%rdi
call   1040 <printf@plt>
jmp    13a3 <main+0x273>
lea    0xc6c(%rip),%rdi
call   1040 <printf@plt>
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
jmp    113f <main+0xf>
xor    %eax,%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
lea    0xec8(%rip),%rdi
lea    -0x2c(%rbp),%rsi
call   1040 <scanf@plt>
cmp    $0x1,%eax
jne    13d7 <main+0x2b7>
lea    0xebc(%rip),%r13
lea    0xea8(%rip),%r15
jmp    117d <main+0x5d>
mov    %r13,%rdi
nopl   (%rax)
call   1030 <puts@plt>
mov    %rbx,%rsp
mov    %r15,%rdi
lea    -0x2c(%rbp),%rsi
call   1040 <scanf@plt>
cmp    $0x1,%eax
jne    13d7 <main+0x2b7>
mov    %rsp,%rbx
mov    -0x2c(%rbp),%eax
mov    %rsp,%r12
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
mov    -0x2c(%rbp),%eax
lea    -0x1(%rax),%ecx
mov    %rsp,%r14
lea    0xf(,%rcx,4),%rcx
and    $0xfffffffffffffff0,%rcx
sub    %rcx,%r14
mov    %r14,%rsp
mov    %r13,%rdi
test   %eax,%eax
jle    1160 <main+0x40>
mov    %rbx,-0x38(%rbp)
mov    %r12,%rbx
xor    %r13d,%r13d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r15,%rdi
mov    %rbx,%rsi
call   1040 <scanf@plt>
add    $0x1,%r13
movslq -0x2c(%rbp),%r10
add    $0x4,%rbx
cmp    %r10,%r13
jl     11d0 <main+0xb0>
lea    0xe1a(%rip),%r13
mov    %r13,%rdi
cmp    $0x3,%r10d
mov    -0x38(%rbp),%rbx
jl     1160 <main+0x40>
lea    -0x1(%r10),%r8d
mov    (%r12),%ecx
cmp    $0x8,%r8d
jae    1219 <main+0xf9>
xor    %edx,%edx
jmp    12a0 <main+0x180>
mov    %r8d,%edx
and    $0xfffffff8,%edx
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movups 0x4(%r12,%rcx,4),%xmm1
shufps $0x3,%xmm1,%xmm0
shufps $0x98,%xmm1,%xmm0
psubd  %xmm1,%xmm0
movdqa %xmm0,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm0
pxor   %xmm2,%xmm0
movdqa %xmm0,(%r14,%rcx,4)
movups 0x14(%r12,%rcx,4),%xmm0
shufps $0x3,%xmm0,%xmm1
shufps $0x98,%xmm0,%xmm1
psubd  %xmm0,%xmm1
movdqa %xmm1,%xmm2
psrad  $0x1f,%xmm2
paddd  %xmm2,%xmm1
pxor   %xmm2,%xmm1
movdqa %xmm1,0x10(%r14,%rcx,4)
add    $0x8,%rcx
cmp    %rcx,%rdx
jne    1230 <main+0x110>
cmp    %r8,%rdx
je     12c0 <main+0x1a0>
pshufd $0xff,%xmm0,%xmm0
movd   %xmm0,%ecx
nopw   0x0(%rax,%rax,1)
mov    0x4(%r12,%rdx,4),%eax
sub    %eax,%ecx
mov    %ecx,%esi
neg    %esi
cmovs  %ecx,%esi
mov    %esi,(%r14,%rdx,4)
lea    0x1(%rdx),%rsi
mov    %eax,%ecx
mov    %rsi,%rdx
cmp    %rsi,%r8
jne    12a0 <main+0x180>
lea    -0x2(%r10),%r9d
xor    %esi,%esi
mov    %r9d,%r11d
jmp    12e0 <main+0x1c0>
nopl   0x0(%rax,%rax,1)
add    $0x1,%esi
add    $0xffffffff,%r11d
cmp    %r9d,%esi
je     1370 <main+0x250>
mov    %r9d,%r12d
sub    %esi,%r12d
test   %r12d,%r12d
jle    12d0 <main+0x1b0>
mov    (%r14),%edx
cmp    $0x1,%r12d
jne    1310 <main+0x1f0>
xor    %ebx,%ebx
test   $0x1,%r12b
je     12d0 <main+0x1b0>
mov    0x4(%r14,%rbx,4),%eax
cmp    %eax,%edx
jle    12d0 <main+0x1b0>
mov    %eax,(%r14,%rbx,4)
mov    %edx,0x4(%r14,%rbx,4)
jmp    12d0 <main+0x1b0>
mov    %r11d,%edi
and    $0xfffffffe,%edi
xor    %eax,%eax
jmp    1332 <main+0x212>
nopw   0x0(%rax,%rax,1)
mov    %ecx,0x4(%r14,%rax,4)
mov    %edx,0x8(%r14,%rax,4)
mov    %rbx,%rax
cmp    %rbx,%rdi
je     12f6 <main+0x1d6>
mov    0x4(%r14,%rax,4),%ebx
cmp    %ebx,%edx
jle    1350 <main+0x230>
mov    %ebx,(%r14,%rax,4)
mov    %edx,0x4(%r14,%rax,4)
jmp    1352 <main+0x232>
cs nopw 0x0(%rax,%rax,1)
mov    %ebx,%edx
lea    0x2(%rax),%rbx
mov    0x8(%r14,%rax,4),%ecx
cmp    %ecx,%edx
jg     1320 <main+0x200>
mov    %ecx,%edx
jmp    132a <main+0x20a>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq %r8d,%rax
lea    0xc89(%rip),%rdi
cmp    %r10d,(%r14,%rax,4)
mov    -0x38(%rbp),%rbx
jge    1160 <main+0x40>
cmpl   $0x1,(%r14)
lea    0xc70(%rip),%rdi
jne    1160 <main+0x40>
test   %r9d,%r9d
mov    $0x0,%eax
cmovle %eax,%r9d
neg    %r9
mov    $0x1,%eax
nopl   (%rax)
lea    (%r9,%rax,1),%rcx
cmp    $0x1,%rcx
je     115a <main+0x3a>
lea    0x1(%rax),%rcx
cmp    (%r14,%rax,4),%ecx
mov    %rcx,%rax
je     13b0 <main+0x290>
lea    0xc31(%rip),%rdi
jmp    1160 <main+0x40>
xor    %eax,%eax
lea    -0x28(%rbp),%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 i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i64
store i32 0, i32* %1
br label %10
10: ; preds = %160, %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 %162
13: ; preds = %10
%14 = load i32, i32* %2
%15 = zext i32 %14 to i64
%16 = call i8* @llvm.stacksave()
store i8* %16, i8** %7
%17 = alloca i32, i64 %15
store i64 %15, i64* %8
%18 = load i32, i32* %2
%19 = sub nsw i32 %18, 1
%20 = zext i32 %19 to i64
%21 = alloca i32, i64 %20
store i64 %20, i64* %9
store i32 1, i32* %6
store i32 0, i32* %3
br label %22
22: ; preds = %31, %13
%23 = load i32, i32* %3
%24 = load i32, i32* %2
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %34
26: ; preds = %22
%27 = load i32, i32* %3
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %17, i64 %28
%30 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %29)
br label %31
31: ; preds = %26
%32 = load i32, i32* %3
%33 = add nsw i32 %32, 1
store i32 %33, i32* %3
br label %22
34: ; preds = %22
%35 = load i32, i32* %2
%36 = icmp sgt i32 %35, 2
br i1 %36, label %37, label %153
37: ; preds = %34
store i32 0, i32* %3
br label %38
38: ; preds = %58, %37
%39 = load i32, i32* %3
%40 = load i32, i32* %2
%41 = sub nsw i32 %40, 1
%42 = icmp slt i32 %39, %41
br i1 %42, label %43, label %61
43: ; preds = %38
%44 = load i32, i32* %3
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %17, i64 %45
%47 = load i32, i32* %46
%48 = load i32, i32* %3
%49 = add nsw i32 %48, 1
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %17, i64 %50
%52 = load i32, i32* %51
%53 = sub nsw i32 %47, %52
%54 = call i32 @abs(i32 %53)
%55 = load i32, i32* %3
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %21, i64 %56
store i32 %54, i32* %57
br label %58
58: ; preds = %43
%59 = load i32, i32* %3
%60 = add nsw i32 %59, 1
store i32 %60, i32* %3
br label %38
61: ; preds = %38
store i32 0, i32* %3
br label %62
62: ; preds = %109, %61
%63 = load i32, i32* %3
%64 = load i32, i32* %2
%65 = sub nsw i32 %64, 2
%66 = icmp slt i32 %63, %65
br i1 %66, label %67, label %112
67: ; preds = %62
store i32 0, i32* %4
br label %68
68: ; preds = %105, %67
%69 = load i32, i32* %4
%70 = load i32, i32* %2
%71 = load i32, i32* %3
%72 = sub nsw i32 %70, %71
%73 = sub nsw i32 %72, 2
%74 = icmp slt i32 %69, %73
br i1 %74, label %75, label %108
75: ; preds = %68
%76 = load i32, i32* %4
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %21, i64 %77
%79 = load i32, i32* %78
%80 = load i32, i32* %4
%81 = add nsw i32 %80, 1
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i32, i32* %21, i64 %82
%84 = load i32, i32* %83
%85 = icmp sgt i32 %79, %84
br i1 %85, label %86, label %104
86: ; preds = %75
%87 = load i32, i32* %4
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %21, i64 %88
%90 = load i32, i32* %89
store i32 %90, i32* %5
%91 = load i32, i32* %4
%92 = add nsw i32 %91, 1
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %21, i64 %93
%95 = load i32, i32* %94
%96 = load i32, i32* %4
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %21, i64 %97
store i32 %95, i32* %98
%99 = load i32, i32* %5
%100 = load i32, i32* %4
%101 = add nsw i32 %100, 1
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i32, i32* %21, i64 %102
store i32 %99, i32* %103
br label %104
104: ; preds = %86, %75
br label %105
105: ; preds = %104
%106 = load i32, i32* %4
%107 = add nsw i32 %106, 1
store i32 %107, i32* %4
br label %68
108: ; preds = %68
br label %109
109: ; preds = %108
%110 = load i32, i32* %3
%111 = add nsw i32 %110, 1
store i32 %111, i32* %3
br label %62
112: ; preds = %62
%113 = load i32, i32* %2
%114 = sub nsw i32 %113, 1
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %21, i64 %115
%117 = load i32, i32* %116
%118 = load i32, i32* %2
%119 = icmp sge i32 %117, %118
br i1 %119, label %124, label %120
120: ; preds = %112
%121 = getelementptr inbounds i32, i32* %21, i64 0
%122 = load i32, i32* %121
%123 = icmp ne i32 %122, 1
br i1 %123, label %124, label %125
124: ; preds = %120, %112
store i32 0, i32* %6
br label %125
125: ; preds = %124, %120
%126 = load i32, i32* %6
%127 = icmp eq i32 %126, 1
br i1 %127, label %128, label %152
128: ; preds = %125
store i32 0, i32* %3
br label %129
129: ; preds = %148, %128
%130 = load i32, i32* %3
%131 = load i32, i32* %2
%132 = sub nsw i32 %131, 2
%133 = icmp slt i32 %130, %132
br i1 %133, label %134, label %151
134: ; preds = %129
%135 = load i32, i32* %3
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %21, i64 %136
%138 = load i32, i32* %137
%139 = add nsw i32 %138, 1
%140 = load i32, i32* %3
%141 = add nsw i32 %140, 1
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds i32, i32* %21, i64 %142
%144 = load i32, i32* %143
%145 = icmp ne i32 %139, %144
br i1 %145, label %146, label %147
146: ; preds = %134
store i32 0, i32* %6
br label %151
147: ; preds = %134
br label %148
148: ; preds = %147
%149 = load i32, i32* %3
%150 = add nsw i32 %149, 1
store i32 %150, i32* %3
br label %129
151: ; preds = %146, %129
br label %152
152: ; preds = %151, %125
br label %153
153: ; preds = %152, %34
%154 = load i32, i32* %6
%155 = icmp ne i32 %154, 0
br i1 %155, label %156, label %158
156: ; preds = %153
%157 = call i32 @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
br label %160
158: ; preds = %153
%159 = call i32 @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
br label %160
160: ; preds = %158, %156
%161 = load i8*, i8** %7
br label %10
162: ; preds = %10
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 = bitcast i32* %1 to i8*
%3 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%4 = icmp eq i32 %3, 1
br i1 %4, label %5, label %147
5: ; preds = %0, %142
%6 = load i32, i32* %1
%7 = zext i32 %6 to i64
%8 = call i8* @llvm.stacksave()
%9 = alloca i32, i64 %7
%10 = load i32, i32* %1
%11 = add nsw i32 %10, -1
%12 = zext i32 %11 to i64
%13 = alloca i32, i64 %12
%14 = icmp sgt i32 %10, 0
br i1 %14, label %15, label %142
15: ; preds = %5, %15
%16 = phi i64 [ %19, %15 ], [ 0, %5 ]
%17 = getelementptr inbounds i32, i32* %9, i64 %16
%18 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %17)
%19 = add nuw nsw i64 %16, 1
%20 = load i32, i32* %1
%21 = sext i32 %20 to i64
%22 = icmp slt i64 %19, %21
br i1 %22, label %15, label %23
23: ; preds = %15
%24 = icmp sgt i32 %20, 2
br i1 %24, label %25, label %142
25: ; preds = %23
%26 = add nsw i32 %20, -1
%27 = zext i32 %26 to i64
%28 = load i32, i32* %9
%29 = icmp ult i32 %26, 8
br i1 %29, label %58, label %30
30: ; preds = %25
%31 = and i64 %27, 4294967288
%32 = insertelement <4 x i32> poison, i32 %28, i64 3
br label %33
33: ; preds = %33, %30
%34 = phi i64 [ 0, %30 ], [ %53, %33 ]
%35 = phi <4 x i32> [ %32, %30 ], [ %42, %33 ]
%36 = or i64 %34, 1
%37 = getelementptr inbounds i32, i32* %9, 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> %43, %39
%46 = sub nsw <4 x i32> %44, %42
%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 = getelementptr inbounds i32, i32* %13, i64 %34
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %50
%51 = getelementptr inbounds i32, i32* %49, i64 4
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %52
%53 = add nuw i64 %34, 8
%54 = icmp eq i64 %53, %31
br i1 %54, label %55, label %33
55: ; preds = %33
%56 = icmp eq i64 %31, %27
%57 = extractelement <4 x i32> %42, i64 3
br i1 %56, label %61, label %58
58: ; preds = %25, %55
%59 = phi i32 [ %57, %55 ], [ %28, %25 ]
%60 = phi i64 [ %31, %55 ], [ 0, %25 ]
br label %63
61: ; preds = %63, %55
%62 = add i32 %20, -2
br label %73
63: ; preds = %58, %63
%64 = phi i32 [ %68, %63 ], [ %59, %58 ]
%65 = phi i64 [ %66, %63 ], [ %60, %58 ]
%66 = add nuw nsw i64 %65, 1
%67 = getelementptr inbounds i32, i32* %9, i64 %66
%68 = load i32, i32* %67
%69 = sub nsw i32 %64, %68
%70 = call i32 @llvm.abs.i32(i32 %69, i1 true)
%71 = getelementptr inbounds i32, i32* %13, i64 %65
store i32 %70, i32* %71
%72 = icmp eq i64 %66, %27
br i1 %72, label %61, label %63
73: ; preds = %61, %118
%74 = phi i32 [ 0, %61 ], [ %119, %118 ]
%75 = sub i32 %62, %74
%76 = zext i32 %75 to i64
%77 = sub i32 %62, %74
%78 = icmp sgt i32 %77, 0
br i1 %78, label %79, label %118
79: ; preds = %73
%80 = load i32, i32* %13
%81 = and i64 %76, 1
%82 = icmp eq i32 %75, 1
br i1 %82, label %107, label %83
83: ; preds = %79
%84 = and i64 %76, 4294967294
br label %85
85: ; preds = %103, %83
%86 = phi i32 [ %80, %83 ], [ %104, %103 ]
%87 = phi i64 [ 0, %83 ], [ %97, %103 ]
%88 = phi i64 [ 0, %83 ], [ %105, %103 ]
%89 = or i64 %87, 1
%90 = getelementptr inbounds i32, i32* %13, i64 %89
%91 = load i32, i32* %90
%92 = icmp sgt i32 %86, %91
br i1 %92, label %93, label %95
93: ; preds = %85
%94 = getelementptr inbounds i32, i32* %13, i64 %87
store i32 %91, i32* %94
store i32 %86, i32* %90
br label %95
95: ; preds = %85, %93
%96 = phi i32 [ %91, %85 ], [ %86, %93 ]
%97 = add nuw nsw i64 %87, 2
%98 = getelementptr inbounds i32, i32* %13, i64 %97
%99 = load i32, i32* %98
%100 = icmp sgt i32 %96, %99
br i1 %100, label %101, label %103
101: ; preds = %95
%102 = getelementptr inbounds i32, i32* %13, i64 %89
store i32 %99, i32* %102
store i32 %96, i32* %98
br label %103
103: ; preds = %101, %95
%104 = phi i32 [ %99, %95 ], [ %96, %101 ]
%105 = add i64 %88, 2
%106 = icmp eq i64 %105, %84
br i1 %106, label %107, label %85
107: ; preds = %103, %79
%108 = phi i32 [ %80, %79 ], [ %104, %103 ]
%109 = phi i64 [ 0, %79 ], [ %97, %103 ]
%110 = icmp eq i64 %81, 0
br i1 %110, label %118, label %111
111: ; preds = %107
%112 = add nuw nsw i64 %109, 1
%113 = getelementptr inbounds i32, i32* %13, i64 %112
%114 = load i32, i32* %113
%115 = icmp sgt i32 %108, %114
br i1 %115, label %116, label %118
116: ; preds = %111
%117 = getelementptr inbounds i32, i32* %13, i64 %109
store i32 %114, i32* %117
store i32 %108, i32* %113
br label %118
118: ; preds = %107, %116, %111, %73
%119 = add nuw nsw i32 %74, 1
%120 = icmp eq i32 %119, %62
br i1 %120, label %121, label %73
121: ; preds = %118
%122 = sext i32 %26 to i64
%123 = getelementptr inbounds i32, i32* %13, i64 %122
%124 = load i32, i32* %123
%125 = icmp slt i32 %124, %20
br i1 %125, label %126, label %142
126: ; preds = %121
%127 = load i32, i32* %13
%128 = icmp eq i32 %127, 1
br i1 %128, label %129, label %142
129: ; preds = %126
%130 = call i32 @llvm.smax.i32(i32 %62, i32 0)
%131 = zext i32 %130 to i64
br label %132
132: ; preds = %129, %136
%133 = phi i32 [ 1, %129 ], [ %137, %136 ]
%134 = phi i64 [ 0, %129 ], [ %138, %136 ]
%135 = icmp eq i64 %134, %131
br i1 %135, label %142, label %136
136: ; preds = %132
%137 = add nuw nsw i32 %133, 1
%138 = add nuw nsw i64 %134, 1
%139 = getelementptr inbounds i32, i32* %13, i64 %138
%140 = load i32, i32* %139
%141 = icmp eq i32 %137, %140
br i1 %141, label %132, label %142
142: ; preds = %136, %132, %126, %121, %23, %5
%143 = phi i8* [ getelementptr inbounds ([6 x i8], [6 x i8]* @str.3, i64 0, i64 0), %5 ], [ getelementptr inbounds ([6 x i8], [6 x i8]* @str.3, i64 0, i64 0), %23 ], [ getelementptr inbounds ([10 x i8], [10 x i8]* @str, i64 0, i64 0), %121 ], [ getelementptr inbounds ([10 x i8], [10 x i8]* @str, i64 0, i64 0), %126 ], [ getelementptr inbounds ([6 x i8], [6 x i8]* @str.3, i64 0, i64 0), %132 ], [ getelementptr inbounds ([10 x i8], [10 x i8]* @str, i64 0, i64 0), %136 ]
%144 = call i32 @puts(i8* dereferenceable(1) %143)
%145 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%146 = icmp eq i32 %145, 1
br i1 %146, label %5, label %147
147: ; preds = %142, %0
ret i32 0
}