#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*/ jollycheck(int *, int);
int /*<<< orphan*/ printf(char *);
int scanf(char *, int *);
int main() {
  int n, i, a[3010];
  while (scanf("%d", &n) == 1) {
    int b[3009] = {0};
    for (i = 0; i < n; i++) {
      scanf("%d", &a[i]);
    }
    for (i = 0; i < n - 1; i++) {
      int temp = abs(a[i] - a[i + 1]);
      b[temp]++;
    }
    if (n == 1)
      printf("Jolly\n");
    else {
      jollycheck(b, n);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x5e40,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xe97(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1070 <scanf@plt>
cmp    $0x1,%eax
jne    125f <main+0x10f>
lea    -0x5e30(%rbp),%rdi
xor    %esi,%esi
mov    $0x2f04,%edx
call   1050 <memset@plt>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11cd <main+0x7d>
movslq -0xc(%rbp),%rax
lea    -0x2f20(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe46(%rip),%rdi
call   1070 <scanf@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1195 <main+0x45>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1230 <main+0xe0>
movslq -0xc(%rbp),%rax
mov    -0x2f20(%rbp,%rax,4),%edi
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
sub    -0x2f20(%rbp,%rax,4),%edi
call   1030 <abs@plt>
mov    %eax,-0x5e34(%rbp)
movslq -0x5e34(%rbp),%rax
mov    -0x5e30(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x5e30(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11d4 <main+0x84>
cmpl   $0x1,-0x8(%rbp)
jne    124b <main+0xfb>
lea    0xdc2(%rip),%rdi
call   1040 <printf@plt>
jmp    125a <main+0x10a>
lea    -0x5e30(%rbp),%rdi
mov    -0x8(%rbp),%esi
call   1060 <jollycheck@plt>
jmp    1162 <main+0x12>
xor    %eax,%eax
add    $0x5e40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x5e28,%rsp
lea    0xea8(%rip),%rdi
lea    0xc(%rsp),%rsi
call   1060 <scanf@plt>
cmp    $0x1,%eax
jne    127d <main+0x13d>
lea    0x2f20(%rsp),%r14
lea    0x10(%rsp),%rbp
lea    0xe81(%rip),%r13
lea    0xc(%rsp),%r12
jmp    11ac <main+0x6c>
cs nopw 0x0(%rax,%rax,1)
mov    %r14,%rdi
call   1050 <jollycheck@plt>
mov    %r13,%rdi
mov    %r12,%rsi
call   1060 <scanf@plt>
cmp    $0x1,%eax
jne    127d <main+0x13d>
mov    $0x2f04,%edx
mov    %r14,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    0xc(%rsp),%esi
test   %esi,%esi
jle    1190 <main+0x50>
mov    %rbp,%rbx
xor    %r15d,%r15d
nopl   0x0(%rax)
mov    %r13,%rdi
mov    %rbx,%rsi
call   1060 <scanf@plt>
add    $0x1,%r15
movslq 0xc(%rsp),%rsi
add    $0x4,%rbx
cmp    %rsi,%r15
jl     11d0 <main+0x90>
cmp    $0x2,%esi
jl     1263 <main+0x123>
lea    -0x1(%rsi),%r8d
mov    0x10(%rsp),%ebx
cmp    $0x1,%r8d
jne    1204 <main+0xc4>
xor    %edx,%edx
jmp    1245 <main+0x105>
mov    %r8d,%edi
and    $0xfffffffe,%edi
mov    %ebx,%ecx
xor    %edx,%edx
xchg   %ax,%ax
mov    0x14(%rsp,%rdx,4),%ebp
mov    0x18(%rsp,%rdx,4),%ebx
sub    %ebp,%ecx
mov    %ecx,%eax
neg    %eax
cmovs  %ecx,%eax
addl   $0x1,0x2f20(%rsp,%rax,4)
01
add    $0x2,%rdx
sub    %ebx,%ebp
mov    %ebp,%eax
neg    %eax
cmovs  %ebp,%eax
addl   $0x1,0x2f20(%rsp,%rax,4)
01
mov    %ebx,%ecx
cmp    %rdx,%rdi
jne    1210 <main+0xd0>
test   $0x1,%r8b
lea    0x10(%rsp),%rbp
je     1263 <main+0x123>
sub    0x14(%rsp,%rdx,4),%ebx
mov    %ebx,%eax
neg    %eax
cmovs  %ebx,%eax
addl   $0x1,0x2f20(%rsp,%rax,4)
01
cmp    $0x1,%esi
jne    1190 <main+0x50>
lea    0xd90(%rip),%rdi
call   1030 <puts@plt>
jmp    1198 <main+0x58>
xor    %eax,%eax
add    $0x5e28,%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"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca [3010 x i32]
%5 = alloca [3009 x i32]
%6 = alloca i32
store i32 0, i32* %1
br label %7
7: ; preds = %59, %0
%8 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%9 = icmp eq i32 %8, 1
br i1 %9, label %10, label %60
10: ; preds = %7
%11 = bitcast [3009 x i32]* %5 to i8*
store i32 0, i32* %3
br label %12
12: ; preds = %21, %10
%13 = load i32, i32* %3
%14 = load i32, i32* %2
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %24
16: ; preds = %12
%17 = load i32, i32* %3
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds [3010 x i32], [3010 x i32]* %4, i64 0, i64 %18
%20 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %19)
br label %21
21: ; preds = %16
%22 = load i32, i32* %3
%23 = add nsw i32 %22, 1
store i32 %23, i32* %3
br label %12
24: ; preds = %12
store i32 0, i32* %3
br label %25
25: ; preds = %47, %24
%26 = load i32, i32* %3
%27 = load i32, i32* %2
%28 = sub nsw i32 %27, 1
%29 = icmp slt i32 %26, %28
br i1 %29, label %30, label %50
30: ; preds = %25
%31 = load i32, i32* %3
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [3010 x i32], [3010 x i32]* %4, i64 0, i64 %32
%34 = load i32, i32* %33
%35 = load i32, i32* %3
%36 = add nsw i32 %35, 1
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [3010 x i32], [3010 x i32]* %4, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = sub nsw i32 %34, %39
%41 = call i32 @abs(i32 %40)
store i32 %41, i32* %6
%42 = load i32, i32* %6
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [3009 x i32], [3009 x i32]* %5, i64 0, i64 %43
%45 = load i32, i32* %44
%46 = add nsw i32 %45, 1
store i32 %46, i32* %44
br label %47
47: ; preds = %30
%48 = load i32, i32* %3
%49 = add nsw i32 %48, 1
store i32 %49, i32* %3
br label %25
50: ; preds = %25
%51 = load i32, i32* %2
%52 = icmp eq i32 %51, 1
br i1 %52, label %53, label %55
53: ; preds = %50
%54 = call i32 @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
br label %59
55: ; preds = %50
%56 = getelementptr inbounds [3009 x i32], [3009 x i32]* %5, i64 0, i64 0
%57 = load i32, i32* %2
%58 = call i32 @jollycheck(i32* %56, i32 %57)
br label %59
59: ; preds = %55, %53
br label %7
60: ; preds = %7
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@str = [6 x i8] c"Jolly\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [3010 x i32]
%3 = alloca [3009 x i32]
%4 = bitcast i32* %1 to i8*
%5 = bitcast [3010 x i32]* %2 to i8*
%6 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%7 = icmp eq i32 %6, 1
br i1 %7, label %8, label %81
8: ; preds = %0
%9 = bitcast [3009 x i32]* %3 to i8*
%10 = getelementptr inbounds [3009 x i32], [3009 x i32]* %3, i64 0, i64 0
%11 = getelementptr inbounds [3010 x i32], [3010 x i32]* %2, i64 0, i64 0
br label %12
12: ; preds = %8, %78
%13 = load i32, i32* %1
%14 = icmp sgt i32 %13, 0
br i1 %14, label %25, label %75
15: ; preds = %25
%16 = icmp sgt i32 %30, 1
br i1 %16, label %17, label %71
17: ; preds = %15
%18 = add nsw i32 %30, -1
%19 = zext i32 %18 to i64
%20 = load i32, i32* %11
%21 = and i64 %19, 1
%22 = icmp eq i32 %18, 1
br i1 %22, label %57, label %23
23: ; preds = %17
%24 = and i64 %19, 4294967294
br label %33
25: ; preds = %12, %25
%26 = phi i64 [ %29, %25 ], [ 0, %12 ]
%27 = getelementptr inbounds [3010 x i32], [3010 x i32]* %2, i64 0, i64 %26
%28 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %27)
%29 = add nuw nsw i64 %26, 1
%30 = load i32, i32* %1
%31 = sext i32 %30 to i64
%32 = icmp slt i64 %29, %31
br i1 %32, label %25, label %15
33: ; preds = %33, %23
%34 = phi i32 [ %20, %23 ], [ %48, %33 ]
%35 = phi i64 [ 0, %23 ], [ %46, %33 ]
%36 = phi i64 [ 0, %23 ], [ %55, %33 ]
%37 = or i64 %35, 1
%38 = getelementptr inbounds [3010 x i32], [3010 x i32]* %2, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = sub nsw i32 %34, %39
%41 = call i32 @llvm.abs.i32(i32 %40, i1 true)
%42 = zext i32 %41 to i64
%43 = getelementptr inbounds [3009 x i32], [3009 x i32]* %3, i64 0, i64 %42
%44 = load i32, i32* %43
%45 = add nsw i32 %44, 1
store i32 %45, i32* %43
%46 = add nuw nsw i64 %35, 2
%47 = getelementptr inbounds [3010 x i32], [3010 x i32]* %2, i64 0, i64 %46
%48 = load i32, i32* %47
%49 = sub nsw i32 %39, %48
%50 = call i32 @llvm.abs.i32(i32 %49, i1 true)
%51 = zext i32 %50 to i64
%52 = getelementptr inbounds [3009 x i32], [3009 x i32]* %3, i64 0, i64 %51
%53 = load i32, i32* %52
%54 = add nsw i32 %53, 1
store i32 %54, i32* %52
%55 = add i64 %36, 2
%56 = icmp eq i64 %55, %24
br i1 %56, label %57, label %33
57: ; preds = %33, %17
%58 = phi i32 [ %20, %17 ], [ %48, %33 ]
%59 = phi i64 [ 0, %17 ], [ %46, %33 ]
%60 = icmp eq i64 %21, 0
br i1 %60, label %71, label %61
61: ; preds = %57
%62 = add nuw nsw i64 %59, 1
%63 = getelementptr inbounds [3010 x i32], [3010 x i32]* %2, i64 0, i64 %62
%64 = load i32, i32* %63
%65 = sub nsw i32 %58, %64
%66 = call i32 @llvm.abs.i32(i32 %65, i1 true)
%67 = zext i32 %66 to i64
%68 = getelementptr inbounds [3009 x i32], [3009 x i32]* %3, i64 0, i64 %67
%69 = load i32, i32* %68
%70 = add nsw i32 %69, 1
store i32 %70, i32* %68
br label %71
71: ; preds = %61, %57, %15
%72 = icmp eq i32 %30, 1
br i1 %72, label %73, label %75
73: ; preds = %71
%74 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @str, i64 0, i64 0))
br label %78
75: ; preds = %12, %71
%76 = phi i32 [ %30, %71 ], [ %13, %12 ]
%77 = call i32 @jollycheck(i32* %10, i32 %76)
br label %78
78: ; preds = %75, %73
%79 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %1)
%80 = icmp eq i32 %79, 1
br i1 %80, label %12, label %81
81: ; preds = %78, %0
ret i32 0
}