P
Initializing...
The property defining $L(4)$ fails at every length $1 \le L \le 15$ · Prove2Me