Repo with prompt: https://github.com/jinshanmu/CrouzeixConjecture