Inspired by this answer to a cops-and-robbers code challenge
The challenge was to create a program that gives one specific output for one single input number and another output for all others. The code checks that $11^{2^n}-2$ is prime and $n>6$, where $n$ is the input.
One answer is $n=18$. Are there any others?
