Jolly Jumpers X26127

Una secuencia de n > 0 enteros es llamado un Jolly Jumper si los valores absolutos de las diferencias entre los elementos sucesivos toman todos los valores posibles entre 1 y n-1. Para la instancia [1 4 2 3], se considera Jolly Jumper, pues las diferencias absolutas son 3, 2 y 1 respectivamente. La definición implica que cualquier sucesión de un solo entero es un Jolly Jumper. Escribe un programa que determine qué sucesión es un Jolly Jumper.

Input

Cada línea de entrada contiene un entero n < 3000 seguido de n enteros representando la secuencia

Output

Para cada línea de entrada se genera una línea de salida indicando "Jolly" o "No es Jolly".

Observation

Termina la entrada de líneas con una línea en blanco.