#include <iostream>
#include <stdio.h>
#include <queue>
using namespace std;
int abs(int a, int b);
int main()
{
queue<int> numeros, diferenca;
int n, numero1, numero2, nLista[3003], nEntrada;
bool jolly;
char entrada;
do
{
jolly = true;
for(int i = 0; i < 3003; i++)
nLista[i] = 0;
while(!numeros.empty())
numeros.pop();
while(!diferenca.empty())
diferenca.pop();
scanf("%d", &n);
do
{
entrada = cin.peek();
if( (entrada != ' ') && (entrada != '\n') && (entrada != EOF) )
{
scanf("%d", &nEntrada);
numeros.push(nEntrada);
}
else
entrada = getchar();
}while( (entrada != '\n') && (entrada != EOF) );
while(!numeros.empty())
{
numero1 = numeros.front();
numeros.pop();
if(!numeros.empty())
{
numero2 = numeros.front();
diferenca.push(abs(numero1, numero2));
}
}
while(!diferenca.empty())
{
if(diferenca.front() <= 3002)nLista[diferenca.front()] = 1;
diferenca.pop();
}
for(int i = 1; i <= (n - 1); i++)
if(nLista[i] != 1)
jolly = false;
if(jolly)
printf("Jolly");
else
printf("Not jolly");
if(entrada != EOF)
printf("\n");
}while(entrada != EOF);
return 0;
}
int abs(int a, int b)
{
int dif;
dif = (a - b);
dif = (dif >= 0)?dif : -dif;
return dif;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RkaW8uaD4KI2luY2x1ZGUgPHF1ZXVlPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBhYnMoaW50IGEsIGludCBiKTsKCmludCBtYWluKCkKewogICAgcXVldWU8aW50PiBudW1lcm9zLCBkaWZlcmVuY2E7CiAgICBpbnQgbiwgbnVtZXJvMSwgbnVtZXJvMiwgbkxpc3RhWzMwMDNdLCBuRW50cmFkYTsKICAgIGJvb2wgam9sbHk7CiAgICBjaGFyIGVudHJhZGE7CgogICAgZG8KICAgIHsKICAgICAgICBqb2xseSA9IHRydWU7CgogICAgICAgIGZvcihpbnQgaSA9IDA7IGkgPCAzMDAzOyBpKyspCiAgICAgICAgICAgIG5MaXN0YVtpXSA9IDA7CgogICAgICAgIHdoaWxlKCFudW1lcm9zLmVtcHR5KCkpCiAgICAgICAgICAgIG51bWVyb3MucG9wKCk7CiAgICAgICAgd2hpbGUoIWRpZmVyZW5jYS5lbXB0eSgpKQogICAgICAgICAgICBkaWZlcmVuY2EucG9wKCk7CgoKICAgICAgICBzY2FuZigiJWQiLCAmbik7CgogICAgICAgIGRvCiAgICAgICAgewoKICAgICAgICAgICAgZW50cmFkYSA9IGNpbi5wZWVrKCk7CgogICAgICAgICAgICBpZiggKGVudHJhZGEgIT0gJyAnKSAmJiAoZW50cmFkYSAhPSAnXG4nKSAmJiAoZW50cmFkYSAhPSBFT0YpICkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgc2NhbmYoIiVkIiwgJm5FbnRyYWRhKTsKICAgICAgICAgICAgICAgIG51bWVyb3MucHVzaChuRW50cmFkYSk7CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgIGVudHJhZGEgPSBnZXRjaGFyKCk7CgogICAgICAgIH13aGlsZSggKGVudHJhZGEgIT0gJ1xuJykgJiYgKGVudHJhZGEgIT0gRU9GKSApOwoKICAgICAgICB3aGlsZSghbnVtZXJvcy5lbXB0eSgpKQogICAgICAgIHsKICAgICAgICAgICAgbnVtZXJvMSA9IG51bWVyb3MuZnJvbnQoKTsKICAgICAgICAgICAgbnVtZXJvcy5wb3AoKTsKICAgICAgICAgICAgaWYoIW51bWVyb3MuZW1wdHkoKSkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgbnVtZXJvMiA9IG51bWVyb3MuZnJvbnQoKTsKCiAgICAgICAgICAgICAgICBkaWZlcmVuY2EucHVzaChhYnMobnVtZXJvMSwgbnVtZXJvMikpOwogICAgICAgICAgICB9CiAgICAgICAgfQoKICAgICAgICB3aGlsZSghZGlmZXJlbmNhLmVtcHR5KCkpCiAgICAgICAgewogICAgICAgICAgICBpZihkaWZlcmVuY2EuZnJvbnQoKSA8PSAzMDAyKW5MaXN0YVtkaWZlcmVuY2EuZnJvbnQoKV0gPSAxOwogICAgICAgICAgICBkaWZlcmVuY2EucG9wKCk7CiAgICAgICAgfQoKICAgICAgICBmb3IoaW50IGkgPSAxOyBpIDw9IChuIC0gMSk7IGkrKykKICAgICAgICAgICAgaWYobkxpc3RhW2ldICE9IDEpCiAgICAgICAgICAgICAgICBqb2xseSA9IGZhbHNlOwoKICAgICAgICBpZihqb2xseSkKICAgICAgICAgICAgcHJpbnRmKCJKb2xseSIpOwogICAgICAgIGVsc2UKICAgICAgICAgICAgcHJpbnRmKCJOb3Qgam9sbHkiKTsKCiAgICAgICAgaWYoZW50cmFkYSAhPSBFT0YpCiAgICAgICAgICAgIHByaW50ZigiXG4iKTsKCiAgICB9d2hpbGUoZW50cmFkYSAhPSBFT0YpOwoKCiAgICByZXR1cm4gMDsKfQoKaW50IGFicyhpbnQgYSwgaW50IGIpCnsKICAgIGludCBkaWY7CiAgICBkaWYgPSAoYSAtIGIpOwogICAgZGlmID0gKGRpZiA+PSAwKT9kaWYgOiAtZGlmOwogICAgcmV0dXJuIGRpZjsKfQ==